Suite Gent-Rowley results for solvers
QBFEVAL'04

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn10053.83170.4349.970.971.460.814
CSBJ10863.52184.13362.240.971.450.797
GRL10193.95172.78349.81.11.750.814
openQbf11109.69188.3360.711.643.190.797
orSAT34262.42580.72430.85901899.770.356
QBFL-BS13.860.230.190.120.370.983
QBFL-JW12.540.210.190.110.340.949
QMRes29122.74493.61432.86901894.880.119
QSAT7343.71124.47305.020.650.770.508
QUANTOR340.085.768.70.511.750.695
QUBE-BJ5193.0588.02255.33.243.190.475
QUBE-LRN2273.1938.53113.782.922.860.475
semprop11123.76188.54361.130.912.040.797
sSolve10886.45184.52362.080.771.110.797
WalkQSAT123.152.097.410.660.680.559
yQuaffle2591.7143.9384.41.742.670.763