Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls1/integra4
Name
Last modified
Size
Description
Parent Directory
-
integra4__t30_integra4
2017-01-13 17:42
192K
integra4__t29_integra4
2017-01-13 17:42
227K
integra4__t28_integra4
2017-01-13 17:42
405K
integra4__t27_integra4
2017-01-13 17:42
324K
integra4__t26_integra4
2017-01-13 17:42
165K
integra4__t25_integra4
2017-01-13 17:42
163K
integra4__t24_integra4
2017-01-13 17:42
130K
integra4__t23_integra4
2017-01-13 17:42
307K
integra4__t22_integra4
2017-01-13 17:42
145K
integra4__t21_integra4
2017-01-13 17:42
105K
integra4__t20_integra4
2017-01-13 17:42
306K
integra4__t19_integra4
2017-01-13 17:42
91K
integra4__t18_integra4
2017-01-13 17:42
91K
integra4__t17_integra4
2017-01-13 17:42
109K
integra4__t16_integra4
2017-01-13 17:42
119K
integra4__t15_integra4
2017-01-13 17:42
109K
integra4__t14_integra4
2017-01-13 17:42
113K
integra4__t13_integra4
2017-01-13 17:42
102K
integra4__t12_integra4
2017-01-13 17:42
137K
integra4__t11_integra4
2017-01-13 17:42
103K
integra4__t10_integra4
2017-01-13 17:42
147K
integra4__t9_integra4
2017-01-13 17:42
191K
integra4__t8_integra4
2017-01-13 17:42
194K
integra4__t7_integra4
2017-01-13 17:42
163K
integra4__t6_integra4
2017-01-13 17:42
85K
integra4__t5_integra4
2017-01-13 17:42
121K
integra4__t4_integra4
2017-01-13 17:42
130K
integra4__t3_integra4
2017-01-13 17:42
130K
integra4__t2_integra4
2017-01-13 17:42
163K
integra4__t1_integra4
2017-01-13 17:42
159K
integra4__l16_integra4
2017-01-13 17:42
209K
integra4__l15_integra4
2017-01-13 17:42
220K
integra4__l14_integra4
2017-01-13 17:42
167K
integra4__l7_integra4
2017-01-13 17:42
180K
integra4__l6_integra4
2017-01-13 17:42
180K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80