or indicate URL below. - Help, Benchmarks.
TNANTIComp.Options:
[Clear]
Using the program text above ...

2021-04-11 10:30:04 (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=0ms, Wt=1ms. NTI: Rt=0ms, Wt=0ms
2021-04-11 10:30:04 (CEST) cTI finished

Analyzed program:

:- nti:nonterminating_goal(turing(t([],' ',[]),s0,[p(s0,' ',s1,' ',r),p(s1,' ',s0,' ',l)],y)).
Valid HTML 4.0cTI, Fred Mesnard (Université de La Réunion), Ulrich Neumerkel (Technische Universität Wien)