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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto3600900090000
ghostq-cegar3600900090000
ghostq-plain3600900090000
qfun0.13592.75898.191.85898.463.630
QuAbS_20173600900090000
Qute_hybrid3505.11876.280.52876.110.940
Qute_opt6173600900090000
Qute_opt9933600900090000