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

	Name	Last modified	Size	Description
	Parent Directory		-
	funcsdom__t30_funcsdom.vout	2021-07-25 17:39	4.7K
	funcsdom__t30_funcsdom	2021-07-18 09:48	48K
	funcsdom__t29_funcsdom.vout	2021-07-25 15:07	4.1K
	funcsdom__t29_funcsdom	2021-07-18 09:47	45K
	funcsdom__t28_funcsdom.vout	2021-07-25 16:53	4.1K
	funcsdom__t28_funcsdom	2021-07-18 09:47	43K
	funcsdom__t27_funcsdom.vout	2021-07-25 18:20	17K
	funcsdom__t27_funcsdom.vmin1out	2021-07-25 20:59	32K
	funcsdom__t27_funcsdom.vmin1	2021-07-25 20:57	2.9K
	funcsdom__t27_funcsdom.depvmin1	2021-07-25 21:03	245
	funcsdom__t27_funcsdom.depv1	2021-07-25 20:57	245
	funcsdom__t27_funcsdom	2021-07-18 09:36	35K
	funcsdom__t26_funcsdom.vout	2021-07-25 15:18	8.4K
	funcsdom__t26_funcsdom	2021-07-18 09:47	45K
	funcsdom__t25_funcsdom.vout	2021-07-25 19:54	4.7K
	funcsdom__t25_funcsdom	2021-07-18 09:46	48K
	funcsdom__t24_funcsdom.vout	2021-07-25 20:27	8.4K
	funcsdom__t24_funcsdom	2021-07-18 09:36	34K
	funcsdom__t23_funcsdom.vout	2021-07-25 14:26	4.7K
	funcsdom__t23_funcsdom	2021-07-18 09:45	42K
	funcsdom__t22_funcsdom.vout	2021-07-25 16:52	4.7K
	funcsdom__t22_funcsdom	2021-07-18 09:45	35K
	funcsdom__t20_funcsdom.vout	2021-07-25 15:09	4.7K
	funcsdom__t20_funcsdom	2021-07-18 09:45	44K
	funcsdom__t18_funcsdom.vout	2021-07-25 17:25	4.7K
	funcsdom__t18_funcsdom	2021-07-18 09:44	42K
	funcsdom__t17_funcsdom.vout	2021-07-25 20:52	7.3K
	funcsdom__t17_funcsdom	2021-07-18 09:44	37K
	funcsdom__t16_funcsdom.vout	2021-07-25 19:39	6.3K
	funcsdom__t16_funcsdom	2021-07-18 09:43	39K
	funcsdom__t15_funcsdom.vout	2021-07-25 19:33	4.2K
	funcsdom__t15_funcsdom	2021-07-18 09:43	40K
	funcsdom__t14_funcsdom.vout	2021-07-25 15:44	4.7K
	funcsdom__t14_funcsdom	2021-07-18 09:42	45K
	funcsdom__t13_funcsdom.vout	2021-07-25 17:35	4.7K
	funcsdom__t13_funcsdom	2021-07-18 09:42	40K
	funcsdom__t12_funcsdom.vout	2021-07-25 19:50	5.8K
	funcsdom__t12_funcsdom	2021-07-18 09:41	40K
	funcsdom__t11_funcsdom.vout	2021-07-25 17:14	4.7K
	funcsdom__t11_funcsdom	2021-07-18 09:41	40K
	funcsdom__t10_funcsdom.vout	2021-07-25 17:36	7.3K
	funcsdom__t10_funcsdom	2021-07-18 09:41	38K
	funcsdom__t9_funcsdom.vout	2021-07-25 14:49	7.3K
	funcsdom__t9_funcsdom	2021-07-18 09:40	40K
	funcsdom__t8_funcsdom.vout	2021-07-25 19:10	4.1K
	funcsdom__t8_funcsdom	2021-07-18 09:40	32K
	funcsdom__t7_funcsdom.vout	2021-07-25 17:57	4.1K
	funcsdom__t7_funcsdom	2021-07-18 09:39	31K
	funcsdom__t6_funcsdom.vout	2021-07-25 17:39	4.1K
	funcsdom__t6_funcsdom	2021-07-18 09:39	32K
	funcsdom__t5_funcsdom.vout	2021-07-25 17:28	4.1K
	funcsdom__t5_funcsdom	2021-07-18 09:39	31K
	funcsdom__t4_funcsdom.vout	2021-07-25 17:53	4.7K
	funcsdom__t4_funcsdom	2021-07-18 09:38	42K
	funcsdom__t3_funcsdom.vout	2021-07-25 18:40	9.2K
	funcsdom__t3_funcsdom.vmin1out	2021-07-25 20:59	9.4K
	funcsdom__t3_funcsdom.vmin1	2021-07-25 20:57	1.3K
	funcsdom__t3_funcsdom.depvmin1	2021-07-25 21:03	189
	funcsdom__t3_funcsdom.depv1	2021-07-25 20:57	189
	funcsdom__t3_funcsdom	2021-07-18 09:38	27K
	funcsdom__t2_funcsdom.vout	2021-07-25 16:12	4.1K
	funcsdom__t2_funcsdom	2021-07-18 09:37	36K
	funcsdom__t1_funcsdom.vout	2021-07-25 19:46	4.1K
	funcsdom__t1_funcsdom	2021-07-18 09:37	34K
	funcsdom__l38_funcsdom.vout	2021-07-25 20:28	4.7K
	funcsdom__l38_funcsdom	2021-07-18 09:49	40K
	funcsdom__l33_funcsdom.vout	2021-07-25 19:22	4.7K
	funcsdom__l33_funcsdom	2021-07-18 09:49	40K
	funcsdom__l21_funcsdom.vout	2021-07-25 17:59	5.8K
	funcsdom__l21_funcsdom	2021-07-18 09:48	45K
	funcsdom__l4_funcsdom.vout	2021-07-25 18:23	3.9K
	funcsdom__l4_funcsdom.vmin1out	2021-07-25 21:01	4.0K
	funcsdom__l4_funcsdom.vmin1	2021-07-25 20:57	563
	funcsdom__l4_funcsdom.depvmin1	2021-07-25 21:03	95
	funcsdom__l4_funcsdom.depv1	2021-07-25 20:57	95
	funcsdom__l4_funcsdom	2021-07-18 09:37	9.0K