Index of /~mptp/1147/MPTP2/problems_thf_tls/substut1
Name
Last modified
Size
Description
Parent Directory
-
substut1__l10_substut1
2017-01-12 22:17
76K
substut1__l18_substut1
2017-01-12 22:17
32K
substut1__l26_substut1
2017-01-12 22:17
59K
substut1__l27_substut1
2017-01-12 22:17
51K
substut1__l28_substut1
2017-01-12 22:17
60K
substut1__l70_substut1
2017-01-12 22:17
77K
substut1__l79_substut1
2017-01-12 22:17
61K
substut1__s1_substut1
2017-01-12 22:16
82K
substut1__s2_substut1
2017-01-12 22:16
71K
substut1__s3_substut1
2017-01-12 22:16
60K
substut1__s4_substut1
2017-01-12 22:16
81K
substut1__s5_substut1
2017-01-12 22:16
82K
substut1__t1_substut1
2017-01-12 22:16
48K
substut1__t2_substut1
2017-01-12 22:16
60K
substut1__t3_substut1
2017-01-12 22:16
60K
substut1__t4_substut1
2017-01-12 22:16
60K
substut1__t5_substut1
2017-01-12 22:16
60K
substut1__t6_substut1
2017-01-12 22:16
60K
substut1__t7_substut1
2017-01-12 22:16
71K
substut1__t8_substut1
2017-01-12 22:16
69K
substut1__t9_substut1
2017-01-12 22:16
57K
substut1__t10_substut1
2017-01-12 22:16
49K
substut1__t11_substut1
2017-01-12 22:16
58K
substut1__t12_substut1
2017-01-12 22:16
68K
substut1__t13_substut1
2017-01-12 22:16
47K
substut1__t14_substut1
2017-01-12 22:16
47K
substut1__t15_substut1
2017-01-12 22:16
58K
substut1__t16_substut1
2017-01-12 22:16
58K
substut1__t17_substut1
2017-01-12 22:16
59K
substut1__t18_substut1
2017-01-12 22:16
48K
substut1__t19_substut1
2017-01-12 22:16
48K
substut1__t20_substut1
2017-01-12 22:16
65K
substut1__t21_substut1
2017-01-12 22:16
48K
substut1__t22_substut1
2017-01-12 22:16
64K
substut1__t23_substut1
2017-01-12 22:16
66K
substut1__t24_substut1
2017-01-12 22:16
67K
substut1__t25_substut1
2017-01-12 22:16
80K
substut1__t26_substut1
2017-01-12 22:16
51K
substut1__t27_substut1
2017-01-12 22:16
52K
substut1__t28_substut1
2017-01-12 22:17
77K
substut1__t29_substut1
2017-01-12 22:17
59K
substut1__t30_substut1
2017-01-12 22:17
77K
substut1__t31_substut1
2017-01-12 22:17
58K
substut1__t32_substut1
2017-01-12 22:17
77K
substut1__t33_substut1
2017-01-12 22:17
72K
substut1__t34_substut1
2017-01-12 22:17
49K
substut1__t35_substut1
2017-01-12 22:17
84K
substut1__t36_substut1
2017-01-12 22:17
59K
substut1__t37_substut1
2017-01-12 22:17
58K
substut1__t38_substut1
2017-01-12 22:17
62K
substut1__t39_substut1
2017-01-12 22:16
46K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80