% Example from a talk on Isabel by T. Nipkow
% Strict inequality version

rlset r;


{}


snip := rlall(a>3/4 and a^2<=b*(c+1) and b<=4c impl (a-1)^2<b*c)$



rlqea snip;


{}


end;

Tested on alfred running Linux 4.4.38.1.amd64-smp x86_64 CSL
Time (counter 1): 50 ms  plus GC time: 59 ms
1: real 0.36
user 0.25
sys 0.02
