Family Qq3k1k2k2v40v40v40m2 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0400.01001
GRL0.0400.0100.011
openQbf1.480.150.020.150.021
preQuantor0.0200000.9
Qbfl0.050.010.010.010.011
Quaffle0.0300.01001
QUANTOR0.0200001
QUANTOR_hc0.0200001
qube3.00.090.010.010.010.011
qube4.00.080.010.010.010.011
qube5.00.140.010.010.010.011
semprop0.0300.01000
sKizzo-0.9-abs0.0400.0100.011
sKizzo-0.9-grn0.0300.01001
sKizzo-0.9-std0.0200001
SQBF0.0200001
sSolve1.810.180.030.20.061
ssolve+ut1.640.160.040.160.051
ssolve-ut1.770.180.030.180.051
WalkQSAT0.0300.01001
yQuaffle0.070.010.010.010.011