2021-04-11 05:24:11 (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=20ms, Wt=23ms. NTI: Rt=4ms, Wt=1ms at most 0 inferences for useful informations.
% using the norm [term_size(a,2)].

% NTI summary: 1 case unresolved, 0 predicates have been ignored: []

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

Analyzed program consisting of text above and program located at URL http://www.complang.tuwien.ac.at/cti/bench/plumer/pl2.3.1:

:- cti:snorm([term_size(a,2)]).
% ***** End of header included by cTI *****
p(X,Z) :- q(X,Y),p(Y,Z).
p(X,X).
q(a,b).