Suite Palacios

Download(3010.49 Kb)

	Submitter:	Hector Palacios

	Description:

	Number of families:	1

	Families:	conformant_planning (24)


	Results:	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