Family k_dum_n results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.130.030.010.030.021
GRL3003.59600.720.08600.740.10
openQbf30004.36000.860.066000.840.080
preQuantor0.140.030.010.030.021
Qbfl2954.74590.952.08591.093.340
Quaffle2693.64538.7350.34563.4563.170.2
QUANTOR0.120.020.010.030.021
QUANTOR_hc0.050.010.010.010.011
qube3.016015.353203.071532.883136.561366.860
qube4.017715.843543.171422.442498.85957.310
qube5.015608.863121.771505.692462.48826.40
semprop0.320.060.040.050.041
sKizzo-0.9-abs0.630.130.040.120.071
sKizzo-0.9-grn2806.54561.3117.95570.2122.590.2
sKizzo-0.9-std0.650.130.050.120.081
SQBF0.170.030.010.030.021
sSolve12.542.511.322.482.051
ssolve+ut16.133.231.443.152.231
ssolve-ut12.432.491.252.541.881
WalkQSAT3004.97600.990.016010.010
yQuaffle29998.225999.640.175999.740.320