Detail page for k_d4


	Submitter:	Pan

	Suite:	Pan

	Domain:	Miscellanea

	Description:

	Number of instances:	21

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

	Instances:	k_d4_p-1 k_d4_p-10 k_d4_p-11 k_d4_p-12 k_d4_p-13 k_d4_p-14 k_d4_p-15 k_d4_p-16 k_d4_p-17 k_d4_p-18 k_d4_p-19 k_d4_p-2 k_d4_p-20 k_d4_p-21 k_d4_p-3 k_d4_p-4 k_d4_p-5 k_d4_p-6 k_d4_p-7 k_d4_p-8 k_d4_p-9

The Quantified Boolean Formulas Satisfiability Library