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

	Name	Last modified	Size	Description
	Parent Directory		-
	convfun1__l21_convfun1.depvmin1	2021-07-25 21:03	76
	convfun1__l21_convfun1.vmin1out	2021-07-25 21:01	17K
	convfun1__l21_convfun1.vmin1	2021-07-25 20:57	1.1K
	convfun1__l21_convfun1.depv1	2021-07-25 20:57	76
	convfun1__l15_convfun1.vout	2021-07-25 20:30	4.7K
	convfun1__l18_convfun1.vout	2021-07-25 20:25	4.7K
	convfun1__l9_convfun1.vout	2021-07-25 20:22	4.7K
	convfun1__l13_convfun1.vout	2021-07-25 20:19	5.8K
	convfun1__l14_convfun1.vout	2021-07-25 20:12	4.7K
	convfun1__t6_convfun1.vout	2021-07-25 19:27	4.7K
	convfun1__t2_convfun1.vout	2021-07-25 19:24	4.1K
	convfun1__l12_convfun1.vout	2021-07-25 19:18	6.3K
	convfun1__t4_convfun1.vout	2021-07-25 18:48	6.8K
	convfun1__l16_convfun1.vout	2021-07-25 18:41	6.2K
	convfun1__l8_convfun1.vout	2021-07-25 18:16	4.7K
	convfun1__t8_convfun1.vout	2021-07-25 17:56	6.8K
	convfun1__t1_convfun1.vout	2021-07-25 17:51	4.1K
	convfun1__l11_convfun1.vout	2021-07-25 17:40	7.3K
	convfun1__l21_convfun1.vout	2021-07-25 17:15	19K
	convfun1__t9_convfun1.vout	2021-07-25 16:58	6.8K
	convfun1__l28_convfun1.vout	2021-07-25 16:55	6.8K
	convfun1__l17_convfun1.vout	2021-07-25 16:39	6.3K
	convfun1__t7_convfun1.vout	2021-07-25 16:34	4.7K
	convfun1__t5_convfun1.vout	2021-07-25 15:47	4.7K
	convfun1__l10_convfun1.vout	2021-07-25 15:42	4.7K
	convfun1__l26_convfun1.vout	2021-07-25 15:05	7.3K
	convfun1__t3_convfun1.vout	2021-07-25 14:51	4.8K
	convfun1__l28_convfun1	2021-07-18 11:09	75K
	convfun1__l26_convfun1	2021-07-18 11:08	52K
	convfun1__l21_convfun1	2021-07-18 11:08	27K
	convfun1__l18_convfun1	2021-07-18 11:07	54K
	convfun1__l17_convfun1	2021-07-18 11:07	45K
	convfun1__l16_convfun1	2021-07-18 11:06	46K
	convfun1__l15_convfun1	2021-07-18 11:06	46K
	convfun1__l14_convfun1	2021-07-18 11:05	71K
	convfun1__l13_convfun1	2021-07-18 11:05	47K
	convfun1__l12_convfun1	2021-07-18 11:04	46K
	convfun1__l11_convfun1	2021-07-18 11:04	54K
	convfun1__l10_convfun1	2021-07-18 11:04	81K
	convfun1__l9_convfun1	2021-07-18 11:03	54K
	convfun1__l8_convfun1	2021-07-18 11:02	50K
	convfun1__t9_convfun1	2021-07-18 11:02	117K
	convfun1__t8_convfun1	2021-07-18 11:01	101K
	convfun1__t7_convfun1	2021-07-18 11:00	106K
	convfun1__t6_convfun1	2021-07-18 10:59	78K
	convfun1__t5_convfun1	2021-07-18 10:59	58K
	convfun1__t4_convfun1	2021-07-18 10:58	82K
	convfun1__t3_convfun1	2021-07-18 10:57	83K
	convfun1__t2_convfun1	2021-07-18 10:57	42K
	convfun1__t1_convfun1	2021-07-18 10:56	40K