Family Tree results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL1811.62129.43150.010.010.857
openQbf2962.23211.59364.961.115.850.786
qbfbdd7272.59519.47440.74900.71900.870.429
QbflHR3367.77240.56367.613.94108.220.786
QChaffLearn1119.3779.96226.450.010.010.929
QMRes0.080.010.010.010.011
QUANTOR0.0400.01001
semprop0.0500.0100.011
skizzo_v0.40.240.020.010.020.011
skizzo_v0.50.20.010.010.020.011
sSolve1799.24128.52300.640.020.540.929
WalkQSAT1060.7975.77232.310.010.010.929
yQuaffle39.172.89.880.010.011