Index of /~mptp/1147/mptp/problems_small_consist/integr10

	Name	Last modified	Size	Description
	Parent Directory		-
	integr10__t1_integr10	2013-09-04 12:19	36K
	integr10__t2_integr10	2013-09-04 12:19	34K
	integr10__t3_integr10	2013-09-04 12:19	37K
	integr10__t4_integr10	2013-09-04 12:19	95K
	integr10__t5_integr10	2013-09-04 12:19	30K
	integr10__t6_integr10	2013-09-04 12:19	194K
	integr10__t7_integr10	2013-09-04 12:19	30K
	integr10__t8_integr10	2013-09-04 12:19	58K
	integr10__t9_integr10	2013-09-04 12:19	30K
	integr10__t10_integr10	2013-09-04 12:19	58K
	integr10__t11_integr10	2013-09-04 12:19	30K
	integr10__t12_integr10	2013-09-04 12:19	98K
	integr10__t13_integr10	2013-09-04 12:19	97K
	integr10__t14_integr10	2013-09-04 12:19	32K
	integr10__t15_integr10	2013-09-04 12:19	29K