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

	Name	Last modified	Size	Description
	Parent Directory		-
	ordinal1__l13_ordinal1	2021-07-18 13:37	5.8K
	ordinal1__s1_ordinal1	2021-07-18 13:37	16K
	ordinal1__s2_ordinal1	2021-07-18 13:38	17K
	ordinal1__s3_ordinal1	2021-07-18 13:38	21K
	ordinal1__s4_ordinal1	2021-07-18 13:38	24K
	ordinal1__s5_ordinal1	2021-07-18 13:38	20K
	ordinal1__s6_ordinal1	2021-07-18 13:38	15K
	ordinal1__t5_ordinal1	2021-07-18 13:39	10K
	ordinal1__t6_ordinal1	2021-07-18 13:39	7.9K
	ordinal1__t7_ordinal1	2021-07-18 13:39	8.1K
	ordinal1__t8_ordinal1	2021-07-18 13:39	8.0K
	ordinal1__t9_ordinal1	2021-07-18 13:39	7.6K
	ordinal1__t10_ordinal1	2021-07-18 13:39	10K
	ordinal1__t11_ordinal1	2021-07-18 13:39	14K
	ordinal1__t12_ordinal1	2021-07-18 13:40	12K
	ordinal1__t13_ordinal1	2021-07-18 13:40	13K
	ordinal1__t14_ordinal1	2021-07-18 13:40	13K
	ordinal1__t15_ordinal1	2021-07-18 13:40	12K
	ordinal1__t16_ordinal1	2021-07-18 13:40	12K
	ordinal1__t17_ordinal1	2021-07-18 13:40	14K
	ordinal1__t18_ordinal1	2021-07-18 13:41	13K
	ordinal1__t19_ordinal1	2021-07-18 13:41	12K
	ordinal1__t20_ordinal1	2021-07-18 13:41	13K
	ordinal1__t21_ordinal1	2021-07-18 13:41	15K
	ordinal1__t22_ordinal1	2021-07-18 13:41	15K
	ordinal1__t23_ordinal1	2021-07-18 13:41	12K
	ordinal1__t24_ordinal1	2021-07-18 13:42	15K
	ordinal1__t25_ordinal1	2021-07-18 13:42	12K
	ordinal1__t26_ordinal1	2021-07-18 13:42	7.0K
	ordinal1__t27_ordinal1	2021-07-18 13:42	16K
	ordinal1__t28_ordinal1	2021-07-18 13:42	17K
	ordinal1__t29_ordinal1	2021-07-18 13:43	15K
	ordinal1__t30_ordinal1	2021-07-18 13:43	13K
	ordinal1__t31_ordinal1	2021-07-18 13:37	14K
	ordinal1__t32_ordinal1	2021-07-18 13:43	13K
	ordinal1__t33_ordinal1	2021-07-18 13:37	3.1K
	ordinal1__t34_ordinal1	2021-07-18 13:43	19K
	ordinal1__t35_ordinal1	2021-07-18 13:43	12K
	ordinal1__t36_ordinal1	2021-07-18 13:44	17K
	ordinal1__t37_ordinal1	2021-07-18 13:44	15K