Suite Mangassarian-Veneris

Download(264545.78 Kb)

	Submitter:	Hratch Mangassarian

	Description:

	Number of families:	2

	Families:	BMC (132) Debug (38)


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

The Quantified Boolean Formulas Satisfiability Library