Family term1 results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL594.4274.394.0333.93132.220.5
openQbf5409.18676.15389.33900.91448.90.25
qbfbdd4503.48562.94436900.36900.750.375
QbflHR3604.96450.62450.38450.94900.970.5
QChaffLearn297.5237.19970.390.960.875
QMRes1934.31241.79380.424.52446.810.75
QUANTOR1808.27226.03387.141.99453.30.75
semprop200.5425.0743.612.4333.80.875
skizzo_v0.4422.5652.8296.910.5960.910.75
skizzo_v0.5306.538.3163.163.169.190.75
sSolve3659.8457.48443.51465.37887.660.5
WalkQSAT904.56113.07297.810.450.550.25
yQuaffle1049.12131.14294.640.2973.950.875