Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/goedelcp

	Name	Last modified	Size	Description
	Parent Directory		-
	goedelcp__l24_goedelcp	2021-07-18 17:30	32K
	goedelcp__t1_goedelcp	2021-07-18 17:17	22K
	goedelcp__t2_goedelcp	2021-07-18 17:18	74K
	goedelcp__t3_goedelcp	2021-07-18 17:18	49K
	goedelcp__t4_goedelcp	2021-07-18 17:17	36K
	goedelcp__t5_goedelcp	2021-07-18 17:19	40K
	goedelcp__t6_goedelcp	2021-07-18 17:19	47K
	goedelcp__t7_goedelcp	2021-07-18 17:17	36K
	goedelcp__t8_goedelcp	2021-07-18 17:19	48K
	goedelcp__t9_goedelcp	2021-07-18 17:20	40K
	goedelcp__t10_goedelcp	2021-07-18 17:20	47K
	goedelcp__t11_goedelcp	2021-07-18 17:21	40K
	goedelcp__t12_goedelcp	2021-07-18 17:21	44K
	goedelcp__t13_goedelcp	2021-07-18 17:21	35K
	goedelcp__t14_goedelcp	2021-07-18 17:22	26K
	goedelcp__t15_goedelcp	2021-07-18 17:22	69K
	goedelcp__t16_goedelcp	2021-07-18 17:23	88K
	goedelcp__t17_goedelcp	2021-07-18 17:23	42K
	goedelcp__t18_goedelcp	2021-07-18 17:23	42K
	goedelcp__t19_goedelcp	2021-07-18 17:24	19K
	goedelcp__t20_goedelcp	2021-07-18 17:24	22K
	goedelcp__t21_goedelcp	2021-07-18 17:24	48K
	goedelcp__t22_goedelcp	2021-07-18 17:24	24K
	goedelcp__t23_goedelcp	2021-07-18 17:25	40K
	goedelcp__t24_goedelcp	2021-07-18 17:17	23K
	goedelcp__t25_goedelcp	2021-07-18 17:25	44K
	goedelcp__t26_goedelcp	2021-07-18 17:25	23K
	goedelcp__t27_goedelcp	2021-07-18 17:26	25K
	goedelcp__t28_goedelcp	2021-07-18 17:26	21K
	goedelcp__t29_goedelcp	2021-07-18 17:26	23K
	goedelcp__t30_goedelcp	2021-07-18 17:27	37K
	goedelcp__t31_goedelcp	2021-07-18 17:28	125K
	goedelcp__t32_goedelcp	2021-07-18 17:28	39K
	goedelcp__t33_goedelcp	2021-07-18 17:28	59K
	goedelcp__t34_goedelcp	2021-07-18 17:29	38K
	goedelcp__t35_goedelcp	2021-07-18 17:29	33K
	goedelcp__t36_goedelcp	2021-07-18 17:29	26K
	goedelcp__t37_goedelcp	2021-07-18 17:30	40K
	goedelcp__t38_goedelcp	2021-07-18 17:30	42K