Index of /~mptp/mml5.63.1382/MPTP2/problems/ordinal3
Name
Last modified
Size
Description
Parent Directory
-
ordinal3__l14_ordinal3
2023-06-28 10:17
9.5K
ordinal3__t1_ordinal3
2023-06-28 10:16
9.2K
ordinal3__t2_ordinal3
2023-06-28 10:17
9.3K
ordinal3__t3_ordinal3
2023-06-28 10:17
10K
ordinal3__t4_ordinal3
2023-06-28 10:17
7.9K
ordinal3__t5_ordinal3
2023-06-28 10:18
7.0K
ordinal3__t6_ordinal3
2023-06-28 10:18
8.0K
ordinal3__t7_ordinal3
2023-06-28 10:18
9.5K
ordinal3__t8_ordinal3
2023-06-28 10:18
8.8K
ordinal3__t9_ordinal3
2023-06-28 10:18
7.5K
ordinal3__t10_ordinal3
2023-06-28 10:18
7.2K
ordinal3__t11_ordinal3
2023-06-28 10:19
8.1K
ordinal3__t12_ordinal3
2023-06-28 10:19
9.5K
ordinal3__t13_ordinal3
2023-06-28 10:19
9.2K
ordinal3__t14_ordinal3
2023-06-28 10:19
12K
ordinal3__t15_ordinal3
2023-06-28 10:16
9.6K
ordinal3__t16_ordinal3
2023-06-28 10:19
9.7K
ordinal3__t17_ordinal3
2023-06-28 10:19
10K
ordinal3__t18_ordinal3
2023-06-28 10:20
9.4K
ordinal3__t19_ordinal3
2023-06-28 10:20
10K
ordinal3__t20_ordinal3
2023-06-28 10:20
9.1K
ordinal3__t21_ordinal3
2023-06-28 10:20
7.3K
ordinal3__t22_ordinal3
2023-06-28 10:20
9.5K
ordinal3__t23_ordinal3
2023-06-28 10:21
10K
ordinal3__t24_ordinal3
2023-06-28 10:21
10K
ordinal3__t25_ordinal3
2023-06-28 10:21
9.0K
ordinal3__t26_ordinal3
2023-06-28 10:16
9.2K
ordinal3__t27_ordinal3
2023-06-28 10:21
19K
ordinal3__t28_ordinal3
2023-06-28 10:21
9.8K
ordinal3__t29_ordinal3
2023-06-28 10:22
18K
ordinal3__t30_ordinal3
2023-06-28 10:22
18K
ordinal3__t31_ordinal3
2023-06-28 10:22
9.8K
ordinal3__t32_ordinal3
2023-06-28 10:22
14K
ordinal3__t33_ordinal3
2023-06-28 10:23
7.5K
ordinal3__t34_ordinal3
2023-06-28 10:23
9.3K
ordinal3__t35_ordinal3
2023-06-28 10:23
10K
ordinal3__t36_ordinal3
2023-06-28 10:23
13K
ordinal3__t37_ordinal3
2023-06-28 10:23
14K
ordinal3__t38_ordinal3
2023-06-28 10:24
9.9K
ordinal3__t39_ordinal3
2023-06-28 10:24
14K
ordinal3__t40_ordinal3
2023-06-28 10:24
19K
ordinal3__t41_ordinal3
2023-06-28 10:24
18K
ordinal3__t42_ordinal3
2023-06-28 10:25
14K
ordinal3__t43_ordinal3
2023-06-28 10:25
11K
ordinal3__t44_ordinal3
2023-06-28 10:25
11K
ordinal3__t45_ordinal3
2023-06-28 10:25
10K
ordinal3__t46_ordinal3
2023-06-28 10:26
20K
ordinal3__t47_ordinal3
2023-06-28 10:26
18K
ordinal3__t48_ordinal3
2023-06-28 10:26
11K
ordinal3__t49_ordinal3
2023-06-28 10:26
18K
ordinal3__t50_ordinal3
2023-06-28 10:27
20K
ordinal3__t51_ordinal3
2023-06-28 10:27
9.6K
ordinal3__t52_ordinal3
2023-06-28 10:27
9.5K
ordinal3__t53_ordinal3
2023-06-28 10:27
10K
ordinal3__t54_ordinal3
2023-06-28 10:27
9.7K
ordinal3__t55_ordinal3
2023-06-28 10:27
9.0K
ordinal3__t56_ordinal3
2023-06-28 10:28
10K
ordinal3__t57_ordinal3
2023-06-28 10:28
10K
ordinal3__t58_ordinal3
2023-06-28 10:28
10K
ordinal3__t59_ordinal3
2023-06-28 10:28
9.6K
ordinal3__t60_ordinal3
2023-06-28 10:28
10K
ordinal3__t61_ordinal3
2023-06-28 10:29
9.8K
ordinal3__t62_ordinal3
2023-06-28 10:29
9.8K
ordinal3__t63_ordinal3
2023-06-28 10:29
11K
ordinal3__t64_ordinal3
2023-06-28 10:29
10K
ordinal3__t65_ordinal3
2023-06-28 10:29
10K
ordinal3__t66_ordinal3
2023-06-28 10:30
8.8K
ordinal3__t67_ordinal3
2023-06-28 10:30
13K
ordinal3__t68_ordinal3
2023-06-28 10:30
8.3K
ordinal3__t69_ordinal3
2023-06-28 10:30
8.5K
ordinal3__t70_ordinal3
2023-06-28 10:30
9.5K
ordinal3__t71_ordinal3
2023-06-28 10:30
12K
ordinal3__t72_ordinal3
2023-06-28 10:31
12K
ordinal3__t73_ordinal3
2023-06-28 10:31
15K
ordinal3__t74_ordinal3
2023-06-28 10:17
9.9K
ordinal3__t75_ordinal3
2023-06-28 10:31
11K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80