Suite Kronegger-Pfandler-Pichler

Download(0 Kb)

	Submitter:	Martin Kronegger

	Description:

	Number of families:	2

	Families:	bomb (297) dungeon (1453)


	Results:	2020 - Track 1 2019 - Track 1 2018 - Track 1 2018 - Track 2 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