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

	Name	Last modified	Size	Description
	Parent Directory		-
	functor2__l12_functor2	2021-07-18 00:05	18K
	functor2__l12_functor2.depv1	2021-07-25 20:57	194
	functor2__l12_functor2.depvmin1	2021-07-25 21:03	172
	functor2__l12_functor2.vmin1	2021-07-25 20:57	5.0K
	functor2__l12_functor2.vmin1out	2021-07-25 20:58	72K
	functor2__l12_functor2.vout	2021-07-25 18:32	104K
	functor2__l15_functor2	2021-07-18 00:05	20K
	functor2__l15_functor2.vout	2021-07-25 18:20	6.8K
	functor2__t1_functor2	2021-07-18 00:02	20K
	functor2__t1_functor2.vout	2021-07-25 14:51	2.0K
	functor2__t2_functor2	2021-07-18 00:02	12K
	functor2__t2_functor2.vout	2021-07-25 15:28	2.0K
	functor2__t3_functor2	2021-07-18 00:03	15K
	functor2__t3_functor2.depv1	2021-07-25 20:57	163
	functor2__t3_functor2.depvmin1	2021-07-25 21:03	163
	functor2__t3_functor2.vmin1	2021-07-25 20:57	3.1K
	functor2__t3_functor2.vmin1out	2021-07-25 20:57	73K
	functor2__t3_functor2.vout	2021-07-25 16:26	53K
	functor2__t4_functor2	2021-07-18 00:03	14K
	functor2__t4_functor2.depv1	2021-07-25 20:57	90
	functor2__t4_functor2.depvmin1	2021-07-25 21:03	90
	functor2__t4_functor2.vmin1	2021-07-25 20:57	2.5K
	functor2__t4_functor2.vmin1out	2021-07-25 20:58	44K
	functor2__t4_functor2.vout	2021-07-25 17:32	45K
	functor2__t5_functor2	2021-07-18 00:03	18K
	functor2__t5_functor2.vout	2021-07-25 14:54	4.1K
	functor2__t6_functor2	2021-07-18 00:04	17K
	functor2__t6_functor2.vout	2021-07-25 19:24	4.1K
	functor2__t7_functor2	2021-07-18 00:01	16K
	functor2__t7_functor2.depv1	2021-07-25 20:57	36
	functor2__t7_functor2.depvmin1	2021-07-25 21:03	36
	functor2__t7_functor2.vmin1	2021-07-25 20:57	707
	functor2__t7_functor2.vmin1out	2021-07-25 21:00	8.6K
	functor2__t7_functor2.vout	2021-07-25 18:53	8.7K
	functor2__t8_functor2	2021-07-18 00:04	20K
	functor2__t8_functor2.vout	2021-07-25 16:55	2.0K
	functor2__t9_functor2	2021-07-18 00:01	20K
	functor2__t9_functor2.depv1	2021-07-25 20:57	76
	functor2__t9_functor2.depvmin1	2021-07-25 21:03	76
	functor2__t9_functor2.vmin1	2021-07-25 20:57	2.9K
	functor2__t9_functor2.vmin1out	2021-07-25 21:00	50K
	functor2__t9_functor2.vout	2021-07-25 16:44	56K
	functor2__t10_functor2	2021-07-18 00:02	19K
	functor2__t10_functor2.depv1	2021-07-25 20:57	67
	functor2__t10_functor2.depvmin1	2021-07-25 21:03	67
	functor2__t10_functor2.vmin1	2021-07-25 20:57	3.5K
	functor2__t10_functor2.vmin1out	2021-07-25 21:02	79K
	functor2__t10_functor2.vout	2021-07-25 17:36	79K
	functor2__t11_functor2	2021-07-18 00:04	22K
	functor2__t11_functor2.depv1	2021-07-25 20:57	187
	functor2__t11_functor2.depvmin1	2021-07-25 21:03	187
	functor2__t11_functor2.vmin1	2021-07-25 20:57	6.4K
	functor2__t11_functor2.vmin1out	2021-07-25 20:59	77K
	functor2__t11_functor2.vout	2021-07-25 17:44	470K