Suite Mneimneh-Sakallah results for solvers
QBFEVAL'17 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto4500900090000
ghostq-cegar4500900090000
ghostq-plain4500900090000
qfun0.14500900090000
QuAbS_20174500900090000
Qute_hybrid4384.97876.990.22876.820.20
Qute_opt6174500900090000
Qute_opt9934500900090000