Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/real_3

	Name	Last modified	Size	Description
	Parent Directory		-
	real_3__l1_real_3	2013-09-04 12:10	19K
	real_3__l2_real_3	2013-09-04 12:10	32K
	real_3__l19_real_3	2013-09-04 12:10	84K
	real_3__l22_real_3	2013-09-04 12:10	43K
	real_3__l27_real_3	2013-09-04 12:10	20K
	real_3__l32_real_3	2013-09-04 12:10	25K
	real_3__l41_real_3	2013-09-04 12:10	86K
	real_3__l46_real_3	2013-09-04 12:10	44K
	real_3__t1_real_3	2013-09-04 12:10	18K
	real_3__t2_real_3	2013-09-04 12:10	20K
	real_3__t3_real_3	2013-09-04 12:10	22K
	real_3__t4_real_3	2013-09-04 12:10	32K
	real_3__t5_real_3	2013-09-04 12:10	39K
	real_3__t6_real_3	2013-09-04 12:10	40K
	real_3__t7_real_3	2013-09-04 12:10	25K
	real_3__t8_real_3	2013-09-04 12:10	20K
	real_3__t9_real_3	2013-09-04 12:10	20K
	real_3__t10_real_3	2013-09-04 12:10	20K
	real_3__t11_real_3	2013-09-04 12:10	17K
	real_3__t12_real_3	2013-09-04 12:10	43K
	real_3__t13_real_3	2013-09-04 12:10	23K
	real_3__t14_real_3	2013-09-04 12:10	85K
	real_3__t15_real_3	2013-09-04 12:10	26K
	real_3__t16_real_3	2013-09-04 12:10	52K
	real_3__t17_real_3	2013-09-04 12:10	87K
	real_3__t18_real_3	2013-09-04 12:10	25K
	real_3__t19_real_3	2013-09-04 12:10	50K
	real_3__t20_real_3	2013-09-04 12:10	34K
	real_3__t21_real_3	2013-09-04 12:10	38K
	real_3__t22_real_3	2013-09-04 12:10	30K
	real_3__t23_real_3	2013-09-04 12:10	38K
	real_3__t24_real_3	2013-09-04 12:10	30K
	real_3__t25_real_3	2013-09-04 12:10	25K
	real_3__t26_real_3	2013-09-04 12:10	42K
	real_3__t27_real_3	2013-09-04 12:10	48K
	real_3__t28_real_3	2013-09-04 12:10	21K
	real_3__t29_real_3	2013-09-04 12:10	42K
	real_3__t30_real_3	2013-09-04 12:10	43K
	real_3__t31_real_3	2013-09-04 12:10	33K
	real_3__t32_real_3	2013-09-04 12:10	33K
	real_3__t33_real_3	2013-09-04 12:10	48K
	real_3__t34_real_3	2013-09-04 12:10	32K
	real_3__t35_real_3	2013-09-04 12:10	42K
	real_3__t36_real_3	2013-09-04 12:10	42K
	real_3__t37_real_3	2013-09-04 12:10	42K
	real_3__t38_real_3	2013-09-04 12:10	50K
	real_3__t39_real_3	2013-09-04 12:10	21K
	real_3__t40_real_3	2013-09-04 12:10	24K
	real_3__t41_real_3	2013-09-04 12:10	145K
	real_3__t42_real_3	2013-09-04 12:10	92K
	real_3__t43_real_3	2013-09-04 12:10	20K
	real_3__t44_real_3	2013-09-04 12:10	31K
	real_3__t45_real_3	2013-09-04 12:10	38K
	real_3__t46_real_3	2013-09-04 12:10	48K
	real_3__t47_real_3	2013-09-04 12:10	51K
	real_3__t48_real_3	2013-09-04 12:10	354K
	real_3__t49_real_3	2013-09-04 12:10	230K
	real_3__t50_real_3	2013-09-04 12:10	30K
	real_3__t51_real_3	2013-09-04 12:10	48K
	real_3__t52_real_3	2013-09-04 12:10	38K
	real_3__t53_real_3	2013-09-04 12:10	48K
	real_3__t54_real_3	2013-09-04 12:10	48K
	real_3__t55_real_3	2013-09-04 12:10	51K
	real_3__t56_real_3	2013-09-04 12:10	230K
	real_3__t57_real_3	2013-09-04 12:10	50K
	real_3__t58_real_3	2013-09-04 12:10	86K
	real_3__t59_real_3	2013-09-04 12:10	49K
	real_3__t60_real_3	2013-09-04 12:10	37K
	real_3__t61_real_3	2013-09-04 12:10	353K
	real_3__t62_real_3	2013-09-04 12:10	230K
	real_3__t63_real_3	2013-09-04 12:10	43K
	real_3__t64_real_3	2013-09-04 12:10	73K
	real_3__t65_real_3	2013-09-04 12:10	43K
	real_3__t66_real_3	2013-09-04 12:10	36K
	real_3__t67_real_3	2013-09-04 12:10	72K
	real_3__t68_real_3	2013-09-04 12:10	87K
	real_3__t69_real_3	2013-09-04 12:10	51K
	real_3__t70_real_3	2013-09-04 12:10	91K
	real_3__t71_real_3	2013-09-04 12:10	57K
	real_3__t72_real_3	2013-09-04 12:10	57K
	real_3__t73_real_3	2013-09-04 12:10	64K
	real_3__t74_real_3	2013-09-04 12:10	100K
	real_3__t75_real_3	2013-09-04 12:10	154K
	real_3__t76_real_3	2013-09-04 12:10	153K
	real_3__t77_real_3	2013-09-04 12:10	104K
	real_3__t78_real_3	2013-09-04 12:10	50K