Index of /~mptp/1147/MPTP2/problems_gdfthf/ordinal3
Name
Last modified
Size
Description
Parent Directory
-
ordinal3__l14_ordinal3
2019-08-28 14:53
13K
ordinal3__t1_ordinal3
2019-08-28 14:52
9.7K
ordinal3__t2_ordinal3
2019-08-28 14:52
14K
ordinal3__t3_ordinal3
2019-08-28 14:52
16K
ordinal3__t4_ordinal3
2019-08-28 14:52
12K
ordinal3__t5_ordinal3
2019-08-28 14:53
8.8K
ordinal3__t6_ordinal3
2019-08-28 14:53
13K
ordinal3__t7_ordinal3
2019-08-28 14:53
13K
ordinal3__t8_ordinal3
2019-08-28 14:53
13K
ordinal3__t9_ordinal3
2019-08-28 14:53
10K
ordinal3__t10_ordinal3
2019-08-28 14:53
9.7K
ordinal3__t11_ordinal3
2019-08-28 14:53
7.4K
ordinal3__t12_ordinal3
2019-08-28 14:53
8.7K
ordinal3__t13_ordinal3
2019-08-28 14:53
8.7K
ordinal3__t14_ordinal3
2019-08-28 14:53
18K
ordinal3__t15_ordinal3
2019-08-28 14:53
13K
ordinal3__t16_ordinal3
2019-08-28 14:53
16K
ordinal3__t17_ordinal3
2019-08-28 14:53
23K
ordinal3__t18_ordinal3
2019-08-28 14:53
16K
ordinal3__t19_ordinal3
2019-08-28 14:53
23K
ordinal3__t20_ordinal3
2019-08-28 14:53
16K
ordinal3__t21_ordinal3
2019-08-28 14:53
15K
ordinal3__t22_ordinal3
2019-08-28 14:53
17K
ordinal3__t23_ordinal3
2019-08-28 14:53
19K
ordinal3__t24_ordinal3
2019-08-28 14:53
16K
ordinal3__t25_ordinal3
2019-08-28 14:53
17K
ordinal3__t26_ordinal3
2019-08-28 14:53
15K
ordinal3__t27_ordinal3
2019-08-28 14:53
89K
ordinal3__t28_ordinal3
2019-08-28 14:53
19K
ordinal3__t29_ordinal3
2019-08-28 14:53
54K
ordinal3__t30_ordinal3
2019-08-28 14:53
95K
ordinal3__t31_ordinal3
2019-08-28 14:53
16K
ordinal3__t32_ordinal3
2019-08-28 14:53
33K
ordinal3__t33_ordinal3
2019-08-28 14:53
16K
ordinal3__t34_ordinal3
2019-08-28 14:53
17K
ordinal3__t35_ordinal3
2019-08-28 14:53
19K
ordinal3__t36_ordinal3
2019-08-28 14:54
25K
ordinal3__t37_ordinal3
2019-08-28 14:54
36K
ordinal3__t38_ordinal3
2019-08-28 14:54
23K
ordinal3__t39_ordinal3
2019-08-28 14:54
75K
ordinal3__t40_ordinal3
2019-08-28 14:54
68K
ordinal3__t41_ordinal3
2019-08-28 14:54
52K
ordinal3__t42_ordinal3
2019-08-28 14:54
67K
ordinal3__t43_ordinal3
2019-08-28 14:54
17K
ordinal3__t44_ordinal3
2019-08-28 14:54
18K
ordinal3__t45_ordinal3
2019-08-28 14:54
26K
ordinal3__t46_ordinal3
2019-08-28 14:55
95K
ordinal3__t47_ordinal3
2019-08-28 14:55
105K
ordinal3__t48_ordinal3
2019-08-28 14:55
43K
ordinal3__t49_ordinal3
2019-08-28 14:55
59K
ordinal3__t50_ordinal3
2019-08-28 14:55
79K
ordinal3__t51_ordinal3
2019-08-28 14:55
15K
ordinal3__t52_ordinal3
2019-08-28 14:55
14K
ordinal3__t53_ordinal3
2019-08-28 14:55
23K
ordinal3__t54_ordinal3
2019-08-28 14:55
12K
ordinal3__t55_ordinal3
2019-08-28 14:55
15K
ordinal3__t56_ordinal3
2019-08-28 14:55
16K
ordinal3__t57_ordinal3
2019-08-28 14:55
31K
ordinal3__t58_ordinal3
2019-08-28 14:55
28K
ordinal3__t59_ordinal3
2019-08-28 14:55
25K
ordinal3__t60_ordinal3
2019-08-28 14:55
19K
ordinal3__t61_ordinal3
2019-08-28 14:55
17K
ordinal3__t62_ordinal3
2019-08-28 14:55
19K
ordinal3__t63_ordinal3
2019-08-28 14:55
28K
ordinal3__t64_ordinal3
2019-08-28 14:56
22K
ordinal3__t65_ordinal3
2019-08-28 14:56
15K
ordinal3__t66_ordinal3
2019-08-28 14:56
21K
ordinal3__t67_ordinal3
2019-08-28 14:56
25K
ordinal3__t68_ordinal3
2019-08-28 14:56
14K
ordinal3__t69_ordinal3
2019-08-28 14:56
14K
ordinal3__t70_ordinal3
2019-08-28 14:56
16K
ordinal3__t71_ordinal3
2019-08-28 14:56
20K
ordinal3__t72_ordinal3
2019-08-28 14:56
22K
ordinal3__t73_ordinal3
2019-08-28 14:56
45K
ordinal3__t74_ordinal3
2019-08-28 14:56
16K
ordinal3__t75_ordinal3
2019-08-28 14:56
20K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80