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

	Name	Last modified	Size	Description
	Parent Directory		-
	nfcont_4__t47_nfcont_4.vout	2021-07-25 15:35	7.3K
	nfcont_4__t47_nfcont_4	2021-07-18 01:34	58K
	nfcont_4__t46_nfcont_4.vout	2021-07-25 17:53	6.8K
	nfcont_4__t46_nfcont_4	2021-07-18 01:33	74K
	nfcont_4__t45_nfcont_4.vout	2021-07-25 17:32	4.7K
	nfcont_4__t45_nfcont_4	2021-07-18 01:32	45K
	nfcont_4__t44_nfcont_4.vout	2021-07-25 19:13	7.3K
	nfcont_4__t44_nfcont_4	2021-07-18 01:31	58K
	nfcont_4__t43_nfcont_4.vout	2021-07-25 18:29	6.8K
	nfcont_4__t43_nfcont_4	2021-07-18 01:30	77K
	nfcont_4__t42_nfcont_4.vout	2021-07-25 18:30	4.7K
	nfcont_4__t42_nfcont_4	2021-07-18 01:30	58K
	nfcont_4__t41_nfcont_4.vout	2021-07-25 20:40	4.1K
	nfcont_4__t41_nfcont_4	2021-07-18 01:29	62K
	nfcont_4__t40_nfcont_4.vout	2021-07-25 17:51	4.1K
	nfcont_4__t40_nfcont_4	2021-07-18 01:27	57K
	nfcont_4__t39_nfcont_4.vout	2021-07-25 18:24	7.4K
	nfcont_4__t39_nfcont_4	2021-07-18 01:27	58K
	nfcont_4__t38_nfcont_4.vout	2021-07-25 20:32	4.1K
	nfcont_4__t38_nfcont_4	2021-07-18 01:26	60K
	nfcont_4__t37_nfcont_4.vout	2021-07-25 20:05	4.1K
	nfcont_4__t37_nfcont_4	2021-07-18 01:25	61K
	nfcont_4__t36_nfcont_4.vout	2021-07-25 19:54	16K
	nfcont_4__t36_nfcont_4.vmin1out	2021-07-25 20:58	12K
	nfcont_4__t36_nfcont_4.vmin1	2021-07-25 20:57	1.3K
	nfcont_4__t36_nfcont_4.depvmin1	2021-07-25 21:03	91
	nfcont_4__t36_nfcont_4.depv1	2021-07-25 20:57	91
	nfcont_4__t36_nfcont_4	2021-07-18 01:24	34K
	nfcont_4__t35_nfcont_4.vout	2021-07-25 17:06	4.7K
	nfcont_4__t35_nfcont_4	2021-07-18 01:24	46K
	nfcont_4__t34_nfcont_4.vout	2021-07-25 14:32	3.2K
	nfcont_4__t34_nfcont_4	2021-07-18 01:02	36K
	nfcont_4__t33_nfcont_4.vout	2021-07-25 20:42	4.7K
	nfcont_4__t33_nfcont_4	2021-07-18 01:23	55K
	nfcont_4__t32_nfcont_4.vout	2021-07-25 18:30	47K
	nfcont_4__t32_nfcont_4.vmin1out	2021-07-25 20:59	48K
	nfcont_4__t32_nfcont_4.vmin1	2021-07-25 20:57	3.5K
	nfcont_4__t32_nfcont_4.depvmin1	2021-07-25 21:03	145
	nfcont_4__t32_nfcont_4.depv1	2021-07-25 20:57	145
	nfcont_4__t32_nfcont_4	2021-07-18 01:22	55K
	nfcont_4__t31_nfcont_4.vout	2021-07-25 19:45	4.1K
	nfcont_4__t31_nfcont_4	2021-07-18 01:22	54K
	nfcont_4__t30_nfcont_4.vout	2021-07-25 16:42	4.1K
	nfcont_4__t30_nfcont_4	2021-07-18 01:21	65K
	nfcont_4__t29_nfcont_4.vout	2021-07-25 18:42	7.3K
	nfcont_4__t29_nfcont_4	2021-07-18 01:20	58K
	nfcont_4__t28_nfcont_4.vout	2021-07-25 19:36	7.3K
	nfcont_4__t28_nfcont_4	2021-07-18 01:19	58K
	nfcont_4__t27_nfcont_4.vout	2021-07-25 16:23	7.3K
	nfcont_4__t27_nfcont_4	2021-07-18 01:18	66K
	nfcont_4__t26_nfcont_4.vout	2021-07-25 17:37	7.3K
	nfcont_4__t26_nfcont_4	2021-07-18 01:18	66K
	nfcont_4__t25_nfcont_4.vout	2021-07-25 18:23	16K
	nfcont_4__t25_nfcont_4.vmin1out	2021-07-25 21:01	12K
	nfcont_4__t25_nfcont_4.vmin1	2021-07-25 20:57	1.3K
	nfcont_4__t25_nfcont_4.depvmin1	2021-07-25 21:03	91
	nfcont_4__t25_nfcont_4.depv1	2021-07-25 20:57	91
	nfcont_4__t25_nfcont_4	2021-07-18 01:17	33K
	nfcont_4__t24_nfcont_4.vout	2021-07-25 16:56	6.8K
	nfcont_4__t24_nfcont_4	2021-07-18 01:16	64K
	nfcont_4__t23_nfcont_4.vout	2021-07-25 14:38	4.1K
	nfcont_4__t23_nfcont_4	2021-07-18 01:16	50K
	nfcont_4__t22_nfcont_4.vout	2021-07-25 19:42	4.1K
	nfcont_4__t22_nfcont_4	2021-07-18 01:15	63K
	nfcont_4__t21_nfcont_4.vout	2021-07-25 16:07	21K
	nfcont_4__t21_nfcont_4.vmin1out	2021-07-25 21:00	29K
	nfcont_4__t21_nfcont_4.vmin1	2021-07-25 20:57	1.0K
	nfcont_4__t21_nfcont_4.depvmin1	2021-07-25 21:03	25
	nfcont_4__t21_nfcont_4.depv1	2021-07-25 20:57	25
	nfcont_4__t21_nfcont_4	2021-07-18 01:02	36K
	nfcont_4__t20_nfcont_4.vout	2021-07-25 16:34	6.8K
	nfcont_4__t20_nfcont_4	2021-07-18 01:14	59K
	nfcont_4__t19_nfcont_4.vout	2021-07-25 18:56	4.2K
	nfcont_4__t19_nfcont_4	2021-07-18 01:13	63K
	nfcont_4__t18_nfcont_4.vout	2021-07-25 16:57	55K
	nfcont_4__t18_nfcont_4.vmin1out	2021-07-25 20:57	42K
	nfcont_4__t18_nfcont_4.vmin1	2021-07-25 20:57	3.9K
	nfcont_4__t18_nfcont_4.depvmin1	2021-07-25 21:03	181
	nfcont_4__t18_nfcont_4.depv1	2021-07-25 20:57	181
	nfcont_4__t18_nfcont_4	2021-07-18 01:13	59K
	nfcont_4__t17_nfcont_4.vout	2021-07-25 14:27	4.1K
	nfcont_4__t17_nfcont_4	2021-07-18 01:12	59K
	nfcont_4__t16_nfcont_4.vout	2021-07-25 19:18	4.1K
	nfcont_4__t16_nfcont_4	2021-07-18 01:11	59K
	nfcont_4__t15_nfcont_4.vout	2021-07-25 17:11	4.2K
	nfcont_4__t15_nfcont_4	2021-07-18 01:10	65K
	nfcont_4__t14_nfcont_4.vout	2021-07-25 18:59	4.1K
	nfcont_4__t14_nfcont_4	2021-07-18 01:10	65K
	nfcont_4__t13_nfcont_4.vout	2021-07-25 19:30	4.1K
	nfcont_4__t13_nfcont_4	2021-07-18 01:09	58K
	nfcont_4__t12_nfcont_4.vout	2021-07-25 17:01	3.7K
	nfcont_4__t12_nfcont_4	2021-07-18 01:36	67K
	nfcont_4__t11_nfcont_4.vout	2021-07-25 14:24	3.7K
	nfcont_4__t11_nfcont_4	2021-07-18 01:35	66K
	nfcont_4__t10_nfcont_4.vout	2021-07-25 15:48	4.1K
	nfcont_4__t10_nfcont_4	2021-07-18 01:08	56K
	nfcont_4__t9_nfcont_4.vout	2021-07-25 20:08	4.1K
	nfcont_4__t9_nfcont_4	2021-07-18 01:07	50K
	nfcont_4__t8_nfcont_4.vout	2021-07-25 19:02	4.1K
	nfcont_4__t8_nfcont_4	2021-07-18 01:06	50K
	nfcont_4__t7_nfcont_4.vout	2021-07-25 18:26	4.1K
	nfcont_4__t7_nfcont_4	2021-07-18 01:06	34K
	nfcont_4__t6_nfcont_4.vout	2021-07-25 15:12	4.1K
	nfcont_4__t6_nfcont_4	2021-07-18 01:05	51K
	nfcont_4__t5_nfcont_4.vout	2021-07-25 17:53	4.1K
	nfcont_4__t5_nfcont_4	2021-07-18 01:05	57K
	nfcont_4__t4_nfcont_4.vout	2021-07-25 20:09	7.3K
	nfcont_4__t4_nfcont_4	2021-07-18 01:34	47K
	nfcont_4__t3_nfcont_4.vout	2021-07-25 19:05	4.7K
	nfcont_4__t3_nfcont_4	2021-07-18 01:04	63K
	nfcont_4__t2_nfcont_4.vout	2021-07-25 17:20	4.1K
	nfcont_4__t2_nfcont_4	2021-07-18 01:03	54K
	nfcont_4__t1_nfcont_4.vout	2021-07-25 18:46	15K
	nfcont_4__t1_nfcont_4.vmin1out	2021-07-25 21:00	22K
	nfcont_4__t1_nfcont_4.vmin1	2021-07-25 20:57	817
	nfcont_4__t1_nfcont_4.depvmin1	2021-07-25 21:03	24
	nfcont_4__t1_nfcont_4.depv1	2021-07-25 20:57	24
	nfcont_4__t1_nfcont_4	2021-07-18 01:01	50K