Index of /~mptp/1147/MPTP2/problems_small_consist/csspace3

	Name	Last modified	Size	Description
	Parent Directory		-
	csspace3__l3_csspace3	2013-09-04 12:42	27K
	csspace3__l8_csspace3	2013-09-04 12:42	29K
	csspace3__l13_csspace3	2013-09-04 12:42	61K
	csspace3__t1_csspace3	2013-09-04 12:42	56K
	csspace3__t2_csspace3	2013-09-04 12:42	26K
	csspace3__t3_csspace3	2013-09-04 12:42	39K
	csspace3__t4_csspace3	2013-09-04 12:42	23K
	csspace3__t5_csspace3	2013-09-04 12:42	34K
	csspace3__t6_csspace3	2013-09-04 12:42	72K
	csspace3__t7_csspace3	2013-09-04 12:42	83K
	csspace3__t8_csspace3	2013-09-04 12:42	28K
	csspace3__t9_csspace3	2013-09-04 12:42	115K