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

	Name	Last modified	Size	Description
	Parent Directory		-
	rinfsup1__l1_rinfsup1	2013-09-04 12:52	18K
	rinfsup1__l70_rinfsup1	2013-09-04 12:52	22K
	rinfsup1__l77_rinfsup1	2013-09-04 12:52	22K
	rinfsup1__t1_rinfsup1	2013-09-04 12:52	16K
	rinfsup1__t2_rinfsup1	2013-09-04 12:52	42K
	rinfsup1__t3_rinfsup1	2013-09-04 12:52	40K
	rinfsup1__t4_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t5_rinfsup1	2013-09-04 12:52	27K
	rinfsup1__t6_rinfsup1	2013-09-04 12:52	29K
	rinfsup1__t7_rinfsup1	2013-09-04 12:52	27K
	rinfsup1__t8_rinfsup1	2013-09-04 12:52	26K
	rinfsup1__t9_rinfsup1	2013-09-04 12:52	29K
	rinfsup1__t10_rinfsup1	2013-09-04 12:52	29K
	rinfsup1__t11_rinfsup1	2013-09-04 12:52	39K
	rinfsup1__t12_rinfsup1	2013-09-04 12:52	27K
	rinfsup1__t13_rinfsup1	2013-09-04 12:52	36K
	rinfsup1__t14_rinfsup1	2013-09-04 12:52	36K
	rinfsup1__t15_rinfsup1	2013-09-04 12:52	36K
	rinfsup1__t16_rinfsup1	2013-09-04 12:52	36K
	rinfsup1__t17_rinfsup1	2013-09-04 12:52	24K
	rinfsup1__t18_rinfsup1	2013-09-04 12:52	22K
	rinfsup1__t19_rinfsup1	2013-09-04 12:52	23K
	rinfsup1__t20_rinfsup1	2013-09-04 12:52	40K
	rinfsup1__t21_rinfsup1	2013-09-04 12:52	37K
	rinfsup1__t22_rinfsup1	2013-09-04 12:52	17K
	rinfsup1__t23_rinfsup1	2013-09-04 12:52	17K
	rinfsup1__t24_rinfsup1	2013-09-04 12:52	26K
	rinfsup1__t25_rinfsup1	2013-09-04 12:52	26K
	rinfsup1__t26_rinfsup1	2013-09-04 12:52	19K
	rinfsup1__t27_rinfsup1	2013-09-04 12:52	19K
	rinfsup1__t28_rinfsup1	2013-09-04 12:52	20K
	rinfsup1__t29_rinfsup1	2013-09-04 12:52	20K
	rinfsup1__t30_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t31_rinfsup1	2013-09-04 12:52	25K
	rinfsup1__t32_rinfsup1	2013-09-04 12:52	25K
	rinfsup1__t33_rinfsup1	2013-09-04 12:52	21K
	rinfsup1__t34_rinfsup1	2013-09-04 12:52	36K
	rinfsup1__t35_rinfsup1	2013-09-04 12:52	36K
	rinfsup1__t36_rinfsup1	2013-09-04 12:52	26K
	rinfsup1__t37_rinfsup1	2013-09-04 12:52	26K
	rinfsup1__t38_rinfsup1	2013-09-04 12:52	24K
	rinfsup1__t39_rinfsup1	2013-09-04 12:52	24K
	rinfsup1__t40_rinfsup1	2013-09-04 12:52	42K
	rinfsup1__t41_rinfsup1	2013-09-04 12:52	42K
	rinfsup1__t42_rinfsup1	2013-09-04 12:52	45K
	rinfsup1__t43_rinfsup1	2013-09-04 12:52	37K
	rinfsup1__t44_rinfsup1	2013-09-04 12:52	45K
	rinfsup1__t45_rinfsup1	2013-09-04 12:52	37K
	rinfsup1__t46_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t47_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t48_rinfsup1	2013-09-04 12:52	23K
	rinfsup1__t49_rinfsup1	2013-09-04 12:52	23K
	rinfsup1__t50_rinfsup1	2013-09-04 12:52	23K
	rinfsup1__t51_rinfsup1	2013-09-04 12:52	23K
	rinfsup1__t52_rinfsup1	2013-09-04 12:52	27K
	rinfsup1__t53_rinfsup1	2013-09-04 12:52	31K
	rinfsup1__t54_rinfsup1	2013-09-04 12:52	31K
	rinfsup1__t55_rinfsup1	2013-09-04 12:52	24K
	rinfsup1__t56_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t57_rinfsup1	2013-09-04 12:52	21K
	rinfsup1__t58_rinfsup1	2013-09-04 12:52	21K
	rinfsup1__t59_rinfsup1	2013-09-04 12:52	38K
	rinfsup1__t60_rinfsup1	2013-09-04 12:52	38K
	rinfsup1__t61_rinfsup1	2013-09-04 12:52	30K
	rinfsup1__t62_rinfsup1	2013-09-04 12:52	30K
	rinfsup1__t63_rinfsup1	2013-09-04 12:52	25K
	rinfsup1__t64_rinfsup1	2013-09-04 12:52	20K
	rinfsup1__t65_rinfsup1	2013-09-04 12:52	29K
	rinfsup1__t66_rinfsup1	2013-09-04 12:52	24K
	rinfsup1__t67_rinfsup1	2013-09-04 12:52	27K
	rinfsup1__t68_rinfsup1	2013-09-04 12:52	25K
	rinfsup1__t69_rinfsup1	2013-09-04 12:52	25K
	rinfsup1__t70_rinfsup1	2013-09-04 12:52	20K
	rinfsup1__t71_rinfsup1	2013-09-04 12:52	28K
	rinfsup1__t72_rinfsup1	2013-09-04 12:52	24K
	rinfsup1__t73_rinfsup1	2013-09-04 12:52	27K
	rinfsup1__t74_rinfsup1	2013-09-04 12:52	25K
	rinfsup1__t75_rinfsup1	2013-09-04 12:52	31K
	rinfsup1__t76_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t77_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t78_rinfsup1	2013-09-04 12:52	34K
	rinfsup1__t79_rinfsup1	2013-09-04 12:52	34K
	rinfsup1__t80_rinfsup1	2013-09-04 12:52	34K
	rinfsup1__t81_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t82_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t83_rinfsup1	2013-09-04 12:52	30K
	rinfsup1__t84_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t85_rinfsup1	2013-09-04 12:52	33K
	rinfsup1__t86_rinfsup1	2013-09-04 12:52	30K
	rinfsup1__t87_rinfsup1	2013-09-04 12:52	24K
	rinfsup1__t88_rinfsup1	2013-09-04 12:52	52K
	rinfsup1__t89_rinfsup1	2013-09-04 12:52	34K
	rinfsup1__t90_rinfsup1	2013-09-04 12:52	44K
	rinfsup1__t91_rinfsup1	2013-09-04 12:52	28K
	rinfsup1__t92_rinfsup1	2013-09-04 12:52	76K
	rinfsup1__t93_rinfsup1	2013-09-04 12:52	37K