Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/group_17
Name
Last modified
Size
Description
Parent Directory
-
group_17__l5_group_17
2025-09-13 19:21
75K
group_17__l9_group_17
2025-09-13 19:23
98K
group_17__l10_group_17
2025-09-13 19:25
90K
group_17__l11_group_17
2025-09-13 19:27
125K
group_17__l20_group_17
2025-09-13 19:29
76K
group_17__l29_group_17
2025-09-13 19:31
81K
group_17__l30_group_17
2025-09-13 19:33
88K
group_17__t1_group_17
2025-09-13 18:02
59K
group_17__t2_group_17
2025-09-13 18:04
98K
group_17__t3_group_17
2025-09-13 18:06
73K
group_17__t4_group_17
2025-09-13 18:08
72K
group_17__t5_group_17
2025-09-13 18:09
75K
group_17__t6_group_17
2025-09-13 18:11
65K
group_17__t7_group_17
2025-09-13 18:13
93K
group_17__t8_group_17
2025-09-13 18:16
135K
group_17__t9_group_17
2025-09-13 18:18
120K
group_17__t10_group_17
2025-09-13 18:20
115K
group_17__t11_group_17
2025-09-13 18:22
76K
group_17__t12_group_17
2025-09-13 18:25
132K
group_17__t13_group_17
2025-09-13 18:26
61K
group_17__t14_group_17
2025-09-13 18:28
80K
group_17__t15_group_17
2025-09-13 18:31
93K
group_17__t16_group_17
2025-09-13 18:33
112K
group_17__t17_group_17
2025-09-13 18:35
107K
group_17__t18_group_17
2025-09-13 18:38
163K
group_17__t19_group_17
2025-09-13 18:40
105K
group_17__t20_group_17
2025-09-13 18:42
107K
group_17__t21_group_17
2025-09-13 18:44
107K
group_17__t22_group_17
2025-09-13 18:47
128K
group_17__t23_group_17
2025-09-13 18:50
139K
group_17__t24_group_17
2025-09-13 18:53
155K
group_17__t25_group_17
2025-09-13 18:55
98K
group_17__t26_group_17
2025-09-13 18:57
121K
group_17__t27_group_17
2025-09-13 19:00
148K
group_17__t28_group_17
2025-09-13 19:02
154K
group_17__t29_group_17
2025-09-13 19:04
90K
group_17__t30_group_17
2025-09-13 19:07
123K
group_17__t31_group_17
2025-09-13 19:09
162K
group_17__t32_group_17
2025-09-13 19:11
92K
group_17__t33_group_17
2025-09-13 19:13
96K
group_17__t34_group_17
2025-09-13 19:17
244K
group_17__t35_group_17
2025-09-13 19:20
114K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80