Suite Gent-Rowley results for solvers
QBFEVAL'05

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL10811.31180.19326.020.88187.780.8
openQbf22754.27379.24399.6788.34896.070.7
qbfbdd16488.04274.8382.2718.27794.140
QbflHR15535.55258.93404.070.27900.50.717
QChaffLearn16286.8271.45403.541.34881.910.7
QMRes30705.35511.76433.73900.56893.420.05
QUANTOR820.7813.6819.550.5134.020.667
semprop15830.03263.83403.731.09900.450.717
skizzo_v0.4931.8715.5332.870.8423.330.667
skizzo_v0.52960.6349.34106.130.8341.050.683
sSolve15617.82260.3404.130.69900.650.717
WalkQSAT12310.33205.17371.690.7930.80.5
yQuaffle13652.44227.54340.041.37676.360.7