2021-04-11 05:24:13 (CEST) cTI start
% cTI_lt 0.25 using 1.485 MLIPS SICStus 3.8.5 (x86-linux-glibc2.1): Mon Oct 30 16:34:14 CET 2000. % cTI: Rt=0ms, Wt=1ms. NTI: Rt=0ms, Wt=0ms
Analyzed program: