Family evader-pursuer-6x6-standard results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert4800600060000
caqe-picosat-cert4800600060000
cheq4880.26610.033.99610.195.720
depqbf-cert-v11012.79126.6187.8430.5298.990.125
depqbf-cert-v24852.6606.585.96606.5710.050