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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo871.39217.85258.93103.41389.051
Caqe-hqspre1840.46460.12437.44464.02874.750.75
caqe-pre1251.59312.9290.68307.56580.441
depqbf_prefix_opt_qdo3600.23900.060.03900.060.060
depqbf_pre_QxQBH1778.35444.59282.93356465.940.75
GhostQ___cegar_pcnf_20193600.15900.040.03900.030.040
GhostQ___plain_pcnf_20193600.26900.070.02900.070.030
Hiqqer2019_11106.03276.51364.6293.51511.180.75
Hiqqer2019_21077.06269.27368.5585.28512.620.75
Hiqqer2019_31109.82277.46364.0294.19509.450.75
Qute_default3600.16900.040.02900.040.030
Qute_opt500416.46104.12177.642.07206.320
Qute_rrs2189.92547.48359.14595.9705.10.5