Index of /~mptp/mml5.63.1382/MPTP2/problems/ordinal1
Name
Last modified
Size
Description
Parent Directory
-
ordinal1__l13_ordinal1
2023-06-28 13:19
5.7K
ordinal1__s1_ordinal1
2023-06-28 13:19
16K
ordinal1__s2_ordinal1
2023-06-28 13:19
17K
ordinal1__s3_ordinal1
2023-06-28 13:19
21K
ordinal1__s4_ordinal1
2023-06-28 13:20
23K
ordinal1__s5_ordinal1
2023-06-28 13:20
20K
ordinal1__s6_ordinal1
2023-06-28 13:20
15K
ordinal1__t5_ordinal1
2023-06-28 13:20
10K
ordinal1__t6_ordinal1
2023-06-28 13:21
7.9K
ordinal1__t7_ordinal1
2023-06-28 13:21
8.0K
ordinal1__t8_ordinal1
2023-06-28 13:21
7.9K
ordinal1__t9_ordinal1
2023-06-28 13:21
7.6K
ordinal1__t10_ordinal1
2023-06-28 13:21
10K
ordinal1__t11_ordinal1
2023-06-28 13:21
14K
ordinal1__t12_ordinal1
2023-06-28 13:22
12K
ordinal1__t13_ordinal1
2023-06-28 13:22
13K
ordinal1__t14_ordinal1
2023-06-28 13:22
13K
ordinal1__t15_ordinal1
2023-06-28 13:22
12K
ordinal1__t16_ordinal1
2023-06-28 13:22
12K
ordinal1__t17_ordinal1
2023-06-28 13:23
14K
ordinal1__t18_ordinal1
2023-06-28 13:23
13K
ordinal1__t19_ordinal1
2023-06-28 13:23
12K
ordinal1__t20_ordinal1
2023-06-28 13:23
13K
ordinal1__t21_ordinal1
2023-06-28 13:23
15K
ordinal1__t22_ordinal1
2023-06-28 13:24
15K
ordinal1__t23_ordinal1
2023-06-28 13:24
12K
ordinal1__t24_ordinal1
2023-06-28 13:24
15K
ordinal1__t25_ordinal1
2023-06-28 13:24
12K
ordinal1__t26_ordinal1
2023-06-28 13:24
7.0K
ordinal1__t27_ordinal1
2023-06-28 13:24
15K
ordinal1__t28_ordinal1
2023-06-28 13:25
16K
ordinal1__t29_ordinal1
2023-06-28 13:25
15K
ordinal1__t30_ordinal1
2023-06-28 13:25
13K
ordinal1__t31_ordinal1
2023-06-28 13:18
14K
ordinal1__t32_ordinal1
2023-06-28 13:25
13K
ordinal1__t33_ordinal1
2023-06-28 13:19
3.0K
ordinal1__t34_ordinal1
2023-06-28 13:26
19K
ordinal1__t35_ordinal1
2023-06-28 13:26
12K
ordinal1__t36_ordinal1
2023-06-28 13:26
17K
ordinal1__t37_ordinal1
2023-06-28 13:26
15K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80