Family Qq3k1k3k1v80v80v80m32 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0200001
GRL0.0400.0100.011
openQbf1.680.170.010.170.021
preQuantor0.060.010.010.010.010.8
Qbfl0.110.010.010.010.011
Quaffle4441.09444.11200.21543.28452.440.2
QUANTOR0.050.010.0100.011
QUANTOR_hc0.0100001
qube3.00.090.010.010.010.011
qube4.00.090.010.010.010.011
qube5.00.130.010.010.0101
semprop0.0200001
sKizzo-0.9-abs0.0100001
sKizzo-0.9-grn0.0400.0100.011
sKizzo-0.9-std0.0400.0100.011
SQBF0.080.010.010.010.011
sSolve1.710.170.030.170.021
ssolve+ut1.540.150.030.150.041
ssolve-ut1.770.180.030.180.071
WalkQSAT0.0400.0100.011
yQuaffle0.0400.01001