Suite Cashmore-Fox-Giunchiglia results for solvers
QBFEVAL'17 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto1800900090000
ghostq-cegar1789.09894.552.17894.5500
ghostq-plain1789.06894.532.23894.5300
qfun0.11364.05682.03203.1682.0300.5
QuAbS_20171800900090000
Qute_hybrid1753.05876.530.11876.5300
Qute_opt6171800900090000
Qute_opt9931800900090000