Family Qq3k2k1k2v40v40v40m4 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0200001
GRL0.0300.01001
openQbf1.530.150.010.160.021
preQuantor0.050.010.0100.011
Qbfl0.0300.01001
Quaffle0.0100001
QUANTOR000001
QUANTOR_hc0.0300.01001
qube3.00.070.010.010.010.011
qube4.00.10.010.010.010.011
qube5.00.0300.01001
semprop0.060.010.010.010.011
sKizzo-0.9-abs0.0300.01001
sKizzo-0.9-grn0.0400.0100.011
sKizzo-0.9-std0.050.010.010.010.011
SQBF0.060.010.010.010.011
sSolve1.730.170.040.180.041
ssolve+ut1.860.190.030.180.061
ssolve-ut1.730.170.040.170.021
WalkQSAT0.0200001
yQuaffle0.050.010.010.010.011