Family RobotsD5 results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL3484.13116.14127.0574.15105.860.833
openQbf11693.01389.77379.94316.37898.650.667
qbfbdd8125.93270.86412.31.96898.180.7
QbflHR10025.91334.2403.31119.5900.790.667
QChaffLearn8179.22272.64374.2378.96299.80.733
QMRes27006.83900.230.47900.260.240
QUANTOR766.2425.5430.929.0330.940.333
semprop11239.13374.64393.28140.26900.620.7
skizzo_v0.47433.59247.79297.2886.28637.610.333
skizzo_v0.55262.42175.41248.1338.66155.750.733
sSolve8311.63277.05386.7845.68462.730.733
WalkQSAT2932.9897.7788.5773.24175.630
yQuaffle6951.44231.71350.233.54756.60.7