Family Qq3k3k1k1v80v80v80m32 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.090.010.010.010.011
GRL0.0400.0100.011
openQbf1.550.160.020.150.031
preQuantor0.080.010.010.010.010.8
Qbfl0.050.010.010.010.011
Quaffle5071.88507.195.33506.12.950
QUANTOR0.0300.01001
QUANTOR_hc0.0100001
qube3.00.110.010.010.010.011
qube4.00.130.010.010.0101
qube5.00.130.010.010.010.021
semprop0.0400.0100.011
sKizzo-0.9-abs0.050.010.010.010.011
sKizzo-0.9-grn0.0300.01001
sKizzo-0.9-std0.0200001
SQBF0.110.010.010.010.011
sSolve1.950.20.040.190.061
ssolve+ut1.810.180.030.190.061
ssolve-ut1.870.190.030.180.051
WalkQSAT0.0300.01001
yQuaffle0.050.010.010.010.011