Index of /~mptp/mml5.63.1382/MPTP2/problems_small/setlim_2

	Name	Last modified	Size	Description
	Parent Directory		-
	setlim_2__t1_setlim_2	2021-07-18 06:10	16K
	setlim_2__t1_setlim_2.vout	2021-07-25 14:22	6.8K
	setlim_2__t2_setlim_2	2021-07-18 06:10	17K
	setlim_2__t2_setlim_2.vout	2021-07-25 19:07	6.8K
	setlim_2__t3_setlim_2	2021-07-18 06:10	18K
	setlim_2__t3_setlim_2.vout	2021-07-25 19:52	4.7K
	setlim_2__t8_setlim_2	2021-07-18 06:11	14K
	setlim_2__t8_setlim_2.vout	2021-07-25 20:46	6.8K
	setlim_2__t9_setlim_2	2021-07-18 06:11	14K
	setlim_2__t9_setlim_2.vout	2021-07-25 19:04	6.8K
	setlim_2__t10_setlim_2	2021-07-18 06:11	13K
	setlim_2__t10_setlim_2.vout	2021-07-25 19:10	6.8K
	setlim_2__t11_setlim_2	2021-07-18 06:11	17K
	setlim_2__t11_setlim_2.vout	2021-07-25 14:28	2.0K
	setlim_2__t12_setlim_2	2021-07-18 06:12	14K
	setlim_2__t12_setlim_2.vout	2021-07-25 18:23	6.8K
	setlim_2__t13_setlim_2	2021-07-18 06:12	14K
	setlim_2__t13_setlim_2.vout	2021-07-25 19:37	6.8K
	setlim_2__t14_setlim_2	2021-07-18 06:12	13K
	setlim_2__t14_setlim_2.vout	2021-07-25 15:02	6.8K
	setlim_2__t15_setlim_2	2021-07-18 06:12	18K
	setlim_2__t15_setlim_2.vout	2021-07-25 17:31	4.7K
	setlim_2__t21_setlim_2	2021-07-18 06:13	13K
	setlim_2__t21_setlim_2.vout	2021-07-25 18:40	7.3K
	setlim_2__t22_setlim_2	2021-07-18 06:13	13K
	setlim_2__t22_setlim_2.vout	2021-07-25 17:34	6.8K
	setlim_2__t23_setlim_2	2021-07-18 06:13	11K
	setlim_2__t23_setlim_2.depv1	2021-07-25 20:57	66
	setlim_2__t23_setlim_2.depvmin1	2021-07-25 21:02	66
	setlim_2__t23_setlim_2.vmin1	2021-07-25 20:57	1.6K
	setlim_2__t23_setlim_2.vmin1out	2021-07-25 21:00	24K
	setlim_2__t23_setlim_2.vout	2021-07-25 15:16	20K
	setlim_2__t24_setlim_2	2021-07-18 06:13	13K
	setlim_2__t24_setlim_2.vout	2021-07-25 15:22	6.8K
	setlim_2__t25_setlim_2	2021-07-18 06:13	13K
	setlim_2__t25_setlim_2.vout	2021-07-25 18:01	6.8K
	setlim_2__t26_setlim_2	2021-07-18 06:14	11K
	setlim_2__t26_setlim_2.depv1	2021-07-25 20:57	66
	setlim_2__t26_setlim_2.depvmin1	2021-07-25 21:02	66
	setlim_2__t26_setlim_2.vmin1	2021-07-25 20:57	1.6K
	setlim_2__t26_setlim_2.vmin1out	2021-07-25 20:59	24K
	setlim_2__t26_setlim_2.vout	2021-07-25 14:29	20K
	setlim_2__t27_setlim_2	2021-07-18 06:14	12K
	setlim_2__t27_setlim_2.vout	2021-07-25 19:31	6.8K
	setlim_2__t28_setlim_2	2021-07-18 06:14	12K
	setlim_2__t28_setlim_2.vout	2021-07-25 17:18	6.8K
	setlim_2__t29_setlim_2	2021-07-18 06:14	11K
	setlim_2__t29_setlim_2.depv1	2021-07-25 20:57	66
	setlim_2__t29_setlim_2.depvmin1	2021-07-25 21:02	66
	setlim_2__t29_setlim_2.vmin1	2021-07-25 20:57	1.6K
	setlim_2__t29_setlim_2.vmin1out	2021-07-25 21:01	24K
	setlim_2__t29_setlim_2.vout	2021-07-25 17:05	20K
	setlim_2__t30_setlim_2	2021-07-18 06:15	12K
	setlim_2__t30_setlim_2.vout	2021-07-25 17:38	6.8K
	setlim_2__t31_setlim_2	2021-07-18 06:15	12K
	setlim_2__t31_setlim_2.vout	2021-07-25 16:57	6.8K
	setlim_2__t32_setlim_2	2021-07-18 06:15	11K
	setlim_2__t32_setlim_2.depv1	2021-07-25 20:57	66
	setlim_2__t32_setlim_2.depvmin1	2021-07-25 21:02	66
	setlim_2__t32_setlim_2.vmin1	2021-07-25 20:57	1.6K
	setlim_2__t32_setlim_2.vmin1out	2021-07-25 21:02	24K
	setlim_2__t32_setlim_2.vout	2021-07-25 15:10	20K
	setlim_2__t33_setlim_2	2021-07-18 06:15	13K
	setlim_2__t33_setlim_2.vout	2021-07-25 15:07	7.3K
	setlim_2__t34_setlim_2	2021-07-18 06:15	13K
	setlim_2__t34_setlim_2.vout	2021-07-25 19:51	6.8K
	setlim_2__t35_setlim_2	2021-07-18 06:16	13K
	setlim_2__t35_setlim_2.depv1	2021-07-25 20:57	136
	setlim_2__t35_setlim_2.depvmin1	2021-07-25 21:02	136
	setlim_2__t35_setlim_2.vmin1	2021-07-25 20:57	2.2K
	setlim_2__t35_setlim_2.vmin1out	2021-07-25 20:59	40K
	setlim_2__t35_setlim_2.vout	2021-07-25 16:18	56K
	setlim_2__t36_setlim_2	2021-07-18 06:16	13K
	setlim_2__t36_setlim_2.vout	2021-07-25 18:51	7.3K
	setlim_2__t37_setlim_2	2021-07-18 06:16	14K
	setlim_2__t37_setlim_2.vout	2021-07-25 19:04	6.8K
	setlim_2__t38_setlim_2	2021-07-18 06:16	13K
	setlim_2__t38_setlim_2.vout	2021-07-25 16:46	6.8K
	setlim_2__t39_setlim_2	2021-07-18 06:17	14K
	setlim_2__t39_setlim_2.vout	2021-07-25 15:43	6.8K
	setlim_2__t40_setlim_2	2021-07-18 06:17	13K
	setlim_2__t40_setlim_2.vout	2021-07-25 17:39	6.8K
	setlim_2__t41_setlim_2	2021-07-18 06:17	13K
	setlim_2__t41_setlim_2.vout	2021-07-25 20:19	6.8K
	setlim_2__t42_setlim_2	2021-07-18 06:17	14K
	setlim_2__t42_setlim_2.vout	2021-07-25 18:15	6.8K
	setlim_2__t43_setlim_2	2021-07-18 06:18	16K
	setlim_2__t43_setlim_2.vout	2021-07-25 18:44	2.0K
	setlim_2__t44_setlim_2	2021-07-18 06:18	16K
	setlim_2__t44_setlim_2.vout	2021-07-25 16:50	2.0K
	setlim_2__t45_setlim_2	2021-07-18 06:18	15K
	setlim_2__t45_setlim_2.vout	2021-07-25 16:20	2.0K
	setlim_2__t46_setlim_2	2021-07-18 06:18	16K
	setlim_2__t46_setlim_2.vout	2021-07-25 20:28	2.0K
	setlim_2__t47_setlim_2	2021-07-18 06:19	16K
	setlim_2__t47_setlim_2.vout	2021-07-25 15:16	2.0K
	setlim_2__t48_setlim_2	2021-07-18 06:19	15K
	setlim_2__t48_setlim_2.vout	2021-07-25 14:36	2.0K
	setlim_2__t49_setlim_2	2021-07-18 06:19	17K
	setlim_2__t49_setlim_2.vout	2021-07-25 15:21	2.0K
	setlim_2__t50_setlim_2	2021-07-18 06:19	15K
	setlim_2__t50_setlim_2.depv1	2021-07-25 20:57	215
	setlim_2__t50_setlim_2.depvmin1	2021-07-25 21:02	116
	setlim_2__t50_setlim_2.vmin1	2021-07-25 20:57	2.9K
	setlim_2__t50_setlim_2.vmin1out	2021-07-25 20:58	31K
	setlim_2__t50_setlim_2.vout	2021-07-25 19:52	41K
	setlim_2__t51_setlim_2	2021-07-18 06:19	15K
	setlim_2__t51_setlim_2.vout	2021-07-25 19:26	2.0K
	setlim_2__t52_setlim_2	2021-07-18 06:20	15K
	setlim_2__t52_setlim_2.depv1	2021-07-25 20:57	138
	setlim_2__t52_setlim_2.depvmin1	2021-07-25 21:02	116
	setlim_2__t52_setlim_2.vmin1	2021-07-25 20:57	2.6K
	setlim_2__t52_setlim_2.vmin1out	2021-07-25 21:02	31K
	setlim_2__t52_setlim_2.vout	2021-07-25 18:11	36K
	setlim_2__t53_setlim_2	2021-07-18 06:20	14K
	setlim_2__t53_setlim_2.depv1	2021-07-25 20:57	138
	setlim_2__t53_setlim_2.depvmin1	2021-07-25 21:02	116
	setlim_2__t53_setlim_2.vmin1	2021-07-25 20:57	2.6K
	setlim_2__t53_setlim_2.vmin1out	2021-07-25 21:00	31K
	setlim_2__t53_setlim_2.vout	2021-07-25 17:08	37K
	setlim_2__t54_setlim_2	2021-07-18 06:20	16K
	setlim_2__t54_setlim_2.depv1	2021-07-25 20:57	138
	setlim_2__t54_setlim_2.depvmin1	2021-07-25 21:02	116
	setlim_2__t54_setlim_2.vmin1	2021-07-25 20:57	2.6K
	setlim_2__t54_setlim_2.vmin1out	2021-07-25 21:02	31K
	setlim_2__t54_setlim_2.vout	2021-07-25 15:42	36K
	setlim_2__t55_setlim_2	2021-07-18 06:20	15K
	setlim_2__t55_setlim_2.depv1	2021-07-25 20:57	215
	setlim_2__t55_setlim_2.depvmin1	2021-07-25 21:02	116
	setlim_2__t55_setlim_2.vmin1	2021-07-25 20:57	2.9K
	setlim_2__t55_setlim_2.vmin1out	2021-07-25 20:59	31K
	setlim_2__t55_setlim_2.vout	2021-07-25 16:11	41K
	setlim_2__t56_setlim_2	2021-07-18 06:21	15K
	setlim_2__t56_setlim_2.vout	2021-07-25 16:04	2.0K
	setlim_2__t57_setlim_2	2021-07-18 06:21	15K
	setlim_2__t57_setlim_2.depv1	2021-07-25 20:57	138
	setlim_2__t57_setlim_2.depvmin1	2021-07-25 21:02	116
	setlim_2__t57_setlim_2.vmin1	2021-07-25 20:57	2.6K
	setlim_2__t57_setlim_2.vmin1out	2021-07-25 20:58	31K
	setlim_2__t57_setlim_2.vout	2021-07-25 14:49	36K
	setlim_2__t58_setlim_2	2021-07-18 06:21	15K
	setlim_2__t58_setlim_2.vout	2021-07-25 16:56	6.8K
	setlim_2__t59_setlim_2	2021-07-18 06:21	16K
	setlim_2__t59_setlim_2.depv1	2021-07-25 20:57	138
	setlim_2__t59_setlim_2.depvmin1	2021-07-25 21:02	116
	setlim_2__t59_setlim_2.vmin1	2021-07-25 20:57	2.6K
	setlim_2__t59_setlim_2.vmin1out	2021-07-25 21:02	31K
	setlim_2__t59_setlim_2.vout	2021-07-25 15:48	36K
	setlim_2__t60_setlim_2	2021-07-18 06:22	14K
	setlim_2__t60_setlim_2.vout	2021-07-25 17:42	7.9K
	setlim_2__t61_setlim_2	2021-07-18 06:22	14K
	setlim_2__t61_setlim_2.vout	2021-07-25 16:47	7.3K
	setlim_2__t62_setlim_2	2021-07-18 06:22	15K
	setlim_2__t62_setlim_2.vout	2021-07-25 14:46	6.8K
	setlim_2__t63_setlim_2	2021-07-18 06:22	17K
	setlim_2__t63_setlim_2.vout	2021-07-25 20:21	6.8K
	setlim_2__t64_setlim_2	2021-07-18 06:23	16K
	setlim_2__t64_setlim_2.vout	2021-07-25 20:53	6.8K
	setlim_2__t65_setlim_2	2021-07-18 06:23	17K
	setlim_2__t65_setlim_2.vout	2021-07-25 14:54	6.8K
	setlim_2__t66_setlim_2	2021-07-18 06:23	18K
	setlim_2__t66_setlim_2.vout	2021-07-25 18:56	7.3K
	setlim_2__t67_setlim_2	2021-07-18 06:23	14K
	setlim_2__t67_setlim_2.vout	2021-07-25 20:13	7.3K
	setlim_2__t68_setlim_2	2021-07-18 06:24	14K
	setlim_2__t68_setlim_2.vout	2021-07-25 16:26	7.9K
	setlim_2__t69_setlim_2	2021-07-18 06:24	15K
	setlim_2__t69_setlim_2.vout	2021-07-25 20:34	7.3K
	setlim_2__t70_setlim_2	2021-07-18 06:24	16K
	setlim_2__t70_setlim_2.vout	2021-07-25 20:52	6.8K
	setlim_2__t71_setlim_2	2021-07-18 06:24	17K
	setlim_2__t71_setlim_2.vout	2021-07-25 20:31	6.8K
	setlim_2__t72_setlim_2	2021-07-18 06:25	16K
	setlim_2__t72_setlim_2.vout	2021-07-25 18:55	6.8K
	setlim_2__t73_setlim_2	2021-07-18 06:25	16K
	setlim_2__t73_setlim_2.vout	2021-07-25 15:43	2.0K
	setlim_2__t74_setlim_2	2021-07-18 06:25	16K
	setlim_2__t74_setlim_2.vout	2021-07-25 16:50	4.7K
	setlim_2__t75_setlim_2	2021-07-18 06:25	16K
	setlim_2__t75_setlim_2.vout	2021-07-25 19:05	4.7K
	setlim_2__t76_setlim_2	2021-07-18 06:26	14K
	setlim_2__t76_setlim_2.vout	2021-07-25 14:41	6.8K
	setlim_2__t77_setlim_2	2021-07-18 06:26	16K
	setlim_2__t77_setlim_2.vout	2021-07-25 15:44	4.7K
	setlim_2__t78_setlim_2	2021-07-18 06:26	15K
	setlim_2__t78_setlim_2.vout	2021-07-25 18:10	6.8K
	setlim_2__t79_setlim_2	2021-07-18 06:26	16K
	setlim_2__t79_setlim_2.vout	2021-07-25 19:02	6.8K
	setlim_2__t80_setlim_2	2021-07-18 06:27	17K
	setlim_2__t80_setlim_2.vout	2021-07-25 18:47	6.8K
	setlim_2__t81_setlim_2	2021-07-18 06:27	15K
	setlim_2__t81_setlim_2.vout	2021-07-25 15:14	4.7K
	setlim_2__t82_setlim_2	2021-07-18 06:27	16K
	setlim_2__t82_setlim_2.vout	2021-07-25 17:57	4.7K
	setlim_2__t83_setlim_2	2021-07-18 06:27	14K
	setlim_2__t83_setlim_2.vout	2021-07-25 17:22	6.8K
	setlim_2__t84_setlim_2	2021-07-18 06:27	15K
	setlim_2__t84_setlim_2.vout	2021-07-25 15:05	4.7K
	setlim_2__t85_setlim_2	2021-07-18 06:28	13K
	setlim_2__t85_setlim_2.vout	2021-07-25 16:14	6.8K
	setlim_2__t86_setlim_2	2021-07-18 06:28	16K
	setlim_2__t86_setlim_2.vout	2021-07-25 18:08	6.8K
	setlim_2__t87_setlim_2	2021-07-18 06:28	17K
	setlim_2__t87_setlim_2.vout	2021-07-25 19:15	7.3K
	setlim_2__t88_setlim_2	2021-07-18 06:28	13K
	setlim_2__t88_setlim_2.depv1	2021-07-25 20:57	183
	setlim_2__t88_setlim_2.depvmin1	2021-07-25 21:02	91
	setlim_2__t88_setlim_2.vmin1	2021-07-25 20:57	2.9K
	setlim_2__t88_setlim_2.vmin1out	2021-07-25 21:00	32K
	setlim_2__t88_setlim_2.vout	2021-07-25 17:06	39K
	setlim_2__t89_setlim_2	2021-07-18 06:29	14K
	setlim_2__t89_setlim_2.depv1	2021-07-25 20:57	91
	setlim_2__t89_setlim_2.depvmin1	2021-07-25 21:02	91
	setlim_2__t89_setlim_2.vmin1	2021-07-25 20:57	2.3K
	setlim_2__t89_setlim_2.vmin1out	2021-07-25 21:00	32K
	setlim_2__t89_setlim_2.vout	2021-07-25 18:20	34K
	setlim_2__t90_setlim_2	2021-07-18 06:29	13K
	setlim_2__t90_setlim_2.depv1	2021-07-25 20:57	91
	setlim_2__t90_setlim_2.depvmin1	2021-07-25 21:02	91
	setlim_2__t90_setlim_2.vmin1	2021-07-25 20:57	2.3K
	setlim_2__t90_setlim_2.vmin1out	2021-07-25 21:00	32K
	setlim_2__t90_setlim_2.vout	2021-07-25 18:38	32K
	setlim_2__t91_setlim_2	2021-07-18 06:29	14K
	setlim_2__t91_setlim_2.depv1	2021-07-25 20:57	117
	setlim_2__t91_setlim_2.depvmin1	2021-07-25 21:02	117
	setlim_2__t91_setlim_2.vmin1	2021-07-25 20:57	2.7K
	setlim_2__t91_setlim_2.vmin1out	2021-07-25 21:01	36K
	setlim_2__t91_setlim_2.vout	2021-07-25 17:05	37K
	setlim_2__t92_setlim_2	2021-07-18 06:29	12K
	setlim_2__t92_setlim_2.depv1	2021-07-25 20:57	91
	setlim_2__t92_setlim_2.depvmin1	2021-07-25 21:02	91
	setlim_2__t92_setlim_2.vmin1	2021-07-25 20:57	1.8K
	setlim_2__t92_setlim_2.vmin1out	2021-07-25 21:00	23K
	setlim_2__t92_setlim_2.vout	2021-07-25 18:36	23K
	setlim_2__t93_setlim_2	2021-07-18 06:30	13K
	setlim_2__t93_setlim_2.depv1	2021-07-25 20:57	91
	setlim_2__t93_setlim_2.depvmin1	2021-07-25 21:02	91
	setlim_2__t93_setlim_2.vmin1	2021-07-25 20:57	1.8K
	setlim_2__t93_setlim_2.vmin1out	2021-07-25 20:58	23K
	setlim_2__t93_setlim_2.vout	2021-07-25 14:36	23K
	setlim_2__t94_setlim_2	2021-07-18 06:30	12K
	setlim_2__t94_setlim_2.depv1	2021-07-25 20:57	91
	setlim_2__t94_setlim_2.depvmin1	2021-07-25 21:02	91
	setlim_2__t94_setlim_2.vmin1	2021-07-25 20:57	1.8K
	setlim_2__t94_setlim_2.vmin1out	2021-07-25 20:58	23K
	setlim_2__t94_setlim_2.vout	2021-07-25 16:20	23K
	setlim_2__t95_setlim_2	2021-07-18 06:30	12K
	setlim_2__t95_setlim_2.depv1	2021-07-25 20:57	91
	setlim_2__t95_setlim_2.depvmin1	2021-07-25 21:02	91
	setlim_2__t95_setlim_2.vmin1	2021-07-25 20:57	1.8K
	setlim_2__t95_setlim_2.vmin1out	2021-07-25 21:01	23K
	setlim_2__t95_setlim_2.vout	2021-07-25 19:22	23K
	setlim_2__t96_setlim_2	2021-07-18 06:30	13K
	setlim_2__t96_setlim_2.depv1	2021-07-25 20:57	91
	setlim_2__t96_setlim_2.depvmin1	2021-07-25 21:02	91
	setlim_2__t96_setlim_2.vmin1	2021-07-25 20:57	1.8K
	setlim_2__t96_setlim_2.vmin1out	2021-07-25 20:59	23K
	setlim_2__t96_setlim_2.vout	2021-07-25 18:21	24K