Family Qq3k1k2k2v40v40v40m16 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0300.01001
GRL0.0300.01001
openQbf1.560.160.010.160.031
preQuantor0.070.010.010.010.010.9
Qbfl0.0300.01001
Quaffle3.580.360.570.010.011
QUANTOR0.0100001
QUANTOR_hc0.0400.01001
qube3.00.10.010.010.010.011
qube4.00.110.010.010.010.011
qube5.00.090.010.010.010.011
semprop0.060.010.010.010.011
sKizzo-0.9-abs0.0300.01001
sKizzo-0.9-grn0.0100001
sKizzo-0.9-std0.0400.0100.011
SQBF0.050.010.0100.011
sSolve1.790.180.040.180.071
ssolve+ut1.880.190.050.180.071
ssolve-ut1.850.190.050.20.11
WalkQSAT0.0400.0100.011
yQuaffle0.070.010.010.010.011