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

	Name	Last modified	Size	Description
	Parent Directory		-
	sfmastr3__t37_sfmastr3.vout	2021-07-25 20:03	4.7K
	sfmastr3__t37_sfmastr3	2021-07-18 03:57	388K
	sfmastr3__t36_sfmastr3.vout	2021-07-25 15:58	5.8K
	sfmastr3__t36_sfmastr3	2021-07-18 03:55	118K
	sfmastr3__t35_sfmastr3.vout	2021-07-25 16:53	7.3K
	sfmastr3__t35_sfmastr3	2021-07-18 03:54	118K
	sfmastr3__t34_sfmastr3.vout	2021-07-25 18:01	6.8K
	sfmastr3__t34_sfmastr3	2021-07-18 03:53	129K
	sfmastr3__t33_sfmastr3.vout	2021-07-25 20:19	4.7K
	sfmastr3__t33_sfmastr3	2021-07-18 03:52	154K
	sfmastr3__t32_sfmastr3.vout	2021-07-25 18:20	4.7K
	sfmastr3__t32_sfmastr3	2021-07-18 03:51	127K
	sfmastr3__t31_sfmastr3.vout	2021-07-25 15:03	4.7K
	sfmastr3__t31_sfmastr3	2021-07-18 03:50	422K
	sfmastr3__t30_sfmastr3.vout	2021-07-25 17:12	4.7K
	sfmastr3__t30_sfmastr3	2021-07-18 03:49	421K
	sfmastr3__t29_sfmastr3.vout	2021-07-25 20:39	4.7K
	sfmastr3__t29_sfmastr3	2021-07-18 03:48	186K
	sfmastr3__t28_sfmastr3.vout	2021-07-25 16:04	7.3K
	sfmastr3__t28_sfmastr3	2021-07-18 03:46	155K
	sfmastr3__t27_sfmastr3.vout	2021-07-25 17:11	4.7K
	sfmastr3__t27_sfmastr3	2021-07-18 03:45	161K
	sfmastr3__t26_sfmastr3.vout	2021-07-25 14:56	6.8K
	sfmastr3__t26_sfmastr3	2021-07-18 03:44	180K
	sfmastr3__t25_sfmastr3.vout	2021-07-25 15:31	4.7K
	sfmastr3__t25_sfmastr3	2021-07-18 03:43	250K
	sfmastr3__t24_sfmastr3.vout	2021-07-25 18:38	4.7K
	sfmastr3__t24_sfmastr3	2021-07-18 03:42	202K
	sfmastr3__t23_sfmastr3.vout	2021-07-25 18:18	4.7K
	sfmastr3__t23_sfmastr3	2021-07-18 03:40	151K
	sfmastr3__t22_sfmastr3.vout	2021-07-25 17:21	6.8K
	sfmastr3__t22_sfmastr3	2021-07-18 03:39	146K
	sfmastr3__t21_sfmastr3.vout	2021-07-25 15:24	4.7K
	sfmastr3__t21_sfmastr3	2021-07-18 03:38	194K
	sfmastr3__t18_sfmastr3.vout	2021-07-25 19:32	4.7K
	sfmastr3__t18_sfmastr3	2021-07-18 03:37	188K
	sfmastr3__t17_sfmastr3.vout	2021-07-25 16:31	6.8K
	sfmastr3__t17_sfmastr3	2021-07-18 03:31	160K
	sfmastr3__t16_sfmastr3.vout	2021-07-25 18:02	4.7K
	sfmastr3__t16_sfmastr3	2021-07-18 03:36	165K
	sfmastr3__t6_sfmastr3.vout	2021-07-25 18:18	4.1K
	sfmastr3__t6_sfmastr3	2021-07-18 03:35	67K
	sfmastr3__t5_sfmastr3.vout	2021-07-25 17:36	22K
	sfmastr3__t5_sfmastr3.vmin1out	2021-07-25 20:58	24K
	sfmastr3__t5_sfmastr3.vmin1	2021-07-25 20:57	1.7K
	sfmastr3__t5_sfmastr3.depvmin1	2021-07-25 21:03	25
	sfmastr3__t5_sfmastr3.depv1	2021-07-25 20:57	25
	sfmastr3__t5_sfmastr3	2021-07-18 03:34	66K
	sfmastr3__t4_sfmastr3.vout	2021-07-25 15:00	4.1K
	sfmastr3__t4_sfmastr3	2021-07-18 03:33	68K
	sfmastr3__t3_sfmastr3.vout	2021-07-25 17:16	5.8K
	sfmastr3__t3_sfmastr3	2021-07-18 03:32	78K
	sfmastr3__t2_sfmastr3.vout	2021-07-25 15:21	4.7K
	sfmastr3__t2_sfmastr3	2021-07-18 03:31	76K
	sfmastr3__l28_sfmastr3.vout	2021-07-25 17:03	4.7K
	sfmastr3__l28_sfmastr3	2021-07-18 03:58	212K