Suite Peitl results for solvers
QBFEVAL'19 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GhostQ___cegar_qcir_201948960.25680356.6900.02678.190.278
GhostQ___plain_qcir_201939100.26543.06409.19900.01870.750.444
PortfolioGhostQQfunQuAbSQute___pf2517.827.190.057.20.070
PortfolioGhostQQfunQuAbSQute___pf346922.07651.7400.46900.03894.060
PortfolioGhostQQfunQuAbSQute___pfs28146.55390.92442.76.05894.070
Quabs_201841617.77578.02406.05900.01870.710.431
quabs___caqe-hqspre64803.25900.050.03900.040.050
QuAbS___quabs-caqe_201942643.85592.28411.44900.02870.260.361
Qute_default58387.25810.93207.58900.040.060.194