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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert4393.07549.13134.5860000.125
caqe-picosat-cert3765.73470.72226.48600224.660.25
cheq3120.42390.05282.35577.16568.770.125
depqbf-cert-v12295.32286.92276.88206607.570.5
depqbf-cert-v22422.18302.77274.64279.59597.570.5