*** Logic-PM-ST ***

real	0m6.371s
user	0m6.315s
sys	0m0.044s

real	0m3.526s
user	0m3.490s
sys	0m0.025s

real	0m3.533s
user	0m3.514s
sys	0m0.018s

real	0m5.741s
user	0m5.712s
sys	0m0.027s
*** Logic-Uni-ST ***

real	0m16.797s
user	0m16.738s
sys	0m0.057s

real	0m6.397s
user	0m6.368s
sys	0m0.029s

real	0m6.444s
user	0m6.414s
sys	0m0.029s

real	0m9.177s
user	0m9.140s
sys	0m0.037s
*** Logic-Gen-ST ***

real	0m57.141s
user	0m56.751s
sys	0m0.385s

real	0m23.784s
user	0m23.656s
sys	0m0.126s

real	0m23.946s
user	0m23.818s
sys	0m0.126s

real	0m27.989s
user	0m27.826s
sys	0m0.141s
*** Logic-FV-ST ***

real	1m11.293s
user	1m10.689s
sys	0m0.583s

real	0m30.404s
user	0m30.226s
sys	0m0.176s

real	0m30.425s
user	0m30.247s
sys	0m0.176s

real	0m37.814s
user	0m37.630s
sys	0m0.177s
*** Logic-PM-GT ***

real	0m10.665s
user	0m10.563s
sys	0m0.082s

real	0m11.284s
user	0m11.182s
sys	0m0.078s

real	0m11.458s
user	0m11.381s
sys	0m0.074s

real	0m9.080s
user	0m9.033s
sys	0m0.046s
*** Logic-Uni-GT ***

real	0m20.577s
user	0m20.488s
sys	0m0.088s

real	0m14.463s
user	0m14.390s
sys	0m0.072s

real	0m14.579s
user	0m14.505s
sys	0m0.073s

real	0m12.576s
user	0m12.523s
sys	0m0.052s
*** Logic-Gen-GT ***

real	1m2.321s
user	1m1.897s
sys	0m0.421s

real	0m32.362s
user	0m32.189s
sys	0m0.170s

real	0m32.369s
user	0m32.195s
sys	0m0.172s

real	0m31.693s
user	0m31.557s
sys	0m0.134s
*** Logic-FV-GT ***

real	1m31.827s
user	1m31.104s
sys	0m0.715s

real	0m55.203s
user	0m54.854s
sys	0m0.346s

real	0m55.778s
user	0m55.422s
sys	0m0.350s

real	0m46.259s
user	0m46.060s
sys	0m0.198s