Family Qq2k2k3v80v80m32 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.070.010.0100.011
GRL0.0100001
openQbf1.610.160.020.170.041
preQuantor0.0300.01000.8
Qbfl0.0300.01001
Quaffle5082.21508.227.07507.827.120
QUANTOR0.060.010.0100.011
QUANTOR_hc0.060.010.010.010.011
qube3.00.110.010.010.0101
qube4.00.050.010.0100.011
qube5.00.120.010.010.010.011
semprop0.0300.01001
sKizzo-0.9-abs0.050.010.010.010.011
sKizzo-0.9-grn0.0400.01001
sKizzo-0.9-std0.0300.01001
SQBF0.060.010.010.010.011
sSolve1.690.170.030.180.041
ssolve+ut1.860.190.040.190.061
ssolve-ut1.430.140.030.150.051
WalkQSAT0.0400.0100.011
yQuaffle0.070.010.010.010.011