Family Qq2k3k2v80v80m16 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.050.010.0100.011
GRL000001
openQbf1.560.160.010.160.021
preQuantor0.060.010.010.010.010.8
Qbfl0.0300.01001
Quaffle5062.54506.256.74502.65.860
QUANTOR0.0300.01001
QUANTOR_hc0.070.010.010.010.011
qube3.00.130.010.010.010.021
qube4.00.090.010.010.010.011
qube5.00.140.010.010.020.021
semprop0.0400.0100.011
sKizzo-0.9-abs0.0400.0100.011
sKizzo-0.9-grn0.0100001
sKizzo-0.9-std0.0200001
SQBF0.050.010.0100.011
sSolve1.710.170.050.170.081
ssolve+ut1.850.190.040.20.081
ssolve-ut1.80.180.030.20.071
WalkQSAT0.0400.0100.011
yQuaffle0.0400.0100.011