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

	Name	Last modified	Size	Description
	Parent Directory		-
	functor1__t21_functor1.vout	2021-07-25 15:42	4.7K
	functor1__t21_functor1	2021-07-17 23:00	44K
	functor1__t20_functor1.vout	2021-07-25 19:29	4.1K
	functor1__t20_functor1	2021-07-17 23:00	33K
	functor1__t19_functor1.vout	2021-07-25 20:29	4.7K
	functor1__t19_functor1	2021-07-17 22:59	47K
	functor1__t18_functor1.vout	2021-07-25 15:32	4.7K
	functor1__t18_functor1	2021-07-17 22:59	46K
	functor1__t17_functor1.vout	2021-07-25 19:54	4.7K
	functor1__t17_functor1	2021-07-17 22:58	40K
	functor1__t16_functor1.vout	2021-07-25 14:23	7.9K
	functor1__t16_functor1	2021-07-17 22:57	24K
	functor1__t15_functor1.vout	2021-07-25 19:12	4.2K
	functor1__t15_functor1	2021-07-17 22:57	37K
	functor1__t14_functor1.vout	2021-07-25 19:47	7.3K
	functor1__t14_functor1	2021-07-17 22:56	45K
	functor1__t13_functor1.vout	2021-07-25 14:34	4.1K
	functor1__t13_functor1	2021-07-17 22:56	25K
	functor1__t12_functor1.vout	2021-07-25 14:53	3.2K
	functor1__t12_functor1	2021-07-17 22:52	21K
	functor1__t11_functor1.vout	2021-07-25 19:40	3.2K
	functor1__t11_functor1	2021-07-17 22:52	21K
	functor1__t10_functor1.vout	2021-07-25 20:23	3.2K
	functor1__t10_functor1	2021-07-17 22:52	21K
	functor1__t9_functor1.vout	2021-07-25 17:29	4.1K
	functor1__t9_functor1	2021-07-17 22:56	35K
	functor1__t8_functor1.vout	2021-07-25 20:22	4.1K
	functor1__t8_functor1	2021-07-17 22:55	32K
	functor1__t7_functor1.vout	2021-07-25 17:20	4.2K
	functor1__t7_functor1	2021-07-17 22:55	32K
	functor1__t6_functor1.vout	2021-07-25 18:16	4.1K
	functor1__t6_functor1	2021-07-17 22:54	29K
	functor1__t5_functor1.vout	2021-07-25 20:33	3.7K
	functor1__t5_functor1	2021-07-17 22:54	19K
	functor1__t4_functor1.vout	2021-07-25 16:34	4.7K
	functor1__t4_functor1	2021-07-17 22:53	43K
	functor1__t3_functor1.vout	2021-07-25 18:06	7.3K
	functor1__t3_functor1	2021-07-17 22:53	19K
	functor1__t2_functor1.vout	2021-07-25 17:43	13K
	functor1__t2_functor1.vmin1out	2021-07-25 20:58	15K
	functor1__t2_functor1.vmin1	2021-07-25 20:57	1.5K
	functor1__t2_functor1.depvmin1	2021-07-25 21:03	98
	functor1__t2_functor1.depv1	2021-07-25 20:57	98
	functor1__t2_functor1	2021-07-17 22:53	15K
	functor1__t1_functor1.vout	2021-07-25 18:43	4.7K
	functor1__t1_functor1	2021-07-17 22:52	21K
	functor1__l19_functor1.vout	2021-07-25 14:42	4.7K
	functor1__l19_functor1	2021-07-17 23:01	28K