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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo516.8951.6959.4828.7735.431
Caqe-hqspre1360.88136.09256.0546.5835.910.9
caqe-pre1030.74103.07156.6746.6936.071
depqbf_prefix_opt_qdo8108.09810.81267.72900.050.050.1
depqbf_pre_QxQBH5222.3522.23316.53508.64649.330.7
GhostQ___cegar_pcnf_20197169.07716.91343.43900.02861.50.3
GhostQ___plain_pcnf_20198148.35814.84255.62900.040.040.1
Hiqqer2019_15138.74513.87400.99645.32887.690.5
Hiqqer2019_25384.56538.46398.93765.82882.630.5
Hiqqer2019_33994.89399.49415.04160.3883.420.6
Qute_default8557.81855.78132.77900.030.040.1
Qute_opt500617.8161.78124.2318.8520.130
Qute_rrs8501.87850.19149.65900.070.070.1