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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo3126.08312.61386.0769.97122.880.7
Caqe-hqspre24.872.493.271.52.721
caqe-pre24.862.493.251.542.691
depqbf_prefix_opt_qdo4534.41453.44383.02325.3900.010.6
depqbf_pre_QxQBH655.1665.5280.5123.2946.261
GhostQ___cegar_pcnf_20191167.69116.77265.473.7619.660.9
GhostQ___plain_pcnf_2019159.9215.9936.381.873.331
Hiqqer2019_18999.969000.1900.040.210
Hiqqer2019_29000.2900.020.03900.010.010
Hiqqer2019_39000.42900.040.03900.040.030
Qute_default27.852.793.272.492.021
Qute_opt500161.61.071.791.910
Qute_rrs21.972.22.482.42.471