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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GhostQ___cegar_qcir_201919146.56765.86290.92900.020.040.2
GhostQ___plain_qcir_201920012.07800.48269.83900.040.060.12
PortfolioGhostQQfunQuAbSQute___pf29616.14384.65399.65151.82879.950.64
PortfolioGhostQQfunQuAbSQute___pf39638.15385.53399.15158.88880.190.64
PortfolioGhostQQfunQuAbSQute___pfs9575.82383.03399.34149.64880.280.64
Quabs_201811774.75470.99395.69277.08864.450.56
quabs___caqe-hqspre11910.36476.41441.74900.018960.48
QuAbS___quabs-caqe_201912164.27486.57404.4272.13864.470.52
Qute_default15269.42610.78408.95900.01881.520.36