Family Qq3k2k2k1v40v40v40m4 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0300.01001
GRL0.0300.01001
openQbf1.580.160.010.160.021
preQuantor0.0300.01000.7
Qbfl0.060.010.0100.011
Quaffle0.0400.01001
QUANTOR0.0400.0100.011
QUANTOR_hc0.0300.01001
qube3.00.090.010.010.010.011
qube4.00.070.010.010.010.011
qube5.00.140.010.010.020.021
semprop0.050.010.0100.011
sKizzo-0.9-abs0.0300.01001
sKizzo-0.9-grn0.0200001
sKizzo-0.9-std0.0300.01001
SQBF0.0100001
sSolve1.810.180.040.190.021
ssolve+ut1.930.190.020.190.011
ssolve-ut1.490.150.020.160.041
WalkQSAT0.0400.0100.011
yQuaffle0.0300.01001