Family Qq2k1k4v80v80m2 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.120.010.020.010.011
GRL0.0100001
openQbf1.490.150.010.150.011
preQuantor0.050.010.0100.010.7
Qbfl0.050.010.010.010.011
Quaffle000001
QUANTOR0.050.010.010.010.011
QUANTOR_hc0.050.010.0100.011
qube3.00.060.010.010.010.011
qube4.00.090.010.010.010.011
qube5.00.120.010.010.010.021
semprop0.070.010.010.010.011
sKizzo-0.9-abs0.0200001
sKizzo-0.9-grn0.0200001
sKizzo-0.9-std0.0200001
SQBF0.090.010.010.010.011
sSolve1.830.180.030.180.031
ssolve+ut1.660.170.040.180.071
ssolve-ut1.650.170.040.170.061
WalkQSAT0.0300.01001
yQuaffle0.050.010.0100.011