Family k_branch_n results for solvers
QBFEVAL'19 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo950.4158.4331.749.076.640.833
Caqe-hqspre690.83115.14107.9590.9153.321
caqe-pre749.61124.94118.7488.73146.51
depqbf_prefix_opt_qdo5400.21900.040.02900.040.040
depqbf_pre_QxQBH602.1100.3582.7590.77141.491
GhostQ___cegar_pcnf_20195400.33900.060.02900.060.050
GhostQ___plain_pcnf_20195400.33900.060.03900.060.060
Hiqqer2019_12721.56453.59446.47459.17898.710.5
Hiqqer2019_22705.71450.95449.11451.18898.70.5
Hiqqer2019_32705.24450.87449.14451.11898.70.5
Qute_default1575.14262.52318.3123.92211.070.833
Qute_opt5001073.12178.85175.76114.73193.350.667
Qute_rrs1242.42207.07217.46118.61201.31