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

	Name	Last modified	Size	Description
	Parent Directory		-
	modal_1__l1_modal_1	2013-09-04 12:16	25K
	modal_1__l26_modal_1	2013-09-04 12:16	24K
	modal_1__l49_modal_1	2013-09-04 12:16	31K
	modal_1__l68_modal_1	2013-09-04 12:16	45K
	modal_1__l69_modal_1	2013-09-04 12:16	25K
	modal_1__l70_modal_1	2013-09-04 12:16	32K
	modal_1__t1_modal_1	2013-09-04 12:16	32K
	modal_1__t2_modal_1	2013-09-04 12:16	29K
	modal_1__t3_modal_1	2013-09-04 12:16	30K
	modal_1__t4_modal_1	2013-09-04 12:16	29K
	modal_1__t5_modal_1	2013-09-04 12:16	25K
	modal_1__t6_modal_1	2013-09-04 12:16	25K
	modal_1__t7_modal_1	2013-09-04 12:16	25K
	modal_1__t8_modal_1	2013-09-04 12:16	33K
	modal_1__t9_modal_1	2013-09-04 12:16	28K
	modal_1__t10_modal_1	2013-09-04 12:16	35K
	modal_1__t11_modal_1	2013-09-04 12:16	31K
	modal_1__t12_modal_1	2013-09-04 12:16	35K
	modal_1__t13_modal_1	2013-09-04 12:16	49K
	modal_1__t14_modal_1	2013-09-04 12:16	34K
	modal_1__t15_modal_1	2013-09-04 12:16	30K
	modal_1__t16_modal_1	2013-09-04 12:16	37K
	modal_1__t17_modal_1	2013-09-04 12:16	34K
	modal_1__t18_modal_1	2013-09-04 12:16	36K
	modal_1__t19_modal_1	2013-09-04 12:16	38K
	modal_1__t20_modal_1	2013-09-04 12:16	36K
	modal_1__t21_modal_1	2013-09-04 12:16	41K
	modal_1__t22_modal_1	2013-09-04 12:16	37K
	modal_1__t23_modal_1	2013-09-04 12:16	45K
	modal_1__t24_modal_1	2013-09-04 12:16	37K
	modal_1__t25_modal_1	2013-09-04 12:16	44K
	modal_1__t26_modal_1	2013-09-04 12:16	27K
	modal_1__t27_modal_1	2013-09-04 12:16	54K
	modal_1__t28_modal_1	2013-09-04 12:16	54K
	modal_1__t29_modal_1	2013-09-04 12:16	56K
	modal_1__t30_modal_1	2013-09-04 12:16	46K
	modal_1__t31_modal_1	2013-09-04 12:16	46K
	modal_1__t32_modal_1	2013-09-04 12:16	28K
	modal_1__t33_modal_1	2013-09-04 12:16	32K
	modal_1__t34_modal_1	2013-09-04 12:16	32K
	modal_1__t35_modal_1	2013-09-04 12:16	48K
	modal_1__t36_modal_1	2013-09-04 12:16	46K
	modal_1__t37_modal_1	2013-09-04 12:16	44K
	modal_1__t38_modal_1	2013-09-04 12:16	46K
	modal_1__t39_modal_1	2013-09-04 12:16	46K
	modal_1__t40_modal_1	2013-09-04 12:16	48K
	modal_1__t41_modal_1	2013-09-04 12:16	37K
	modal_1__t42_modal_1	2013-09-04 12:16	38K
	modal_1__t43_modal_1	2013-09-04 12:16	47K
	modal_1__t44_modal_1	2013-09-04 12:16	47K
	modal_1__t45_modal_1	2013-09-04 12:16	45K
	modal_1__t46_modal_1	2013-09-04 12:16	33K