Index of /~mptp/1147/MPTP2/problems/ordinal6
Name
Last modified
Size
Description
Parent Directory
-
ordinal6__l50_ordinal6
2023-06-28 00:37
27K
ordinal6__l78_ordinal6
2023-06-28 00:38
66K
ordinal6__l79_ordinal6
2023-06-28 00:38
67K
ordinal6__l80_ordinal6
2023-06-28 00:38
83K
ordinal6__l98_ordinal6
2023-06-28 00:38
37K
ordinal6__l99_ordinal6
2023-06-28 00:38
41K
ordinal6__l100_ordinal6
2023-06-28 00:38
75K
ordinal6__s1_ordinal6
2023-06-28 00:37
64K
ordinal6__s2_ordinal6
2023-06-28 00:37
63K
ordinal6__t1_ordinal6
2023-06-28 00:37
27K
ordinal6__t2_ordinal6
2023-06-28 00:37
28K
ordinal6__t3_ordinal6
2023-06-28 00:37
27K
ordinal6__t4_ordinal6
2023-06-28 00:37
28K
ordinal6__t5_ordinal6
2023-06-28 00:37
29K
ordinal6__t6_ordinal6
2023-06-28 00:37
37K
ordinal6__t7_ordinal6
2023-06-28 00:37
38K
ordinal6__t8_ordinal6
2023-06-28 00:37
32K
ordinal6__t9_ordinal6
2023-06-28 00:37
35K
ordinal6__t10_ordinal6
2023-06-28 00:37
40K
ordinal6__t11_ordinal6
2023-06-28 00:37
30K
ordinal6__t12_ordinal6
2023-06-28 00:37
29K
ordinal6__t13_ordinal6
2023-06-28 00:37
41K
ordinal6__t14_ordinal6
2023-06-28 00:37
30K
ordinal6__t15_ordinal6
2023-06-28 00:37
34K
ordinal6__t16_ordinal6
2023-06-28 00:37
39K
ordinal6__t17_ordinal6
2023-06-28 00:37
3.5K
ordinal6__t18_ordinal6
2023-06-28 00:37
35K
ordinal6__t19_ordinal6
2023-06-28 00:37
5.5K
ordinal6__t20_ordinal6
2023-06-28 00:37
36K
ordinal6__t21_ordinal6
2023-06-28 00:37
5.5K
ordinal6__t22_ordinal6
2023-06-28 00:37
36K
ordinal6__t23_ordinal6
2023-06-28 00:37
35K
ordinal6__t24_ordinal6
2023-06-28 00:37
50K
ordinal6__t25_ordinal6
2023-06-28 00:37
39K
ordinal6__t26_ordinal6
2023-06-28 00:37
42K
ordinal6__t27_ordinal6
2023-06-28 00:37
32K
ordinal6__t28_ordinal6
2023-06-28 00:37
29K
ordinal6__t29_ordinal6
2023-06-28 00:37
37K
ordinal6__t30_ordinal6
2023-06-28 00:37
36K
ordinal6__t31_ordinal6
2023-06-28 00:37
36K
ordinal6__t32_ordinal6
2023-06-28 00:37
40K
ordinal6__t33_ordinal6
2023-06-28 00:37
38K
ordinal6__t34_ordinal6
2023-06-28 00:37
41K
ordinal6__t35_ordinal6
2023-06-28 00:37
44K
ordinal6__t36_ordinal6
2023-06-28 00:37
52K
ordinal6__t37_ordinal6
2023-06-28 00:37
32K
ordinal6__t38_ordinal6
2023-06-28 00:37
37K
ordinal6__t39_ordinal6
2023-06-28 00:37
57K
ordinal6__t40_ordinal6
2023-06-28 00:37
45K
ordinal6__t41_ordinal6
2023-06-28 00:37
48K
ordinal6__t42_ordinal6
2023-06-28 00:37
47K
ordinal6__t43_ordinal6
2023-06-28 00:37
56K
ordinal6__t44_ordinal6
2023-06-28 00:37
69K
ordinal6__t45_ordinal6
2023-06-28 00:37
57K
ordinal6__t46_ordinal6
2023-06-28 00:37
33K
ordinal6__t47_ordinal6
2023-06-28 00:37
39K
ordinal6__t48_ordinal6
2023-06-28 00:37
39K
ordinal6__t49_ordinal6
2023-06-28 00:37
41K
ordinal6__t50_ordinal6
2023-06-28 00:37
40K
ordinal6__t51_ordinal6
2023-06-28 00:37
41K
ordinal6__t52_ordinal6
2023-06-28 00:37
59K
ordinal6__t53_ordinal6
2023-06-28 00:37
51K
ordinal6__t54_ordinal6
2023-06-28 00:37
60K
ordinal6__t55_ordinal6
2023-06-28 00:37
48K
ordinal6__t56_ordinal6
2023-06-28 00:37
54K
ordinal6__t57_ordinal6
2023-06-28 00:37
34K
ordinal6__t58_ordinal6
2023-06-28 00:37
70K
ordinal6__t59_ordinal6
2023-06-28 00:37
73K
ordinal6__t60_ordinal6
2023-06-28 00:37
71K
ordinal6__t61_ordinal6
2023-06-28 00:37
77K
ordinal6__t62_ordinal6
2023-06-28 00:37
51K
ordinal6__t63_ordinal6
2023-06-28 00:37
72K
ordinal6__t64_ordinal6
2023-06-28 00:37
48K
ordinal6__t65_ordinal6
2023-06-28 00:37
79K
ordinal6__t66_ordinal6
2023-06-28 00:38
33K
ordinal6__t67_ordinal6
2023-06-28 00:38
35K
ordinal6__t68_ordinal6
2023-06-28 00:38
70K
ordinal6__t69_ordinal6
2023-06-28 00:38
72K
ordinal6__t70_ordinal6
2023-06-28 00:38
53K
ordinal6__t71_ordinal6
2023-06-28 00:38
55K
ordinal6__t72_ordinal6
2023-06-28 00:38
35K
ordinal6__t73_ordinal6
2023-06-28 00:38
35K
ordinal6__t74_ordinal6
2023-06-28 00:38
67K
ordinal6__t75_ordinal6
2023-06-28 00:38
39K
ordinal6__t76_ordinal6
2023-06-28 00:38
76K
ordinal6__t77_ordinal6
2023-06-28 00:38
39K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80