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

	Name	Last modified	Size	Description
	Parent Directory		-
	interva1__l32_interva1	2013-09-04 12:24	4.6K
	interva1__l36_interva1	2013-09-04 12:24	4.2K
	interva1__l37_interva1	2013-09-04 12:24	4.2K
	interva1__l40_interva1	2013-09-04 12:24	3.7K
	interva1__l42_interva1	2013-09-04 12:24	4.6K
	interva1__l97_interva1	2013-09-04 12:24	19K
	interva1__l98_interva1	2013-09-04 12:24	20K
	interva1__l99_interva1	2013-09-04 12:24	18K
	interva1__l100_interva1	2013-09-04 12:24	19K
	interva1__l101_interva1	2013-09-04 12:24	19K
	interva1__l102_interva1	2013-09-04 12:24	20K
	interva1__l103_interva1	2013-09-04 12:24	19K
	interva1__l104_interva1	2013-09-04 12:24	21K
	interva1__l106_interva1	2013-09-04 12:24	10K
	interva1__l109_interva1	2013-09-04 12:24	11K
	interva1__l112_interva1	2013-09-04 12:24	25K
	interva1__t1_interva1	2013-09-04 12:24	4.5K
	interva1__t2_interva1	2013-09-04 12:24	4.1K
	interva1__t3_interva1	2013-09-04 12:24	4.0K
	interva1__t4_interva1	2013-09-04 12:24	4.0K
	interva1__t5_interva1	2013-09-04 12:24	4.0K
	interva1__t6_interva1	2013-09-04 12:24	4.3K
	interva1__t7_interva1	2013-09-04 12:24	4.3K
	interva1__t8_interva1	2013-09-04 12:24	4.2K
	interva1__t9_interva1	2013-09-04 12:24	4.5K
	interva1__t10_interva1	2013-09-04 12:24	4.2K
	interva1__t11_interva1	2013-09-04 12:24	4.8K
	interva1__t12_interva1	2013-09-04 12:24	9.1K
	interva1__t13_interva1	2013-09-04 12:24	9.0K
	interva1__t14_interva1	2013-09-04 12:24	5.7K
	interva1__t15_interva1	2013-09-04 12:24	5.2K
	interva1__t16_interva1	2013-09-04 12:24	5.6K
	interva1__t17_interva1	2013-09-04 12:24	10K
	interva1__t18_interva1	2013-09-04 12:24	10K
	interva1__t19_interva1	2013-09-04 12:24	6.3K
	interva1__t20_interva1	2013-09-04 12:24	6.1K
	interva1__t21_interva1	2013-09-04 12:24	5.6K
	interva1__t22_interva1	2013-09-04 12:24	5.6K
	interva1__t23_interva1	2013-09-04 12:24	5.7K
	interva1__t24_interva1	2013-09-04 12:24	5.5K
	interva1__t25_interva1	2013-09-04 12:24	5.0K
	interva1__t26_interva1	2013-09-04 12:24	5.4K
	interva1__t27_interva1	2013-09-04 12:24	6.9K
	interva1__t28_interva1	2013-09-04 12:24	5.3K
	interva1__t29_interva1	2013-09-04 12:24	8.2K
	interva1__t30_interva1	2013-09-04 12:24	9.1K
	interva1__t31_interva1	2013-09-04 12:24	7.3K
	interva1__t32_interva1	2013-09-04 12:24	7.7K
	interva1__t33_interva1	2013-09-04 12:24	7.9K
	interva1__t34_interva1	2013-09-04 12:24	8.0K
	interva1__t35_interva1	2013-09-04 12:24	6.0K
	interva1__t36_interva1	2013-09-04 12:24	6.0K
	interva1__t37_interva1	2013-09-04 12:24	3.9K
	interva1__t38_interva1	2013-09-04 12:24	11K
	interva1__t39_interva1	2013-09-04 12:24	8.4K
	interva1__t40_interva1	2013-09-04 12:24	8.9K
	interva1__t41_interva1	2013-09-04 12:24	6.8K
	interva1__t42_interva1	2013-09-04 12:24	6.9K
	interva1__t43_interva1	2013-09-04 12:24	4.7K
	interva1__t44_interva1	2013-09-04 12:24	4.7K
	interva1__t45_interva1	2013-09-04 12:24	8.7K
	interva1__t46_interva1	2013-09-04 12:24	7.9K
	interva1__t47_interva1	2013-09-04 12:24	7.5K
	interva1__t48_interva1	2013-09-04 12:24	7.6K
	interva1__t49_interva1	2013-09-04 12:24	9.9K
	interva1__t50_interva1	2013-09-04 12:24	10K
	interva1__t51_interva1	2013-09-04 12:24	6.8K
	interva1__t52_interva1	2013-09-04 12:24	10K
	interva1__t53_interva1	2013-09-04 12:24	10K
	interva1__t54_interva1	2013-09-04 12:24	6.7K
	interva1__t55_interva1	2013-09-04 12:24	9.3K
	interva1__t56_interva1	2013-09-04 12:24	13K
	interva1__t57_interva1	2013-09-04 12:24	13K
	interva1__t58_interva1	2013-09-04 12:24	13K
	interva1__t59_interva1	2013-09-04 12:24	13K
	interva1__t60_interva1	2013-09-04 12:24	13K
	interva1__t61_interva1	2013-09-04 12:24	13K
	interva1__t62_interva1	2013-09-04 12:24	14K
	interva1__t63_interva1	2013-09-04 12:24	14K
	interva1__t64_interva1	2013-09-04 12:24	14K
	interva1__t65_interva1	2013-09-04 12:24	13K
	interva1__t66_interva1	2013-09-04 12:24	16K
	interva1__t67_interva1	2013-09-04 12:24	16K
	interva1__t68_interva1	2013-09-04 12:24	16K
	interva1__t69_interva1	2013-09-04 12:24	14K
	interva1__t70_interva1	2013-09-04 12:24	14K
	interva1__t71_interva1	2013-09-04 12:24	25K