Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/catalan2
Name
Last modified
Size
Description
Parent Directory
-
catalan2__l5_catalan2
2016-03-08 13:04
73K
catalan2__l6_catalan2
2016-03-08 13:04
86K
catalan2__l48_catalan2
2016-03-08 13:04
55K
catalan2__l49_catalan2
2016-03-08 13:04
109K
catalan2__t1_catalan2
2016-03-08 13:04
56K
catalan2__t2_catalan2
2016-03-08 13:04
72K
catalan2__t3_catalan2
2016-03-08 13:04
196K
catalan2__t4_catalan2
2016-03-08 13:04
57K
catalan2__t5_catalan2
2016-03-08 13:04
210K
catalan2__t6_catalan2
2016-03-08 13:04
77K
catalan2__t7_catalan2
2016-03-08 13:04
120K
catalan2__t8_catalan2
2016-03-08 13:04
253K
catalan2__t9_catalan2
2016-03-08 13:04
208K
catalan2__t10_catalan2
2016-03-08 13:04
128K
catalan2__t11_catalan2
2016-03-08 13:04
85K
catalan2__t12_catalan2
2016-03-08 13:04
268K
catalan2__t13_catalan2
2016-03-08 13:04
291K
catalan2__t14_catalan2
2017-01-05 20:54
211K
catalan2__t15_catalan2
2017-01-05 20:54
251K
catalan2__t16_catalan2
2017-01-05 20:54
290K
catalan2__t17_catalan2
2017-01-05 20:54
189K
catalan2__t18_catalan2
2017-01-05 20:54
198K
catalan2__t19_catalan2
2017-01-05 20:54
107K
catalan2__t20_catalan2
2016-03-08 13:04
54K
catalan2__t21_catalan2
2016-03-08 13:04
72K
catalan2__t22_catalan2
2016-03-08 13:04
201K
catalan2__t23_catalan2
2016-03-08 13:04
79K
catalan2__t24_catalan2
2016-03-08 13:04
66K
catalan2__t25_catalan2
2016-03-08 13:04
120K
catalan2__t26_catalan2
2016-03-08 13:04
82K
catalan2__t27_catalan2
2017-01-05 20:54
572K
catalan2__t28_catalan2
2016-03-08 13:04
87K
catalan2__t29_catalan2
2016-03-08 13:04
261K
catalan2__t30_catalan2
2016-03-08 13:04
313K
catalan2__t31_catalan2
2016-03-08 13:04
550K
catalan2__t32_catalan2
2016-03-08 13:04
1.0M
catalan2__t33_catalan2
2016-03-08 13:04
97K
catalan2__t34_catalan2
2016-03-08 13:04
99K
catalan2__t35_catalan2
2017-01-05 20:54
131K
catalan2__t36_catalan2
2017-01-05 20:54
304K
catalan2__t37_catalan2
2017-01-05 20:54
286K
catalan2__t38_catalan2
2017-01-05 20:54
106K
catalan2__t39_catalan2
2017-01-05 20:54
269K
catalan2__t40_catalan2
2017-01-05 20:54
205K
catalan2__t41_catalan2
2017-01-05 20:54
189K
catalan2__t42_catalan2
2016-03-08 13:04
435K
catalan2__t43_catalan2
2016-03-08 13:04
59K
catalan2__t44_catalan2
2016-03-08 13:04
83K
catalan2__t45_catalan2
2016-03-08 13:04
109K
catalan2__t46_catalan2
2016-03-08 13:04
117K
catalan2__t47_catalan2
2016-03-08 13:04
86K
catalan2__t48_catalan2
2016-03-08 13:04
216K
catalan2__t49_catalan2
2016-03-08 13:04
131K
catalan2__t50_catalan2
2016-03-08 13:04
83K
catalan2__t51_catalan2
2016-03-08 13:04
119K
catalan2__t52_catalan2
2016-03-08 13:04
76K
catalan2__t53_catalan2
2016-03-08 13:04
321K
catalan2__t54_catalan2
2016-03-08 13:04
701K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80