Family Qq3k1k3k1v40v40v40m8 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0200001
GRL0.0300.01001
openQbf1.580.160.010.160.011
preQuantor0.070.010.010.010.010.7
Qbfl0.050.010.010.010.011
Quaffle0.0200001
QUANTOR0.0100001
QUANTOR_hc0.0300.01001
qube3.00.10.010.010.010.011
qube4.00.110.010.010.010.021
qube5.00.130.010.010.020.021
semprop0.070.010.010.010.011
sKizzo-0.9-abs0.0300.01001
sKizzo-0.9-grn0.0400.0100.011
sKizzo-0.9-std0.0400.0100.011
SQBF0.0300.01001
sSolve1.760.180.040.190.081
ssolve+ut1.780.180.040.190.091
ssolve-ut1.740.170.040.180.061
WalkQSAT0.0100001
yQuaffle0.080.010.010.010.011