2021-04-11 10:30:12 (CEST) cTI start

% cTI_lt 0.25 using 23.619 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=1ms

2021-04-11 10:30:12 (CEST) cTI finished

Analyzed program:

---

cTI, Fred Mesnard (Université de La Réunion), Ulrich Neumerkel (Technische Universität Wien)