Family evader-pursuer-6x6-logarithmic results for solvers
QBFEVAL'17 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto3118.45779.61208.52900240.780.25
ghostq-cegar3421.55855.3977.2790089.230.25
ghostq-plain2866.35716.59317.68900366.830.25
qfun0.13600900090000
QuAbS_20172949.26737.32281.78900325.370.25
Qute_hybrid3505.84876.460.1876.470.180
Qute_opt6173600900090000
Qute_opt9933600900090000