Suite Narizzano

Download(301926.07 Kb)

	Submitter:	Massimo Narizzano

	Description:

	Number of families:	5

	Families:	QLTL_safety (500) RobotsD2 (1000) RobotsD3 (1000) RobotsD4 (1000) RobotsD5 (1000)


	Results:	2017 - Track 2 2017 - Track 5 2016 - Track 2 2016 - Track 8 2010 - Track 4 2010 - Track 5 2008 - Track 2 2006 - Track 1 2005 - Track 1 2004 - Track 1

The Quantified Boolean Formulas Satisfiability Library