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

	Name	Last modified	Size	Description
	Parent Directory		-
	oposet_1__l14_oposet_1	2021-07-18 09:35	20K
	oposet_1__l14_oposet_1.depv1	2021-07-25 20:57	80
	oposet_1__l14_oposet_1.depvmin1	2021-07-25 21:03	80
	oposet_1__l14_oposet_1.vmin1	2021-07-25 20:57	610
	oposet_1__l14_oposet_1.vmin1out	2021-07-25 20:58	4.0K
	oposet_1__l14_oposet_1.vout	2021-07-25 14:52	4.5K
	oposet_1__l36_oposet_1	2021-07-18 09:35	14K
	oposet_1__l36_oposet_1.depv1	2021-07-25 20:57	49
	oposet_1__l36_oposet_1.depvmin1	2021-07-25 21:03	49
	oposet_1__l36_oposet_1.vmin1	2021-07-25 20:57	284
	oposet_1__l36_oposet_1.vmin1out	2021-07-25 21:02	2.1K
	oposet_1__l36_oposet_1.vout	2021-07-25 18:53	2.1K
	oposet_1__t1_oposet_1	2021-07-18 09:35	18K
	oposet_1__t1_oposet_1.depv1	2021-07-25 20:57	197
	oposet_1__t1_oposet_1.depvmin1	2021-07-25 21:03	197
	oposet_1__t1_oposet_1.vmin1	2021-07-25 20:57	2.9K
	oposet_1__t1_oposet_1.vmin1out	2021-07-25 21:01	61K
	oposet_1__t1_oposet_1.vout	2021-07-25 19:14	45K
	oposet_1__t2_oposet_1	2021-07-18 09:32	15K
	oposet_1__t2_oposet_1.vout	2021-07-25 17:50	2.0K
	oposet_1__t3_oposet_1	2021-07-18 09:36	23K
	oposet_1__t3_oposet_1.vout	2021-07-25 17:23	11K
	oposet_1__t4_oposet_1	2021-07-18 09:32	16K
	oposet_1__t4_oposet_1.vout	2021-07-25 18:16	11K
	oposet_1__t5_oposet_1	2021-07-18 09:33	20K
	oposet_1__t5_oposet_1.vout	2021-07-25 18:50	11K
	oposet_1__t6_oposet_1	2021-07-18 09:33	16K
	oposet_1__t6_oposet_1.vout	2021-07-25 14:43	11K
	oposet_1__t7_oposet_1	2021-07-18 09:33	16K
	oposet_1__t7_oposet_1.vout	2021-07-25 17:05	11K
	oposet_1__t8_oposet_1	2021-07-18 09:33	7.4K
	oposet_1__t8_oposet_1.vout	2021-07-25 16:58	9.9K
	oposet_1__t9_oposet_1	2021-07-18 09:34	7.4K
	oposet_1__t9_oposet_1.vout	2021-07-25 19:03	9.9K
	oposet_1__t10_oposet_1	2021-07-18 09:34	7.4K
	oposet_1__t10_oposet_1.vout	2021-07-25 18:55	9.9K
	oposet_1__t11_oposet_1	2021-07-18 09:36	17K
	oposet_1__t11_oposet_1.vout	2021-07-25 17:02	2.0K
	oposet_1__t12_oposet_1	2021-07-18 09:36	7.7K
	oposet_1__t12_oposet_1.vout	2021-07-25 19:50	11K
	oposet_1__t13_oposet_1	2021-07-18 09:34	9.2K
	oposet_1__t13_oposet_1.depv1	2021-07-25 20:57	52
	oposet_1__t13_oposet_1.depvmin1	2021-07-25 21:03	52
	oposet_1__t13_oposet_1.vmin1	2021-07-25 20:57	583
	oposet_1__t13_oposet_1.vmin1out	2021-07-25 21:01	6.0K
	oposet_1__t13_oposet_1.vout	2021-07-25 20:10	6.7K
	oposet_1__t14_oposet_1	2021-07-18 09:37	25K
	oposet_1__t14_oposet_1.vout	2021-07-25 17:43	9.9K
	oposet_1__t15_oposet_1	2021-07-18 09:37	26K
	oposet_1__t15_oposet_1.vout	2021-07-25 15:02	11K
	oposet_1__t16_oposet_1	2021-07-18 09:34	16K
	oposet_1__t16_oposet_1.depv1	2021-07-25 20:57	104
	oposet_1__t16_oposet_1.depvmin1	2021-07-25 21:03	104
	oposet_1__t16_oposet_1.vmin1	2021-07-25 20:57	2.2K
	oposet_1__t16_oposet_1.vmin1out	2021-07-25 20:59	37K
	oposet_1__t16_oposet_1.vout	2021-07-25 20:37	51K
	oposet_1__t17_oposet_1	2021-07-18 09:38	27K
	oposet_1__t17_oposet_1.vout	2021-07-25 19:01	10K