Detail page for genbuf family


	Submitter:	Leander Tentrup

	Suite:	Tentrup

	Domain:	Miscellanea

	Description:

	Number of instances:	126

	Results:	2020 - Track 1 2020 - Track 3 2019 - Track 1 2019 - Track 2 2018 - Track 1 2018 - Track 2 2018 - Track 3 2018 - Track 5 2017 - Track 1 2017 - Track 2 2017 - Track 3

	Instances:	genbuf10b4n.sat genbuf10b4n.unsat genbuf10b4y.sat genbuf10b4y.unsat genbuf10c3n.sat genbuf10c3n.unsat genbuf10c3y.sat genbuf10c3y.unsat genbuf11b4n.sat genbuf11b4n.unsat genbuf11b4y.sat genbuf11b4y.unsat genbuf11c3n.sat genbuf11c3n.unsat genbuf11c3y.sat genbuf11c3y.unsat genbuf12b4n.sat genbuf12b4n.unsat genbuf12b4y.sat genbuf12b4y.unsat genbuf12c3y.sat genbuf12c3y.unsat genbuf13b4y.sat genbuf13b4y.unsat genbuf14b4y.sat genbuf14b4y.unsat genbuf1b4n.sat genbuf1b4n.unsat genbuf1b4y.sat genbuf1b4y.unsat genbuf1c3n.sat genbuf1c3n.unsat genbuf1c3y.sat genbuf1c3y.unsat genbuf1f4n.sat genbuf1f4n.unsat genbuf1f4y.sat genbuf1f4y.unsat genbuf2b4n.sat genbuf2b4n.unsat genbuf2b4y.sat genbuf2b4y.unsat genbuf2c3n.sat genbuf2c3n.unsat genbuf2c3y.sat genbuf2c3y.unsat genbuf2f4n.sat genbuf2f4n.unsat genbuf2f4y.sat genbuf2f4y.unsat genbuf3b4n.sat genbuf3b4n.unsat genbuf3b4y.sat genbuf3b4y.unsat genbuf3c3n.sat genbuf3c3n.unsat genbuf3c3y.sat genbuf3c3y.unsat genbuf3f4n.sat genbuf3f4n.unsat genbuf3f4y.sat genbuf3f4y.unsat genbuf4b4n.sat genbuf4b4n.unsat genbuf4b4y.sat genbuf4b4y.unsat genbuf4c3n.sat genbuf4c3n.unsat genbuf4c3y.sat genbuf4c3y.unsat genbuf4f4n.sat genbuf4f4n.unsat genbuf4f4y.sat genbuf4f4y.unsat genbuf5b4n.sat genbuf5b4n.unsat genbuf5b4y.sat genbuf5b4y.unsat genbuf5c3n.sat genbuf5c3n.unsat genbuf5c3y.sat genbuf5c3y.unsat genbuf5f5n.sat genbuf5f5n.unsat genbuf5f5y.sat genbuf5f5y.unsat genbuf6b4n.sat genbuf6b4n.unsat genbuf6b4y.sat genbuf6b4y.unsat genbuf6c3n.sat genbuf6c3n.unsat genbuf6c3y.sat genbuf6c3y.unsat genbuf6f6n.sat genbuf6f6n.unsat genbuf6f6y.sat genbuf6f6y.unsat genbuf7b4n.sat genbuf7b4n.unsat genbuf7b4y.sat genbuf7b4y.unsat genbuf7c3n.sat genbuf7c3n.unsat genbuf7c3y.sat genbuf7c3y.unsat genbuf7f7n.sat genbuf7f7n.unsat genbuf7f7y.sat genbuf7f7y.unsat genbuf8b4n.sat genbuf8b4n.unsat genbuf8b4y.sat genbuf8b4y.unsat genbuf8c3n.sat genbuf8c3n.unsat genbuf8c3y.sat genbuf8c3y.unsat genbuf9b4n.sat genbuf9b4n.unsat genbuf9b4y.sat genbuf9b4y.unsat genbuf9c3n.sat genbuf9c3n.unsat genbuf9c3y.sat genbuf9c3y.unsat

The Quantified Boolean Formulas Satisfiability Library

Detail page for genbuf family