Family Qq3k3k1k1v40v40v40m8 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.060.010.01001
GRL0.0300.01001
openQbf1.450.150.020.140.011
preQuantor0.0300.01000.8
Qbfl0.0200001
Quaffle0.0400.0100.011
QUANTOR0.0400.0100.011
QUANTOR_hc0.0100001
qube3.00.10.010.010.010.011
qube4.00.120.010.010.010.011
qube5.00.150.020.010.020.011
semprop0.0400.0100.011
sKizzo-0.9-abs0.0200001
sKizzo-0.9-grn0.0400.0100.011
sKizzo-0.9-std0.0200001
SQBF0.0300.01001
sSolve1.660.170.030.160.051
ssolve+ut1.780.180.040.190.071
ssolve-ut1.630.160.020.170.041
WalkQSAT0.0400.0100.011
yQuaffle0.0400.0100.011