Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/boolmark

	Name	Last modified	Size	Description
	Parent Directory		-
	boolmark__l11_boolmark	2013-09-04 12:22	35K
	boolmark__t1_boolmark	2013-09-04 12:22	17K
	boolmark__t2_boolmark	2013-09-04 12:22	13K
	boolmark__t3_boolmark	2013-09-04 12:22	16K
	boolmark__t4_boolmark	2013-09-04 12:22	14K
	boolmark__t5_boolmark	2013-09-04 12:22	28K
	boolmark__t6_boolmark	2013-09-04 12:22	28K
	boolmark__t7_boolmark	2013-09-04 12:22	23K
	boolmark__t8_boolmark	2013-09-04 12:22	53K
	boolmark__t9_boolmark	2013-09-04 12:22	56K
	boolmark__t10_boolmark	2013-09-04 12:22	32K
	boolmark__t11_boolmark	2013-09-04 12:22	34K
	boolmark__t12_boolmark	2013-09-04 12:22	49K