Family Qq3k1k3k1v40v40v40m4 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.0400.0100.011
GRL0.0200001
openQbf1.550.160.010.160.021
preQuantor0.050.010.0100.010.7
Qbfl0.050.010.010.010.011
Quaffle0.0300.01001
QUANTOR0.0100001
QUANTOR_hc0.0100001
qube3.00.110.010.010.010.021
qube4.00.0400.01001
qube5.00.060.010.010.010.011
semprop000001
sKizzo-0.9-abs0.0100001
sKizzo-0.9-grn0.060.010.010.010.011
sKizzo-0.9-std0.0300.01001
SQBF0.080.010.010.010.011
sSolve1.870.190.030.190.041
ssolve+ut1.80.180.030.180.031
ssolve-ut1.710.170.030.170.031
WalkQSAT0.0300.01001
yQuaffle0.080.0100.010.011