Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/modelc_1

	Name	Last modified	Size	Description
	Parent Directory		-
	modelc_1__l1_modelc_1	2013-09-04 12:27	16K
	modelc_1__l13_modelc_1	2013-09-04 12:27	24K
	modelc_1__l25_modelc_1	2013-09-04 12:27	17K
	modelc_1__l26_modelc_1	2013-09-04 12:27	17K
	modelc_1__l27_modelc_1	2013-09-04 12:27	17K
	modelc_1__l28_modelc_1	2013-09-04 12:27	17K
	modelc_1__l29_modelc_1	2013-09-04 12:27	17K
	modelc_1__l30_modelc_1	2013-09-04 12:27	26K
	modelc_1__l31_modelc_1	2013-09-04 12:27	17K
	modelc_1__l32_modelc_1	2013-09-04 12:27	53K
	modelc_1__l33_modelc_1	2013-09-04 12:27	143K
	modelc_1__l34_modelc_1	2013-09-04 12:27	20K
	modelc_1__l35_modelc_1	2013-09-04 12:27	21K
	modelc_1__l36_modelc_1	2013-09-04 12:27	17K
	modelc_1__l37_modelc_1	2013-09-04 12:27	17K
	modelc_1__l38_modelc_1	2013-09-04 12:27	17K
	modelc_1__l39_modelc_1	2013-09-04 12:27	17K
	modelc_1__l40_modelc_1	2013-09-04 12:27	17K
	modelc_1__l44_modelc_1	2013-09-04 12:27	18K
	modelc_1__l45_modelc_1	2013-09-04 12:27	18K
	modelc_1__l46_modelc_1	2013-09-04 12:27	19K
	modelc_1__l47_modelc_1	2013-09-04 12:27	37K
	modelc_1__l48_modelc_1	2013-09-04 12:27	30K
	modelc_1__l56_modelc_1	2013-09-04 12:27	27K
	modelc_1__l57_modelc_1	2013-09-04 12:27	29K
	modelc_1__l58_modelc_1	2013-09-04 12:27	27K
	modelc_1__l59_modelc_1	2013-09-04 12:27	33K
	modelc_1__l60_modelc_1	2013-09-04 12:27	46K
	modelc_1__l61_modelc_1	2013-09-04 12:27	27K
	modelc_1__l65_modelc_1	2013-09-04 12:27	22K
	modelc_1__l79_modelc_1	2013-09-04 12:27	16K
	modelc_1__l80_modelc_1	2013-09-04 12:27	16K
	modelc_1__l81_modelc_1	2013-09-04 12:27	15K
	modelc_1__l82_modelc_1	2013-09-04 12:27	21K
	modelc_1__l86_modelc_1	2013-09-04 12:27	17K
	modelc_1__l88_modelc_1	2013-09-04 12:27	18K
	modelc_1__l92_modelc_1	2013-09-04 12:27	19K
	modelc_1__l96_modelc_1	2013-09-04 12:27	19K
	modelc_1__l99_modelc_1	2013-09-04 12:27	20K
	modelc_1__l103_modelc_1	2013-09-04 12:27	20K
	modelc_1__l132_modelc_1	2013-09-04 12:27	29K
	modelc_1__l133_modelc_1	2013-09-04 12:27	19K
	modelc_1__l134_modelc_1	2013-09-04 12:27	28K
	modelc_1__t1_modelc_1	2013-09-04 12:27	23K
	modelc_1__t2_modelc_1	2013-09-04 12:27	28K
	modelc_1__t3_modelc_1	2013-09-04 12:27	50K
	modelc_1__t4_modelc_1	2013-09-04 12:27	26K
	modelc_1__t5_modelc_1	2013-09-04 12:27	30K
	modelc_1__t6_modelc_1	2013-09-04 12:27	30K
	modelc_1__t7_modelc_1	2013-09-04 12:27	30K
	modelc_1__t8_modelc_1	2013-09-04 12:27	30K
	modelc_1__t9_modelc_1	2013-09-04 12:27	31K
	modelc_1__t10_modelc_1	2013-09-04 12:27	27K
	modelc_1__t11_modelc_1	2013-09-04 12:27	31K
	modelc_1__t12_modelc_1	2013-09-04 12:27	40K
	modelc_1__t13_modelc_1	2013-09-04 12:27	38K
	modelc_1__t14_modelc_1	2013-09-04 12:27	31K
	modelc_1__t15_modelc_1	2013-09-04 12:27	31K
	modelc_1__t16_modelc_1	2013-09-04 12:27	35K
	modelc_1__t17_modelc_1	2013-09-04 12:27	30K
	modelc_1__t18_modelc_1	2013-09-04 12:27	33K
	modelc_1__t19_modelc_1	2013-09-04 12:27	31K
	modelc_1__t20_modelc_1	2013-09-04 12:27	33K
	modelc_1__t21_modelc_1	2013-09-04 12:27	35K
	modelc_1__t22_modelc_1	2013-09-04 12:27	32K
	modelc_1__t23_modelc_1	2013-09-04 12:27	33K
	modelc_1__t24_modelc_1	2013-09-04 12:27	36K
	modelc_1__t25_modelc_1	2013-09-04 12:27	20K
	modelc_1__t26_modelc_1	2013-09-04 12:27	15K
	modelc_1__t27_modelc_1	2013-09-04 12:27	38K
	modelc_1__t28_modelc_1	2013-09-04 12:27	32K
	modelc_1__t29_modelc_1	2013-09-04 12:27	31K
	modelc_1__t30_modelc_1	2013-09-04 12:27	29K
	modelc_1__t31_modelc_1	2013-09-04 12:27	34K
	modelc_1__t32_modelc_1	2013-09-04 12:27	32K
	modelc_1__t33_modelc_1	2013-09-04 12:27	36K
	modelc_1__t34_modelc_1	2013-09-04 12:27	30K
	modelc_1__t35_modelc_1	2013-09-04 12:27	27K
	modelc_1__t36_modelc_1	2013-09-04 12:27	31K
	modelc_1__t37_modelc_1	2013-09-04 12:27	34K
	modelc_1__t38_modelc_1	2013-09-04 12:27	43K
	modelc_1__t39_modelc_1	2013-09-04 12:27	55K
	modelc_1__t40_modelc_1	2013-09-04 12:27	49K
	modelc_1__t41_modelc_1	2013-09-04 12:27	33K
	modelc_1__t42_modelc_1	2013-09-04 12:27	35K
	modelc_1__t43_modelc_1	2013-09-04 12:27	36K
	modelc_1__t44_modelc_1	2013-09-04 12:27	34K
	modelc_1__t45_modelc_1	2013-09-04 12:27	36K
	modelc_1__t46_modelc_1	2013-09-04 12:27	59K
	modelc_1__t47_modelc_1	2013-09-04 12:27	57K
	modelc_1__t48_modelc_1	2013-09-04 12:27	37K
	modelc_1__t49_modelc_1	2013-09-04 12:27	39K
	modelc_1__t50_modelc_1	2013-09-04 12:27	30K
	modelc_1__t51_modelc_1	2013-09-04 12:27	40K
	modelc_1__t52_modelc_1	2013-09-04 12:27	41K