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

	Name	Last modified	Size	Description
	Parent Directory		-
	rltopsp1__l4_rltopsp1	2013-09-04 12:31	17K
	rltopsp1__l5_rltopsp1	2013-09-04 12:31	12K
	rltopsp1__l13_rltopsp1	2013-09-04 12:31	17K
	rltopsp1__l21_rltopsp1	2013-09-04 12:31	15K
	rltopsp1__l38_rltopsp1	2013-09-04 12:31	25K
	rltopsp1__l40_rltopsp1	2013-09-04 12:31	23K
	rltopsp1__l41_rltopsp1	2013-09-04 12:31	23K
	rltopsp1__l52_rltopsp1	2013-09-04 12:31	25K
	rltopsp1__l54_rltopsp1	2013-09-04 12:31	34K
	rltopsp1__l55_rltopsp1	2013-09-04 12:31	29K
	rltopsp1__l56_rltopsp1	2013-09-04 12:31	23K
	rltopsp1__l57_rltopsp1	2013-09-04 12:31	29K
	rltopsp1__l73_rltopsp1	2013-09-04 12:31	25K
	rltopsp1__l75_rltopsp1	2013-09-04 12:31	39K
	rltopsp1__l83_rltopsp1	2013-09-04 12:31	35K
	rltopsp1__l91_rltopsp1	2013-09-04 12:31	38K
	rltopsp1__l92_rltopsp1	2013-09-04 12:31	38K
	rltopsp1__l93_rltopsp1	2013-09-04 12:31	32K
	rltopsp1__l95_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__l96_rltopsp1	2013-09-04 12:31	41K
	rltopsp1__t1_rltopsp1	2013-09-04 12:31	16K
	rltopsp1__t2_rltopsp1	2013-09-04 12:31	16K
	rltopsp1__t3_rltopsp1	2013-09-04 12:31	17K
	rltopsp1__t4_rltopsp1	2013-09-04 12:31	19K
	rltopsp1__t5_rltopsp1	2013-09-04 12:31	18K
	rltopsp1__t6_rltopsp1	2013-09-04 12:31	18K
	rltopsp1__t7_rltopsp1	2013-09-04 12:31	20K
	rltopsp1__t8_rltopsp1	2013-09-04 12:31	17K
	rltopsp1__t9_rltopsp1	2013-09-04 12:31	17K
	rltopsp1__t10_rltopsp1	2013-09-04 12:31	17K
	rltopsp1__t11_rltopsp1	2013-09-04 12:31	17K
	rltopsp1__t12_rltopsp1	2013-09-04 12:31	18K
	rltopsp1__t13_rltopsp1	2013-09-04 12:31	19K
	rltopsp1__t14_rltopsp1	2013-09-04 12:31	19K
	rltopsp1__t15_rltopsp1	2013-09-04 12:31	19K
	rltopsp1__t16_rltopsp1	2013-09-04 12:31	18K
	rltopsp1__t17_rltopsp1	2013-09-04 12:31	15K
	rltopsp1__t18_rltopsp1	2013-09-04 12:31	28K
	rltopsp1__t19_rltopsp1	2013-09-04 12:31	14K
	rltopsp1__t20_rltopsp1	2013-09-04 12:31	15K
	rltopsp1__t21_rltopsp1	2013-09-04 12:31	27K
	rltopsp1__t22_rltopsp1	2013-09-04 12:31	27K
	rltopsp1__t23_rltopsp1	2013-09-04 12:31	13K
	rltopsp1__t24_rltopsp1	2013-09-04 12:31	30K
	rltopsp1__t25_rltopsp1	2013-09-04 12:31	22K
	rltopsp1__t26_rltopsp1	2013-09-04 12:31	21K
	rltopsp1__t27_rltopsp1	2013-09-04 12:31	22K
	rltopsp1__t28_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__t29_rltopsp1	2013-09-04 12:31	20K
	rltopsp1__t30_rltopsp1	2013-09-04 12:31	20K
	rltopsp1__t31_rltopsp1	2013-09-04 12:31	28K
	rltopsp1__t32_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__t33_rltopsp1	2013-09-04 12:31	21K
	rltopsp1__t34_rltopsp1	2013-09-04 12:31	28K
	rltopsp1__t35_rltopsp1	2013-09-04 12:31	33K
	rltopsp1__t36_rltopsp1	2013-09-04 12:31	22K
	rltopsp1__t37_rltopsp1	2013-09-04 12:31	30K
	rltopsp1__t38_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__t39_rltopsp1	2013-09-04 12:31	28K
	rltopsp1__t40_rltopsp1	2013-09-04 12:31	29K
	rltopsp1__t41_rltopsp1	2013-09-04 12:31	30K
	rltopsp1__t42_rltopsp1	2013-09-04 12:31	28K
	rltopsp1__t43_rltopsp1	2013-09-04 12:31	24K
	rltopsp1__t44_rltopsp1	2013-09-04 12:31	22K
	rltopsp1__t45_rltopsp1	2013-09-04 12:31	33K
	rltopsp1__t46_rltopsp1	2013-09-04 12:31	20K
	rltopsp1__t47_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__t48_rltopsp1	2013-09-04 12:31	36K
	rltopsp1__t49_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__t50_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__t51_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__t52_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__t53_rltopsp1	2013-09-04 12:31	27K
	rltopsp1__t54_rltopsp1	2013-09-04 12:31	26K
	rltopsp1__t55_rltopsp1	2013-09-04 12:31	26K
	rltopsp1__t56_rltopsp1	2013-09-04 12:31	43K
	rltopsp1__t57_rltopsp1	2013-09-04 12:31	67K
	rltopsp1__t58_rltopsp1	2013-09-04 12:31	30K
	rltopsp1__t59_rltopsp1	2013-09-04 12:31	23K
	rltopsp1__t60_rltopsp1	2013-09-04 12:31	47K
	rltopsp1__t61_rltopsp1	2013-09-04 12:31	23K
	rltopsp1__t62_rltopsp1	2013-09-04 12:31	33K
	rltopsp1__t63_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__t64_rltopsp1	2013-09-04 12:31	36K
	rltopsp1__t65_rltopsp1	2013-09-04 12:31	44K
	rltopsp1__t66_rltopsp1	2013-09-04 12:31	23K
	rltopsp1__t67_rltopsp1	2013-09-04 12:31	24K
	rltopsp1__t68_rltopsp1	2013-09-04 12:31	31K
	rltopsp1__t69_rltopsp1	2013-09-04 12:31	46K
	rltopsp1__t70_rltopsp1	2013-09-04 12:31	32K
	rltopsp1__t71_rltopsp1	2013-09-04 12:31	50K