Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/card_fin

	Name	Last modified	Size	Description
	Parent Directory		-
	card_fin__l16_card_fin	2013-09-04 12:11	53K
	card_fin__l44_card_fin	2013-09-04 12:11	34K
	card_fin__l65_card_fin	2013-09-04 12:11	79K
	card_fin__l69_card_fin	2013-09-04 12:11	94K
	card_fin__t1_card_fin	2013-09-04 12:11	35K
	card_fin__t2_card_fin	2013-09-04 12:11	45K
	card_fin__t3_card_fin	2013-09-04 12:11	44K
	card_fin__t4_card_fin	2013-09-04 12:11	65K
	card_fin__t5_card_fin	2013-09-04 12:11	50K
	card_fin__t6_card_fin	2013-09-04 12:11	30K
	card_fin__t7_card_fin	2013-09-04 12:11	78K
	card_fin__t8_card_fin	2013-09-04 12:11	37K
	card_fin__t9_card_fin	2013-09-04 12:11	38K
	card_fin__t10_card_fin	2013-09-04 12:11	36K
	card_fin__t11_card_fin	2013-09-04 12:11	40K
	card_fin__t12_card_fin	2013-09-04 12:11	43K
	card_fin__t13_card_fin	2013-09-04 12:11	61K
	card_fin__t14_card_fin	2013-09-04 12:11	51K
	card_fin__t15_card_fin	2013-09-04 12:11	47K
	card_fin__t16_card_fin	2013-09-04 12:11	62K
	card_fin__t17_card_fin	2013-09-04 12:11	51K
	card_fin__t18_card_fin	2013-09-04 12:11	46K
	card_fin__t19_card_fin	2013-09-04 12:11	33K
	card_fin__t20_card_fin	2013-09-04 12:11	32K
	card_fin__t21_card_fin	2013-09-04 12:11	31K
	card_fin__t22_card_fin	2013-09-04 12:11	31K
	card_fin__t23_card_fin	2013-09-04 12:11	28K
	card_fin__t24_card_fin	2013-09-04 12:11	43K
	card_fin__t25_card_fin	2013-09-04 12:11	46K
	card_fin__t26_card_fin	2013-09-04 12:11	38K
	card_fin__t27_card_fin	2013-09-04 12:11	36K
	card_fin__t28_card_fin	2013-09-04 12:11	35K
	card_fin__t29_card_fin	2013-09-04 12:11	35K
	card_fin__t30_card_fin	2013-09-04 12:11	39K
	card_fin__t31_card_fin	2013-09-04 12:11	31K
	card_fin__t32_card_fin	2013-09-04 12:11	40K
	card_fin__t33_card_fin	2013-09-04 12:11	31K
	card_fin__t34_card_fin	2013-09-04 12:11	31K
	card_fin__t35_card_fin	2013-09-04 12:11	40K
	card_fin__t36_card_fin	2013-09-04 12:11	40K
	card_fin__t37_card_fin	2013-09-04 12:11	42K
	card_fin__t38_card_fin	2013-09-04 12:11	31K
	card_fin__t39_card_fin	2013-09-04 12:11	2.2K
	card_fin__t40_card_fin	2013-09-04 12:11	44K
	card_fin__t41_card_fin	2013-09-04 12:11	43K
	card_fin__t42_card_fin	2013-09-04 12:11	47K
	card_fin__t43_card_fin	2013-09-04 12:11	43K
	card_fin__t44_card_fin	2013-09-04 12:11	75K
	card_fin__t45_card_fin	2013-09-04 12:11	55K
	card_fin__t46_card_fin	2013-09-04 12:11	42K
	card_fin__t47_card_fin	2013-09-04 12:11	69K
	card_fin__t48_card_fin	2013-09-04 12:11	83K
	card_fin__t49_card_fin	2013-09-04 12:11	41K
	card_fin__t50_card_fin	2013-09-04 12:11	40K
	card_fin__t51_card_fin	2013-09-04 12:11	43K
	card_fin__t52_card_fin	2013-09-04 12:11	50K
	card_fin__t53_card_fin	2013-09-04 12:11	97K
	card_fin__t54_card_fin	2013-09-04 12:11	40K
	card_fin__t55_card_fin	2013-09-04 12:11	36K
	card_fin__t56_card_fin	2013-09-04 12:11	139K
	card_fin__t57_card_fin	2013-09-04 12:11	51K
	card_fin__t58_card_fin	2013-09-04 12:11	55K
	card_fin__t59_card_fin	2013-09-04 12:11	79K
	card_fin__t60_card_fin	2013-09-04 12:11	98K
	card_fin__t61_card_fin	2013-09-04 12:11	73K
	card_fin__t62_card_fin	2013-09-04 12:11	80K
	card_fin__t63_card_fin	2013-09-04 12:11	49K