2021-04-11 05:24:39 (CEST) cTI start

System error encountered

{restoring /nfs/unsafe/httpd/ftp/pub/ulrich/lt0.26e/www_lt...}
{/nfs/unsafe/httpd/ftp/pub/ulrich/lt0.26e/www_lt restored in 0 msec 216 bytes}
{CONSISTENCY ERROR: restore('/nfs/unsafe/httpd/ftp/pub/ulrich/lt0.26e/www_lt') - memory is inconsistent with saved_state - type 64-bit,BDD,GAUGE,ALL_BUT_PROLOG,VER2 saved state, type 32-bit,BDD,GAUGE,ALL_BUT_PROLOG,VER2 emulator}
SICStus 3.8.5 (x86-linux-glibc2.1): Mon Oct 30 16:34:14 CET 2000
Licensed to complang.tuwien.ac.at
{EXISTENCE ERROR: cTI_ptc('../../lt/tmp/gupu-tmpa-17376','../../lt/tmp/gupu-tmpb-17376'): procedure user:cTI_ptc/2 does not exist}