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

	Name	Last modified	Size	Description
	Parent Directory		-
	stirl2_1__l44_stirl2_1	2013-09-04 12:16	35K
	stirl2_1__l48_stirl2_1	2013-09-04 12:16	82K
	stirl2_1__l53_stirl2_1	2013-09-04 12:16	45K
	stirl2_1__l65_stirl2_1	2013-09-04 12:16	55K
	stirl2_1__l67_stirl2_1	2013-09-04 12:16	59K
	stirl2_1__t1_stirl2_1	2013-09-04 12:16	32K
	stirl2_1__t2_stirl2_1	2013-09-04 12:16	37K
	stirl2_1__t3_stirl2_1	2013-09-04 12:16	38K
	stirl2_1__t4_stirl2_1	2013-09-04 12:16	38K
	stirl2_1__t5_stirl2_1	2013-09-04 12:16	34K
	stirl2_1__t6_stirl2_1	2013-09-04 12:16	38K
	stirl2_1__t7_stirl2_1	2013-09-04 12:16	40K
	stirl2_1__t8_stirl2_1	2013-09-04 12:16	31K
	stirl2_1__t9_stirl2_1	2013-09-04 12:16	35K
	stirl2_1__t10_stirl2_1	2013-09-04 12:16	39K
	stirl2_1__t11_stirl2_1	2013-09-04 12:16	32K
	stirl2_1__t12_stirl2_1	2013-09-04 12:16	34K
	stirl2_1__t13_stirl2_1	2013-09-04 12:16	46K
	stirl2_1__t14_stirl2_1	2013-09-04 12:16	36K
	stirl2_1__t15_stirl2_1	2013-09-04 12:16	41K
	stirl2_1__t16_stirl2_1	2013-09-04 12:16	45K
	stirl2_1__t17_stirl2_1	2013-09-04 12:16	42K
	stirl2_1__t18_stirl2_1	2013-09-04 12:16	46K
	stirl2_1__t19_stirl2_1	2013-09-04 12:16	63K
	stirl2_1__t20_stirl2_1	2013-09-04 12:16	71K
	stirl2_1__t21_stirl2_1	2013-09-04 12:16	48K
	stirl2_1__t22_stirl2_1	2013-09-04 12:16	45K
	stirl2_1__t23_stirl2_1	2013-09-04 12:16	69K
	stirl2_1__t24_stirl2_1	2013-09-04 12:16	35K
	stirl2_1__t25_stirl2_1	2013-09-04 12:16	38K
	stirl2_1__t26_stirl2_1	2013-09-04 12:16	44K
	stirl2_1__t27_stirl2_1	2013-09-04 12:16	44K
	stirl2_1__t28_stirl2_1	2013-09-04 12:16	38K
	stirl2_1__t29_stirl2_1	2013-09-04 12:16	39K
	stirl2_1__t30_stirl2_1	2013-09-04 12:16	45K
	stirl2_1__t31_stirl2_1	2013-09-04 12:16	44K
	stirl2_1__t32_stirl2_1	2013-09-04 12:16	47K
	stirl2_1__t33_stirl2_1	2013-09-04 12:16	44K
	stirl2_1__t34_stirl2_1	2013-09-04 12:16	64K
	stirl2_1__t35_stirl2_1	2013-09-04 12:16	50K
	stirl2_1__t36_stirl2_1	2013-09-04 12:16	68K
	stirl2_1__t37_stirl2_1	2013-09-04 12:16	68K
	stirl2_1__t38_stirl2_1	2013-09-04 12:16	59K
	stirl2_1__t39_stirl2_1	2013-09-04 12:16	71K
	stirl2_1__t40_stirl2_1	2013-09-04 12:16	71K
	stirl2_1__t41_stirl2_1	2013-09-04 12:16	62K
	stirl2_1__t42_stirl2_1	2013-09-04 12:16	84K
	stirl2_1__t43_stirl2_1	2013-09-04 12:16	81K
	stirl2_1__t44_stirl2_1	2013-09-04 12:16	52K
	stirl2_1__t45_stirl2_1	2013-09-04 12:16	67K
	stirl2_1__t46_stirl2_1	2013-09-04 12:16	64K
	stirl2_1__t47_stirl2_1	2013-09-04 12:16	200K
	stirl2_1__t48_stirl2_1	2013-09-04 12:16	476K
	stirl2_1__t49_stirl2_1	2013-09-04 12:16	872K
	stirl2_1__t50_stirl2_1	2013-09-04 12:16	37K
	stirl2_1__t51_stirl2_1	2013-09-04 12:16	826K
	stirl2_1__t52_stirl2_1	2013-09-04 12:16	182K
	stirl2_1__t53_stirl2_1	2013-09-04 12:16	782K
	stirl2_1__t54_stirl2_1	2013-09-04 12:16	45K
	stirl2_1__t55_stirl2_1	2013-09-04 12:16	47K
	stirl2_1__t56_stirl2_1	2013-09-04 12:16	40K
	stirl2_1__t57_stirl2_1	2013-09-04 12:16	48K
	stirl2_1__t58_stirl2_1	2013-09-04 12:16	49K
	stirl2_1__t59_stirl2_1	2013-09-04 12:16	78K
	stirl2_1__t60_stirl2_1	2013-09-04 12:16	50K
	stirl2_1__t61_stirl2_1	2013-09-04 12:16	41K
	stirl2_1__t62_stirl2_1	2013-09-04 12:16	47K
	stirl2_1__t63_stirl2_1	2013-09-04 12:16	97K
	stirl2_1__t64_stirl2_1	2013-09-04 12:16	77K
	stirl2_1__t65_stirl2_1	2013-09-04 12:16	49K
	stirl2_1__t66_stirl2_1	2013-09-04 12:16	38K