Suite Katz results for solvers
QBFEVAL'05

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL18015.25900.760.17900.810.230
openQbf18018.47900.920.03900.930.050
qbfbdd18013.22900.660.22900.760.320
QbflHR18020.029010.019010.010
QChaffLearn17959.48897.972898.213.170
QMRes8925.58446.28398.42386.05891.80.35
QUANTOR3354.32167.72273.5952.1699.880
semprop18019.999010.019010.020
skizzo_v0.416436.44821.82167.42900.630.280
skizzo_v0.517151.7857.59126.43900.290.70
sSolve18016.48900.820.07900.840.110
WalkQSAT17882.57894.1329.939010.010.05
yQuaffle18010.46900.520.17900.580.190