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

	Name	Last modified	Size	Description
	Parent Directory		-
	realset1__t1_realset1	2013-09-04 12:29	17K
	realset1__t2_realset1	2013-09-04 12:29	18K
	realset1__t3_realset1	2013-09-04 12:29	14K
	realset1__t4_realset1	2013-09-04 12:29	16K
	realset1__t5_realset1	2013-09-04 12:29	16K
	realset1__t6_realset1	2013-09-04 12:29	18K
	realset1__t7_realset1	2013-09-04 12:29	21K
	realset1__t8_realset1	2013-09-04 12:29	14K