*** Logic-PM-ST ***

real	0m6.359s
user	0m6.306s
sys	0m0.035s

real	0m3.518s
user	0m3.488s
sys	0m0.025s

real	0m3.541s
user	0m3.515s
sys	0m0.023s

real	0m5.760s
user	0m5.722s
sys	0m0.034s
*** Logic-Uni-ST ***

real	0m16.862s
user	0m16.760s
sys	0m0.075s

real	0m6.403s
user	0m6.368s
sys	0m0.030s

real	0m6.453s
user	0m6.419s
sys	0m0.030s

real	0m9.190s
user	0m9.145s
sys	0m0.039s
*** Logic-Gen-ST ***

real	0m57.198s
user	0m56.766s
sys	0m0.398s

real	0m23.785s
user	0m23.658s
sys	0m0.125s

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

real	0m27.940s
user	0m27.818s
sys	0m0.120s
*** Logic-FV-ST ***

real	1m11.230s
user	1m10.663s
sys	0m0.562s

real	0m30.407s
user	0m30.230s
sys	0m0.175s

real	0m30.427s
user	0m30.249s
sys	0m0.175s

real	0m37.800s
user	0m37.629s
sys	0m0.169s
*** Logic-PM-GT ***

real	0m10.603s
user	0m10.549s
sys	0m0.052s

real	0m11.238s
user	0m11.177s
sys	0m0.060s

real	0m11.436s
user	0m11.373s
sys	0m0.062s

real	0m9.089s
user	0m9.046s
sys	0m0.042s
*** Logic-Uni-GT ***

real	0m20.578s
user	0m20.489s
sys	0m0.087s

real	0m14.464s
user	0m14.391s
sys	0m0.072s

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

real	0m12.574s
user	0m12.520s
sys	0m0.052s
*** Logic-Gen-GT ***

real	1m2.322s
user	1m1.899s
sys	0m0.420s

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

real	0m32.411s
user	0m32.208s
sys	0m0.187s

real	0m31.700s
user	0m31.560s
sys	0m0.135s
*** Logic-FV-GT ***

real	1m31.840s
user	1m31.111s
sys	0m0.719s

real	0m55.260s
user	0m54.869s
sys	0m0.364s

real	0m55.788s
user	0m55.424s
sys	0m0.355s

real	0m46.263s
user	0m46.059s
sys	0m0.199s