Suite Oetsch results for solvers
QBFEVAL'18 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_201815919.33636.77396.43900.02875.450.32
GhostQ_PG___cegar_qcir_201814477.18579.09427.97900.02893.380.36
GhostQ_PG___plain_qcir_20187336.97293.48382.7113.13550.740.72
PortfolioGhostQQfunQuAbSQute___pf2171.416.860.596.950.070.08
PortfolioGhostQQfunQuAbSQute___pf33981.75159.27327.275.80.190.04
PortfolioGhostQQfunQuAbSQute___pfs144.555.780.085.770.090
QFUN14440.64577.63429.92900.01898.560.36
Quabs_20187732.69309.31377.81155.08581.480.72
quabs___caqe-bloqqer15445.44617.82411.52900.02874.550.32
quabs___caqe-hqspre16139.9645.6378.1900.02734.920.32
Qute_hybrid17742.22709.69345.85900.04261.360.24
Qute_opt61717785.46711.42305900.01441.420.36
Qute_opt99320058.22802.33255.26900.050.040.16