2021-04-11 05:24:23 (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=2068ms, Wt=2085ms, GC=4ms. NTI: Rt=4ms, Wt=4ms at most 72 inferences for useful informations.
% NTI summary:  Complete result is optimal.
member(A,B)terminates_if b(B).
    % optimal. loops found: [member(x,[_|_])]. NTI took    0ms,72i,72i
turing(A,B,C,D)terminates_if false.
    % optimal. loops found: [turing(t([],' ',[]),s0,[p(s0,' ',s1,' ',r),p(s1,' ',s0,' ',l)],y)]. NTI took    0ms, 0i,70i

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

:- nti:nonterminating_goal(turing(t([],' ',[]),s0,[p(s0,' ',s1,' ',r),p(s1,' ',s0,' ',l)],y)).
% ***** End of header included by cTI *****
member(H,[H|L]).
member(X,[H|L]) :- member(X,L).
turing(t(X,Y,Z),S,P,t(X,Y,Z)) :- member(p(S,Y,halt,W,D),P).
turing(t(X,Y,[R|L]),S,P,T) :- member(p(S,Y,S1,W,r),P),
                              turing(t([W|X],R,L),S1,P,T).
turing(t(X,Y,[]),S,P,T) :- member(p(S,Y,S1,W,r),P),
                           turing(t([W|X],' ',[]),S1,P,T).
turing(t([X|L],Y,R),S,P,T) :- member(p(S,Y,S1,W,l),P),
                              turing(t(L,X,[W|R]),S1,P,T).
turing(t([],Y,R),S,P,T) :- member(p(S,Y,S1,W,l),P),
                           turing(t([],' ',[W|R]),S1,P,T).