Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/sin_cos5
Name
Last modified
Size
Description
Parent Directory
-
sin_cos5__l43_sin_cos5
2017-01-13 00:33
40K
sin_cos5__l47_sin_cos5
2017-01-13 00:33
69K
sin_cos5__l48_sin_cos5
2017-01-13 00:33
69K
sin_cos5__l52_sin_cos5
2017-01-13 00:33
83K
sin_cos5__t1_sin_cos5
2017-01-13 00:32
27K
sin_cos5__t2_sin_cos5
2017-01-13 00:32
25K
sin_cos5__t3_sin_cos5
2017-01-13 00:32
37K
sin_cos5__t4_sin_cos5
2017-01-13 00:32
39K
sin_cos5__t5_sin_cos5
2017-01-13 00:32
28K
sin_cos5__t6_sin_cos5
2017-01-13 00:32
72K
sin_cos5__t7_sin_cos5
2017-01-13 00:32
178K
sin_cos5__t8_sin_cos5
2017-01-13 00:32
74K
sin_cos5__t9_sin_cos5
2017-01-13 00:32
56K
sin_cos5__t10_sin_cos5
2017-01-13 00:32
109K
sin_cos5__t11_sin_cos5
2017-01-13 00:32
49K
sin_cos5__t12_sin_cos5
2017-01-13 00:32
19K
sin_cos5__t13_sin_cos5
2017-01-13 00:32
60K
sin_cos5__t14_sin_cos5
2017-01-13 00:32
48K
sin_cos5__t15_sin_cos5
2017-01-13 00:32
62K
sin_cos5__t16_sin_cos5
2017-01-13 00:33
394K
sin_cos5__t17_sin_cos5
2017-01-13 00:33
218K
sin_cos5__t18_sin_cos5
2017-01-13 00:33
220K
sin_cos5__t19_sin_cos5
2017-01-13 00:33
220K
sin_cos5__t20_sin_cos5
2017-01-13 00:33
176K
sin_cos5__t21_sin_cos5
2017-01-13 00:33
109K
sin_cos5__t22_sin_cos5
2017-01-13 00:33
310K
sin_cos5__t23_sin_cos5
2017-01-13 00:33
216K
sin_cos5__t24_sin_cos5
2017-01-13 00:33
853K
sin_cos5__t25_sin_cos5
2017-01-13 00:33
852K
sin_cos5__t26_sin_cos5
2017-01-13 00:33
226K
sin_cos5__t27_sin_cos5
2017-01-13 00:33
139K
sin_cos5__t28_sin_cos5
2017-01-13 00:33
179K
sin_cos5__t29_sin_cos5
2017-01-13 00:33
112K
sin_cos5__t30_sin_cos5
2017-01-13 00:33
228K
sin_cos5__t31_sin_cos5
2017-01-13 00:33
112K
sin_cos5__t32_sin_cos5
2017-01-13 00:33
179K
sin_cos5__t33_sin_cos5
2017-01-13 00:33
228K
sin_cos5__t34_sin_cos5
2017-01-13 00:33
143K
sin_cos5__t35_sin_cos5
2017-01-13 00:33
144K
sin_cos5__t36_sin_cos5
2017-01-13 00:33
70K
sin_cos5__t37_sin_cos5
2017-01-13 00:33
92K
sin_cos5__t38_sin_cos5
2017-01-13 00:33
86K
sin_cos5__t39_sin_cos5
2017-01-13 00:33
85K
sin_cos5__t40_sin_cos5
2017-01-13 00:33
55K
sin_cos5__t41_sin_cos5
2017-01-13 00:33
74K
sin_cos5__t42_sin_cos5
2017-01-13 00:33
130K
sin_cos5__t43_sin_cos5
2017-01-13 00:33
199K
sin_cos5__t44_sin_cos5
2017-01-13 00:33
237K
sin_cos5__t45_sin_cos5
2017-01-13 00:33
155K
sin_cos5__t46_sin_cos5
2017-01-13 00:33
32K
sin_cos5__t47_sin_cos5
2017-01-13 00:33
83K
sin_cos5__t48_sin_cos5
2017-01-13 00:33
153K
sin_cos5__t49_sin_cos5
2017-01-13 00:33
197K
sin_cos5__t50_sin_cos5
2017-01-13 00:33
128K
sin_cos5__t51_sin_cos5
2017-01-13 00:33
196K
sin_cos5__t52_sin_cos5
2017-01-13 00:33
128K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80