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

	Name	Last modified	Size	Description
	Parent Directory		-
	rinfsup2__l16_rinfsup2	2013-09-04 12:40	22K
	rinfsup2__l17_rinfsup2	2013-09-04 12:40	22K
	rinfsup2__l43_rinfsup2	2013-09-04 12:40	27K
	rinfsup2__l44_rinfsup2	2013-09-04 12:40	27K
	rinfsup2__l53_rinfsup2	2013-09-04 12:40	30K
	rinfsup2__l54_rinfsup2	2013-09-04 12:40	30K
	rinfsup2__l55_rinfsup2	2013-09-04 12:40	35K
	rinfsup2__t1_rinfsup2	2013-09-04 12:40	13K
	rinfsup2__t2_rinfsup2	2013-09-04 12:40	8.4K
	rinfsup2__t3_rinfsup2	2013-09-04 12:40	14K
	rinfsup2__t4_rinfsup2	2013-09-04 12:40	8.4K
	rinfsup2__t5_rinfsup2	2013-09-04 12:40	18K
	rinfsup2__t6_rinfsup2	2013-09-04 12:40	17K
	rinfsup2__t7_rinfsup2	2013-09-04 12:40	22K
	rinfsup2__t8_rinfsup2	2013-09-04 12:40	21K
	rinfsup2__t9_rinfsup2	2013-09-04 12:40	31K
	rinfsup2__t10_rinfsup2	2013-09-04 12:40	31K
	rinfsup2__t11_rinfsup2	2013-09-04 12:40	22K
	rinfsup2__t12_rinfsup2	2013-09-04 12:40	28K
	rinfsup2__t13_rinfsup2	2013-09-04 12:40	29K
	rinfsup2__t14_rinfsup2	2013-09-04 12:40	50K
	rinfsup2__t15_rinfsup2	2013-09-04 12:40	50K
	rinfsup2__t16_rinfsup2	2013-09-04 12:40	54K
	rinfsup2__t17_rinfsup2	2013-09-04 12:40	54K
	rinfsup2__t18_rinfsup2	2013-09-04 12:40	42K
	rinfsup2__t19_rinfsup2	2013-09-04 12:40	56K
	rinfsup2__t20_rinfsup2	2013-09-04 12:40	28K
	rinfsup2__t21_rinfsup2	2013-09-04 12:40	28K
	rinfsup2__t22_rinfsup2	2013-09-04 12:40	25K
	rinfsup2__t23_rinfsup2	2013-09-04 12:40	22K
	rinfsup2__t24_rinfsup2	2013-09-04 12:40	21K
	rinfsup2__t25_rinfsup2	2013-09-04 12:40	29K
	rinfsup2__t26_rinfsup2	2013-09-04 12:40	29K
	rinfsup2__t27_rinfsup2	2013-09-04 12:40	47K
	rinfsup2__t28_rinfsup2	2013-09-04 12:40	53K
	rinfsup2__t29_rinfsup2	2013-09-04 12:40	53K
	rinfsup2__t30_rinfsup2	2013-09-04 12:40	29K
	rinfsup2__t31_rinfsup2	2013-09-04 12:40	29K
	rinfsup2__t32_rinfsup2	2013-09-04 12:40	19K
	rinfsup2__t33_rinfsup2	2013-09-04 12:40	19K
	rinfsup2__t34_rinfsup2	2013-09-04 12:40	30K
	rinfsup2__t35_rinfsup2	2013-09-04 12:40	30K
	rinfsup2__t36_rinfsup2	2013-09-04 12:40	35K
	rinfsup2__t37_rinfsup2	2013-09-04 12:40	35K
	rinfsup2__t38_rinfsup2	2013-09-04 12:40	64K
	rinfsup2__t39_rinfsup2	2013-09-04 12:40	24K
	rinfsup2__t40_rinfsup2	2013-09-04 12:40	48K
	rinfsup2__t41_rinfsup2	2013-09-04 12:40	22K