Family Sorting_networks results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo1385.27138.53260.5236.2445.290.9
Caqe-hqspre2232.93223.29339.459.2156.830.8
caqe-pre1900.69190.07283.5258.2156.230.9
depqbf_prefix_opt_qdo8107.38810.74267.7990000.1
depqbf_pre_QxQBH5458.42545.84334.02512.01876.540.6
GhostQ___cegar_pcnf_20197169.24716.92343.41900861.350.3
GhostQ___plain_pcnf_20198148.19814.82255.5490000.1
iprover_bloqqer_schedule8158.39815.84140.19900288.990
iprover_bloqqer_single7971.13797.11206.1900488.680
nanoqbf_bloqqer6855.57685.56354.92900883.490.3
nanoqbf_hqspre5845.25584.53392.48900878.620.4
Qute_default8558.65855.87132.4190000.1
Qute_opt500624.9162.49123.9720.6820.190
Qute_rrs8501.26850.13149.6290000.1
Rareqs_20182201.38220.14342.2247.12113.140.8