Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/yellow18
Name
Last modified
Size
Description
Parent Directory
-
yellow18__l25_yellow18
2017-01-13 00:27
45K
yellow18__s1_yellow18
2017-01-13 00:27
81K
yellow18__s2_yellow18
2017-01-13 00:27
62K
yellow18__s3_yellow18
2017-01-13 00:27
64K
yellow18__s4_yellow18
2017-01-13 00:27
53K
yellow18__s5_yellow18
2017-01-13 00:27
71K
yellow18__s6_yellow18
2017-01-13 00:27
55K
yellow18__s7_yellow18
2017-01-13 00:27
92K
yellow18__s8_yellow18
2017-01-13 00:27
126K
yellow18__s9_yellow18
2017-01-13 00:27
131K
yellow18__s10_yellow18
2017-01-13 00:27
122K
yellow18__s11_yellow18
2017-01-13 00:27
72K
yellow18__s12_yellow18
2017-01-13 00:27
121K
yellow18__s13_yellow18
2017-01-13 00:27
71K
yellow18__s14_yellow18
2017-01-13 00:27
84K
yellow18__s15_yellow18
2017-01-13 00:27
88K
yellow18__s16_yellow18
2017-01-13 00:27
93K
yellow18__s17_yellow18
2017-01-13 00:27
88K
yellow18__s18_yellow18
2017-01-13 00:27
82K
yellow18__s19_yellow18
2017-01-13 00:27
54K
yellow18__s20_yellow18
2017-01-13 00:27
65K
yellow18__s21_yellow18
2017-01-13 00:27
55K
yellow18__s22_yellow18
2017-01-13 00:27
123K
yellow18__s23_yellow18
2017-01-13 00:27
48K
yellow18__t1_yellow18
2017-01-13 00:27
97K
yellow18__t2_yellow18
2017-01-13 00:27
102K
yellow18__t3_yellow18
2017-01-13 00:27
72K
yellow18__t4_yellow18
2017-01-13 00:27
97K
yellow18__t5_yellow18
2017-01-13 00:27
83K
yellow18__t6_yellow18
2017-01-13 00:27
62K
yellow18__t7_yellow18
2017-01-13 00:27
63K
yellow18__t8_yellow18
2017-01-13 00:27
33K
yellow18__t9_yellow18
2017-01-13 00:27
72K
yellow18__t10_yellow18
2017-01-13 00:27
41K
yellow18__t11_yellow18
2017-01-13 00:27
72K
yellow18__t12_yellow18
2017-01-13 00:27
69K
yellow18__t13_yellow18
2017-01-13 00:27
71K
yellow18__t14_yellow18
2017-01-13 00:27
102K
yellow18__t15_yellow18
2017-01-13 00:27
95K
yellow18__t16_yellow18
2017-01-13 00:27
64K
yellow18__t17_yellow18
2017-01-13 00:27
88K
yellow18__t18_yellow18
2017-01-13 00:27
24K
yellow18__t19_yellow18
2017-01-13 00:27
24K
yellow18__t20_yellow18
2017-01-13 00:27
40K
yellow18__t21_yellow18
2017-01-13 00:27
40K
yellow18__t22_yellow18
2017-01-13 00:27
49K
yellow18__t23_yellow18
2017-01-13 00:27
46K
yellow18__t24_yellow18
2017-01-13 00:27
145K
yellow18__t25_yellow18
2017-01-13 00:27
103K
yellow18__t26_yellow18
2017-01-13 00:27
48K
yellow18__t27_yellow18
2017-01-13 00:27
45K
yellow18__t28_yellow18
2017-01-13 00:27
47K
yellow18__t29_yellow18
2017-01-13 00:27
44K
yellow18__t30_yellow18
2017-01-13 00:27
23K
yellow18__t31_yellow18
2017-01-13 00:27
84K
yellow18__t32_yellow18
2017-01-13 00:27
70K
yellow18__t33_yellow18
2017-01-13 00:27
60K
yellow18__t34_yellow18
2017-01-13 00:27
57K
yellow18__t35_yellow18
2017-01-13 00:27
60K
yellow18__t36_yellow18
2017-01-13 00:27
42K
yellow18__t37_yellow18
2017-01-13 00:27
72K
yellow18__t38_yellow18
2017-01-13 00:27
79K
yellow18__t39_yellow18
2017-01-13 00:27
76K
yellow18__t40_yellow18
2017-01-13 00:27
47K
yellow18__t41_yellow18
2017-01-13 00:27
79K
yellow18__t42_yellow18
2017-01-13 00:27
78K
yellow18__t43_yellow18
2017-01-13 00:27
77K
yellow18__t44_yellow18
2017-01-13 00:27
81K
yellow18__t45_yellow18
2017-01-13 00:27
81K
yellow18__t46_yellow18
2017-01-13 00:27
76K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80