*** Logic-PM-ST ***

real	0m6.373s
user	0m6.309s
sys	0m0.039s

real	0m3.517s
user	0m3.485s
sys	0m0.030s

real	0m3.550s
user	0m3.518s
sys	0m0.030s

real	0m5.762s
user	0m5.713s
sys	0m0.047s
*** Logic-Uni-ST ***

real	0m16.906s
user	0m16.758s
sys	0m0.116s

real	0m6.438s
user	0m6.380s
sys	0m0.050s

real	0m6.497s
user	0m6.427s
sys	0m0.050s

real	0m9.222s
user	0m9.139s
sys	0m0.061s
*** Logic-Gen-ST ***

real	0m57.514s
user	0m56.817s
sys	0m0.544s

real	0m23.788s
user	0m23.658s
sys	0m0.126s

real	0m23.946s
user	0m23.820s
sys	0m0.125s

real	0m27.938s
user	0m27.817s
sys	0m0.119s
*** Logic-FV-ST ***

real	1m11.503s
user	1m10.721s
sys	0m0.681s

real	0m30.727s
user	0m30.270s
sys	0m0.272s

real	0m30.600s
user	0m30.283s
sys	0m0.292s

real	0m38.184s
user	0m37.700s
sys	0m0.316s
*** Logic-PM-GT ***

real	0m10.706s
user	0m10.567s
sys	0m0.087s

real	0m11.341s
user	0m11.192s
sys	0m0.105s

real	0m11.529s
user	0m11.398s
sys	0m0.096s

real	0m9.163s
user	0m9.051s
sys	0m0.071s
*** Logic-Uni-GT ***

real	0m20.764s
user	0m20.530s
sys	0m0.163s

real	0m14.593s
user	0m14.409s
sys	0m0.129s

real	0m14.704s
user	0m14.524s
sys	0m0.132s

real	0m12.708s
user	0m12.556s
sys	0m0.104s
*** Logic-Gen-GT ***

real	1m2.832s
user	1m2.061s
sys	0m0.618s

real	0m32.593s
user	0m32.245s
sys	0m0.247s

real	0m32.541s
user	0m32.241s
sys	0m0.225s

real	0m31.817s
user	0m31.570s
sys	0m0.141s
*** Logic-FV-GT ***

real	1m32.000s
user	1m31.156s
sys	0m0.764s

real	0m55.235s
user	0m54.866s
sys	0m0.356s

real	0m56.062s
user	0m55.473s
sys	0m0.442s

real	0m46.597s
user	0m46.130s
sys	0m0.324s