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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer4650.43232.52385.961.04497.350.75
Caqe-bloqqer-qdo6327.75316.39428.292.33900.030.65
Caqe-hqspre3662.5183.13358.541.7522.250.8
Cued_2_20186558.53327.93421.4813.04897.750.65
Cued_3_20186559.12327.96421.4813.09897.710.65
depqbf_prefix_opt_qdo2726.57136.33320.830.512.450.85
depqbf_pre_QxQBH2035.89101.79267.331.7923.080.9
GhostQ-PG_cegar3604.94180.25339.097.1943.120.85
GhostQ-PG_plain3334.51166.73324.15.3754.610.85
Heretiq-cube5023.15251.16382.770.99611.850.75
Heretiq-simple5599.45279.97407.981.01900.020.7
ijtihad4822.48241.12383.240.97536.680.75
Iprover-HQSpre-Bloqqer4519.57225.98389.161.48452.840.75
PortfolioDepQBFGhostQRaReQSQute___pf2247.55112.38266.818.7320.770.9
predyndep2317.32115.87267.3310.6922.660.9
Qute_default4523.73226.19389.071.37454.140.75
Qute_opt5004523.73226.19389.051.42454.140.75
Qute_random4523.62226.18389.051.42454.120.75
Rareqs_20185426.7271.34411.590.99900.010.7