Index of /~mptp/1147/MPTP2/problems_small_consist/card_4

	Name	Last modified	Size	Description
	Parent Directory		-
	card_4__l4_card_4	2013-09-04 12:09	178K
	card_4__l6_card_4	2013-09-04 12:09	27K
	card_4__t1_card_4	2013-09-04 12:09	655
	card_4__t2_card_4	2013-09-04 12:09	19K
	card_4__t3_card_4	2013-09-04 12:09	36K
	card_4__t4_card_4	2013-09-04 12:09	41K
	card_4__t5_card_4	2013-09-04 12:09	51K
	card_4__t6_card_4	2013-09-04 12:09	24K
	card_4__t7_card_4	2013-09-04 12:09	25K
	card_4__t8_card_4	2013-09-04 12:09	33K
	card_4__t9_card_4	2013-09-04 12:09	56K
	card_4__t10_card_4	2013-09-04 12:09	31K
	card_4__t11_card_4	2013-09-04 12:09	24K
	card_4__t12_card_4	2013-09-04 12:09	21K
	card_4__t13_card_4	2013-09-04 12:09	26K
	card_4__t14_card_4	2013-09-04 12:09	38K
	card_4__t15_card_4	2013-09-04 12:09	50K
	card_4__t16_card_4	2013-09-04 12:09	21K
	card_4__t17_card_4	2013-09-04 12:09	21K
	card_4__t18_card_4	2013-09-04 12:09	24K
	card_4__t19_card_4	2013-09-04 12:09	25K
	card_4__t20_card_4	2013-09-04 12:09	29K
	card_4__t21_card_4	2013-09-04 12:09	21K
	card_4__t22_card_4	2013-09-04 12:09	21K
	card_4__t23_card_4	2013-09-04 12:09	32K
	card_4__t24_card_4	2013-09-04 12:09	31K