2021-04-11 05:24: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=16ms, Wt=16ms. NTI: Rt=0ms, Wt=1ms at most 73 inferences for useful informations.
% NTI summary:  Complete result is optimal.
a(A,B)terminates_if b(A).
    % optimal. loops found: [a(s(_),x)]. NTI took    0ms,72i,72i
c terminates_if false.
    % optimal. loops found: [c]. NTI took    0ms,73i,73i

Analyzed program:

a(s(X),Y) :- a(X,Y).

c :- a(X,X).