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

p(A,B)terminates_if false.
    % 2 unresolved: [p(b,f),p(f,f)].
    %  NTI took    0ms, 0i,78i
q(A,B)terminates_if true.

Analyzed program located at URL http://www.complang.tuwien.ac.at/cti/bench/plumer/pl2.3.1:

p(X,Z) :- q(X,Y),p(Y,Z).
p(X,X).
q(a,b).