Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/topdim_1
Name
Last modified
Size
Description
Parent Directory
-
topdim_1__l8_topdim_1
2025-09-13 14:10
96K
topdim_1__l10_topdim_1
2025-09-13 14:12
79K
topdim_1__l14_topdim_1
2025-09-13 14:13
44K
topdim_1__l22_topdim_1
2025-09-13 14:14
38K
topdim_1__l28_topdim_1
2025-09-13 14:16
78K
topdim_1__l29_topdim_1
2025-09-13 14:18
168K
topdim_1__l30_topdim_1
2025-09-13 14:19
63K
topdim_1__l37_topdim_1
2025-09-13 14:22
128K
topdim_1__l38_topdim_1
2025-09-13 14:23
61K
topdim_1__t1_topdim_1
2025-09-13 13:12
59K
topdim_1__t2_topdim_1
2025-09-13 13:13
36K
topdim_1__t3_topdim_1
2025-09-13 13:15
76K
topdim_1__t4_topdim_1
2025-09-13 13:05
27K
topdim_1__t5_topdim_1
2025-09-13 13:17
51K
topdim_1__t6_topdim_1
2025-09-13 13:18
84K
topdim_1__t7_topdim_1
2025-09-13 13:20
54K
topdim_1__t8_topdim_1
2025-09-13 13:21
50K
topdim_1__t9_topdim_1
2025-09-13 13:23
91K
topdim_1__t10_topdim_1
2025-09-13 13:25
82K
topdim_1__t11_topdim_1
2025-09-13 13:26
75K
topdim_1__t12_topdim_1
2025-09-13 13:27
35K
topdim_1__t13_topdim_1
2025-09-13 13:06
35K
topdim_1__t14_topdim_1
2025-09-13 13:29
80K
topdim_1__t15_topdim_1
2025-09-13 13:31
88K
topdim_1__t16_topdim_1
2025-09-13 13:32
81K
topdim_1__t17_topdim_1
2025-09-13 13:08
51K
topdim_1__t18_topdim_1
2025-09-13 13:34
60K
topdim_1__t19_topdim_1
2025-09-13 13:35
55K
topdim_1__t20_topdim_1
2025-09-13 13:09
33K
topdim_1__t21_topdim_1
2025-09-13 13:37
52K
topdim_1__t22_topdim_1
2025-09-13 13:38
52K
topdim_1__t23_topdim_1
2025-09-13 13:40
71K
topdim_1__t24_topdim_1
2025-09-13 13:10
31K
topdim_1__t25_topdim_1
2025-09-13 13:11
31K
topdim_1__t26_topdim_1
2025-09-13 13:41
53K
topdim_1__t27_topdim_1
2025-09-13 13:43
53K
topdim_1__t28_topdim_1
2025-09-13 13:44
52K
topdim_1__t29_topdim_1
2025-09-13 13:46
56K
topdim_1__t30_topdim_1
2025-09-13 13:47
56K
topdim_1__t31_topdim_1
2025-09-13 13:49
81K
topdim_1__t32_topdim_1
2025-09-13 13:51
75K
topdim_1__t33_topdim_1
2025-09-13 13:53
45K
topdim_1__t34_topdim_1
2025-09-13 13:55
97K
topdim_1__t35_topdim_1
2025-09-13 13:57
54K
topdim_1__t36_topdim_1
2025-09-13 14:00
141K
topdim_1__t37_topdim_1
2025-09-13 14:02
67K
topdim_1__t38_topdim_1
2025-09-13 14:04
90K
topdim_1__t39_topdim_1
2025-09-13 14:06
77K
topdim_1__t40_topdim_1
2025-09-13 14:08
104K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80