Family Qq2k1k4v80v80m32 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0200001
GRL0.0300.01001
openQbf1.570.160.020.160.031
preQuantor0.0400.0100.011
Qbfl0.050.010.010.010.011
Quaffle5437.09543.710.96543.741.950
QUANTOR0.0400.01001
QUANTOR_hc0.080.010.01001
qube3.00.110.010.010.010.011
qube4.00.050.010.0100.011
qube5.00.060.010.010.010.011
semprop0.0400.0100.011
sKizzo-0.9-abs0.0300.01001
sKizzo-0.9-grn0.0100001
sKizzo-0.9-std0.0300.01001
SQBF0.080.010.010.010.011
sSolve1.70.170.030.180.051
ssolve+ut1.590.160.020.160.031
ssolve-ut1.80.180.040.180.051
WalkQSAT0.0200001
yQuaffle0.070.010.010.010.011