Detail page for jmc_quant family


	Submitter:	Katz

	Suite:	Katz

	Domain:	Formal Verification

	Description:

	Number of instances:	10

	Results:	2020 - Track 1 2018 - Track 5 2017 - Track 1 2010 - Track 1 2010 - Track 3 2008 - Track 1 2007 - Track 1 2006 - Track 1 2005 - Track 1 2004 - Track 1

	Instances:	test1_quant2 test1_quant3 test2_quant2 test2_quant3 test3_quant2 test3_quant4 test4_quant2 test4_quant4 test5_quant5 test5_quant7

The Quantified Boolean Formulas Satisfiability Library