Index of /~mptp/1147/mptp/problems_small_consist/rolle

	Name	Last modified	Size	Description
	Parent Directory		-
	rolle__t1_rolle	2013-09-04 12:52	106K
	rolle__t2_rolle	2013-09-04 12:52	54K
	rolle__t3_rolle	2013-09-04 12:52	75K
	rolle__t4_rolle	2013-09-04 12:52	54K
	rolle__t5_rolle	2013-09-04 12:52	89K
	rolle__t6_rolle	2013-09-04 12:52	56K
	rolle__t7_rolle	2013-09-04 12:52	58K
	rolle__t8_rolle	2013-09-04 12:52	45K
	rolle__t9_rolle	2013-09-04 12:52	58K
	rolle__t10_rolle	2013-09-04 12:52	58K
	rolle__t11_rolle	2013-09-04 12:52	58K
	rolle__t12_rolle	2013-09-04 12:52	58K