Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/yellow20
Name
Last modified
Size
Description
Parent Directory
-
yellow20__s1_yellow20
2017-01-13 00:35
64K
yellow20__s2_yellow20
2017-01-13 00:35
62K
yellow20__s3_yellow20
2017-01-13 00:35
49K
yellow20__t1_yellow20
2017-01-13 00:35
77K
yellow20__t2_yellow20
2017-01-13 00:35
83K
yellow20__t3_yellow20
2017-01-13 00:35
89K
yellow20__t4_yellow20
2017-01-13 00:35
68K
yellow20__t5_yellow20
2017-01-13 00:35
68K
yellow20__t6_yellow20
2017-01-13 00:35
84K
yellow20__t7_yellow20
2017-01-13 00:35
94K
yellow20__t8_yellow20
2017-01-13 00:35
84K
yellow20__t9_yellow20
2017-01-13 00:35
94K
yellow20__t10_yellow20
2017-01-13 00:35
33K
yellow20__t11_yellow20
2017-01-13 00:35
66K
yellow20__t12_yellow20
2017-01-13 00:35
56K
yellow20__t13_yellow20
2017-01-13 00:35
32K
yellow20__t14_yellow20
2017-01-13 00:35
29K
yellow20__t15_yellow20
2017-01-13 00:35
31K
yellow20__t16_yellow20
2017-01-13 00:35
45K
yellow20__t17_yellow20
2017-01-13 00:35
45K
yellow20__t18_yellow20
2017-01-13 00:35
47K
yellow20__t19_yellow20
2017-01-13 00:35
15K
yellow20__t20_yellow20
2017-01-13 00:35
43K
yellow20__t21_yellow20
2017-01-13 00:35
50K
yellow20__t22_yellow20
2017-01-13 00:35
60K
yellow20__t23_yellow20
2017-01-13 00:35
34K
yellow20__t24_yellow20
2017-01-13 00:35
41K
yellow20__t25_yellow20
2017-01-13 00:35
50K
yellow20__t26_yellow20
2017-01-13 00:35
61K
yellow20__t27_yellow20
2017-01-13 00:35
80K
yellow20__t28_yellow20
2017-01-13 00:35
79K
yellow20__t29_yellow20
2017-01-13 00:35
86K
yellow20__t30_yellow20
2017-01-13 00:35
96K
yellow20__t31_yellow20
2017-01-13 00:35
49K
yellow20__t32_yellow20
2017-01-13 00:35
65K
yellow20__t33_yellow20
2017-01-13 00:35
93K
yellow20__t34_yellow20
2017-01-13 00:35
57K
yellow20__t35_yellow20
2017-01-13 00:35
65K
yellow20__t36_yellow20
2017-01-13 00:35
98K
yellow20__t37_yellow20
2017-01-13 00:35
71K
yellow20__t38_yellow20
2017-01-13 00:35
70K
yellow20__t39_yellow20
2017-01-13 00:35
95K
yellow20__t40_yellow20
2017-01-13 00:35
94K
yellow20__t41_yellow20
2017-01-13 00:35
75K
yellow20__t42_yellow20
2017-01-13 00:35
75K
yellow20__t43_yellow20
2017-01-13 00:35
80K
yellow20__t44_yellow20
2017-01-13 00:35
24K
yellow20__t45_yellow20
2017-01-13 00:35
27K
yellow20__t46_yellow20
2017-01-13 00:35
42K
yellow20__t47_yellow20
2017-01-13 00:35
67K
yellow20__t48_yellow20
2017-01-13 00:35
72K
yellow20__t49_yellow20
2017-01-13 00:35
94K
yellow20__t50_yellow20
2017-01-13 00:35
94K
yellow20__t51_yellow20
2017-01-13 00:35
93K
yellow20__t52_yellow20
2017-01-13 00:35
91K
yellow20__t53_yellow20
2017-01-13 00:35
108K
yellow20__t54_yellow20
2017-01-13 00:35
109K
yellow20__t55_yellow20
2017-01-13 00:35
109K
yellow20__t56_yellow20
2017-01-13 00:35
127K
yellow20__t57_yellow20
2017-01-13 00:35
136K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80