Suite Sauer-Reimer results for solvers
QBFEVAL'19 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo6350.5317.53427.512.82899.750.65
Caqe-hqspre3689.8184.49358.021.7635.910.8
caqe-pre3690.67184.533581.7536.440.8
depqbf_prefix_opt_qdo2725.11136.26320.860.332.40.85
depqbf_pre_QxQBH2045.03102.25267.22.0926.810.9
GhostQ___cegar_pcnf_20193550.12177.51335.67.1840.40.85
GhostQ___plain_pcnf_20193316.11165.81323.485.3752.960.85
Hiqqer2019_16323.12316.16428.311.86899.660.65
Hiqqer2019_26148.77307.44417.642.67899.540.7
Hiqqer2019_36327.87316.39428.162.46899.620.65
Qute_default4526.36226.32388.971.65454.450.75
Qute_opt500212.0910.620.631.638.890.75
Qute_rrs4526.67226.33388.971.61454.60.75