Suite Diptarama-Jordan-Shinohara

Download(0 Kb)

	Submitter:	Charles Jordan

	Description:

	Number of families:	1

	Families:	Generalized-Tic-Tac-Toe (180)


	Results:	2017 - Track 1 2016 - Track 1 2016 - Track 2 2016 - Track 5 2016 - Track 6 2016 - Track 7

The Quantified Boolean Formulas Satisfiability Library