Suite Diptarama-Jordan-Shinohara results for solvers
QBFEVAL'19 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo727.6972.77135.5113.2818.021
Caqe-hqspre8886.67888.6734.17900.060.040
caqe-pre5188.93518.89129.17469.8546.141
depqbf_prefix_opt_qdo1239.28123.93265.0818.8626.570.9
depqbf_pre_QxQBH2104.24210.42269.6186.0339.450.9
GhostQ___cegar_pcnf_20199000.36900.040.02900.030.020
GhostQ___plain_pcnf_20199000.48900.050.02900.060.050
Hiqqer2019_1758.9375.89199.013.466.131
Hiqqer2019_2166.2316.6237.013.50.511
Hiqqer2019_3767.776.77202.393.935.451
Qute_default7397.24739.72173.1808.9419.190.5
Qute_opt5003025.87302.59164.26408.18348.470
Qute_rrs8600.49860.05103.33900.0353.830.2