Family evader-pursuer-6x6-standard results for solvers
QBFEVAL'16 - Prenex non-CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar557.69139.4227.53142.4352.40
ghostq-plain532.39133.123.36136.8244.060
qsts2396.65599.160.11599.160.190
quabs-minisat2398.85599.710599.7100
quabs-picosat2399.04599.760.05599.760.10
rareqs-nn838.39209.614.23206.9823.950
xb-bid-qsts2398.88599.720599.7200
xb-qsts2399.15599.790.08599.770.140