% Testing rlcad
% Consistency

rlset reals;


{}


con := ex({z,x,y},x**2+y**2+z**2<1 and x**2+(y+z-2)**2<1)$



rlqepcad con;


true


end;

Tested on alfred running Linux 4.4.38.1.amd64-smp x86_64 CSL
Time (counter 1): 99 ms
1: real 1.79
user 1.48
sys 0.20
