Family Qq3k1k1k3v80v80v80m2 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.060.010.0100.011
GRL0.050.010.010.010.011
openQbf1.640.160.010.1601
preQuantor0.090.010.010.010.011
Qbfl0.0400.0100.011
Quaffle0.0400.01001
QUANTOR0.0400.01001
QUANTOR_hc0.0300.01001
qube3.00.110.010.010.010.011
qube4.00.150.020.010.020.021
qube5.00.130.010.010.010.011
semprop0.0400.0100.010.2
sKizzo-0.9-abs0.0400.0100.011
sKizzo-0.9-grn0.050.010.010.010.011
sKizzo-0.9-std000001
SQBF0.0200001
sSolve1.770.180.020.170.031
ssolve+ut1.770.180.040.180.051
ssolve-ut1.890.190.030.190.041
WalkQSAT0.0300.01001
yQuaffle0.0400.0100.011