Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/compos_1
Name
Last modified
Size
Description
Parent Directory
-
compos_1__t29_compos_1
2017-01-13 00:47
650K
compos_1__t22_compos_1
2017-01-13 00:47
350K
compos_1__t21_compos_1
2017-01-13 00:47
262K
compos_1__t20_compos_1
2017-01-13 00:47
240K
compos_1__t60_compos_1
2017-01-13 00:47
237K
compos_1__t47_compos_1
2017-01-13 00:47
236K
compos_1__t24_compos_1
2017-01-13 00:47
236K
compos_1__t18_compos_1
2017-01-13 00:47
232K
compos_1__t51_compos_1
2017-01-13 00:47
231K
compos_1__t28_compos_1
2017-01-13 00:47
230K
compos_1__t27_compos_1
2017-01-13 00:47
229K
compos_1__t23_compos_1
2017-01-13 00:47
217K
compos_1__t57_compos_1
2017-01-13 00:47
213K
compos_1__t64_compos_1
2017-01-13 00:47
213K
compos_1__t36_compos_1
2017-01-13 00:47
206K
compos_1__t8_compos_1
2017-01-13 00:47
203K
compos_1__t56_compos_1
2017-01-13 00:47
202K
compos_1__t69_compos_1
2017-01-13 00:47
201K
compos_1__t65_compos_1
2017-01-13 00:47
201K
compos_1__t59_compos_1
2017-01-13 00:47
200K
compos_1__t66_compos_1
2017-01-13 00:47
200K
compos_1__t67_compos_1
2017-01-13 00:47
200K
compos_1__t68_compos_1
2017-01-13 00:47
200K
compos_1__t26_compos_1
2017-01-13 00:47
198K
compos_1__t58_compos_1
2017-01-13 00:47
197K
compos_1__t63_compos_1
2017-01-13 00:47
194K
compos_1__t55_compos_1
2017-01-13 00:47
194K
compos_1__l20_compos_1
2017-01-13 00:47
186K
compos_1__t19_compos_1
2017-01-13 00:47
184K
compos_1__t61_compos_1
2017-01-13 00:47
182K
compos_1__t62_compos_1
2017-01-13 00:47
179K
compos_1__t4_compos_1
2017-01-13 00:47
172K
compos_1__t3_compos_1
2017-01-13 00:47
170K
compos_1__l21_compos_1
2017-01-13 00:47
169K
compos_1__t48_compos_1
2017-01-13 00:47
169K
compos_1__t34_compos_1
2017-01-13 00:47
168K
compos_1__t9_compos_1
2017-01-13 00:47
168K
compos_1__t25_compos_1
2017-01-13 00:47
168K
compos_1__l19_compos_1
2017-01-13 00:47
167K
compos_1__t52_compos_1
2017-01-13 00:47
165K
compos_1__t6_compos_1
2017-01-13 00:47
164K
compos_1__t44_compos_1
2017-01-13 00:47
162K
compos_1__t54_compos_1
2017-01-13 00:47
161K
compos_1__t50_compos_1
2017-01-13 00:47
159K
compos_1__t53_compos_1
2017-01-13 00:47
159K
compos_1__t49_compos_1
2017-01-13 00:47
159K
compos_1__t41_compos_1
2017-01-13 00:47
155K
compos_1__t5_compos_1
2017-01-13 00:47
152K
compos_1__t46_compos_1
2017-01-13 00:47
149K
compos_1__l25_compos_1
2017-01-13 00:47
148K
compos_1__t35_compos_1
2017-01-13 00:47
145K
compos_1__t32_compos_1
2017-01-13 00:47
145K
compos_1__t33_compos_1
2017-01-13 00:47
143K
compos_1__t42_compos_1
2017-01-13 00:47
142K
compos_1__t17_compos_1
2017-01-13 00:47
139K
compos_1__t70_compos_1
2017-01-13 00:47
139K
compos_1__t43_compos_1
2017-01-13 00:47
134K
compos_1__t2_compos_1
2017-01-13 00:47
133K
compos_1__t45_compos_1
2017-01-13 00:47
128K
compos_1__t16_compos_1
2017-01-13 00:47
122K
compos_1__t31_compos_1
2017-01-13 00:47
120K
compos_1__l24_compos_1
2017-01-13 00:47
115K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80