Suite QBF_1.0

Suite QBF_1.0

Download(1510.1 Kb)

	Submitter:	Luca Pulina

	Description:	Formulas in QBF 1.0 format.

	Number of families:	2

	Families:	NuSMV_diam (92) NuSMV_diam_bin (92)


	Results:	2016 - Track 2 2010 - Track 5 2008 - Track 2 2007 - Track 3

Contact | Organization | Links | Citing QBFLIB