Family RobotsD2 results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL3730.19124.34160.6243.59250.70.8
openQbf12707.27423.58370.47386.08897.90.667
qbfbdd6859.76228.66363.022.2411.030.833
QbflHR18023.75600.79424.55900.99900.580.333
QChaffLearn8430.94281.03398.9529.97873.690.7
QMRes27008.75900.290.21900.250.360
QUANTOR511.5817.0516.689.0133.880.333
semprop16200.03540419.68900.96900.470.467
skizzo_v0.45727.99190.93215.2391.09365.820.333
skizzo_v0.510530.26351.01324.84197.52606.430.333
sSolve8599.39286.65404.8923.58900.610.7
WalkQSAT2838.5694.6285.1660.75172.250.033
yQuaffle6349.41211.65329.712.52425.610.767