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

	Name	Last modified	Size	Description
	Parent Directory		-
	extens_1__t18_extens_1.depvmin1	2021-07-25 21:03	178
	extens_1__t17_extens_1.depvmin1	2021-07-25 21:03	152
	extens_1__l1_extens_1.depvmin1	2021-07-25 21:03	159
	extens_1__l1_extens_1.vmin1out	2021-07-25 21:02	66K
	extens_1__t18_extens_1.vmin1out	2021-07-25 21:02	28K
	extens_1__t17_extens_1.vmin1out	2021-07-25 21:01	66K
	extens_1__t18_extens_1.vmin1	2021-07-25 20:57	3.4K
	extens_1__t17_extens_1.vmin1	2021-07-25 20:57	2.8K
	extens_1__l1_extens_1.vmin1	2021-07-25 20:57	2.9K
	extens_1__t18_extens_1.depv1	2021-07-25 20:57	215
	extens_1__l1_extens_1.depv1	2021-07-25 20:57	246
	extens_1__t17_extens_1.depv1	2021-07-25 20:57	152
	extens_1__t6_extens_1.vout	2021-07-25 20:47	7.4K
	extens_1__t12_extens_1.vout	2021-07-25 20:04	5.8K
	extens_1__t9_extens_1.vout	2021-07-25 19:45	4.7K
	extens_1__t14_extens_1.vout	2021-07-25 19:44	4.7K
	extens_1__t5_extens_1.vout	2021-07-25 19:39	7.3K
	extens_1__t3_extens_1.vout	2021-07-25 19:36	6.2K
	extens_1__t16_extens_1.vout	2021-07-25 19:19	4.7K
	extens_1__t10_extens_1.vout	2021-07-25 19:09	5.3K
	extens_1__t18_extens_1.vout	2021-07-25 18:35	79K
	extens_1__t17_extens_1.vout	2021-07-25 18:31	52K
	extens_1__l1_extens_1.vout	2021-07-25 17:33	49K
	extens_1__t4_extens_1.vout	2021-07-25 17:30	4.7K
	extens_1__t7_extens_1.vout	2021-07-25 17:26	7.3K
	extens_1__t15_extens_1.vout	2021-07-25 17:17	5.8K
	extens_1__t2_extens_1.vout	2021-07-25 15:38	7.3K
	extens_1__t8_extens_1.vout	2021-07-25 15:33	7.3K
	extens_1__t1_extens_1.vout	2021-07-25 15:30	6.2K
	extens_1__t11_extens_1.vout	2021-07-25 14:47	4.7K
	extens_1__t13_extens_1.vout	2021-07-25 14:42	4.7K
	extens_1__t19_extens_1.vout	2021-07-25 14:27	7.3K
	extens_1__l1_extens_1	2021-07-17 20:30	11K
	extens_1__t19_extens_1	2021-07-17 20:29	45K
	extens_1__t18_extens_1	2021-07-17 20:29	22K
	extens_1__t17_extens_1	2021-07-17 20:28	21K
	extens_1__t16_extens_1	2021-07-17 20:28	47K
	extens_1__t14_extens_1	2021-07-17 20:27	35K
	extens_1__t13_extens_1	2021-07-17 20:27	22K
	extens_1__t12_extens_1	2021-07-17 20:26	25K
	extens_1__t11_extens_1	2021-07-17 20:26	26K
	extens_1__t10_extens_1	2021-07-17 20:25	41K
	extens_1__t9_extens_1	2021-07-17 20:24	15K
	extens_1__t8_extens_1	2021-07-17 20:24	20K
	extens_1__t7_extens_1	2021-07-17 20:24	20K
	extens_1__t6_extens_1	2021-07-17 20:24	17K
	extens_1__t5_extens_1	2021-07-17 20:23	13K
	extens_1__t4_extens_1	2021-07-17 20:23	22K
	extens_1__t3_extens_1	2021-07-17 20:23	19K
	extens_1__t2_extens_1	2021-07-17 20:22	13K
	extens_1__t1_extens_1	2021-07-17 20:22	19K
	extens_1__t15_extens_1	2021-07-17 20:22	18K