Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/boole

	Name	Last modified	Size	Description
	Parent Directory		-
	boole__l6_boole	2013-09-04 12:04	566
	boole__t1_boole	2013-09-04 12:04	1.1K
	boole__t2_boole	2013-09-04 12:04	1.1K
	boole__t3_boole	2013-09-04 12:04	944
	boole__t4_boole	2013-09-04 12:04	954
	boole__t5_boole	2013-09-04 12:04	1.5K
	boole__t6_boole	2013-09-04 12:04	335
	boole__t7_boole	2013-09-04 12:04	327
	boole__t8_boole	2013-09-04 12:04	368