Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/substut1
Name
Last modified
Size
Description
Parent Directory
-
substut1__l10_substut1
2017-01-13 00:38
112K
substut1__l18_substut1
2017-01-13 00:38
49K
substut1__l26_substut1
2017-01-13 00:38
89K
substut1__l27_substut1
2017-01-13 00:38
78K
substut1__l28_substut1
2017-01-13 00:38
91K
substut1__l70_substut1
2017-01-13 00:38
115K
substut1__l79_substut1
2017-01-13 00:38
93K
substut1__s1_substut1
2017-01-13 00:38
120K
substut1__s2_substut1
2017-01-13 00:38
107K
substut1__s3_substut1
2017-01-13 00:38
89K
substut1__s4_substut1
2017-01-13 00:38
119K
substut1__s5_substut1
2017-01-13 00:38
122K
substut1__t1_substut1
2017-01-13 00:38
73K
substut1__t2_substut1
2017-01-13 00:38
91K
substut1__t3_substut1
2017-01-13 00:38
91K
substut1__t4_substut1
2017-01-13 00:38
91K
substut1__t5_substut1
2017-01-13 00:38
91K
substut1__t6_substut1
2017-01-13 00:38
91K
substut1__t7_substut1
2017-01-13 00:38
106K
substut1__t8_substut1
2017-01-13 00:38
102K
substut1__t9_substut1
2017-01-13 00:38
87K
substut1__t10_substut1
2017-01-13 00:38
74K
substut1__t11_substut1
2017-01-13 00:38
88K
substut1__t12_substut1
2017-01-13 00:38
102K
substut1__t13_substut1
2017-01-13 00:38
72K
substut1__t14_substut1
2017-01-13 00:38
72K
substut1__t15_substut1
2017-01-13 00:38
89K
substut1__t16_substut1
2017-01-13 00:38
88K
substut1__t17_substut1
2017-01-13 00:38
90K
substut1__t18_substut1
2017-01-13 00:38
73K
substut1__t19_substut1
2017-01-13 00:38
73K
substut1__t20_substut1
2017-01-13 00:38
97K
substut1__t21_substut1
2017-01-13 00:38
74K
substut1__t22_substut1
2017-01-13 00:38
97K
substut1__t23_substut1
2017-01-13 00:38
100K
substut1__t24_substut1
2017-01-13 00:38
101K
substut1__t25_substut1
2017-01-13 00:38
120K
substut1__t26_substut1
2017-01-13 00:38
78K
substut1__t27_substut1
2017-01-13 00:38
79K
substut1__t28_substut1
2017-01-13 00:38
113K
substut1__t29_substut1
2017-01-13 00:38
89K
substut1__t30_substut1
2017-01-13 00:38
113K
substut1__t31_substut1
2017-01-13 00:38
89K
substut1__t32_substut1
2017-01-13 00:38
113K
substut1__t33_substut1
2017-01-13 00:38
107K
substut1__t34_substut1
2017-01-13 00:38
76K
substut1__t35_substut1
2017-01-13 00:38
125K
substut1__t36_substut1
2017-01-13 00:38
89K
substut1__t37_substut1
2017-01-13 00:38
88K
substut1__t38_substut1
2017-01-13 00:38
94K
substut1__t39_substut1
2017-01-13 00:38
70K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80