Family Qq2k2k3v40v40m32 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.080.010.010.010.011
GRL0.0400.0100.011
openQbf1.590.160.020.160.011
preQuantor0.0200000.7
Qbfl0.0200001
Quaffle5086.68508.674.01507.664.920
QUANTOR0.0200001
QUANTOR_hc0.0200001
qube3.00.110.010.010.010.011
qube4.00.10.010.0100.011
qube5.00.120.010.010.010.011
semprop0.070.010.010.010.011
sKizzo-0.9-abs0.0200001
sKizzo-0.9-grn0.0300.01001
sKizzo-0.9-std0.0400.0100.011
SQBF0.070.010.010.010.011
sSolve1.820.180.040.190.051
ssolve+ut1.780.180.030.170.041
ssolve-ut2.040.20.040.20.051
WalkQSAT0.060.010.010.010.011
yQuaffle0.0300.01001