Family Qq3k1k1k3v40v40v40m4 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.070.010.010.010.011
GRL0.0200001
openQbf1.580.160.010.150.011
preQuantor0.050.010.01000.5
Qbfl0.0200001
Quaffle0.050.010.010.010.011
QUANTOR0.050.010.010.010.011
QUANTOR_hc0.0200001
qube3.00.110.010.010.010.011
qube4.00.10.010.010.010.011
qube5.00.190.020.010.020.011
semprop0.060.010.010.010.011
sKizzo-0.9-abs000001
sKizzo-0.9-grn0.0400.0100.011
sKizzo-0.9-std0.0400.0100.011
SQBF0.090.010.0100.011
sSolve1.70.170.040.180.021
ssolve+ut1.90.190.030.190.051
ssolve-ut1.610.160.030.160.061
WalkQSAT0.0400.0100.011
yQuaffle0.070.010.010.010.011