2021-04-11 10:29:57 (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=0ms

2021-04-11 10:29:57 (CEST) cTI finished

Analyzed program:

:- cti:norm_tmap([ mv(A,_) = mv]).

---

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