Detail page for Sorting_networks family

Download (12080 Kb)


	Submitter:	Jussi Rintanen

	Suite:	Rintanen

	Domain:	Miscellanea

	Description:	Synthesis of sorting networks

	Number of instances:	84

	Results:	2020 - Track 1 2019 - Track 1 2018 - Track 1 2018 - Track 2 2018 - Track 3 2018 - Track 5 2017 - Track 1 2017 - Track 2 2017 - Track 3 2016 - Track 1 2016 - Track 2 2016 - Track 3 2016 - Track 5 2016 - Track 6 2016 - Track 7 2010 - Track 1 2010 - Track 2 2010 - Track 3 2008 - Track 1 2007 - Track 1 2006 - Track 1

	Instances:	sortnetsort10.AE.stepl.004 sortnetsort10.AE.stepl.005 sortnetsort10.AE.stepl.006 sortnetsort10.AE.stepl.007 sortnetsort10.AE.stepl.008 sortnetsort10.AE.stepl.009 sortnetsort10.AE.stepl.010 sortnetsort10.AE.stepl.011 sortnetsort10.AE.stepl.012 sortnetsort10.v.stepl.004 sortnetsort10.v.stepl.005 sortnetsort10.v.stepl.006 sortnetsort10.v.stepl.007 sortnetsort10.v.stepl.008 sortnetsort10.v.stepl.009 sortnetsort10.v.stepl.010 sortnetsort10.v.stepl.011 sortnetsort10.v.stepl.012 sortnetsort5.AE.stepl.003 sortnetsort5.AE.stepl.004 sortnetsort5.AE.stepl.005 sortnetsort5.AE.stepl.006 sortnetsort5.AE.stepl.007 sortnetsort5.v.stepl.003 sortnetsort5.v.stepl.004 sortnetsort5.v.stepl.005 sortnetsort5.v.stepl.006 sortnetsort5.v.stepl.007 sortnetsort6.AE.stepl.003 sortnetsort6.AE.stepl.004 sortnetsort6.AE.stepl.005 sortnetsort6.AE.stepl.006 sortnetsort6.AE.stepl.007 sortnetsort6.v.stepl.003 sortnetsort6.v.stepl.004 sortnetsort6.v.stepl.005 sortnetsort6.v.stepl.006 sortnetsort6.v.stepl.007 sortnetsort7.AE.stepl.003 sortnetsort7.AE.stepl.004 sortnetsort7.AE.stepl.005 sortnetsort7.AE.stepl.006 sortnetsort7.AE.stepl.007 sortnetsort7.AE.stepl.008 sortnetsort7.AE.stepl.009 sortnetsort7.v.stepl.003 sortnetsort7.v.stepl.004 sortnetsort7.v.stepl.005 sortnetsort7.v.stepl.006 sortnetsort7.v.stepl.007 sortnetsort7.v.stepl.008 sortnetsort7.v.stepl.009 sortnetsort8.AE.stepl.003 sortnetsort8.AE.stepl.004 sortnetsort8.AE.stepl.005 sortnetsort8.AE.stepl.006 sortnetsort8.AE.stepl.007 sortnetsort8.AE.stepl.008 sortnetsort8.AE.stepl.009 sortnetsort8.v.stepl.003 sortnetsort8.v.stepl.004 sortnetsort8.v.stepl.005 sortnetsort8.v.stepl.006 sortnetsort8.v.stepl.007 sortnetsort8.v.stepl.008 sortnetsort8.v.stepl.009 sortnetsort9.AE.stepl.004 sortnetsort9.AE.stepl.005 sortnetsort9.AE.stepl.006 sortnetsort9.AE.stepl.007 sortnetsort9.AE.stepl.008 sortnetsort9.AE.stepl.009 sortnetsort9.AE.stepl.010 sortnetsort9.AE.stepl.011 sortnetsort9.AE.stepl.012 sortnetsort9.v.stepl.004 sortnetsort9.v.stepl.005 sortnetsort9.v.stepl.006 sortnetsort9.v.stepl.007 sortnetsort9.v.stepl.008 sortnetsort9.v.stepl.009 sortnetsort9.v.stepl.010 sortnetsort9.v.stepl.011 sortnetsort9.v.stepl.012

The Quantified Boolean Formulas Satisfiability Library

Detail page for Sorting_networks family