Suite Gent-Rowley results for solvers
QBFEVAL'17 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto1800900090000
ghostq-cegar1800900090000
ghostq-plain1800900090000
qfun0.11800900090000
QuAbS_20171800900090000
Qute_hybrid1752.69876.350.19876.3500
Qute_opt6171800900090000
Qute_opt9931800900090000