Family Qq2k3k2v40v40m4 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.050.010.0100.011
GRL000001
openQbf1.470.150.020.150.041
preQuantor0.150.020.020.010.010.9
Qbfl0.060.010.010.010.011
Quaffle5118.03511.85.44513.711.090
QUANTOR0.070.010.0100.011
QUANTOR_hc0.0200001
qube3.00.150.020.010.0101
qube4.00.150.020.010.010.011
qube5.00.080.010.010.010.011
semprop0.0300.01001
sKizzo-0.9-abs0.0200001
sKizzo-0.9-grn0.080.010.010.010.011
sKizzo-0.9-std0.050.010.010.010.011
SQBF0.070.010.0100.011
sSolve1.620.160.030.150.021
ssolve+ut1.80.180.030.180.051
ssolve-ut1.820.180.020.180.021
WalkQSAT0.0200001
yQuaffle0.060.010.010.010.011