Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small_thf.orig2021/interva1

	Name	Last modified	Size	Description
	Parent Directory		-
	interva1__l32_interva1	2021-07-18 19:31	8.0K
	interva1__l36_interva1	2021-07-18 19:22	7.1K
	interva1__l37_interva1	2021-07-18 19:22	7.1K
	interva1__l40_interva1	2021-07-18 19:22	5.9K
	interva1__l42_interva1	2021-07-18 19:31	8.0K
	interva1__l97_interva1	2021-07-18 19:31	31K
	interva1__l98_interva1	2021-07-18 19:32	33K
	interva1__l99_interva1	2021-07-18 19:32	31K
	interva1__l100_interva1	2021-07-18 19:32	32K
	interva1__l101_interva1	2021-07-18 19:33	31K
	interva1__l102_interva1	2021-07-18 19:33	33K
	interva1__l103_interva1	2021-07-18 19:33	32K
	interva1__l104_interva1	2021-07-18 19:34	36K
	interva1__l106_interva1	2021-07-18 19:22	16K
	interva1__l109_interva1	2021-07-18 19:22	17K
	interva1__l112_interva1	2021-07-18 19:34	42K
	interva1__t1_interva1	2021-07-18 19:22	7.2K
	interva1__t2_interva1	2021-07-18 19:22	6.4K
	interva1__t3_interva1	2021-07-18 19:23	6.3K
	interva1__t4_interva1	2021-07-18 19:18	6.1K
	interva1__t5_interva1	2021-07-18 19:23	6.3K
	interva1__t6_interva1	2021-07-18 19:23	6.7K
	interva1__t7_interva1	2021-07-18 19:23	6.7K
	interva1__t8_interva1	2021-07-18 19:23	6.6K
	interva1__t9_interva1	2021-07-18 19:23	6.8K
	interva1__t10_interva1	2021-07-18 19:23	6.6K
	interva1__t11_interva1	2021-07-18 19:23	7.7K
	interva1__t12_interva1	2021-07-18 19:24	15K
	interva1__t13_interva1	2021-07-18 19:24	14K
	interva1__t14_interva1	2021-07-18 19:24	9.3K
	interva1__t15_interva1	2021-07-18 19:24	8.2K
	interva1__t16_interva1	2021-07-18 19:24	9.1K
	interva1__t17_interva1	2021-07-18 19:24	17K
	interva1__t18_interva1	2021-07-18 19:25	17K
	interva1__t19_interva1	2021-07-18 19:25	11K
	interva1__t20_interva1	2021-07-18 19:25	10K
	interva1__t21_interva1	2021-07-18 19:18	8.7K
	interva1__t22_interva1	2021-07-18 19:18	8.7K
	interva1__t23_interva1	2021-07-18 19:25	10K
	interva1__t24_interva1	2021-07-18 19:25	10K
	interva1__t25_interva1	2021-07-18 19:25	8.1K
	interva1__t26_interva1	2021-07-18 19:26	8.8K
	interva1__t27_interva1	2021-07-18 19:26	11K
	interva1__t28_interva1	2021-07-18 19:26	8.9K
	interva1__t29_interva1	2021-07-18 19:26	14K
	interva1__t30_interva1	2021-07-18 19:26	15K
	interva1__t31_interva1	2021-07-18 19:26	13K
	interva1__t32_interva1	2021-07-18 19:27	14K
	interva1__t33_interva1	2021-07-18 19:27	13K
	interva1__t34_interva1	2021-07-18 19:27	13K
	interva1__t35_interva1	2021-07-18 19:27	11K
	interva1__t36_interva1	2021-07-18 19:27	11K
	interva1__t37_interva1	2021-07-18 19:27	6.7K
	interva1__t38_interva1	2021-07-18 19:28	17K
	interva1__t39_interva1	2021-07-18 19:28	13K
	interva1__t40_interva1	2021-07-18 19:28	14K
	interva1__t41_interva1	2021-07-18 19:28	11K
	interva1__t42_interva1	2021-07-18 19:28	11K
	interva1__t43_interva1	2021-07-18 19:29	7.5K
	interva1__t44_interva1	2021-07-18 19:29	7.5K
	interva1__t45_interva1	2021-07-18 19:18	12K
	interva1__t46_interva1	2021-07-18 19:29	13K
	interva1__t47_interva1	2021-07-18 19:29	14K
	interva1__t48_interva1	2021-07-18 19:29	14K
	interva1__t49_interva1	2021-07-18 19:29	17K
	interva1__t50_interva1	2021-07-18 19:29	17K
	interva1__t51_interva1	2021-07-18 19:30	11K
	interva1__t52_interva1	2021-07-18 19:30	17K
	interva1__t53_interva1	2021-07-18 19:30	16K
	interva1__t54_interva1	2021-07-18 19:30	11K
	interva1__t55_interva1	2021-07-18 19:30	15K
	interva1__t56_interva1	2021-07-18 19:18	20K
	interva1__t57_interva1	2021-07-18 19:19	20K
	interva1__t58_interva1	2021-07-18 19:19	20K
	interva1__t59_interva1	2021-07-18 19:19	20K
	interva1__t60_interva1	2021-07-18 19:19	21K
	interva1__t61_interva1	2021-07-18 19:19	21K
	interva1__t62_interva1	2021-07-18 19:20	21K
	interva1__t63_interva1	2021-07-18 19:20	21K
	interva1__t64_interva1	2021-07-18 19:20	22K
	interva1__t65_interva1	2021-07-18 19:20	21K
	interva1__t66_interva1	2021-07-18 19:21	25K
	interva1__t67_interva1	2021-07-18 19:21	24K
	interva1__t68_interva1	2021-07-18 19:21	24K
	interva1__t69_interva1	2021-07-18 19:21	22K
	interva1__t70_interva1	2021-07-18 19:21	23K
	interva1__t71_interva1	2021-07-18 19:31	41K