Suite Scholl-Becker results for solvers
QBFEVAL'05

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL24898.84389.04416.03137.37900.660.391
openQbf41334.27645.85401.74900.9893.980.297
qbfbdd35189.49549.84435.13900.7900.860.406
QbflHR39587.09618.55410.21900.99900.540.328
QChaffLearn18018.76281.54396.691.56898.520.641
QMRes37816.52590.88423.65900.6892.90.359
QUANTOR5794.8490.54251.852.1313.720.547
semprop27604.16431.32435.34219.08900.970.531
skizzo_v0.410975.31171.49306.71.75192.280.578
skizzo_v0.513568.19212330.122.38342.220.578
sSolve37587.44587.3416.71900.848760.375
WalkQSAT20574.2321.47407.281.94900.030.234
yQuaffle26454.33413.35434.07135.39900.20.563