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

	Name	Last modified	Size	Description
	Parent Directory		-
	circcomb__l1_circcomb	2021-07-18 20:36	41K
	circcomb__s1_circcomb	2021-07-18 20:09	35K
	circcomb__s2_circcomb	2021-07-18 20:09	73K
	circcomb__t1_circcomb	2021-07-18 20:10	55K
	circcomb__t2_circcomb	2021-07-18 20:10	61K
	circcomb__t3_circcomb	2021-07-18 20:10	52K
	circcomb__t4_circcomb	2021-07-18 20:11	47K
	circcomb__t5_circcomb	2021-07-18 20:11	52K
	circcomb__t6_circcomb	2021-07-18 20:12	48K
	circcomb__t7_circcomb	2021-07-18 20:12	53K
	circcomb__t8_circcomb	2021-07-18 20:12	59K
	circcomb__t9_circcomb	2021-07-18 20:13	46K
	circcomb__t10_circcomb	2021-07-18 20:13	45K
	circcomb__t11_circcomb	2021-07-18 20:14	60K
	circcomb__t12_circcomb	2021-07-18 20:14	52K
	circcomb__t13_circcomb	2021-07-18 20:14	58K
	circcomb__t14_circcomb	2021-07-18 20:15	56K
	circcomb__t15_circcomb	2021-07-18 20:15	59K
	circcomb__t16_circcomb	2021-07-18 20:16	59K
	circcomb__t17_circcomb	2021-07-18 20:16	62K
	circcomb__t18_circcomb	2021-07-18 20:08	48K
	circcomb__t19_circcomb	2021-07-18 20:08	48K
	circcomb__t20_circcomb	2021-07-18 20:16	75K
	circcomb__t21_circcomb	2021-07-18 20:17	73K
	circcomb__t22_circcomb	2021-07-18 20:17	75K
	circcomb__t23_circcomb	2021-07-18 20:18	75K
	circcomb__t24_circcomb	2021-07-18 20:18	77K
	circcomb__t25_circcomb	2021-07-18 20:19	77K
	circcomb__t26_circcomb	2021-07-18 20:19	89K
	circcomb__t27_circcomb	2021-07-18 20:20	82K
	circcomb__t28_circcomb	2021-07-18 20:20	82K
	circcomb__t29_circcomb	2021-07-18 20:21	75K
	circcomb__t30_circcomb	2021-07-18 20:21	76K
	circcomb__t31_circcomb	2021-07-18 20:22	98K
	circcomb__t32_circcomb	2021-07-18 20:22	96K
	circcomb__t33_circcomb	2021-07-18 20:23	87K
	circcomb__t34_circcomb	2021-07-18 20:23	86K
	circcomb__t35_circcomb	2021-07-18 20:24	86K
	circcomb__t36_circcomb	2021-07-18 20:24	59K
	circcomb__t37_circcomb	2021-07-18 20:24	53K
	circcomb__t38_circcomb	2021-07-18 20:25	59K
	circcomb__t39_circcomb	2021-07-18 20:25	49K
	circcomb__t40_circcomb	2021-07-18 20:26	59K
	circcomb__t41_circcomb	2021-07-18 20:26	53K
	circcomb__t42_circcomb	2021-07-18 20:26	61K
	circcomb__t43_circcomb	2021-07-18 20:27	58K
	circcomb__t44_circcomb	2021-07-18 20:27	44K
	circcomb__t45_circcomb	2021-07-18 20:28	36K
	circcomb__t46_circcomb	2021-07-18 20:28	58K
	circcomb__t47_circcomb	2021-07-18 20:28	47K
	circcomb__t48_circcomb	2021-07-18 20:29	57K
	circcomb__t49_circcomb	2021-07-18 20:29	54K
	circcomb__t50_circcomb	2021-07-18 20:30	55K
	circcomb__t51_circcomb	2021-07-18 20:30	59K
	circcomb__t52_circcomb	2021-07-18 20:31	73K
	circcomb__t53_circcomb	2021-07-18 20:31	61K
	circcomb__t54_circcomb	2021-07-18 20:31	77K
	circcomb__t55_circcomb	2021-07-18 20:32	77K
	circcomb__t56_circcomb	2021-07-18 20:33	94K
	circcomb__t57_circcomb	2021-07-18 20:33	50K
	circcomb__t58_circcomb	2021-07-18 20:33	55K
	circcomb__t59_circcomb	2021-07-18 20:34	53K
	circcomb__t60_circcomb	2021-07-18 20:09	57K
	circcomb__t61_circcomb	2021-07-18 20:34	72K
	circcomb__t62_circcomb	2021-07-18 20:35	85K
	circcomb__t63_circcomb	2021-07-18 20:35	79K
	circcomb__t64_circcomb	2021-07-18 20:36	84K