Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/exchsort
Name
Last modified
Size
Description
Parent Directory
-
exchsort__l84_exchsort
2017-01-13 17:49
166K
exchsort__s1_exchsort
2017-01-13 17:48
117K
exchsort__s2_exchsort
2017-01-13 17:48
143K
exchsort__t1_exchsort
2017-01-13 17:48
80K
exchsort__t2_exchsort
2017-01-13 17:48
71K
exchsort__t3_exchsort
2017-01-13 17:48
86K
exchsort__t4_exchsort
2017-01-13 17:48
87K
exchsort__t5_exchsort
2017-01-13 17:48
88K
exchsort__t6_exchsort
2017-01-13 17:48
83K
exchsort__t7_exchsort
2017-01-13 17:48
94K
exchsort__t8_exchsort
2017-01-13 17:48
80K
exchsort__t9_exchsort
2017-01-13 17:48
81K
exchsort__t10_exchsort
2017-01-13 17:48
83K
exchsort__t11_exchsort
2017-01-13 17:48
84K
exchsort__t12_exchsort
2017-01-13 17:48
77K
exchsort__t13_exchsort
2017-01-13 17:48
2.5K
exchsort__t14_exchsort
2017-01-13 17:48
75K
exchsort__t15_exchsort
2017-01-13 17:48
78K
exchsort__t16_exchsort
2017-01-13 17:48
78K
exchsort__t17_exchsort
2017-01-13 17:48
3.0K
exchsort__t18_exchsort
2017-01-13 17:48
75K
exchsort__t19_exchsort
2017-01-13 17:48
76K
exchsort__t20_exchsort
2017-01-13 17:48
79K
exchsort__t21_exchsort
2017-01-13 17:48
3.5K
exchsort__t22_exchsort
2017-01-13 17:48
88K
exchsort__t23_exchsort
2017-01-13 17:48
87K
exchsort__t24_exchsort
2017-01-13 17:48
84K
exchsort__t25_exchsort
2017-01-13 17:48
116K
exchsort__t26_exchsort
2017-01-13 17:48
119K
exchsort__t27_exchsort
2017-01-13 17:48
110K
exchsort__t28_exchsort
2017-01-13 17:48
106K
exchsort__t29_exchsort
2017-01-13 17:48
88K
exchsort__t30_exchsort
2017-01-13 17:48
85K
exchsort__t31_exchsort
2017-01-13 17:48
87K
exchsort__t32_exchsort
2017-01-13 17:48
85K
exchsort__t33_exchsort
2017-01-13 17:48
87K
exchsort__t34_exchsort
2017-01-13 17:48
85K
exchsort__t35_exchsort
2017-01-13 17:48
85K
exchsort__t36_exchsort
2017-01-13 17:48
86K
exchsort__t37_exchsort
2017-01-13 17:48
121K
exchsort__t38_exchsort
2017-01-13 17:48
122K
exchsort__t39_exchsort
2017-01-13 17:48
134K
exchsort__t40_exchsort
2017-01-13 17:48
121K
exchsort__t41_exchsort
2017-01-13 17:48
115K
exchsort__t42_exchsort
2017-01-13 17:48
138K
exchsort__t43_exchsort
2017-01-13 17:48
129K
exchsort__t44_exchsort
2017-01-13 17:48
88K
exchsort__t45_exchsort
2017-01-13 17:48
89K
exchsort__t46_exchsort
2017-01-13 17:48
113K
exchsort__t47_exchsort
2017-01-13 17:49
130K
exchsort__t48_exchsort
2017-01-13 17:49
114K
exchsort__t49_exchsort
2017-01-13 17:49
113K
exchsort__t50_exchsort
2017-01-13 17:49
114K
exchsort__t51_exchsort
2017-01-13 17:49
120K
exchsort__t52_exchsort
2017-01-13 17:49
118K
exchsort__t53_exchsort
2017-01-13 17:49
119K
exchsort__t54_exchsort
2017-01-13 17:49
119K
exchsort__t55_exchsort
2017-01-13 17:49
119K
exchsort__t56_exchsort
2017-01-13 17:49
119K
exchsort__t57_exchsort
2017-01-13 17:49
118K
exchsort__t58_exchsort
2017-01-13 17:49
121K
exchsort__t59_exchsort
2017-01-13 17:49
93K
exchsort__t60_exchsort
2017-01-13 17:49
109K
exchsort__t61_exchsort
2017-01-13 17:49
168K
exchsort__t62_exchsort
2017-01-13 17:49
157K
exchsort__t63_exchsort
2017-01-13 17:49
159K
exchsort__t64_exchsort
2017-01-13 17:49
164K
exchsort__t65_exchsort
2017-01-13 17:49
164K
exchsort__t66_exchsort
2017-01-13 17:49
156K
exchsort__t67_exchsort
2017-01-13 17:49
161K
exchsort__t68_exchsort
2017-01-13 17:49
163K
exchsort__t69_exchsort
2017-01-13 17:49
156K
exchsort__t70_exchsort
2017-01-13 17:49
163K
exchsort__t71_exchsort
2017-01-13 17:49
179K
exchsort__t72_exchsort
2017-01-13 17:49
187K
exchsort__t73_exchsort
2017-01-13 17:49
194K
exchsort__t74_exchsort
2017-01-13 17:49
124K
exchsort__t75_exchsort
2017-01-13 17:49
131K
exchsort__t76_exchsort
2017-01-13 17:49
135K
exchsort__t77_exchsort
2017-01-13 17:49
133K
exchsort__t78_exchsort
2017-01-13 17:49
152K
exchsort__t79_exchsort
2017-01-13 17:49
99K
exchsort__t80_exchsort
2017-01-13 17:49
100K
exchsort__t81_exchsort
2017-01-13 17:49
111K
exchsort__t82_exchsort
2017-01-13 17:49
86K
exchsort__t83_exchsort
2017-01-13 17:49
97K
exchsort__t84_exchsort
2017-01-13 17:49
87K
exchsort__t85_exchsort
2017-01-13 17:49
172K
exchsort__t86_exchsort
2017-01-13 17:49
108K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80