Detail page for formula


	Submitter:	Thomas Preusser

	Suite:	Preusser

	Domain:	Miscellanea

	Description:

	Number of instances:	12

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

	Instances:	add4_CHOOSE add4_COMPLETE add4_REDUCED add5_CHOOSE add5_COMPLETE add5_REDUCED add6_CHOOSE add6_COMPLETE add6_REDUCED add7_CHOOSE add7_COMPLETE add7_REDUCED

The Quantified Boolean Formulas Satisfiability Library