Family Qq2k2k3v80v80m8 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.060.010.010.010.011
GRL0.0200001
openQbf1.530.150.010.160.031
preQuantor0.0200000.9
Qbfl0.0400.01001
Quaffle5159.86515.9911.75513.6117.450
QUANTOR0.0200001
QUANTOR_hc0.060.010.0100.011
qube3.00.130.010.010.0101
qube4.00.060.010.01001
qube5.00.090.010.010.010.011
semprop0.0200001
sKizzo-0.9-abs0.0300.01001
sKizzo-0.9-grn0.0300.01001
sKizzo-0.9-std0.0300.01001
SQBF0.0300.01001
sSolve1.560.160.030.160.041
ssolve+ut1.720.170.040.190.071
ssolve-ut1.920.190.040.190.071
WalkQSAT0.0300.01001
yQuaffle0.060.010.010.010.011