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

	Name	Last modified	Size	Description
	Parent Directory		-
	scm_1__l5_scm_1	2013-09-04 12:08	44K
	scm_1__l6_scm_1	2013-09-04 12:08	178K
	scm_1__t1_scm_1	2013-09-04 12:08	53K
	scm_1__t2_scm_1	2013-09-04 12:08	48K
	scm_1__t3_scm_1	2013-09-04 12:08	52K
	scm_1__t4_scm_1	2013-09-04 12:08	51K
	scm_1__t5_scm_1	2013-09-04 12:08	51K
	scm_1__t6_scm_1	2013-09-04 12:08	64K
	scm_1__t7_scm_1	2013-09-04 12:08	53K
	scm_1__t8_scm_1	2013-09-04 12:08	52K
	scm_1__t9_scm_1	2013-09-04 12:08	48K
	scm_1__t10_scm_1	2013-09-04 12:08	150K
	scm_1__t11_scm_1	2013-09-04 12:08	165K
	scm_1__t12_scm_1	2013-09-04 12:08	43K
	scm_1__t13_scm_1	2013-09-04 12:08	53K
	scm_1__t14_scm_1	2013-09-04 12:08	60K
	scm_1__t15_scm_1	2013-09-04 12:08	58K
	scm_1__t16_scm_1	2013-09-04 12:08	63K
	scm_1__t17_scm_1	2013-09-04 12:08	66K
	scm_1__t18_scm_1	2013-09-04 12:08	69K
	scm_1__t19_scm_1	2013-09-04 12:08	67K
	scm_1__t20_scm_1	2013-09-04 12:08	57K
	scm_1__t21_scm_1	2013-09-04 12:08	58K
	scm_1__t22_scm_1	2013-09-04 12:08	61K
	scm_1__t23_scm_1	2013-09-04 12:08	43K