2021-04-11 10:30:01 (CEST) cTI start
No output. Stderr (of file ../../lt/tmp/gupu-tmpc-26534) was:System error encountered
{restoring /nfs/unsafe/httpd/ftp/pub/ulrich/lt0.26f/www_lt...}
{/nfs/unsafe/httpd/ftp/pub/ulrich/lt0.26f/www_lt restored in 0 msec 216 bytes}
{CONSISTENCY ERROR: restore('/nfs/unsafe/httpd/ftp/pub/ulrich/lt0.26f/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-26534','../../lt/tmp/gupu-tmpb-26534'): procedure user:cTI_ptc/2 does not exist}
| ?- cTI,
Fred Mesnard
(Université de La Réunion),
Ulrich Neumerkel
(Technische Universität Wien)