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

	Name	Last modified	Size	Description
	Parent Directory		-
	goedelcp__l24_goedelcp	2013-09-04 12:10	17K
	goedelcp__t1_goedelcp	2013-09-04 12:10	11K
	goedelcp__t2_goedelcp	2013-09-04 12:10	43K
	goedelcp__t3_goedelcp	2013-09-04 12:10	29K
	goedelcp__t4_goedelcp	2013-09-04 12:10	20K
	goedelcp__t5_goedelcp	2013-09-04 12:10	23K
	goedelcp__t6_goedelcp	2013-09-04 12:10	27K
	goedelcp__t7_goedelcp	2013-09-04 12:10	20K
	goedelcp__t8_goedelcp	2013-09-04 12:10	28K
	goedelcp__t9_goedelcp	2013-09-04 12:10	22K
	goedelcp__t10_goedelcp	2013-09-04 12:10	26K
	goedelcp__t11_goedelcp	2013-09-04 12:10	22K
	goedelcp__t12_goedelcp	2013-09-04 12:10	25K
	goedelcp__t13_goedelcp	2013-09-04 12:10	19K
	goedelcp__t14_goedelcp	2013-09-04 12:10	14K
	goedelcp__t15_goedelcp	2013-09-04 12:10	43K
	goedelcp__t16_goedelcp	2013-09-04 12:10	53K
	goedelcp__t17_goedelcp	2013-09-04 12:10	24K
	goedelcp__t18_goedelcp	2013-09-04 12:10	25K
	goedelcp__t19_goedelcp	2013-09-04 12:10	9.6K
	goedelcp__t20_goedelcp	2013-09-04 12:10	12K
	goedelcp__t21_goedelcp	2013-09-04 12:10	28K
	goedelcp__t22_goedelcp	2013-09-04 12:10	12K
	goedelcp__t23_goedelcp	2013-09-04 12:10	23K
	goedelcp__t24_goedelcp	2013-09-04 12:10	12K
	goedelcp__t25_goedelcp	2013-09-04 12:10	26K
	goedelcp__t26_goedelcp	2013-09-04 12:10	13K
	goedelcp__t27_goedelcp	2013-09-04 12:10	14K
	goedelcp__t28_goedelcp	2013-09-04 12:10	11K
	goedelcp__t29_goedelcp	2013-09-04 12:10	12K
	goedelcp__t30_goedelcp	2013-09-04 12:10	21K
	goedelcp__t31_goedelcp	2013-09-04 12:10	82K
	goedelcp__t32_goedelcp	2013-09-04 12:10	22K
	goedelcp__t33_goedelcp	2013-09-04 12:10	36K
	goedelcp__t34_goedelcp	2013-09-04 12:10	21K
	goedelcp__t35_goedelcp	2013-09-04 12:10	18K
	goedelcp__t36_goedelcp	2013-09-04 12:10	14K
	goedelcp__t37_goedelcp	2013-09-04 12:10	22K
	goedelcp__t38_goedelcp	2013-09-04 12:10	23K