Family Qq3k2k1k2v40v40v40m2 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0200001
GRL0.0400.0100.011
openQbf1.610.160.020.160.031
preQuantor0.0400.01000.9
Qbfl0.0200001
Quaffle0.0200001
QUANTOR0.060.010.0100.011
QUANTOR_hc0.0400.01001
qube3.00.10.010.010.010.011
qube4.00.110.010.010.010.011
qube5.00.120.010.010.010.011
semprop0.0400.01000.2
sKizzo-0.9-abs0.0200001
sKizzo-0.9-grn0.0300.01001
sKizzo-0.9-std0.0400.0100.011
SQBF0.080.010.010.010.011
sSolve1.780.180.030.180.061
ssolve+ut1.590.160.020.160.041
ssolve-ut2.010.20.040.20.061
WalkQSAT0.0300.01001
yQuaffle0.0400.01001