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

	Name	Last modified	Size	Description
	Parent Directory		-
	euclid_5__t1_euclid_5	2021-07-18 01:04	22K
	euclid_5__t1_euclid_5.depv1	2021-07-25 20:57	201
	euclid_5__t1_euclid_5.depvmin1	2021-07-25 21:02	166
	euclid_5__t1_euclid_5.vmin1	2021-07-25 20:57	1.8K
	euclid_5__t1_euclid_5.vmin1out	2021-07-25 20:59	17K
	euclid_5__t1_euclid_5.vout	2021-07-25 16:37	22K
	euclid_5__t2_euclid_5	2021-07-18 01:02	22K
	euclid_5__t2_euclid_5.depv1	2021-07-25 20:57	128
	euclid_5__t2_euclid_5.depvmin1	2021-07-25 21:02	128
	euclid_5__t2_euclid_5.vmin1	2021-07-25 20:57	1.4K
	euclid_5__t2_euclid_5.vmin1out	2021-07-25 20:58	18K
	euclid_5__t2_euclid_5.vout	2021-07-25 18:25	18K
	euclid_5__t3_euclid_5	2021-07-18 01:04	22K
	euclid_5__t3_euclid_5.depv1	2021-07-25 20:57	191
	euclid_5__t3_euclid_5.depvmin1	2021-07-25 21:02	125
	euclid_5__t3_euclid_5.vmin1	2021-07-25 20:57	1.8K
	euclid_5__t3_euclid_5.vmin1out	2021-07-25 21:02	18K
	euclid_5__t3_euclid_5.vout	2021-07-25 18:34	17K
	euclid_5__t4_euclid_5	2021-07-18 01:04	24K
	euclid_5__t4_euclid_5.depv1	2021-07-25 20:57	226
	euclid_5__t4_euclid_5.depvmin1	2021-07-25 21:02	226
	euclid_5__t4_euclid_5.vmin1	2021-07-25 20:57	1.4K
	euclid_5__t4_euclid_5.vmin1out	2021-07-25 21:02	9.7K
	euclid_5__t4_euclid_5.vout	2021-07-25 17:29	14K
	euclid_5__t5_euclid_5	2021-07-18 01:05	48K
	euclid_5__t5_euclid_5.vout	2021-07-25 16:46	4.1K
	euclid_5__t6_euclid_5	2021-07-18 01:05	27K
	euclid_5__t6_euclid_5.vout	2021-07-25 20:49	4.1K
	euclid_5__t7_euclid_5	2021-07-18 01:06	34K
	euclid_5__t7_euclid_5.vout	2021-07-25 16:54	4.1K
	euclid_5__t8_euclid_5	2021-07-18 01:06	26K
	euclid_5__t8_euclid_5.vout	2021-07-25 17:46	4.1K
	euclid_5__t9_euclid_5	2021-07-18 01:07	26K
	euclid_5__t9_euclid_5.depv1	2021-07-25 20:57	314
	euclid_5__t9_euclid_5.depvmin1	2021-07-25 21:02	314
	euclid_5__t9_euclid_5.vmin1	2021-07-25 20:57	3.1K
	euclid_5__t9_euclid_5.vmin1out	2021-07-25 21:01	38K
	euclid_5__t9_euclid_5.vout	2021-07-25 17:35	38K
	euclid_5__t10_euclid_5	2021-07-18 01:07	28K
	euclid_5__t10_euclid_5.depv1	2021-07-25 20:57	414
	euclid_5__t10_euclid_5.depvmin1	2021-07-25 21:02	390
	euclid_5__t10_euclid_5.vmin1	2021-07-25 20:57	4.1K
	euclid_5__t10_euclid_5.vmin1out	2021-07-25 21:02	42K
	euclid_5__t10_euclid_5.vout	2021-07-25 17:12	51K
	euclid_5__t11_euclid_5	2021-07-18 01:08	25K
	euclid_5__t11_euclid_5.depv1	2021-07-25 20:57	142
	euclid_5__t11_euclid_5.depvmin1	2021-07-25 21:02	142
	euclid_5__t11_euclid_5.vmin1	2021-07-25 20:57	1.6K
	euclid_5__t11_euclid_5.vmin1out	2021-07-25 20:59	20K
	euclid_5__t11_euclid_5.vout	2021-07-25 16:07	19K
	euclid_5__t12_euclid_5	2021-07-18 01:08	40K
	euclid_5__t12_euclid_5.vout	2021-07-25 18:22	4.1K
	euclid_5__t13_euclid_5	2021-07-18 01:09	31K
	euclid_5__t13_euclid_5.vout	2021-07-25 19:16	4.1K
	euclid_5__t14_euclid_5	2021-07-18 01:02	22K
	euclid_5__t14_euclid_5.depv1	2021-07-25 20:57	114
	euclid_5__t14_euclid_5.depvmin1	2021-07-25 21:02	114
	euclid_5__t14_euclid_5.vmin1	2021-07-25 20:57	1.2K
	euclid_5__t14_euclid_5.vmin1out	2021-07-25 21:01	18K
	euclid_5__t14_euclid_5.vout	2021-07-25 14:46	17K
	euclid_5__t15_euclid_5	2021-07-18 01:09	29K
	euclid_5__t15_euclid_5.vout	2021-07-25 20:33	4.1K
	euclid_5__t16_euclid_5	2021-07-18 01:10	31K
	euclid_5__t16_euclid_5.vout	2021-07-25 18:51	4.1K
	euclid_5__t17_euclid_5	2021-07-18 01:10	32K
	euclid_5__t17_euclid_5.vout	2021-07-25 19:25	4.2K
	euclid_5__t18_euclid_5	2021-07-18 01:11	31K
	euclid_5__t18_euclid_5.vout	2021-07-25 16:20	4.1K
	euclid_5__t19_euclid_5	2021-07-18 01:11	39K
	euclid_5__t19_euclid_5.vout	2021-07-25 14:24	6.2K
	euclid_5__t20_euclid_5	2021-07-18 01:12	39K
	euclid_5__t20_euclid_5.vout	2021-07-25 16:36	6.3K
	euclid_5__t21_euclid_5	2021-07-18 01:12	39K
	euclid_5__t21_euclid_5.vout	2021-07-25 18:04	6.3K
	euclid_5__t22_euclid_5	2021-07-18 01:13	39K
	euclid_5__t22_euclid_5.vout	2021-07-25 20:13	6.2K
	euclid_5__t23_euclid_5	2021-07-18 01:13	41K
	euclid_5__t23_euclid_5.vout	2021-07-25 16:56	4.1K
	euclid_5__t24_euclid_5	2021-07-18 01:14	36K
	euclid_5__t24_euclid_5.vout	2021-07-25 15:16	4.1K
	euclid_5__t25_euclid_5	2021-07-18 01:03	35K
	euclid_5__t25_euclid_5.vout	2021-07-25 18:06	7.4K
	euclid_5__t26_euclid_5	2021-07-18 01:14	33K
	euclid_5__t26_euclid_5.vout	2021-07-25 18:29	4.2K
	euclid_5__t27_euclid_5	2021-07-18 01:15	22K
	euclid_5__t27_euclid_5.depv1	2021-07-25 20:57	101
	euclid_5__t27_euclid_5.depvmin1	2021-07-25 21:02	101
	euclid_5__t27_euclid_5.vmin1	2021-07-25 20:57	1.2K
	euclid_5__t27_euclid_5.vmin1out	2021-07-25 21:02	15K
	euclid_5__t27_euclid_5.vout	2021-07-25 17:22	11K
	euclid_5__t28_euclid_5	2021-07-18 01:15	24K
	euclid_5__t28_euclid_5.vout	2021-07-25 17:15	7.9K
	euclid_5__t29_euclid_5	2021-07-18 01:15	39K
	euclid_5__t29_euclid_5.vout	2021-07-25 17:14	4.1K
	euclid_5__t30_euclid_5	2021-07-18 01:16	26K
	euclid_5__t30_euclid_5.vout	2021-07-25 17:18	4.1K
	euclid_5__t31_euclid_5	2021-07-18 01:16	37K
	euclid_5__t31_euclid_5.vout	2021-07-25 20:50	5.8K
	euclid_5__t32_euclid_5	2021-07-18 01:17	43K
	euclid_5__t32_euclid_5.vout	2021-07-25 18:57	4.1K
	euclid_5__t33_euclid_5	2021-07-18 01:17	33K
	euclid_5__t33_euclid_5.vout	2021-07-25 15:11	3.3K
	euclid_5__t34_euclid_5	2021-07-18 01:03	29K
	euclid_5__t34_euclid_5.depv1	2021-07-25 20:57	26
	euclid_5__t34_euclid_5.depvmin1	2021-07-25 21:02	26
	euclid_5__t34_euclid_5.vmin1	2021-07-25 20:57	515
	euclid_5__t34_euclid_5.vmin1out	2021-07-25 20:59	4.7K
	euclid_5__t34_euclid_5.vout	2021-07-25 16:02	6.9K
	euclid_5__t35_euclid_5	2021-07-18 01:18	36K
	euclid_5__t35_euclid_5.vout	2021-07-25 16:10	3.2K