Family Qq2k3k2v80v80m4 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.050.010.01001
GRL0.050.010.010.010.011
openQbf1.560.160.020.160.021
preQuantor0.050.010.0100.010.7
Qbfl0.0200001
Quaffle5109.57510.964.99511.358.070
QUANTOR0.0400.0100.011
QUANTOR_hc0.0200001
qube3.00.110.010.010.010.011
qube4.00.120.010.010.010.021
qube5.00.060.010.0100.011
semprop0.0300.01001
sKizzo-0.9-abs000001
sKizzo-0.9-grn0.0300.01001
sKizzo-0.9-std0.0400.0100.011
SQBF0.060.010.0100.011
sSolve1.790.180.040.180.051
ssolve+ut1.670.170.030.160.051
ssolve-ut1.710.170.040.160.051
WalkQSAT000001
yQuaffle0.050.010.0100.011