Family Qq3k2k2k1v80v80v80m8 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0400.01001
GRL000001
openQbf1.610.160.010.170.031
preQuantor0.0200000.8
Qbfl0.050.010.010.010.011
Quaffle0.0100001
QUANTOR0.0400.01001
QUANTOR_hc0.0200001
qube3.00.090.010.010.010.011
qube4.00.090.010.010.010.011
qube5.00.090.010.010.010.011
semprop0.0200001
sKizzo-0.9-abs0.0100001
sKizzo-0.9-grn0.0200001
sKizzo-0.9-std0.0300.01001
SQBF0.0100001
sSolve1.80.180.030.190.061
ssolve+ut1.850.190.040.190.081
ssolve-ut1.720.170.020.170.031
WalkQSAT0.0400.0100.011
yQuaffle0.070.010.010.010.011