Family evader-pursuer-4x4-standard results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL6303.83900.550.07900.540.120
openQbf6306.48900.930.02900.930.060
qbfbdd6304.82900.690.07900.680.170
QbflHR6306.95900.990.02900.990.030
QChaffLearn6303.72900.530.2900.580.560
QMRes6303.95900.560.13900.490.30
QUANTOR6303.71900.530.15900.580.290
semprop6306.82900.970.02900.970.040
skizzo_v0.44106.27586.61310.13677.157980.143
skizzo_v0.53794.8542.11334.58449.59893.650.143
sSolve6306.53900.930.02900.920.010
WalkQSAT6306.74900.960.02900.970.060
yQuaffle5940.27848.617.55845.576.290