Family Qq3k1k3k1v80v80v80m8 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ000001
GRL0.060.010.010.010.011
openQbf1.50.150.020.150.031
preQuantor0.050.010.0100.011
Qbfl0.0100001
Quaffle0.0100001
QUANTOR0.0300.01001
QUANTOR_hc0.0400.0100.011
qube3.00.110.010.010.010.011
qube4.00.150.020.010.020.011
qube5.00.120.010.010.010.021
semprop0.060.010.010.010.011
sKizzo-0.9-abs0.050.010.010.010.011
sKizzo-0.9-grn0.0200001
sKizzo-0.9-std0.0300.01001
SQBF0.0200001
sSolve1.770.180.030.170.051
ssolve+ut1.790.180.040.190.081
ssolve-ut1.880.190.040.190.071
WalkQSAT0.060.010.010.010.011
yQuaffle0.070.010.010.010.011