Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/tietze_2
Name
Last modified
Size
Description
Parent Directory
-
tietze_2__l21_tietze_2
2025-09-13 09:06
108K
tietze_2__l24_tietze_2
2025-09-13 09:09
135K
tietze_2__t1_tietze_2
2025-09-13 07:49
99K
tietze_2__t2_tietze_2
2025-09-13 07:52
125K
tietze_2__t3_tietze_2
2025-09-13 07:56
146K
tietze_2__t4_tietze_2
2025-09-13 07:59
135K
tietze_2__t5_tietze_2
2025-09-13 08:02
126K
tietze_2__t6_tietze_2
2025-09-13 08:04
126K
tietze_2__t7_tietze_2
2025-09-13 08:07
117K
tietze_2__t8_tietze_2
2025-09-13 08:10
140K
tietze_2__t9_tietze_2
2025-09-13 08:13
140K
tietze_2__t10_tietze_2
2025-09-13 08:16
307K
tietze_2__t11_tietze_2
2025-09-13 08:19
125K
tietze_2__t12_tietze_2
2025-09-13 08:22
181K
tietze_2__t13_tietze_2
2025-09-13 08:25
139K
tietze_2__t14_tietze_2
2025-09-13 08:27
127K
tietze_2__t15_tietze_2
2025-09-13 08:30
125K
tietze_2__t16_tietze_2
2025-09-13 08:34
275K
tietze_2__t17_tietze_2
2025-09-13 08:37
189K
tietze_2__t18_tietze_2
2025-09-13 08:41
187K
tietze_2__t19_tietze_2
2025-09-13 08:44
202K
tietze_2__t20_tietze_2
2025-09-13 08:47
171K
tietze_2__t21_tietze_2
2025-09-13 08:51
165K
tietze_2__t22_tietze_2
2025-09-13 08:55
218K
tietze_2__t23_tietze_2
2025-09-13 08:58
163K
tietze_2__t24_tietze_2
2025-09-13 09:01
144K
tietze_2__t25_tietze_2
2025-09-13 09:04
204K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80