Detail page for DFlipFlop family


	Submitter:	Ayari

	Suite:	Ayari

	Domain:	Formal Verification

	Description:

	Number of instances:	10

	Results:	2016 - Track 1 2016 - Track 2 2016 - Track 5 2016 - Track 6 2016 - Track 7 2008 - Track 1 2005 - Track 1 2004 - Track 1

	Instances:	flipflop-10-c flipflop-11-c flipflop-12-c flipflop-3-c flipflop-4-c flipflop-5-c flipflop-6-c flipflop-7-c flipflop-8-c flipflop-9-c

The Quantified Boolean Formulas Satisfiability Library