Family Adder results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL16536.52516.77373.04522.96775.60.125
openQbf25230.45788.45297.56900.930.050.125
qbfbdd25227.56788.36297.92900.980.080.125
QbflHR25229.21788.41297.879010.010.125
QChaffLearn11675.34364.85417.0165.73891.440.344
QMRes9340291.88354.3886.98538.650.625
QUANTOR2317.4772.42214.8713.239.950.25
semprop23516.23734.88345.95900.980.070.188
skizzo_v0.412366.31386.45391.06179.47825.010.313
skizzo_v0.510923.15341.35381.3888.01851.350.344
sSolve25227.66788.36297.92900.970.070.125
WalkQSAT19661.22614.41380.09900.99733.540.094
yQuaffle23634.33738.57282.16843.8698.40.125