Index of /~mptp/1147/MPTP2/problems_gdfthf/hausdorf
Name
Last modified
Size
Description
Parent Directory
-
hausdorf__l20_hausdorf
2019-08-22 17:15
67K
hausdorf__t1_hausdorf
2019-08-22 17:13
27K
hausdorf__t2_hausdorf
2019-08-22 17:13
61K
hausdorf__t3_hausdorf
2019-08-22 17:14
70K
hausdorf__t4_hausdorf
2019-08-22 17:14
79K
hausdorf__t5_hausdorf
2019-08-22 17:14
93K
hausdorf__t6_hausdorf
2019-08-22 17:14
84K
hausdorf__t7_hausdorf
2019-08-22 17:14
173K
hausdorf__t8_hausdorf
2019-08-22 17:14
73K
hausdorf__t9_hausdorf
2019-08-22 17:14
61K
hausdorf__t10_hausdorf
2019-08-22 17:14
41K
hausdorf__t11_hausdorf
2019-08-22 17:14
41K
hausdorf__t12_hausdorf
2019-08-22 17:14
68K
hausdorf__t13_hausdorf
2019-08-22 17:14
90K
hausdorf__t14_hausdorf
2019-08-22 17:14
98K
hausdorf__t15_hausdorf
2019-08-22 17:15
87K
hausdorf__t16_hausdorf
2019-08-22 17:15
75K
hausdorf__t17_hausdorf
2019-08-22 17:15
89K
hausdorf__t18_hausdorf
2019-08-22 17:15
110K
hausdorf__t19_hausdorf
2019-08-22 17:15
70K
hausdorf__t20_hausdorf
2019-08-22 17:15
96K
hausdorf__t21_hausdorf
2019-08-22 17:15
74K
hausdorf__t22_hausdorf
2019-08-22 17:15
73K
hausdorf__t23_hausdorf
2019-08-22 17:15
105K
hausdorf__t24_hausdorf
2019-08-22 17:15
97K
hausdorf__t25_hausdorf
2019-08-22 17:15
97K
hausdorf__t26_hausdorf
2019-08-22 17:16
70K
hausdorf__t27_hausdorf
2019-08-22 17:16
97K
hausdorf__t28_hausdorf
2019-08-22 17:16
48K
hausdorf__t29_hausdorf
2019-08-22 17:16
74K
hausdorf__t30_hausdorf
2019-08-22 17:16
48K
hausdorf__t31_hausdorf
2019-08-22 17:16
91K
hausdorf__t32_hausdorf
2019-08-22 17:16
72K
hausdorf__t33_hausdorf
2019-08-22 17:16
157K
hausdorf__t34_hausdorf
2019-08-22 17:16
153K
hausdorf__t35_hausdorf
2019-08-22 17:16
55K
hausdorf__t36_hausdorf
2019-08-22 17:16
37K
hausdorf__t37_hausdorf
2019-08-22 17:17
172K
hausdorf__t38_hausdorf
2019-08-22 17:17
55K
hausdorf__t39_hausdorf
2019-08-22 17:17
98K
hausdorf__t40_hausdorf
2019-08-22 17:17
84K
hausdorf__t41_hausdorf
2019-08-22 17:17
98K
hausdorf__t42_hausdorf
2019-08-22 17:17
116K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80