Family k_dum_p results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ1.460.370.570.050.681
GRL2402.84600.710.06600.710.120
openQbf24003.396000.850.036000.840.040
preQuantor1.440.360.550.050.651
Qbfl2368.03592.011.46592.322.750
Quaffle2249.69562.420.32562.440.570
QUANTOR0.110.030.010.0301
QUANTOR_hc0.030.010.010.010.011
qube3.010978.122744.531014.992338.891346.240
qube4.015448.143862.041354.833407.322334.480
qube5.013207.63301.91563.222487.841996.570
semprop6.611.650.621.771.161
sKizzo-0.9-abs0.440.110.030.110.051
sKizzo-0.9-grn2300.74575.190.55575.091.050
sKizzo-0.9-std0.440.110.040.110.061
SQBF1.480.370.570.040.661
sSolve23.515.882.356.384.11
ssolve+ut26.336.582.387.224.211
ssolve-ut23.965.992.396.644.191
WalkQSAT2403.99601060100
yQuaffle18731.544682.892279.7159992632.570.25