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

	Name	Last modified	Size	Description
	Parent Directory		-
	afinsq_2__t87_afinsq_2.vout	2021-07-25 15:03	2.0K
	afinsq_2__t87_afinsq_2	2021-07-18 04:31	48K
	afinsq_2__t86_afinsq_2.vout	2021-07-25 17:21	2.0K
	afinsq_2__t86_afinsq_2	2021-07-18 04:30	45K
	afinsq_2__t85_afinsq_2.vout	2021-07-25 16:18	7.3K
	afinsq_2__t85_afinsq_2	2021-07-18 04:30	63K
	afinsq_2__t84_afinsq_2.vout	2021-07-25 18:06	3.7K
	afinsq_2__t84_afinsq_2	2021-07-18 04:29	79K
	afinsq_2__t83_afinsq_2.vout	2021-07-25 15:25	7.4K
	afinsq_2__t83_afinsq_2	2021-07-18 04:29	56K
	afinsq_2__t82_afinsq_2.vout	2021-07-25 15:53	7.3K
	afinsq_2__t82_afinsq_2	2021-07-18 04:28	32K
	afinsq_2__t81_afinsq_2.vout	2021-07-25 18:42	21K
	afinsq_2__t81_afinsq_2.vmin1out	2021-07-25 21:02	38K
	afinsq_2__t81_afinsq_2.vmin1	2021-07-25 20:57	2.0K
	afinsq_2__t81_afinsq_2.depvmin1	2021-07-25 21:03	80
	afinsq_2__t81_afinsq_2.depv1	2021-07-25 20:57	80
	afinsq_2__t81_afinsq_2	2021-07-18 04:28	32K
	afinsq_2__t80_afinsq_2.vout	2021-07-25 17:50	21K
	afinsq_2__t80_afinsq_2.vmin1out	2021-07-25 21:00	37K
	afinsq_2__t80_afinsq_2.vmin1	2021-07-25 20:57	1.4K
	afinsq_2__t80_afinsq_2.depvmin1	2021-07-25 21:03	39
	afinsq_2__t80_afinsq_2.depv1	2021-07-25 20:57	39
	afinsq_2__t80_afinsq_2	2021-07-18 04:27	32K
	afinsq_2__t79_afinsq_2.vout	2021-07-25 16:10	24K
	afinsq_2__t79_afinsq_2.vmin1out	2021-07-25 21:01	23K
	afinsq_2__t79_afinsq_2.vmin1	2021-07-25 20:57	1.4K
	afinsq_2__t79_afinsq_2.depvmin1	2021-07-25 21:03	92
	afinsq_2__t79_afinsq_2.depv1	2021-07-25 20:57	92
	afinsq_2__t79_afinsq_2	2021-07-18 04:27	35K
	afinsq_2__t78_afinsq_2.vout	2021-07-25 14:35	7.3K
	afinsq_2__t78_afinsq_2	2021-07-18 04:26	51K
	afinsq_2__t77_afinsq_2.vout	2021-07-25 16:31	7.3K
	afinsq_2__t77_afinsq_2	2021-07-18 04:26	43K
	afinsq_2__t76_afinsq_2.vout	2021-07-25 18:09	7.3K
	afinsq_2__t76_afinsq_2	2021-07-18 04:25	42K
	afinsq_2__t75_afinsq_2.vout	2021-07-25 15:31	7.3K
	afinsq_2__t75_afinsq_2	2021-07-18 04:25	47K
	afinsq_2__t74_afinsq_2.vout	2021-07-25 14:44	10K
	afinsq_2__t74_afinsq_2	2021-07-18 04:24	46K
	afinsq_2__t73_afinsq_2.vout	2021-07-25 19:16	38K
	afinsq_2__t73_afinsq_2.vmin1out	2021-07-25 20:58	25K
	afinsq_2__t73_afinsq_2.vmin1	2021-07-25 20:57	2.0K
	afinsq_2__t73_afinsq_2.depvmin1	2021-07-25 21:03	135
	afinsq_2__t73_afinsq_2.depv1	2021-07-25 20:57	198
	afinsq_2__t73_afinsq_2	2021-07-18 04:23	41K
	afinsq_2__t72_afinsq_2.vout	2021-07-25 18:30	21K
	afinsq_2__t72_afinsq_2.vmin1out	2021-07-25 21:01	22K
	afinsq_2__t72_afinsq_2.vmin1	2021-07-25 20:57	2.4K
	afinsq_2__t72_afinsq_2.depvmin1	2021-07-25 21:03	162
	afinsq_2__t72_afinsq_2.depv1	2021-07-25 20:57	162
	afinsq_2__t72_afinsq_2	2021-07-18 04:23	48K
	afinsq_2__t71_afinsq_2.vout	2021-07-25 17:23	7.3K
	afinsq_2__t71_afinsq_2	2021-07-18 04:22	67K
	afinsq_2__t70_afinsq_2.vout	2021-07-25 18:45	6.8K
	afinsq_2__t70_afinsq_2	2021-07-18 04:22	72K
	afinsq_2__t69_afinsq_2.vout	2021-07-25 15:59	6.2K
	afinsq_2__t69_afinsq_2	2021-07-18 04:21	73K
	afinsq_2__t68_afinsq_2.vout	2021-07-25 17:15	6.8K
	afinsq_2__t68_afinsq_2	2021-07-18 04:21	87K
	afinsq_2__t67_afinsq_2.vout	2021-07-25 16:19	7.3K
	afinsq_2__t67_afinsq_2	2021-07-18 04:20	47K
	afinsq_2__t66_afinsq_2.vout	2021-07-25 19:39	7.3K
	afinsq_2__t66_afinsq_2	2021-07-18 04:19	50K
	afinsq_2__t65_afinsq_2.vout	2021-07-25 15:27	7.3K
	afinsq_2__t65_afinsq_2	2021-07-18 04:19	51K
	afinsq_2__t64_afinsq_2.vout	2021-07-25 19:36	7.3K
	afinsq_2__t64_afinsq_2	2021-07-18 04:18	70K
	afinsq_2__t63_afinsq_2.vout	2021-07-25 18:01	4.7K
	afinsq_2__t63_afinsq_2	2021-07-18 04:18	47K
	afinsq_2__t62_afinsq_2.vout	2021-07-25 17:36	7.3K
	afinsq_2__t62_afinsq_2	2021-07-18 04:17	60K
	afinsq_2__t61_afinsq_2.vout	2021-07-25 17:33	6.8K
	afinsq_2__t61_afinsq_2	2021-07-18 04:16	71K
	afinsq_2__t60_afinsq_2.vout	2021-07-25 15:17	7.4K
	afinsq_2__t60_afinsq_2	2021-07-18 04:16	50K
	afinsq_2__t59_afinsq_2.vout	2021-07-25 20:11	7.4K
	afinsq_2__t59_afinsq_2	2021-07-18 04:15	50K
	afinsq_2__t58_afinsq_2.vout	2021-07-25 17:24	7.3K
	afinsq_2__t58_afinsq_2	2021-07-18 04:15	74K
	afinsq_2__t57_afinsq_2.vout	2021-07-25 14:42	6.9K
	afinsq_2__t57_afinsq_2	2021-07-18 04:14	68K
	afinsq_2__t56_afinsq_2.vout	2021-07-25 19:45	7.3K
	afinsq_2__t56_afinsq_2	2021-07-18 04:13	81K
	afinsq_2__t55_afinsq_2.vout	2021-07-25 15:32	46K
	afinsq_2__t55_afinsq_2.vmin1out	2021-07-25 20:59	40K
	afinsq_2__t55_afinsq_2.vmin1	2021-07-25 20:57	3.7K
	afinsq_2__t55_afinsq_2.depvmin1	2021-07-25 21:03	206
	afinsq_2__t55_afinsq_2.depv1	2021-07-25 20:57	232
	afinsq_2__t55_afinsq_2	2021-07-18 04:13	48K
	afinsq_2__t54_afinsq_2.vout	2021-07-25 19:42	7.4K
	afinsq_2__t54_afinsq_2	2021-07-18 04:12	51K
	afinsq_2__t53_afinsq_2.vout	2021-07-25 18:21	2.0K
	afinsq_2__t53_afinsq_2	2021-07-18 04:12	38K
	afinsq_2__t52_afinsq_2.vout	2021-07-25 20:35	2.0K
	afinsq_2__t52_afinsq_2	2021-07-18 03:43	37K
	afinsq_2__t51_afinsq_2.vout	2021-07-25 18:24	7.3K
	afinsq_2__t51_afinsq_2	2021-07-18 04:11	59K
	afinsq_2__t50_afinsq_2.vout	2021-07-25 17:37	7.3K
	afinsq_2__t50_afinsq_2	2021-07-18 04:10	59K
	afinsq_2__t49_afinsq_2.vout	2021-07-25 18:16	7.3K
	afinsq_2__t49_afinsq_2	2021-07-18 04:10	59K
	afinsq_2__t48_afinsq_2.vout	2021-07-25 20:56	7.3K
	afinsq_2__t48_afinsq_2	2021-07-18 04:09	60K
	afinsq_2__t47_afinsq_2.vout	2021-07-25 17:43	6.8K
	afinsq_2__t47_afinsq_2	2021-07-18 04:09	69K
	afinsq_2__t46_afinsq_2.vout	2021-07-25 19:54	6.8K
	afinsq_2__t46_afinsq_2	2021-07-18 04:08	69K
	afinsq_2__t45_afinsq_2.vout	2021-07-25 19:36	6.8K
	afinsq_2__t45_afinsq_2	2021-07-18 04:07	82K
	afinsq_2__t44_afinsq_2.vout	2021-07-25 17:11	7.3K
	afinsq_2__t44_afinsq_2	2021-07-18 04:07	67K
	afinsq_2__t43_afinsq_2.vout	2021-07-25 18:16	6.8K
	afinsq_2__t43_afinsq_2	2021-07-18 04:06	84K
	afinsq_2__t42_afinsq_2.vout	2021-07-25 18:37	6.8K
	afinsq_2__t42_afinsq_2	2021-07-18 04:05	70K
	afinsq_2__t40_afinsq_2.vout	2021-07-25 16:40	6.8K
	afinsq_2__t40_afinsq_2	2021-07-18 04:05	118K
	afinsq_2__t39_afinsq_2.vout	2021-07-25 14:23	6.8K
	afinsq_2__t39_afinsq_2	2021-07-18 04:04	66K
	afinsq_2__t38_afinsq_2.vout	2021-07-25 18:16	7.3K
	afinsq_2__t38_afinsq_2	2021-07-18 04:03	58K
	afinsq_2__t37_afinsq_2.vout	2021-07-25 17:04	7.4K
	afinsq_2__t37_afinsq_2	2021-07-18 04:03	56K
	afinsq_2__t36_afinsq_2.vout	2021-07-25 16:04	7.4K
	afinsq_2__t36_afinsq_2	2021-07-18 04:02	50K
	afinsq_2__t35_afinsq_2.vout	2021-07-25 16:18	7.3K
	afinsq_2__t35_afinsq_2	2021-07-18 04:02	72K
	afinsq_2__t34_afinsq_2.vout	2021-07-25 17:44	34K
	afinsq_2__t34_afinsq_2.vmin1out	2021-07-25 21:00	34K
	afinsq_2__t34_afinsq_2.vmin1	2021-07-25 20:57	3.0K
	afinsq_2__t34_afinsq_2.depvmin1	2021-07-25 21:03	311
	afinsq_2__t34_afinsq_2.depv1	2021-07-25 20:57	334
	afinsq_2__t34_afinsq_2	2021-07-18 04:01	36K
	afinsq_2__t33_afinsq_2.vout	2021-07-25 16:22	26K
	afinsq_2__t33_afinsq_2.vmin1out	2021-07-25 20:58	35K
	afinsq_2__t33_afinsq_2.vmin1	2021-07-25 20:57	1.8K
	afinsq_2__t33_afinsq_2.depvmin1	2021-07-25 21:03	90
	afinsq_2__t33_afinsq_2.depv1	2021-07-25 20:57	125
	afinsq_2__t33_afinsq_2	2021-07-18 04:00	39K
	afinsq_2__t32_afinsq_2.vout	2021-07-25 16:15	7.3K
	afinsq_2__t32_afinsq_2	2021-07-18 04:00	38K
	afinsq_2__t31_afinsq_2.vout	2021-07-25 20:56	7.3K
	afinsq_2__t31_afinsq_2	2021-07-18 03:59	58K
	afinsq_2__t30_afinsq_2.vout	2021-07-25 19:13	3.7K
	afinsq_2__t30_afinsq_2	2021-07-18 03:59	76K
	afinsq_2__t29_afinsq_2.vout	2021-07-25 19:37	7.3K
	afinsq_2__t29_afinsq_2	2021-07-18 03:58	49K
	afinsq_2__t28_afinsq_2.vout	2021-07-25 16:24	3.7K
	afinsq_2__t28_afinsq_2	2021-07-18 03:58	52K
	afinsq_2__t27_afinsq_2.vout	2021-07-25 16:16	3.7K
	afinsq_2__t27_afinsq_2	2021-07-18 03:57	53K
	afinsq_2__t26_afinsq_2.vout	2021-07-25 19:26	7.4K
	afinsq_2__t26_afinsq_2	2021-07-18 03:56	43K
	afinsq_2__t25_afinsq_2.vout	2021-07-25 17:57	16K
	afinsq_2__t25_afinsq_2.vmin1out	2021-07-25 21:02	16K
	afinsq_2__t25_afinsq_2.vmin1	2021-07-25 20:57	611
	afinsq_2__t25_afinsq_2.depvmin1	2021-07-25 21:03	60
	afinsq_2__t25_afinsq_2.depv1	2021-07-25 20:57	60
	afinsq_2__t25_afinsq_2	2021-07-18 03:56	29K
	afinsq_2__t24_afinsq_2.vout	2021-07-25 16:33	24K
	afinsq_2__t24_afinsq_2.vmin1out	2021-07-25 21:02	24K
	afinsq_2__t24_afinsq_2.vmin1	2021-07-25 20:57	1.8K
	afinsq_2__t24_afinsq_2.depvmin1	2021-07-25 21:03	210
	afinsq_2__t24_afinsq_2.depv1	2021-07-25 20:57	232
	afinsq_2__t24_afinsq_2	2021-07-18 03:55	30K
	afinsq_2__t23_afinsq_2.vout	2021-07-25 19:30	19K
	afinsq_2__t23_afinsq_2.vmin1out	2021-07-25 21:00	20K
	afinsq_2__t23_afinsq_2.vmin1	2021-07-25 20:57	1.2K
	afinsq_2__t23_afinsq_2.depvmin1	2021-07-25 21:03	168
	afinsq_2__t23_afinsq_2.depv1	2021-07-25 20:57	168
	afinsq_2__t23_afinsq_2	2021-07-18 03:55	30K
	afinsq_2__t22_afinsq_2.vout	2021-07-25 17:50	5.8K
	afinsq_2__t22_afinsq_2	2021-07-18 03:55	41K
	afinsq_2__t21_afinsq_2.vout	2021-07-25 15:38	7.3K
	afinsq_2__t21_afinsq_2	2021-07-18 03:54	41K
	afinsq_2__t20_afinsq_2.vout	2021-07-25 19:11	25K
	afinsq_2__t20_afinsq_2.vmin1out	2021-07-25 20:58	26K
	afinsq_2__t20_afinsq_2.vmin1	2021-07-25 20:57	2.1K
	afinsq_2__t20_afinsq_2.depvmin1	2021-07-25 21:03	170
	afinsq_2__t20_afinsq_2.depv1	2021-07-25 20:57	185
	afinsq_2__t20_afinsq_2	2021-07-18 03:54	40K
	afinsq_2__t19_afinsq_2.vout	2021-07-25 18:01	2.0K
	afinsq_2__t19_afinsq_2	2021-07-18 03:53	43K
	afinsq_2__t18_afinsq_2.vout	2021-07-25 19:25	18K
	afinsq_2__t18_afinsq_2.vmin1out	2021-07-25 20:59	16K
	afinsq_2__t18_afinsq_2.vmin1	2021-07-25 20:57	1.8K
	afinsq_2__t18_afinsq_2.depvmin1	2021-07-25 21:03	211
	afinsq_2__t18_afinsq_2.depv1	2021-07-25 20:57	233
	afinsq_2__t18_afinsq_2	2021-07-18 03:53	35K
	afinsq_2__t17_afinsq_2.vout	2021-07-25 15:07	6.6K
	afinsq_2__t17_afinsq_2.vmin1out	2021-07-25 21:02	6.8K
	afinsq_2__t17_afinsq_2.vmin1	2021-07-25 20:57	629
	afinsq_2__t17_afinsq_2.depvmin1	2021-07-25 21:03	39
	afinsq_2__t17_afinsq_2.depv1	2021-07-25 20:57	39
	afinsq_2__t17_afinsq_2	2021-07-18 03:52	37K
	afinsq_2__t16_afinsq_2.vout	2021-07-25 15:16	2.0K
	afinsq_2__t16_afinsq_2	2021-07-18 03:52	32K
	afinsq_2__t15_afinsq_2.vout	2021-07-25 16:29	7.3K
	afinsq_2__t15_afinsq_2	2021-07-18 03:51	70K
	afinsq_2__t14_afinsq_2.vout	2021-07-25 16:58	2.0K
	afinsq_2__t14_afinsq_2	2021-07-18 03:51	55K
	afinsq_2__t13_afinsq_2.vout	2021-07-25 14:58	4.7K
	afinsq_2__t13_afinsq_2	2021-07-18 03:50	71K
	afinsq_2__t12_afinsq_2.vout	2021-07-25 16:58	13K
	afinsq_2__t12_afinsq_2.vmin1out	2021-07-25 20:59	14K
	afinsq_2__t12_afinsq_2.vmin1	2021-07-25 20:57	1.4K
	afinsq_2__t12_afinsq_2.depvmin1	2021-07-25 21:03	151
	afinsq_2__t12_afinsq_2.depv1	2021-07-25 20:57	151
	afinsq_2__t12_afinsq_2	2021-07-18 03:49	32K
	afinsq_2__t11_afinsq_2.vout	2021-07-25 17:34	4.7K
	afinsq_2__t11_afinsq_2	2021-07-18 03:49	58K
	afinsq_2__t10_afinsq_2.vout	2021-07-25 16:23	6.2K
	afinsq_2__t10_afinsq_2	2021-07-18 03:49	45K
	afinsq_2__t9_afinsq_2.vout	2021-07-25 20:40	7.3K
	afinsq_2__t9_afinsq_2	2021-07-18 03:48	50K
	afinsq_2__t8_afinsq_2.vout	2021-07-25 19:15	41K
	afinsq_2__t8_afinsq_2.vmin1out	2021-07-25 20:59	45K
	afinsq_2__t8_afinsq_2.vmin1	2021-07-25 20:57	2.9K
	afinsq_2__t8_afinsq_2.depvmin1	2021-07-25 21:03	227
	afinsq_2__t8_afinsq_2.depv1	2021-07-25 20:57	227
	afinsq_2__t8_afinsq_2	2021-07-18 03:47	47K
	afinsq_2__t7_afinsq_2.vout	2021-07-25 16:48	33K
	afinsq_2__t7_afinsq_2.vmin1out	2021-07-25 20:58	35K
	afinsq_2__t7_afinsq_2.vmin1	2021-07-25 20:57	2.4K
	afinsq_2__t7_afinsq_2.depvmin1	2021-07-25 21:03	223
	afinsq_2__t7_afinsq_2.depv1	2021-07-25 20:57	223
	afinsq_2__t7_afinsq_2	2021-07-18 03:47	47K
	afinsq_2__t6_afinsq_2.vout	2021-07-25 15:04	32K
	afinsq_2__t6_afinsq_2.vmin1out	2021-07-25 20:59	27K
	afinsq_2__t6_afinsq_2.vmin1	2021-07-25 20:57	2.9K
	afinsq_2__t6_afinsq_2.depvmin1	2021-07-25 21:03	255
	afinsq_2__t6_afinsq_2.depv1	2021-07-25 20:57	316
	afinsq_2__t6_afinsq_2	2021-07-18 03:46	39K
	afinsq_2__t5_afinsq_2.vout	2021-07-25 16:30	7.3K
	afinsq_2__t5_afinsq_2	2021-07-18 03:46	62K
	afinsq_2__t4_afinsq_2.vout	2021-07-25 14:44	21K
	afinsq_2__t4_afinsq_2.vmin1out	2021-07-25 21:00	18K
	afinsq_2__t4_afinsq_2.vmin1	2021-07-25 20:57	1.1K
	afinsq_2__t4_afinsq_2.depvmin1	2021-07-25 21:03	82
	afinsq_2__t4_afinsq_2.depv1	2021-07-25 20:57	82
	afinsq_2__t4_afinsq_2	2021-07-18 03:45	36K
	afinsq_2__t3_afinsq_2.vout	2021-07-25 18:40	19K
	afinsq_2__t3_afinsq_2.vmin1out	2021-07-25 20:59	19K
	afinsq_2__t3_afinsq_2.vmin1	2021-07-25 20:57	1.2K
	afinsq_2__t3_afinsq_2.depvmin1	2021-07-25 21:03	109
	afinsq_2__t3_afinsq_2.depv1	2021-07-25 20:57	109
	afinsq_2__t3_afinsq_2	2021-07-18 03:45	35K
	afinsq_2__t2_afinsq_2.vout	2021-07-25 15:59	7.3K
	afinsq_2__t2_afinsq_2	2021-07-18 03:44	61K
	afinsq_2__t1_afinsq_2.vout	2021-07-25 14:40	12K
	afinsq_2__t1_afinsq_2.vmin1out	2021-07-25 21:01	11K
	afinsq_2__t1_afinsq_2.vmin1	2021-07-25 20:57	1.2K
	afinsq_2__t1_afinsq_2.depvmin1	2021-07-25 21:03	164
	afinsq_2__t1_afinsq_2.depv1	2021-07-25 20:57	164
	afinsq_2__t1_afinsq_2	2021-07-18 03:44	29K
	afinsq_2__l59_afinsq_2.vout	2021-07-25 17:25	5.5K
	afinsq_2__l59_afinsq_2.vmin1out	2021-07-25 20:57	4.3K
	afinsq_2__l59_afinsq_2.vmin1	2021-07-25 20:57	421
	afinsq_2__l59_afinsq_2.depvmin1	2021-07-25 21:03	37
	afinsq_2__l59_afinsq_2.depv1	2021-07-25 20:57	37
	afinsq_2__l59_afinsq_2	2021-07-18 04:32	32K
	afinsq_2__l58_afinsq_2.vout	2021-07-25 15:28	5.5K
	afinsq_2__l58_afinsq_2.vmin1out	2021-07-25 20:57	4.3K
	afinsq_2__l58_afinsq_2.vmin1	2021-07-25 20:57	421
	afinsq_2__l58_afinsq_2.depvmin1	2021-07-25 21:03	37
	afinsq_2__l58_afinsq_2.depv1	2021-07-25 20:57	37
	afinsq_2__l58_afinsq_2	2021-07-18 04:32	31K
	afinsq_2__l47_afinsq_2.vout	2021-07-25 20:00	2.0K
	afinsq_2__l47_afinsq_2.vmin1out	2021-07-25 21:02	2.1K
	afinsq_2__l47_afinsq_2.vmin1	2021-07-25 20:57	220
	afinsq_2__l47_afinsq_2.depvmin1	2021-07-25 21:03	63
	afinsq_2__l47_afinsq_2.depv1	2021-07-25 20:57	63
	afinsq_2__l47_afinsq_2	2021-07-18 03:43	25K
	afinsq_2__l1_afinsq_2.vout	2021-07-25 16:10	7.3K
	afinsq_2__l1_afinsq_2	2021-07-18 04:32	56K