Family mA-t2-3qbf-5cnf-160var-640cl results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ57249.925724.99617.976000.42682.140
GRL0.140.010.010.010.011
openQbf6002.92600.291800.010.290.020.9
preQuantor265.1126.5114.4130.4533.340
Qbfl0.140.010.010.020.011
Quaffle5194.25519.431.83519.833.050
QUANTOR381.1338.1126.2530.0925.650
QUANTOR_hc378.7337.8725.9529.7824.390
qube3.00.170.020.010.020.011
qube4.00.360.040.010.040.021
qube5.00.340.030.010.040.021
semprop0.050.010.010.010.011
sKizzo-0.9-abs60006.736000.670.096000.730.180
sKizzo-0.9-grn60006.536000.650.16000.680.170
sKizzo-0.9-std56694.85669.48993.646000.70.150
SQBF1944.63194.46148.83191.27256.570.6
sSolve1.910.190.030.190.041
ssolve+ut1.920.190.040.190.051
ssolve-ut1.910.190.050.20.061
WalkQSAT0.090.010.010.010.011
yQuaffle5955.33595.530.73595.71.680