Suite Miller-Scholl-Becker

Download(0 Kb)

	Submitter:	Christian Miller

	Description:

	Number of families:	1

	Families:	QBF-Hardness (198)


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

The Quantified Boolean Formulas Satisfiability Library