Suite Amendola-Ricca-Truszczynski results for solvers
QBFEVAL'17 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto13089.1654.46349.43900511.030.4
ghostq-cegar15025.45751.27315.4190000.2
ghostq-plain17187.85859.3917790000.05
qfun0.116751.75837.59203.990000.1
QuAbS_20177302.47365.12401.16118.39897.650.65
Qute_hybrid12988.77649.44372.89877.4541.080.3
Qute_opt61717134.24856.71188.6990000.05
Qute_opt99314540.82727.04346.7690000.2