Index of /~mptp/1147/MPTP2/problems_thf_tls1/ordinal5
Name
Last modified
Size
Description
Parent Directory
-
ordinal5__l37_ordinal5
2017-01-13 19:06
28K
ordinal5__l68_ordinal5
2017-01-13 19:06
31K
ordinal5__s1_ordinal5
2017-01-13 19:06
136K
ordinal5__s2_ordinal5
2017-01-13 19:06
57K
ordinal5__t1_ordinal5
2017-01-13 19:06
27K
ordinal5__t2_ordinal5
2017-01-13 19:06
45K
ordinal5__t3_ordinal5
2017-01-13 19:06
36K
ordinal5__t4_ordinal5
2017-01-13 19:06
4.7K
ordinal5__t5_ordinal5
2017-01-13 19:06
28K
ordinal5__t6_ordinal5
2017-01-13 19:06
37K
ordinal5__t7_ordinal5
2017-01-13 19:06
31K
ordinal5__t8_ordinal5
2017-01-13 19:06
33K
ordinal5__t9_ordinal5
2017-01-13 19:06
39K
ordinal5__t10_ordinal5
2017-01-13 19:06
32K
ordinal5__t11_ordinal5
2017-01-13 19:06
36K
ordinal5__t12_ordinal5
2017-01-13 19:06
29K
ordinal5__t13_ordinal5
2017-01-13 19:06
44K
ordinal5__t14_ordinal5
2017-01-13 19:06
44K
ordinal5__t15_ordinal5
2017-01-13 19:06
44K
ordinal5__t16_ordinal5
2017-01-13 19:06
34K
ordinal5__t17_ordinal5
2017-01-13 19:06
39K
ordinal5__t18_ordinal5
2017-01-13 19:06
32K
ordinal5__t19_ordinal5
2017-01-13 19:06
33K
ordinal5__t20_ordinal5
2017-01-13 19:06
42K
ordinal5__t21_ordinal5
2017-01-13 19:06
45K
ordinal5__t22_ordinal5
2017-01-13 19:06
33K
ordinal5__t23_ordinal5
2017-01-13 19:06
45K
ordinal5__t24_ordinal5
2017-01-13 19:06
147K
ordinal5__t25_ordinal5
2017-01-13 19:06
35K
ordinal5__t26_ordinal5
2017-01-13 19:06
39K
ordinal5__t27_ordinal5
2017-01-13 19:06
49K
ordinal5__t28_ordinal5
2017-01-13 19:06
46K
ordinal5__t29_ordinal5
2017-01-13 19:06
39K
ordinal5__t30_ordinal5
2017-01-13 19:06
38K
ordinal5__t31_ordinal5
2017-01-13 19:06
49K
ordinal5__t32_ordinal5
2017-01-13 19:06
40K
ordinal5__t33_ordinal5
2017-01-13 19:06
37K
ordinal5__t34_ordinal5
2017-01-13 19:06
29K
ordinal5__t35_ordinal5
2017-01-13 19:06
29K
ordinal5__t36_ordinal5
2017-01-13 19:06
63K
ordinal5__t37_ordinal5
2017-01-13 19:06
36K
ordinal5__t38_ordinal5
2017-01-13 19:06
31K
ordinal5__t39_ordinal5
2017-01-13 19:06
39K
ordinal5__t40_ordinal5
2017-01-13 19:06
267K
ordinal5__t41_ordinal5
2017-01-13 19:06
44K
ordinal5__t42_ordinal5
2017-01-13 19:06
44K
ordinal5__t43_ordinal5
2017-01-13 19:06
44K
ordinal5__t44_ordinal5
2017-01-13 19:06
40K
ordinal5__t45_ordinal5
2017-01-13 19:06
31K
ordinal5__t46_ordinal5
2017-01-13 19:06
35K
ordinal5__t47_ordinal5
2017-01-13 19:06
34K
ordinal5__t48_ordinal5
2017-01-13 19:06
31K
ordinal5__t49_ordinal5
2017-01-13 19:06
33K
ordinal5__t50_ordinal5
2017-01-13 19:06
30K
ordinal5__t51_ordinal5
2017-01-13 19:06
33K
ordinal5__t52_ordinal5
2017-01-13 19:06
39K
ordinal5__t53_ordinal5
2017-01-13 19:06
50K
ordinal5__t54_ordinal5
2017-01-13 19:06
63K
ordinal5__t55_ordinal5
2017-01-13 19:06
47K
ordinal5__t56_ordinal5
2017-01-13 19:06
49K
ordinal5__t57_ordinal5
2017-01-13 19:06
35K
ordinal5__t58_ordinal5
2017-01-13 19:06
37K
ordinal5__t59_ordinal5
2017-01-13 19:06
34K
ordinal5__t60_ordinal5
2017-01-13 19:06
32K
ordinal5__t61_ordinal5
2017-01-13 19:06
31K
ordinal5__t62_ordinal5
2017-01-13 19:06
31K
ordinal5__t63_ordinal5
2017-01-13 19:06
31K
ordinal5__t64_ordinal5
2017-01-13 19:06
34K
ordinal5__t65_ordinal5
2017-01-13 19:06
41K
ordinal5__t66_ordinal5
2017-01-13 19:06
38K
ordinal5__t67_ordinal5
2017-01-13 19:06
83K
ordinal5__t68_ordinal5
2017-01-13 19:06
54K
ordinal5__t69_ordinal5
2017-01-13 19:06
49K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80