Family Qq2k3k2v80v80m32 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.050.010.01001
GRL0.0200001
openQbf1.640.160.020.160.011
preQuantor0.0400.01000.8
Qbfl0.0400.0100.011
Quaffle5070.17507.025.14505.948.680
QUANTOR0.0200001
QUANTOR_hc0.0400.0100.011
qube3.00.120.010.010.010.021
qube4.00.140.010.010.010.021
qube5.00.110.010.010.010.011
semprop0.0100001
sKizzo-0.9-abs0.0300.01001
sKizzo-0.9-grn0.0300.01001
sKizzo-0.9-std0.0300.01001
SQBF0.120.010.010.010.011
sSolve1.680.170.040.150.061
ssolve+ut1.690.170.030.160.021
ssolve-ut1.650.170.040.160.041
WalkQSAT0.0300.01001
yQuaffle0.0400.0100.011