Family k_poly_n results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL5403.85900.640.11900.610.080
openQbf5405.57900.930.02900.930.040
qbfbdd5405.88900.980.049010.10
QbflHR5406.04901.010.01901.010.010
QChaffLearn5252.67875.454.2876.078.730
QMRes2705.43450.91449.48451.89900.10.5
QUANTOR0.110.020.010.020.011
semprop0.920.150.110.130.151
skizzo_v0.44729.59788.2728.99800.5466.690
skizzo_v0.57.061.180.891.021.151
sSolve5405.72900.950.03900.960.060
WalkQSAT5405.96900.990.01900.9900
yQuaffle5396.71899.450.51899.350.70