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

	Name	Last modified	Size	Description
	Parent Directory		-
	boole__l6_boole	2021-07-18 10:52	566
	boole__l6_boole.depv1	2021-07-25 20:57	61
	boole__l6_boole.depvmin1	2021-07-25 21:03	61
	boole__l6_boole.vmin1	2021-07-25 20:57	395
	boole__l6_boole.vmin1out	2021-07-25 21:00	4.9K
	boole__l6_boole.vout	2021-07-25 20:49	4.9K
	boole__t1_boole	2021-07-18 10:51	1.1K
	boole__t1_boole.depv1	2021-07-25 20:57	63
	boole__t1_boole.depvmin1	2021-07-25 21:03	63
	boole__t1_boole.vmin1	2021-07-25 20:57	442
	boole__t1_boole.vmin1out	2021-07-25 21:02	7.4K
	boole__t1_boole.vout	2021-07-25 16:02	7.4K
	boole__t2_boole	2021-07-18 10:51	1.1K
	boole__t2_boole.depv1	2021-07-25 20:57	63
	boole__t2_boole.depvmin1	2021-07-25 21:03	63
	boole__t2_boole.vmin1	2021-07-25 20:57	452
	boole__t2_boole.vmin1out	2021-07-25 20:58	6.6K
	boole__t2_boole.vout	2021-07-25 20:19	6.6K
	boole__t3_boole	2021-07-18 10:51	944
	boole__t3_boole.depv1	2021-07-25 20:57	63
	boole__t3_boole.depvmin1	2021-07-25 21:03	63
	boole__t3_boole.vmin1	2021-07-25 20:57	448
	boole__t3_boole.vmin1out	2021-07-25 20:59	7.4K
	boole__t3_boole.vout	2021-07-25 16:52	7.3K
	boole__t4_boole	2021-07-18 10:52	954
	boole__t4_boole.depv1	2021-07-25 20:57	63
	boole__t4_boole.depvmin1	2021-07-25 21:03	63
	boole__t4_boole.vmin1	2021-07-25 20:57	458
	boole__t4_boole.vmin1out	2021-07-25 20:58	6.6K
	boole__t4_boole.vout	2021-07-25 16:18	6.6K
	boole__t5_boole	2021-07-18 10:52	1.5K
	boole__t5_boole.depv1	2021-07-25 20:57	87
	boole__t5_boole.depvmin1	2021-07-25 21:03	87
	boole__t5_boole.vmin1	2021-07-25 20:57	730
	boole__t5_boole.vmin1out	2021-07-25 21:02	15K
	boole__t5_boole.vout	2021-07-25 16:45	14K
	boole__t6_boole	2021-07-18 10:51	335
	boole__t6_boole.depv1	2021-07-25 20:57	30
	boole__t6_boole.depvmin1	2021-07-25 21:03	30
	boole__t6_boole.vmin1	2021-07-25 20:57	200
	boole__t6_boole.vmin1out	2021-07-25 20:59	2.8K
	boole__t6_boole.vout	2021-07-25 16:26	2.8K
	boole__t7_boole	2021-07-18 10:51	513
	boole__t7_boole.depv1	2021-07-25 20:57	44
	boole__t7_boole.depvmin1	2021-07-25 21:03	44
	boole__t7_boole.vmin1	2021-07-25 20:57	282
	boole__t7_boole.vmin1out	2021-07-25 21:00	2.7K
	boole__t7_boole.vout	2021-07-25 19:13	2.6K
	boole__t8_boole	2021-07-18 10:52	368
	boole__t8_boole.depv1	2021-07-25 20:57	30
	boole__t8_boole.depvmin1	2021-07-25 21:03	30
	boole__t8_boole.vmin1	2021-07-25 20:57	234
	boole__t8_boole.vmin1out	2021-07-25 21:00	3.8K
	boole__t8_boole.vout	2021-07-25 16:10	3.8K