Suite Narizzano results for solvers
QBFEVAL'05

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL14454.05120.45143.6161.59200.980.825
openQbf48212.07401.77376.14313.57897.970.667
qbfbdd32144.62267.87404.51.86900.830.725
QbflHR53714.1447.62432.84121.96900.690.525
QChaffLearn32545.26271.21374.2750.93876.560.742
QMRes108030.61900.260.41900.270.360
QUANTOR2642.8722.0226.319.0235.990.333
semprop51661.44430.51406.11300.32900.480.617
skizzo_v0.426238.89218.66259.7487.35409.530.333
skizzo_v0.524676.58205.64269.0975.96339.040.592
sSolve33400.49278.34388.3237.57900.570.733
WalkQSAT11542.9596.1984.2869.19172.190.008
yQuaffle27999.02233.33348.793.06761.130.708