Family Qq3k3k1k1v40v40v40m4 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0100001
GRL0.050.010.010.010.011
openQbf1.440.140.020.150.021
preQuantor0.0200000.8
Qbfl0.0300.01001
Quaffle0.0200001
QUANTOR0.0200001
QUANTOR_hc0.0400.01001
qube3.00.110.010.010.010.011
qube4.00.130.010.010.010.011
qube5.00.10.010.010.010.011
semprop0.070.010.010.010.011
sKizzo-0.9-abs0.0100001
sKizzo-0.9-grn0.0400.0100.011
sKizzo-0.9-std0.0200.01001
SQBF0.070.010.010.010.011
sSolve1.820.180.030.190.031
ssolve+ut1.820.180.030.180.041
ssolve-ut1.820.180.040.170.051
WalkQSAT0.0300.01001
yQuaffle0.050.010.0100.011