Detail page for Connect7 family


	Submitter:	Gent

	Suite:	Gent-Rowley

	Domain:	Planning

	Description:

	Number of instances:	27

	Results:	2018 - Track 5 2017 - Track 1 2004 - Track 1

	Instances:	cf_7_7x7_d_ cf_7_7x7_r_ cf_7_7x7_w_ cf_7_7x8_d_ cf_7_7x8_r_ cf_7_7x8_w_ cf_7_7x9_d_ cf_7_7x9_r_ cf_7_7x9_w_ cf_7_8x7_d_ cf_7_8x7_r_ cf_7_8x7_w_ cf_7_8x8_d_ cf_7_8x8_r_ cf_7_8x8_w_ cf_7_8x9_d_ cf_7_8x9_r_ cf_7_8x9_w_ cf_7_9x7_d_ cf_7_9x7_r_ cf_7_9x7_w_ cf_7_9x8_d_ cf_7_9x8_r_ cf_7_9x8_w_ cf_7_9x9_d_ cf_7_9x9_r_ cf_7_9x9_w_

The Quantified Boolean Formulas Satisfiability Library