Index of /~mptp/mml5.63.1382/MPTP2/problems/descip_1
Name
Last modified
Size
Description
Parent Directory
-
descip_1__l31_descip_1
2023-06-28 13:33
82K
descip_1__l33_descip_1
2023-06-28 13:34
897K
descip_1__l35_descip_1
2023-06-28 13:14
72K
descip_1__l36_descip_1
2023-06-28 13:36
3.9M
descip_1__l49_descip_1
2023-06-28 13:37
3.9M
descip_1__l50_descip_1
2023-06-28 13:38
3.9M
descip_1__l51_descip_1
2023-06-28 13:39
72K
descip_1__l52_descip_1
2023-06-28 13:39
72K
descip_1__l58_descip_1
2023-06-28 13:39
26K
descip_1__l67_descip_1
2023-06-28 13:40
101K
descip_1__s1_descip_1
2023-06-28 13:14
61K
descip_1__t1_descip_1
2023-06-28 13:15
57K
descip_1__t2_descip_1
2023-06-28 13:15
95K
descip_1__t3_descip_1
2023-06-28 13:12
68K
descip_1__t4_descip_1
2023-06-28 13:16
67K
descip_1__t5_descip_1
2023-06-28 13:16
61K
descip_1__t6_descip_1
2023-06-28 13:17
61K
descip_1__t7_descip_1
2023-06-28 13:17
65K
descip_1__t8_descip_1
2023-06-28 13:18
67K
descip_1__t9_descip_1
2023-06-28 13:18
69K
descip_1__t10_descip_1
2023-06-28 13:19
65K
descip_1__t11_descip_1
2023-06-28 13:19
65K
descip_1__t12_descip_1
2023-06-28 13:20
97K
descip_1__t13_descip_1
2023-06-28 13:21
97K
descip_1__t14_descip_1
2023-06-28 13:21
64K
descip_1__t15_descip_1
2023-06-28 13:22
92K
descip_1__t16_descip_1
2023-06-28 13:22
105K
descip_1__t17_descip_1
2023-06-28 13:23
59K
descip_1__t18_descip_1
2023-06-28 13:23
87K
descip_1__t19_descip_1
2023-06-28 13:24
44K
descip_1__t20_descip_1
2023-06-28 13:24
76K
descip_1__t21_descip_1
2023-06-28 13:25
119K
descip_1__t22_descip_1
2023-06-28 13:26
285K
descip_1__t23_descip_1
2023-06-28 13:27
502K
descip_1__t24_descip_1
2023-06-28 13:28
644K
descip_1__t25_descip_1
2023-06-28 13:29
844K
descip_1__t26_descip_1
2023-06-28 13:29
104K
descip_1__t27_descip_1
2023-06-28 13:30
684K
descip_1__t28_descip_1
2023-06-28 13:13
74K
descip_1__t29_descip_1
2023-06-28 13:31
140K
descip_1__t30_descip_1
2023-06-28 13:32
228K
descip_1__t31_descip_1
2023-06-28 13:33
74K
descip_1__t32_descip_1
2023-06-28 13:13
62K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80