Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/algspec1
Name
Last modified
Size
Description
Parent Directory
-
algspec1__t1_algspec1
2017-01-13 00:44
30K
algspec1__t2_algspec1
2017-01-13 00:44
29K
algspec1__t3_algspec1
2017-01-13 00:44
35K
algspec1__t4_algspec1
2017-01-13 00:44
26K
algspec1__t5_algspec1
2017-01-13 00:44
60K
algspec1__t6_algspec1
2017-01-13 00:44
60K
algspec1__t7_algspec1
2017-01-13 00:44
26K
algspec1__t8_algspec1
2017-01-13 00:44
54K
algspec1__t9_algspec1
2017-01-13 00:44
53K
algspec1__t10_algspec1
2017-01-13 00:44
21K
algspec1__t11_algspec1
2017-01-13 00:44
56K
algspec1__t12_algspec1
2017-01-13 00:44
25K
algspec1__t13_algspec1
2017-01-13 00:44
22K
algspec1__t14_algspec1
2017-01-13 00:44
49K
algspec1__t15_algspec1
2017-01-13 00:44
20K
algspec1__t16_algspec1
2017-01-13 00:44
47K
algspec1__t17_algspec1
2017-01-13 00:44
21K
algspec1__t18_algspec1
2017-01-13 00:44
29K
algspec1__t19_algspec1
2017-01-13 00:44
21K
algspec1__t20_algspec1
2017-01-13 00:44
23K
algspec1__t21_algspec1
2017-01-13 00:44
65K
algspec1__t22_algspec1
2017-01-13 00:44
73K
algspec1__t23_algspec1
2017-01-13 00:44
15K
algspec1__t24_algspec1
2017-01-13 00:44
47K
algspec1__t25_algspec1
2017-01-13 00:44
48K
algspec1__t26_algspec1
2017-01-13 00:44
49K
algspec1__t27_algspec1
2017-01-13 00:44
61K
algspec1__t28_algspec1
2017-01-13 00:44
7.1K
algspec1__t29_algspec1
2017-01-13 00:44
83K
algspec1__t30_algspec1
2017-01-13 00:44
83K
algspec1__t31_algspec1
2017-01-13 00:44
84K
algspec1__t32_algspec1
2017-01-13 00:44
76K
algspec1__t33_algspec1
2017-01-13 00:44
82K
algspec1__t34_algspec1
2017-01-13 00:44
32K
algspec1__t35_algspec1
2017-01-13 00:44
72K
algspec1__t36_algspec1
2017-01-13 00:44
72K
algspec1__t37_algspec1
2017-01-13 00:44
91K
algspec1__t38_algspec1
2017-01-13 00:44
89K
algspec1__t39_algspec1
2017-01-13 00:44
101K
algspec1__t40_algspec1
2017-01-13 00:44
72K
algspec1__t41_algspec1
2017-01-13 00:44
71K
algspec1__t42_algspec1
2017-01-13 00:44
66K
algspec1__t43_algspec1
2017-01-13 00:44
76K
algspec1__t44_algspec1
2017-01-13 00:44
76K
algspec1__t45_algspec1
2017-01-13 00:44
3.9K
algspec1__t46_algspec1
2017-01-13 00:44
4.2K
algspec1__t47_algspec1
2017-01-13 00:44
99K
algspec1__t48_algspec1
2017-01-13 00:44
97K
algspec1__t49_algspec1
2017-01-13 00:44
90K
algspec1__t50_algspec1
2017-01-13 00:44
75K
algspec1__t51_algspec1
2017-01-13 00:44
49K
algspec1__t52_algspec1
2017-01-13 00:44
75K
algspec1__t53_algspec1
2017-01-13 00:44
82K
algspec1__t54_algspec1
2017-01-13 00:44
118K
algspec1__t55_algspec1
2017-01-13 00:44
30K
algspec1__t56_algspec1
2017-01-13 00:44
29K
algspec1__t57_algspec1
2017-01-13 00:44
64K
algspec1__t58_algspec1
2017-01-13 00:44
83K
algspec1__t59_algspec1
2017-01-13 00:44
97K
algspec1__t60_algspec1
2017-01-13 00:44
58K
algspec1__t61_algspec1
2017-01-13 00:44
41K
algspec1__t62_algspec1
2017-01-13 00:44
93K
algspec1__t63_algspec1
2017-01-13 00:44
60K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80