Family Qq3k3k1k1v40v40v40m2 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0200001
GRL0.0100001
openQbf1.590.160.010.160.011
preQuantor0.070.010.010.010.010.9
Qbfl0.050.010.01001
Quaffle0.0200001
QUANTOR0.060.010.0100.011
QUANTOR_hc0.080.010.010.010.011
qube3.00.110.010.010.010.011
qube4.00.080.010.010.010.011
qube5.00.130.010.010.0101
semprop0.0300.01000.3
sKizzo-0.9-abs0.0200001
sKizzo-0.9-grn0.0200001
sKizzo-0.9-std0.0300.01001
SQBF0.080.010.010.010.011
sSolve1.80.180.030.180.051
ssolve+ut1.590.160.050.150.031
ssolve-ut1.910.190.030.20.041
WalkQSAT0.0300.01001
yQuaffle0.060.010.0100.011