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

	Name	Last modified	Size	Description
	Parent Directory		-
	c0sp2__l12_c0sp2	2021-07-18 03:10	61K
	c0sp2__l12_c0sp2.vout	2021-07-25 18:36	4.2K
	c0sp2__l16_c0sp2	2021-07-18 03:11	68K
	c0sp2__l16_c0sp2.vout	2021-07-25 14:38	7.3K
	c0sp2__l18_c0sp2	2021-07-18 02:39	65K
	c0sp2__l18_c0sp2.vout	2021-07-25 15:36	7.3K
	c0sp2__l19_c0sp2	2021-07-18 03:12	67K
	c0sp2__l19_c0sp2.vout	2021-07-25 15:02	7.8K
	c0sp2__l20_c0sp2	2021-07-18 03:13	65K
	c0sp2__l20_c0sp2.vout	2021-07-25 18:51	7.3K
	c0sp2__l21_c0sp2	2021-07-18 03:14	66K
	c0sp2__l21_c0sp2.vout	2021-07-25 16:13	7.3K
	c0sp2__l22_c0sp2	2021-07-18 02:39	11K
	c0sp2__l22_c0sp2.depv1	2021-07-25 20:57	93
	c0sp2__l22_c0sp2.depvmin1	2021-07-25 21:03	93
	c0sp2__l22_c0sp2.vmin1	2021-07-25 20:57	561
	c0sp2__l22_c0sp2.vmin1out	2021-07-25 21:02	4.0K
	c0sp2__l22_c0sp2.vout	2021-07-25 15:48	3.7K
	c0sp2__l25_c0sp2	2021-07-18 03:15	66K
	c0sp2__l25_c0sp2.depv1	2021-07-25 20:57	193
	c0sp2__l25_c0sp2.depvmin1	2021-07-25 21:03	193
	c0sp2__l25_c0sp2.vmin1	2021-07-25 20:57	1.4K
	c0sp2__l25_c0sp2.vmin1out	2021-07-25 20:59	11K
	c0sp2__l25_c0sp2.vout	2021-07-25 20:31	15K
	c0sp2__l26_c0sp2	2021-07-18 03:16	67K
	c0sp2__l26_c0sp2.vout	2021-07-25 16:21	7.3K
	c0sp2__l33_c0sp2	2021-07-18 03:17	70K
	c0sp2__l33_c0sp2.vout	2021-07-25 18:27	7.3K
	c0sp2__l43_c0sp2	2021-07-18 03:18	72K
	c0sp2__l43_c0sp2.vout	2021-07-25 18:39	3.6K
	c0sp2__l44_c0sp2	2021-07-18 03:19	58K
	c0sp2__l44_c0sp2.vout	2021-07-25 16:08	4.7K
	c0sp2__l45_c0sp2	2021-07-18 03:20	49K
	c0sp2__l45_c0sp2.depv1	2021-07-25 20:57	202
	c0sp2__l45_c0sp2.depvmin1	2021-07-25 21:03	171
	c0sp2__l45_c0sp2.vmin1	2021-07-25 20:57	2.9K
	c0sp2__l45_c0sp2.vmin1out	2021-07-25 21:00	37K
	c0sp2__l45_c0sp2.vout	2021-07-25 17:18	48K
	c0sp2__l56_c0sp2	2021-07-18 03:21	71K
	c0sp2__l56_c0sp2.vout	2021-07-25 19:19	7.3K
	c0sp2__l57_c0sp2	2021-07-18 03:22	70K
	c0sp2__l57_c0sp2.vout	2021-07-25 19:44	7.3K
	c0sp2__t1_c0sp2	2021-07-18 02:40	47K
	c0sp2__t1_c0sp2.vout	2021-07-25 15:28	3.6K
	c0sp2__t2_c0sp2	2021-07-18 02:34	48K
	c0sp2__t2_c0sp2.depv1	2021-07-25 20:57	170
	c0sp2__t2_c0sp2.depvmin1	2021-07-25 21:03	101
	c0sp2__t2_c0sp2.vmin1	2021-07-25 20:57	2.9K
	c0sp2__t2_c0sp2.vmin1out	2021-07-25 21:01	25K
	c0sp2__t2_c0sp2.vout	2021-07-25 20:26	105K
	c0sp2__t3_c0sp2	2021-07-18 02:40	62K
	c0sp2__t3_c0sp2.vout	2021-07-25 18:17	3.6K
	c0sp2__t4_c0sp2	2021-07-18 02:41	59K
	c0sp2__t4_c0sp2.vout	2021-07-25 17:24	3.6K
	c0sp2__t5_c0sp2	2021-07-18 02:42	61K
	c0sp2__t5_c0sp2.vout	2021-07-25 18:39	3.6K
	c0sp2__t6_c0sp2	2021-07-18 02:43	57K
	c0sp2__t6_c0sp2.vout	2021-07-25 16:55	7.3K
	c0sp2__t7_c0sp2	2021-07-18 02:44	57K
	c0sp2__t7_c0sp2.vout	2021-07-25 15:04	7.8K
	c0sp2__t8_c0sp2	2021-07-18 02:45	37K
	c0sp2__t8_c0sp2.vout	2021-07-25 18:57	7.2K
	c0sp2__t9_c0sp2	2021-07-18 02:46	59K
	c0sp2__t9_c0sp2.vout	2021-07-25 17:38	5.2K
	c0sp2__t10_c0sp2	2021-07-18 02:47	46K
	c0sp2__t10_c0sp2.vout	2021-07-25 19:29	3.2K
	c0sp2__t11_c0sp2	2021-07-18 02:48	62K
	c0sp2__t11_c0sp2.vout	2021-07-25 20:00	7.8K
	c0sp2__t12_c0sp2	2021-07-18 02:49	63K
	c0sp2__t12_c0sp2.vout	2021-07-25 18:57	7.3K
	c0sp2__t13_c0sp2	2021-07-18 02:50	67K
	c0sp2__t13_c0sp2.vout	2021-07-25 18:38	7.3K
	c0sp2__t14_c0sp2	2021-07-18 02:51	68K
	c0sp2__t14_c0sp2.vout	2021-07-25 20:39	7.8K
	c0sp2__t15_c0sp2	2021-07-18 02:52	68K
	c0sp2__t15_c0sp2.vout	2021-07-25 20:18	7.3K
	c0sp2__t16_c0sp2	2021-07-18 02:54	66K
	c0sp2__t16_c0sp2.vout	2021-07-25 20:51	7.2K
	c0sp2__t17_c0sp2	2021-07-18 02:55	68K
	c0sp2__t17_c0sp2.vout	2021-07-25 17:09	7.3K
	c0sp2__t18_c0sp2	2021-07-18 02:56	76K
	c0sp2__t18_c0sp2.vout	2021-07-25 16:55	7.3K
	c0sp2__t19_c0sp2	2021-07-18 02:57	76K
	c0sp2__t19_c0sp2.vout	2021-07-25 15:05	7.2K
	c0sp2__t20_c0sp2	2021-07-18 02:35	30K
	c0sp2__t20_c0sp2.depv1	2021-07-25 20:57	35
	c0sp2__t20_c0sp2.depvmin1	2021-07-25 21:03	35
	c0sp2__t20_c0sp2.vmin1	2021-07-25 20:57	1.9K
	c0sp2__t20_c0sp2.vmin1out	2021-07-25 20:58	34K
	c0sp2__t20_c0sp2.vout	2021-07-25 16:39	44K
	c0sp2__t21_c0sp2	2021-07-18 02:58	145K
	c0sp2__t21_c0sp2.vout	2021-07-25 14:57	3.6K
	c0sp2__t22_c0sp2	2021-07-18 02:59	76K
	c0sp2__t22_c0sp2.vout	2021-07-25 18:41	4.7K
	c0sp2__t23_c0sp2	2021-07-18 03:00	49K
	c0sp2__t23_c0sp2.vout	2021-07-25 17:03	6.7K
	c0sp2__t24_c0sp2	2021-07-18 03:00	36K
	c0sp2__t24_c0sp2.vout	2021-07-25 16:57	7.2K
	c0sp2__t25_c0sp2	2021-07-18 03:01	47K
	c0sp2__t25_c0sp2.vout	2021-07-25 18:58	6.7K
	c0sp2__t26_c0sp2	2021-07-18 02:36	45K
	c0sp2__t26_c0sp2.vout	2021-07-25 18:15	7.3K
	c0sp2__t27_c0sp2	2021-07-18 03:02	51K
	c0sp2__t27_c0sp2.vout	2021-07-25 18:43	7.3K
	c0sp2__t28_c0sp2	2021-07-18 03:03	50K
	c0sp2__t28_c0sp2.vout	2021-07-25 18:12	7.3K
	c0sp2__t29_c0sp2	2021-07-18 02:37	41K
	c0sp2__t29_c0sp2.depv1	2021-07-25 20:57	127
	c0sp2__t29_c0sp2.depvmin1	2021-07-25 21:03	118
	c0sp2__t29_c0sp2.vmin1	2021-07-25 20:57	2.1K
	c0sp2__t29_c0sp2.vmin1out	2021-07-25 21:02	34K
	c0sp2__t29_c0sp2.vout	2021-07-25 17:15	50K
	c0sp2__t30_c0sp2	2021-07-18 03:04	85K
	c0sp2__t30_c0sp2.vout	2021-07-25 15:40	4.2K
	c0sp2__t31_c0sp2	2021-07-18 03:05	47K
	c0sp2__t31_c0sp2.depv1	2021-07-25 20:57	93
	c0sp2__t31_c0sp2.depvmin1	2021-07-25 21:03	93
	c0sp2__t31_c0sp2.vmin1	2021-07-25 20:57	1.4K
	c0sp2__t31_c0sp2.vmin1out	2021-07-25 20:59	22K
	c0sp2__t31_c0sp2.vout	2021-07-25 17:34	27K
	c0sp2__t32_c0sp2	2021-07-18 03:06	44K
	c0sp2__t32_c0sp2.vout	2021-07-25 19:48	7.3K
	c0sp2__t33_c0sp2	2021-07-18 03:07	63K
	c0sp2__t33_c0sp2.vout	2021-07-25 20:00	7.3K
	c0sp2__t34_c0sp2	2021-07-18 03:08	80K
	c0sp2__t34_c0sp2.vout	2021-07-25 15:58	7.3K
	c0sp2__t35_c0sp2	2021-07-18 03:09	69K
	c0sp2__t35_c0sp2.depv1	2021-07-25 20:57	44
	c0sp2__t35_c0sp2.depvmin1	2021-07-25 21:03	44
	c0sp2__t35_c0sp2.vmin1	2021-07-25 20:57	1.4K
	c0sp2__t35_c0sp2.vmin1out	2021-07-25 20:59	23K
	c0sp2__t35_c0sp2.vout	2021-07-25 20:30	27K
	c0sp2__t36_c0sp2	2021-07-18 02:38	60K
	c0sp2__t36_c0sp2.depv1	2021-07-25 20:57	44
	c0sp2__t36_c0sp2.depvmin1	2021-07-25 21:03	44
	c0sp2__t36_c0sp2.vmin1	2021-07-25 20:57	1.3K
	c0sp2__t36_c0sp2.vmin1out	2021-07-25 20:59	21K
	c0sp2__t36_c0sp2.vout	2021-07-25 14:27	20K