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

	Name	Last modified	Size	Description
	Parent Directory		-
	ordinal6__l12_ordinal6	2021-07-18 20:41	2.2K
	ordinal6__l78_ordinal6	2021-07-18 21:09	73K
	ordinal6__l79_ordinal6	2021-07-18 21:09	75K
	ordinal6__l80_ordinal6	2021-07-18 21:10	91K
	ordinal6__l98_ordinal6	2021-07-18 21:10	36K
	ordinal6__l99_ordinal6	2021-07-18 21:11	46K
	ordinal6__l100_ordinal6	2021-07-18 21:11	83K
	ordinal6__s1_ordinal6	2021-07-18 20:42	72K
	ordinal6__s2_ordinal6	2021-07-18 20:42	72K
	ordinal6__t1_ordinal6	2021-07-18 20:43	32K
	ordinal6__t2_ordinal6	2021-07-18 20:43	32K
	ordinal6__t3_ordinal6	2021-07-18 20:40	32K
	ordinal6__t4_ordinal6	2021-07-18 20:43	33K
	ordinal6__t5_ordinal6	2021-07-18 20:44	35K
	ordinal6__t6_ordinal6	2021-07-18 20:44	42K
	ordinal6__t7_ordinal6	2021-07-18 20:44	43K
	ordinal6__t8_ordinal6	2021-07-18 20:45	34K
	ordinal6__t9_ordinal6	2021-07-18 20:45	42K
	ordinal6__t11_ordinal6	2021-07-18 20:45	35K
	ordinal6__t12_ordinal6	2021-07-18 20:46	34K
	ordinal6__t13_ordinal6	2021-07-18 20:46	48K
	ordinal6__t14_ordinal6	2021-07-18 20:40	29K
	ordinal6__t15_ordinal6	2021-07-18 20:46	39K
	ordinal6__t16_ordinal6	2021-07-18 20:46	45K
	ordinal6__t17_ordinal6	2021-07-18 20:40	3.7K
	ordinal6__t18_ordinal6	2021-07-18 20:47	42K
	ordinal6__t19_ordinal6	2021-07-18 20:47	5.7K
	ordinal6__t20_ordinal6	2021-07-18 20:47	42K
	ordinal6__t21_ordinal6	2021-07-18 20:48	38K
	ordinal6__t22_ordinal6	2021-07-18 20:48	45K
	ordinal6__t23_ordinal6	2021-07-18 20:48	42K
	ordinal6__t24_ordinal6	2021-07-18 20:49	56K
	ordinal6__t25_ordinal6	2021-07-18 20:49	45K
	ordinal6__t26_ordinal6	2021-07-18 20:50	44K
	ordinal6__t27_ordinal6	2021-07-18 20:41	33K
	ordinal6__t28_ordinal6	2021-07-18 20:50	31K
	ordinal6__t29_ordinal6	2021-07-18 20:50	38K
	ordinal6__t30_ordinal6	2021-07-18 20:51	45K
	ordinal6__t31_ordinal6	2021-07-18 20:41	43K
	ordinal6__t32_ordinal6	2021-07-18 20:51	47K
	ordinal6__t33_ordinal6	2021-07-18 20:51	45K
	ordinal6__t34_ordinal6	2021-07-18 20:52	48K
	ordinal6__t35_ordinal6	2021-07-18 20:52	54K
	ordinal6__t36_ordinal6	2021-07-18 20:52	59K
	ordinal6__t37_ordinal6	2021-07-18 20:53	39K
	ordinal6__t38_ordinal6	2021-07-18 20:53	44K
	ordinal6__t39_ordinal6	2021-07-18 20:54	64K
	ordinal6__t40_ordinal6	2021-07-18 20:54	52K
	ordinal6__t41_ordinal6	2021-07-18 20:54	54K
	ordinal6__t42_ordinal6	2021-07-18 20:55	53K
	ordinal6__t43_ordinal6	2021-07-18 20:55	63K
	ordinal6__t44_ordinal6	2021-07-18 20:56	76K
	ordinal6__t45_ordinal6	2021-07-18 20:56	64K
	ordinal6__t46_ordinal6	2021-07-18 20:56	34K
	ordinal6__t47_ordinal6	2021-07-18 20:57	40K
	ordinal6__t48_ordinal6	2021-07-18 20:41	46K
	ordinal6__t49_ordinal6	2021-07-18 20:57	48K
	ordinal6__t50_ordinal6	2021-07-18 20:57	40K
	ordinal6__t51_ordinal6	2021-07-18 20:58	48K
	ordinal6__t52_ordinal6	2021-07-18 20:58	66K
	ordinal6__t53_ordinal6	2021-07-18 20:59	59K
	ordinal6__t54_ordinal6	2021-07-18 20:59	67K
	ordinal6__t55_ordinal6	2021-07-18 20:59	56K
	ordinal6__t56_ordinal6	2021-07-18 21:00	60K
	ordinal6__t57_ordinal6	2021-07-18 21:00	41K
	ordinal6__t58_ordinal6	2021-07-18 21:01	77K
	ordinal6__t59_ordinal6	2021-07-18 21:01	80K
	ordinal6__t60_ordinal6	2021-07-18 21:02	79K
	ordinal6__t61_ordinal6	2021-07-18 21:02	85K
	ordinal6__t62_ordinal6	2021-07-18 21:03	56K
	ordinal6__t63_ordinal6	2021-07-18 21:03	81K
	ordinal6__t64_ordinal6	2021-07-18 21:03	55K
	ordinal6__t65_ordinal6	2021-07-18 21:04	86K
	ordinal6__t66_ordinal6	2021-07-18 21:04	38K
	ordinal6__t67_ordinal6	2021-07-18 21:05	34K
	ordinal6__t68_ordinal6	2021-07-18 21:05	79K
	ordinal6__t69_ordinal6	2021-07-18 21:06	79K
	ordinal6__t70_ordinal6	2021-07-18 21:06	60K
	ordinal6__t71_ordinal6	2021-07-18 21:06	62K
	ordinal6__t72_ordinal6	2021-07-18 21:07	40K
	ordinal6__t73_ordinal6	2021-07-18 21:07	34K
	ordinal6__t74_ordinal6	2021-07-18 21:07	74K
	ordinal6__t75_ordinal6	2021-07-18 21:08	38K
	ordinal6__t76_ordinal6	2021-07-18 21:08	84K
	ordinal6__t77_ordinal6	2021-07-18 21:09	38K