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

	Name	Last modified	Size	Description
	Parent Directory		-
	lang1__t1_lang1	2021-07-18 05:46	26K
	lang1__t1_lang1.vout	2021-07-25 19:07	3.6K
	lang1__t2_lang1	2021-07-18 05:46	31K
	lang1__t2_lang1.vout	2021-07-25 18:53	4.7K
	lang1__t3_lang1	2021-07-18 05:46	32K
	lang1__t3_lang1.vout	2021-07-25 15:15	4.7K
	lang1__t4_lang1	2021-07-18 05:47	45K
	lang1__t4_lang1.vout	2021-07-25 19:29	4.7K
	lang1__t5_lang1	2021-07-18 05:47	32K
	lang1__t5_lang1.vout	2021-07-25 20:37	4.7K
	lang1__t6_lang1	2021-07-18 05:47	36K
	lang1__t6_lang1.vout	2021-07-25 16:33	4.7K
	lang1__t7_lang1	2021-07-18 05:48	39K
	lang1__t7_lang1.vout	2021-07-25 19:28	4.7K
	lang1__t8_lang1	2021-07-18 05:48	60K
	lang1__t8_lang1.vout	2021-07-25 16:03	4.6K
	lang1__t9_lang1	2021-07-18 05:49	36K
	lang1__t9_lang1.depv1	2021-07-25 20:57	87
	lang1__t9_lang1.depvmin1	2021-07-25 21:03	62
	lang1__t9_lang1.vmin1	2021-07-25 20:57	938
	lang1__t9_lang1.vmin1out	2021-07-25 21:00	17K
	lang1__t9_lang1.vout	2021-07-25 20:51	22K
	lang1__t10_lang1	2021-07-18 05:49	32K
	lang1__t10_lang1.vout	2021-07-25 16:25	8.3K
	lang1__t11_lang1	2021-07-18 05:50	47K
	lang1__t11_lang1.vout	2021-07-25 14:38	5.8K
	lang1__t12_lang1	2021-07-18 05:50	31K
	lang1__t12_lang1.vout	2021-07-25 19:08	5.8K
	lang1__t13_lang1	2021-07-18 05:51	48K
	lang1__t13_lang1.vout	2021-07-25 15:59	5.8K
	lang1__t14_lang1	2021-07-18 05:51	30K
	lang1__t14_lang1.vout	2021-07-25 18:46	5.8K
	lang1__t15_lang1	2021-07-18 05:52	69K
	lang1__t15_lang1.vout	2021-07-25 19:57	5.8K
	lang1__t16_lang1	2021-07-18 05:52	39K
	lang1__t16_lang1.vout	2021-07-25 14:46	5.2K
	lang1__t17_lang1	2021-07-18 05:53	70K
	lang1__t17_lang1.vout	2021-07-25 15:41	5.2K
	lang1__t18_lang1	2021-07-18 05:53	27K
	lang1__t18_lang1.vout	2021-07-25 16:43	7.3K