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

	Name	Last modified	Size	Description
	Parent Directory		-
	limfunc1__t107_limfunc1.vout	2021-07-25 16:48	4.8K
	limfunc1__t107_limfunc1	2021-07-18 10:39	40K
	limfunc1__t106_limfunc1.vout	2021-07-25 15:02	4.7K
	limfunc1__t106_limfunc1	2021-07-18 10:39	40K
	limfunc1__t105_limfunc1.vout	2021-07-25 17:39	6.8K
	limfunc1__t105_limfunc1	2021-07-18 10:39	45K
	limfunc1__t104_limfunc1.vout	2021-07-25 19:37	6.8K
	limfunc1__t104_limfunc1	2021-07-18 10:38	46K
	limfunc1__t103_limfunc1.vout	2021-07-25 16:11	6.8K
	limfunc1__t103_limfunc1	2021-07-18 10:37	34K
	limfunc1__t101_limfunc1.vout	2021-07-25 16:37	6.9K
	limfunc1__t101_limfunc1	2021-07-18 10:37	34K
	limfunc1__t96_limfunc1.vout	2021-07-25 20:31	4.7K
	limfunc1__t96_limfunc1	2021-07-18 10:37	62K
	limfunc1__t95_limfunc1.vout	2021-07-25 15:27	4.7K
	limfunc1__t95_limfunc1	2021-07-18 10:36	41K
	limfunc1__t94_limfunc1.vout	2021-07-25 18:50	4.7K
	limfunc1__t94_limfunc1	2021-07-18 10:36	44K
	limfunc1__t93_limfunc1.vout	2021-07-25 18:45	4.7K
	limfunc1__t93_limfunc1	2021-07-18 10:35	40K
	limfunc1__t92_limfunc1.vout	2021-07-25 15:13	2.0K
	limfunc1__t92_limfunc1	2021-07-18 10:35	41K
	limfunc1__t91_limfunc1.vout	2021-07-25 20:33	4.7K
	limfunc1__t91_limfunc1	2021-07-18 10:35	63K
	limfunc1__t90_limfunc1.vout	2021-07-25 14:25	40K
	limfunc1__t90_limfunc1.vmin1out	2021-07-25 21:00	21K
	limfunc1__t90_limfunc1.vmin1	2021-07-25 20:57	2.4K
	limfunc1__t90_limfunc1.depvmin1	2021-07-25 21:03	265
	limfunc1__t90_limfunc1.depv1	2021-07-25 20:57	265
	limfunc1__t90_limfunc1	2021-07-18 10:34	26K
	limfunc1__t89_limfunc1.vout	2021-07-25 19:03	4.7K
	limfunc1__t89_limfunc1	2021-07-18 10:34	37K
	limfunc1__t87_limfunc1.vout	2021-07-25 19:36	4.7K
	limfunc1__t87_limfunc1	2021-07-18 10:33	62K
	limfunc1__t86_limfunc1.vout	2021-07-25 16:51	4.7K
	limfunc1__t86_limfunc1	2021-07-18 10:33	41K
	limfunc1__t85_limfunc1.vout	2021-07-25 18:36	4.7K
	limfunc1__t85_limfunc1	2021-07-18 10:33	44K
	limfunc1__t84_limfunc1.vout	2021-07-25 19:34	4.7K
	limfunc1__t84_limfunc1	2021-07-18 10:32	40K
	limfunc1__t83_limfunc1.vout	2021-07-25 15:54	2.0K
	limfunc1__t83_limfunc1	2021-07-18 10:32	41K
	limfunc1__t82_limfunc1.vout	2021-07-25 18:24	4.7K
	limfunc1__t82_limfunc1	2021-07-18 10:31	62K
	limfunc1__t81_limfunc1.vout	2021-07-25 18:22	40K
	limfunc1__t81_limfunc1.vmin1out	2021-07-25 20:58	21K
	limfunc1__t81_limfunc1.vmin1	2021-07-25 20:57	2.4K
	limfunc1__t81_limfunc1.depvmin1	2021-07-25 21:03	265
	limfunc1__t81_limfunc1.depv1	2021-07-25 20:57	265
	limfunc1__t81_limfunc1	2021-07-18 10:31	27K
	limfunc1__t80_limfunc1.vout	2021-07-25 14:30	4.7K
	limfunc1__t80_limfunc1	2021-07-18 10:31	37K
	limfunc1__t79_limfunc1.vout	2021-07-25 17:33	7.3K
	limfunc1__t79_limfunc1	2021-07-18 10:30	39K
	limfunc1__t78_limfunc1.vout	2021-07-25 17:46	6.8K
	limfunc1__t78_limfunc1	2021-07-18 10:30	37K
	limfunc1__t77_limfunc1.vout	2021-07-25 17:33	6.8K
	limfunc1__t77_limfunc1	2021-07-18 10:29	33K
	limfunc1__t76_limfunc1.vout	2021-07-25 20:49	6.8K
	limfunc1__t76_limfunc1	2021-07-18 10:29	33K
	limfunc1__t75_limfunc1.vout	2021-07-25 15:58	6.8K
	limfunc1__t75_limfunc1	2021-07-18 10:29	33K
	limfunc1__t74_limfunc1.vout	2021-07-25 20:46	6.8K
	limfunc1__t74_limfunc1	2021-07-18 10:28	33K
	limfunc1__t69_limfunc1.vout	2021-07-25 14:27	28K
	limfunc1__t69_limfunc1.vmin1out	2021-07-25 21:00	24K
	limfunc1__t69_limfunc1.vmin1	2021-07-25 20:57	2.0K
	limfunc1__t69_limfunc1.depvmin1	2021-07-25 21:03	133
	limfunc1__t69_limfunc1.depv1	2021-07-25 20:57	133
	limfunc1__t69_limfunc1	2021-07-18 10:07	24K
	limfunc1__t68_limfunc1.vout	2021-07-25 18:13	6.8K
	limfunc1__t68_limfunc1	2021-07-18 10:28	42K
	limfunc1__t67_limfunc1.vout	2021-07-25 18:23	28K
	limfunc1__t67_limfunc1.vmin1out	2021-07-25 21:00	24K
	limfunc1__t67_limfunc1.vmin1	2021-07-25 20:57	2.0K
	limfunc1__t67_limfunc1.depvmin1	2021-07-25 21:03	133
	limfunc1__t67_limfunc1.depv1	2021-07-25 20:57	133
	limfunc1__t67_limfunc1	2021-07-18 10:06	24K
	limfunc1__t66_limfunc1.vout	2021-07-25 15:52	6.8K
	limfunc1__t66_limfunc1	2021-07-18 10:27	42K
	limfunc1__t65_limfunc1.vout	2021-07-25 14:46	28K
	limfunc1__t65_limfunc1.vmin1out	2021-07-25 20:57	24K
	limfunc1__t65_limfunc1.vmin1	2021-07-25 20:57	2.0K
	limfunc1__t65_limfunc1.depvmin1	2021-07-25 21:03	133
	limfunc1__t65_limfunc1.depv1	2021-07-25 20:57	133
	limfunc1__t65_limfunc1	2021-07-18 10:06	24K
	limfunc1__t64_limfunc1.vout	2021-07-25 19:53	6.8K
	limfunc1__t64_limfunc1	2021-07-18 10:27	42K
	limfunc1__t63_limfunc1.vout	2021-07-25 18:25	28K
	limfunc1__t63_limfunc1.vmin1out	2021-07-25 20:57	24K
	limfunc1__t63_limfunc1.vmin1	2021-07-25 20:57	2.0K
	limfunc1__t63_limfunc1.depvmin1	2021-07-25 21:03	133
	limfunc1__t63_limfunc1.depv1	2021-07-25 20:57	133
	limfunc1__t63_limfunc1	2021-07-18 10:06	24K
	limfunc1__t62_limfunc1.vout	2021-07-25 20:50	6.8K
	limfunc1__t62_limfunc1	2021-07-18 10:27	42K
	limfunc1__t61_limfunc1.vout	2021-07-25 14:54	4.7K
	limfunc1__t61_limfunc1	2021-07-18 10:26	43K
	limfunc1__t60_limfunc1.vout	2021-07-25 19:26	4.7K
	limfunc1__t60_limfunc1	2021-07-18 10:26	44K
	limfunc1__t59_limfunc1.vout	2021-07-25 15:46	4.7K
	limfunc1__t59_limfunc1	2021-07-18 10:25	38K
	limfunc1__t58_limfunc1.vout	2021-07-25 18:20	4.7K
	limfunc1__t58_limfunc1	2021-07-18 10:25	38K
	limfunc1__t53_limfunc1.vout	2021-07-25 15:37	4.7K
	limfunc1__t53_limfunc1	2021-07-18 10:24	66K
	limfunc1__t52_limfunc1.vout	2021-07-25 19:15	4.7K
	limfunc1__t52_limfunc1	2021-07-18 10:24	66K
	limfunc1__t51_limfunc1.vout	2021-07-25 18:04	4.7K
	limfunc1__t51_limfunc1	2021-07-18 10:24	66K
	limfunc1__t50_limfunc1.vout	2021-07-25 15:46	4.7K
	limfunc1__t50_limfunc1	2021-07-18 10:23	66K
	limfunc1__t49_limfunc1.vout	2021-07-25 19:02	2.0K
	limfunc1__t49_limfunc1	2021-07-18 10:23	34K
	limfunc1__t48_limfunc1.vout	2021-07-25 20:10	2.0K
	limfunc1__t48_limfunc1	2021-07-18 10:22	34K
	limfunc1__t47_limfunc1.vout	2021-07-25 17:45	2.0K
	limfunc1__t47_limfunc1	2021-07-18 10:22	35K
	limfunc1__t46_limfunc1.vout	2021-07-25 17:10	2.0K
	limfunc1__t46_limfunc1	2021-07-18 10:21	35K
	limfunc1__t45_limfunc1.vout	2021-07-25 17:38	7.3K
	limfunc1__t45_limfunc1	2021-07-18 10:21	37K
	limfunc1__t44_limfunc1.vout	2021-07-25 15:01	7.3K
	limfunc1__t44_limfunc1	2021-07-18 10:20	39K
	limfunc1__t43_limfunc1.vout	2021-07-25 16:24	27K
	limfunc1__t43_limfunc1.vmin1out	2021-07-25 21:00	29K
	limfunc1__t43_limfunc1.vmin1	2021-07-25 20:57	1.7K
	limfunc1__t43_limfunc1.depvmin1	2021-07-25 21:03	116
	limfunc1__t43_limfunc1.depv1	2021-07-25 20:57	116
	limfunc1__t43_limfunc1	2021-07-18 10:20	26K
	limfunc1__t42_limfunc1.vout	2021-07-25 16:50	28K
	limfunc1__t42_limfunc1.vmin1out	2021-07-25 21:02	28K
	limfunc1__t42_limfunc1.vmin1	2021-07-25 20:57	1.7K
	limfunc1__t42_limfunc1.depvmin1	2021-07-25 21:03	116
	limfunc1__t42_limfunc1.depv1	2021-07-25 20:57	116
	limfunc1__t42_limfunc1	2021-07-18 10:20	26K
	limfunc1__t41_limfunc1.vout	2021-07-25 18:47	2.0K
	limfunc1__t41_limfunc1	2021-07-18 10:19	37K
	limfunc1__t40_limfunc1.vout	2021-07-25 14:31	12K
	limfunc1__t40_limfunc1.vmin1out	2021-07-25 20:59	12K
	limfunc1__t40_limfunc1.vmin1	2021-07-25 20:57	1.4K
	limfunc1__t40_limfunc1.depvmin1	2021-07-25 21:03	117
	limfunc1__t40_limfunc1.depv1	2021-07-25 20:57	117
	limfunc1__t40_limfunc1	2021-07-18 10:05	26K
	limfunc1__t39_limfunc1.vout	2021-07-25 17:27	12K
	limfunc1__t39_limfunc1.vmin1out	2021-07-25 21:02	12K
	limfunc1__t39_limfunc1.vmin1	2021-07-25 20:57	1.4K
	limfunc1__t39_limfunc1.depvmin1	2021-07-25 21:03	117
	limfunc1__t39_limfunc1.depv1	2021-07-25 20:57	117
	limfunc1__t39_limfunc1	2021-07-18 10:05	26K
	limfunc1__t38_limfunc1.vout	2021-07-25 15:35	14K
	limfunc1__t38_limfunc1.vmin1out	2021-07-25 20:59	13K
	limfunc1__t38_limfunc1.vmin1	2021-07-25 20:57	1.2K
	limfunc1__t38_limfunc1.depvmin1	2021-07-25 21:03	65
	limfunc1__t38_limfunc1.depv1	2021-07-25 20:57	65
	limfunc1__t38_limfunc1	2021-07-18 10:19	29K
	limfunc1__t37_limfunc1.vout	2021-07-25 15:20	14K
	limfunc1__t37_limfunc1.vmin1out	2021-07-25 21:02	13K
	limfunc1__t37_limfunc1.vmin1	2021-07-25 20:57	1.2K
	limfunc1__t37_limfunc1.depvmin1	2021-07-25 21:03	65
	limfunc1__t37_limfunc1.depv1	2021-07-25 20:57	65
	limfunc1__t37_limfunc1	2021-07-18 10:19	29K
	limfunc1__t36_limfunc1.vout	2021-07-25 19:40	7.3K
	limfunc1__t36_limfunc1	2021-07-18 10:18	41K
	limfunc1__t35_limfunc1.vout	2021-07-25 14:36	6.8K
	limfunc1__t35_limfunc1	2021-07-18 10:18	41K
	limfunc1__t34_limfunc1.vout	2021-07-25 17:43	7.3K
	limfunc1__t34_limfunc1	2021-07-18 10:18	48K
	limfunc1__t33_limfunc1.vout	2021-07-25 20:03	14K
	limfunc1__t33_limfunc1.vmin1out	2021-07-25 20:59	14K
	limfunc1__t33_limfunc1.vmin1	2021-07-25 20:57	1.5K
	limfunc1__t33_limfunc1.depvmin1	2021-07-25 21:03	69
	limfunc1__t33_limfunc1.depv1	2021-07-25 20:57	69
	limfunc1__t33_limfunc1	2021-07-18 10:17	23K
	limfunc1__t32_limfunc1.vout	2021-07-25 19:14	9.2K
	limfunc1__t32_limfunc1.vmin1out	2021-07-25 20:59	9.6K
	limfunc1__t32_limfunc1.vmin1	2021-07-25 20:57	1.2K
	limfunc1__t32_limfunc1.depvmin1	2021-07-25 21:03	93
	limfunc1__t32_limfunc1.depv1	2021-07-25 20:57	93
	limfunc1__t32_limfunc1	2021-07-18 10:05	23K
	limfunc1__t31_limfunc1.vout	2021-07-25 20:52	9.2K
	limfunc1__t31_limfunc1.vmin1out	2021-07-25 21:00	9.6K
	limfunc1__t31_limfunc1.vmin1	2021-07-25 20:57	1.2K
	limfunc1__t31_limfunc1.depvmin1	2021-07-25 21:03	93
	limfunc1__t31_limfunc1.depv1	2021-07-25 20:57	93
	limfunc1__t31_limfunc1	2021-07-18 10:05	23K
	limfunc1__t30_limfunc1.vout	2021-07-25 14:43	2.0K
	limfunc1__t30_limfunc1	2021-07-18 10:17	33K
	limfunc1__t29_limfunc1.vout	2021-07-25 16:12	2.0K
	limfunc1__t29_limfunc1	2021-07-18 10:16	31K
	limfunc1__t27_limfunc1.vout	2021-07-25 14:25	4.7K
	limfunc1__t27_limfunc1	2021-07-18 10:16	37K
	limfunc1__t26_limfunc1.vout	2021-07-25 17:56	4.7K
	limfunc1__t26_limfunc1	2021-07-18 10:16	37K
	limfunc1__t25_limfunc1.vout	2021-07-25 18:17	4.7K
	limfunc1__t25_limfunc1	2021-07-18 10:15	32K
	limfunc1__t24_limfunc1.vout	2021-07-25 16:43	4.7K
	limfunc1__t24_limfunc1	2021-07-18 10:15	44K
	limfunc1__t23_limfunc1.vout	2021-07-25 20:49	4.7K
	limfunc1__t23_limfunc1	2021-07-18 10:15	45K
	limfunc1__t22_limfunc1.vout	2021-07-25 18:58	4.7K
	limfunc1__t22_limfunc1	2021-07-18 10:14	40K
	limfunc1__t21_limfunc1.vout	2021-07-25 16:39	4.7K
	limfunc1__t21_limfunc1	2021-07-18 10:14	44K
	limfunc1__t20_limfunc1.vout	2021-07-25 18:42	16K
	limfunc1__t20_limfunc1.vmin1out	2021-07-25 20:58	18K
	limfunc1__t20_limfunc1.vmin1	2021-07-25 20:57	1.1K
	limfunc1__t20_limfunc1.depvmin1	2021-07-25 21:03	71
	limfunc1__t20_limfunc1.depv1	2021-07-25 20:57	71
	limfunc1__t20_limfunc1	2021-07-18 10:13	26K
	limfunc1__t19_limfunc1.vout	2021-07-25 18:48	13K
	limfunc1__t19_limfunc1.vmin1out	2021-07-25 20:58	13K
	limfunc1__t19_limfunc1.vmin1	2021-07-25 20:57	1.6K
	limfunc1__t19_limfunc1.depvmin1	2021-07-25 21:03	86
	limfunc1__t19_limfunc1.depv1	2021-07-25 20:57	86
	limfunc1__t19_limfunc1	2021-07-18 10:04	29K
	limfunc1__t18_limfunc1.vout	2021-07-25 14:44	13K
	limfunc1__t18_limfunc1.vmin1out	2021-07-25 21:01	13K
	limfunc1__t18_limfunc1.vmin1	2021-07-25 20:57	1.6K
	limfunc1__t18_limfunc1.depvmin1	2021-07-25 21:03	85
	limfunc1__t18_limfunc1.depv1	2021-07-25 20:57	85
	limfunc1__t18_limfunc1	2021-07-18 10:04	29K
	limfunc1__t17_limfunc1.vout	2021-07-25 17:17	7.4K
	limfunc1__t17_limfunc1	2021-07-18 10:13	48K
	limfunc1__t16_limfunc1.vout	2021-07-25 14:39	7.4K
	limfunc1__t16_limfunc1	2021-07-18 10:13	48K
	limfunc1__t15_limfunc1.vout	2021-07-25 14:28	37K
	limfunc1__t15_limfunc1.vmin1out	2021-07-25 21:02	40K
	limfunc1__t15_limfunc1.vmin1	2021-07-25 20:57	4.0K
	limfunc1__t15_limfunc1.depvmin1	2021-07-25 21:03	357
	limfunc1__t15_limfunc1.depv1	2021-07-25 20:57	382
	limfunc1__t15_limfunc1	2021-07-18 10:04	37K
	limfunc1__t14_limfunc1.vout	2021-07-25 15:11	4.7K
	limfunc1__t14_limfunc1	2021-07-18 10:12	40K
	limfunc1__t13_limfunc1.vout	2021-07-25 15:39	4.8K
	limfunc1__t13_limfunc1	2021-07-18 10:12	40K
	limfunc1__t12_limfunc1.vout	2021-07-25 19:12	4.7K
	limfunc1__t12_limfunc1	2021-07-18 10:12	40K
	limfunc1__t11_limfunc1.vout	2021-07-25 14:30	4.7K
	limfunc1__t11_limfunc1	2021-07-18 10:11	42K
	limfunc1__t10_limfunc1.vout	2021-07-25 16:17	4.7K
	limfunc1__t10_limfunc1	2021-07-18 10:11	42K
	limfunc1__t9_limfunc1.vout	2021-07-25 18:34	4.7K
	limfunc1__t9_limfunc1	2021-07-18 10:10	40K
	limfunc1__t8_limfunc1.vout	2021-07-25 16:18	4.7K
	limfunc1__t8_limfunc1	2021-07-18 10:10	42K
	limfunc1__t5_limfunc1.vout	2021-07-25 17:07	4.7K
	limfunc1__t5_limfunc1	2021-07-18 10:10	116K
	limfunc1__t4_limfunc1.vout	2021-07-25 20:12	7.3K
	limfunc1__t4_limfunc1	2021-07-18 10:09	33K
	limfunc1__t3_limfunc1.vout	2021-07-25 19:09	7.3K
	limfunc1__t3_limfunc1	2021-07-18 10:09	34K
	limfunc1__t2_limfunc1.vout	2021-07-25 15:33	7.3K
	limfunc1__t2_limfunc1	2021-07-18 10:09	34K
	limfunc1__t1_limfunc1.vout	2021-07-25 17:33	2.0K
	limfunc1__t1_limfunc1	2021-07-18 10:08	34K
	limfunc1__l32_limfunc1.vout	2021-07-25 17:03	4.1K
	limfunc1__l32_limfunc1.vmin1out	2021-07-25 21:01	3.8K
	limfunc1__l32_limfunc1.vmin1	2021-07-25 20:57	436
	limfunc1__l32_limfunc1.depvmin1	2021-07-25 21:03	79
	limfunc1__l32_limfunc1.depv1	2021-07-25 20:57	79
	limfunc1__l32_limfunc1	2021-07-18 10:08	26K
	limfunc1__l31_limfunc1.vout	2021-07-25 15:41	14K
	limfunc1__l31_limfunc1.vmin1out	2021-07-25 20:57	15K
	limfunc1__l31_limfunc1.vmin1	2021-07-25 20:57	1.7K
	limfunc1__l31_limfunc1.depvmin1	2021-07-25 21:03	211
	limfunc1__l31_limfunc1.depv1	2021-07-25 20:57	211
	limfunc1__l31_limfunc1	2021-07-18 10:08	25K
	limfunc1__l24_limfunc1.vout	2021-07-25 18:24	2.1K
	limfunc1__l24_limfunc1.vmin1out	2021-07-25 20:59	2.2K
	limfunc1__l24_limfunc1.vmin1	2021-07-25 20:57	286
	limfunc1__l24_limfunc1.depvmin1	2021-07-25 21:03	52
	limfunc1__l24_limfunc1.depv1	2021-07-25 20:57	52
	limfunc1__l24_limfunc1	2021-07-18 10:07	12K
	limfunc1__l21_limfunc1.vout	2021-07-25 16:32	3.5K
	limfunc1__l21_limfunc1.vmin1out	2021-07-25 21:00	3.4K
	limfunc1__l21_limfunc1.vmin1	2021-07-25 20:57	429
	limfunc1__l21_limfunc1.depvmin1	2021-07-25 21:03	96
	limfunc1__l21_limfunc1.depv1	2021-07-25 20:57	96
	limfunc1__l21_limfunc1	2021-07-18 10:07	13K
	limfunc1__l3_limfunc1.vout	2021-07-25 17:58	7.3K
	limfunc1__l3_limfunc1	2021-07-18 10:40	38K
	limfunc1__l2_limfunc1.vout	2021-07-25 19:42	7.3K
	limfunc1__l2_limfunc1	2021-07-18 10:40	38K
	limfunc1__l1_limfunc1.vout	2021-07-25 18:15	2.0K
	limfunc1__l1_limfunc1	2021-07-18 10:40	21K