@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2007/07test#>.

### performance test

{:P e:boolean e:T. _: e:true 0.50} => {:C e:boolean e:T}.
{:P e:boolean e:F. _: e:true 0.28} => {:C e:boolean e:T}.

{_: e:true 0.17} => {:P e:boolean e:T}.
{_: e:true 0.18} => {:P e:boolean e:T}.
{_: e:true 0.19} => {:P e:boolean e:T}.
{_: e:true 0.20} => {:P e:boolean e:T}.
{_: e:true 0.21} => {:P e:boolean e:T}.
{_: e:true 0.22} => {:P e:boolean e:T}.
{_: e:true 0.23} => {:P e:boolean e:T}.
{_: e:true 0.24} => {:P e:boolean e:T}.
{_: e:true 0.25} => {:P e:boolean e:T}.
{_: e:true 0.26} => {:P e:boolean e:T}.
{_: e:true 0.27} => {:P e:boolean e:T}.
{_: e:true 0.28} => {:P e:boolean e:T}.
{_: e:true 0.29} => {:P e:boolean e:T}.
{_: e:true 0.30} => {:P e:boolean e:T}.
{_: e:true 0.31} => {:P e:boolean e:T}.
{_: e:true 0.32} => {:P e:boolean e:T}.
{_: e:true 0.33} => {:P e:boolean e:T}.
{_: e:true 0.34} => {:P e:boolean e:T}.
{_: e:true 0.35} => {:P e:boolean e:T}.
{_: e:true 0.36} => {:P e:boolean e:T}.
{_: e:true 0.37} => {:P e:boolean e:T}.
{_: e:true 0.38} => {:P e:boolean e:T}.
{_: e:true 0.39} => {:P e:boolean e:T}.
{_: e:true 0.40} => {:P e:boolean e:T}.
{_: e:true 0.41} => {:P e:boolean e:T}.
{_: e:true 0.42} => {:P e:boolean e:T}.
{_: e:true 0.43} => {:P e:boolean e:T}.
{_: e:true 0.44} => {:P e:boolean e:T}.
{_: e:true 0.45} => {:P e:boolean e:T}.
{_: e:true 0.46} => {:P e:boolean e:T}.
{_: e:true 0.47} => {:P e:boolean e:T}.
{_: e:true 0.48} => {:P e:boolean e:T}.
{_: e:true 0.49} => {:P e:boolean e:T}.
{_: e:true 0.50} => {:P e:boolean e:T}.
{_: e:true 0.51} => {:P e:boolean e:T}.
{_: e:true 0.52} => {:P e:boolean e:T}.
{_: e:true 0.53} => {:P e:boolean e:T}.
{_: e:true 0.54} => {:P e:boolean e:T}.
{_: e:true 0.55} => {:P e:boolean e:T}.
{_: e:true 0.56} => {:P e:boolean e:T}.
{_: e:true 0.57} => {:P e:boolean e:T}.
{_: e:true 0.58} => {:P e:boolean e:T}.
{_: e:true 0.59} => {:P e:boolean e:T}.
{_: e:true 0.60} => {:P e:boolean e:T}.
{_: e:true 0.61} => {:P e:boolean e:T}.
{_: e:true 0.62} => {:P e:boolean e:T}.
{_: e:true 0.63} => {:P e:boolean e:T}.
{_: e:true 0.64} => {:P e:boolean e:T}.
{_: e:true 0.65} => {:P e:boolean e:T}.
{_: e:true 0.66} => {:P e:boolean e:T}.
{_: e:true 0.67} => {:P e:boolean e:T}.
{_: e:true 0.68} => {:P e:boolean e:T}.
{_: e:true 0.69} => {:P e:boolean e:T}.
{_: e:true 0.70} => {:P e:boolean e:T}.
{_: e:true 0.71} => {:P e:boolean e:T}.
{_: e:true 0.72} => {:P e:boolean e:T}.
{_: e:true 0.73} => {:P e:boolean e:T}.
{_: e:true 0.74} => {:P e:boolean e:T}.
{_: e:true 0.75} => {:P e:boolean e:T}.
{_: e:true 0.76} => {:P e:boolean e:T}.
{_: e:true 0.77} => {:P e:boolean e:T}.
{_: e:true 0.78} => {:P e:boolean e:T}.
{_: e:true 0.79} => {:P e:boolean e:T}.
{_: e:true 0.80} => {:P e:boolean e:T}.
{_: e:true 0.81} => {:P e:boolean e:T}.
{_: e:true 0.82} => {:P e:boolean e:T}.
{_: e:true 0.83} => {:P e:boolean e:T}.
{_: e:true 0.84} => {:P e:boolean e:T}.
{_: e:true 0.85} => {:P e:boolean e:T}.
{_: e:true 0.86} => {:P e:boolean e:T}.
{_: e:true 0.87} => {:P e:boolean e:T}.
{_: e:true 0.88} => {:P e:boolean e:T}.
{_: e:true 0.89} => {:P e:boolean e:T}.
{_: e:true 0.90} => {:P e:boolean e:T}.
{_: e:true 0.91} => {:P e:boolean e:T}.
{_: e:true 0.92} => {:P e:boolean e:T}.
{_: e:true 0.93} => {:P e:boolean e:T}.
{_: e:true 0.94} => {:P e:boolean e:T}.
{_: e:true 0.95} => {:P e:boolean e:T}.
{_: e:true 0.96} => {:P e:boolean e:T}.
{_: e:true 0.97} => {:P e:boolean e:T}.
{_: e:true 0.98} => {:P e:boolean e:T}.
{_: e:true 0.99} => {:P e:boolean e:T}.
{_: e:true 0.00} => {:P e:boolean e:T}.
{_: e:true 0.01} => {:P e:boolean e:T}.
{_: e:true 0.02} => {:P e:boolean e:T}.
{_: e:true 0.03} => {:P e:boolean e:T}.
{_: e:true 0.04} => {:P e:boolean e:T}.
{_: e:true 0.05} => {:P e:boolean e:T}.
{_: e:true 0.06} => {:P e:boolean e:T}.
{_: e:true 0.07} => {:P e:boolean e:T}.
{_: e:true 0.08} => {:P e:boolean e:T}.
{_: e:true 0.09} => {:P e:boolean e:T}.
{_: e:true 0.10} => {:P e:boolean e:T}.
{_: e:true 0.11} => {:P e:boolean e:T}.
{_: e:true 0.12} => {:P e:boolean e:T}.
{_: e:true 0.13} => {:P e:boolean e:T}.
{_: e:true 0.14} => {:P e:boolean e:T}.
{_: e:true 0.15} => {:P e:boolean e:T}.
{_: e:true 0.16} => {:P e:boolean e:T}.