Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/compos_1
Name
Last modified
Size
Description
Parent Directory
-
compos_1__l19_compos_1
2016-03-08 13:05
103K
compos_1__l20_compos_1
2016-03-08 13:05
116K
compos_1__l21_compos_1
2016-03-08 13:05
104K
compos_1__l24_compos_1
2016-03-08 13:05
68K
compos_1__l25_compos_1
2016-03-08 13:05
97K
compos_1__t2_compos_1
2016-03-08 13:05
81K
compos_1__t3_compos_1
2016-03-08 13:05
105K
compos_1__t4_compos_1
2016-03-08 13:05
106K
compos_1__t5_compos_1
2016-03-08 13:05
93K
compos_1__t6_compos_1
2017-01-05 20:54
101K
compos_1__t8_compos_1
2016-03-08 13:05
127K
compos_1__t9_compos_1
2016-03-08 13:05
103K
compos_1__t16_compos_1
2016-03-08 13:05
72K
compos_1__t17_compos_1
2016-03-08 13:05
82K
compos_1__t18_compos_1
2017-01-05 20:54
147K
compos_1__t19_compos_1
2016-03-08 13:05
113K
compos_1__t20_compos_1
2016-03-08 13:05
150K
compos_1__t21_compos_1
2016-03-08 13:05
169K
compos_1__t22_compos_1
2017-01-05 20:54
251K
compos_1__t23_compos_1
2017-01-05 20:54
131K
compos_1__t24_compos_1
2016-03-08 13:05
144K
compos_1__t25_compos_1
2016-03-08 13:05
103K
compos_1__t26_compos_1
2017-01-05 20:54
124K
compos_1__t27_compos_1
2016-03-08 13:05
139K
compos_1__t28_compos_1
2016-03-08 13:05
140K
compos_1__t29_compos_1
2017-01-05 20:54
536K
compos_1__t31_compos_1
2016-03-08 13:05
71K
compos_1__t32_compos_1
2017-01-05 20:54
86K
compos_1__t33_compos_1
2017-01-05 20:54
85K
compos_1__t34_compos_1
2017-01-05 20:54
106K
compos_1__t35_compos_1
2017-01-05 20:54
86K
compos_1__t36_compos_1
2016-03-08 13:05
128K
compos_1__t41_compos_1
2016-03-08 13:05
92K
compos_1__t42_compos_1
2016-03-08 13:05
83K
compos_1__t43_compos_1
2016-03-08 13:05
79K
compos_1__t44_compos_1
2017-01-05 20:54
98K
compos_1__t45_compos_1
2016-03-08 13:05
75K
compos_1__t46_compos_1
2017-01-05 20:54
90K
compos_1__t47_compos_1
2016-03-08 13:05
145K
compos_1__t48_compos_1
2017-01-05 20:54
105K
compos_1__t49_compos_1
2017-01-05 20:54
97K
compos_1__t50_compos_1
2016-03-08 13:05
97K
compos_1__t51_compos_1
2017-01-05 20:54
142K
compos_1__t52_compos_1
2016-03-08 13:05
100K
compos_1__t53_compos_1
2016-03-08 13:05
97K
compos_1__t54_compos_1
2016-03-08 13:05
98K
compos_1__t55_compos_1
2016-03-08 13:05
119K
compos_1__t56_compos_1
2016-03-08 13:05
125K
compos_1__t57_compos_1
2016-03-08 13:05
137K
compos_1__t58_compos_1
2016-03-08 13:05
121K
compos_1__t59_compos_1
2016-03-08 13:05
123K
compos_1__t60_compos_1
2016-03-08 13:05
156K
compos_1__t61_compos_1
2016-03-08 13:05
112K
compos_1__t62_compos_1
2016-03-08 13:05
109K
compos_1__t63_compos_1
2016-03-08 13:05
119K
compos_1__t64_compos_1
2016-03-08 13:05
132K
compos_1__t65_compos_1
2017-01-05 20:54
123K
compos_1__t66_compos_1
2016-03-08 13:05
122K
compos_1__t67_compos_1
2016-03-08 13:05
123K
compos_1__t68_compos_1
2016-03-08 13:05
122K
compos_1__t69_compos_1
2016-03-08 13:05
122K
compos_1__t70_compos_1
2016-03-08 13:05
84K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80