2021-04-11 05:24:30 (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=17ms. NTI: Rt=4ms, Wt=4ms at most 72 inferences for useful informations.
% NTI summary: 1 case unresolved, 0 predicates have been ignored: []

a(A,B)terminates_if b(A).
    % optimal. loops found: [a(s(_),_),a(s(_),y)]. NTI took    0ms,72i,72i
c terminates_if false.
    % all cases unresolved.
    %  NTI took    4ms, 0i,100i

Analyzed program:

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

c :- a(X,X).