Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/descip_1
Name
Last modified
Size
Description
Parent Directory
-
descip_1__l30_descip_1
2016-03-08 13:05
2.1M
descip_1__l29_descip_1
2016-03-08 13:05
1.7M
descip_1__l28_descip_1
2016-03-08 13:05
1.3M
descip_1__t17_descip_1
2017-01-05 20:54
1.1M
descip_1__l55_descip_1
2017-01-05 20:54
849K
descip_1__l50_descip_1
2017-01-05 20:54
803K
descip_1__t23_descip_1
2017-01-05 20:54
785K
descip_1__l27_descip_1
2016-03-08 13:05
765K
descip_1__t35_descip_1
2017-01-05 20:54
672K
descip_1__l72_descip_1
2017-01-05 20:54
634K
descip_1__l71_descip_1
2017-01-05 20:54
634K
descip_1__t22_descip_1
2017-01-05 20:54
632K
descip_1__l48_descip_1
2017-01-05 20:54
618K
descip_1__t27_descip_1
2017-01-05 20:54
602K
descip_1__l26_descip_1
2016-03-08 13:05
505K
descip_1__t21_descip_1
2017-01-05 20:54
496K
descip_1__l46_descip_1
2017-01-05 20:54
486K
descip_1__l25_descip_1
2016-03-08 13:05
309K
descip_1__l44_descip_1
2017-01-05 20:54
286K
descip_1__t20_descip_1
2017-01-05 20:54
268K
descip_1__t33_descip_1
2016-03-08 13:05
235K
descip_1__t38_descip_1
2017-01-05 20:54
231K
descip_1__t32_descip_1
2016-03-08 13:05
213K
descip_1__t31_descip_1
2016-03-08 13:05
187K
descip_1__l82_descip_1
2017-01-05 20:54
160K
descip_1__t37_descip_1
2017-01-05 20:54
150K
descip_1__l42_descip_1
2017-01-05 20:54
133K
descip_1__l24_descip_1
2016-03-08 13:05
131K
descip_1__t30_descip_1
2016-03-08 13:05
130K
descip_1__t19_descip_1
2017-01-05 20:54
113K
descip_1__t16_descip_1
2017-01-05 20:54
113K
descip_1__l90_descip_1
2017-01-05 20:54
112K
descip_1__t24_descip_1
2017-01-05 20:54
107K
descip_1__t13_descip_1
2017-01-05 20:54
104K
descip_1__t12_descip_1
2017-01-05 20:54
104K
descip_1__t34_descip_1
2017-01-05 20:54
104K
descip_1__t15_descip_1
2017-01-05 20:54
102K
descip_1__t2_descip_1
2017-01-05 20:54
102K
descip_1__t18_descip_1
2017-01-05 20:54
98K
descip_1__l58_descip_1
2016-03-08 13:05
89K
descip_1__l40_descip_1
2017-01-05 20:54
87K
descip_1__l57_descip_1
2016-03-08 13:05
85K
descip_1__l74_descip_1
2017-01-05 20:54
84K
descip_1__l73_descip_1
2017-01-05 20:54
84K
descip_1__l53_descip_1
2017-01-05 20:54
84K
descip_1__t26_descip_1
2017-01-05 20:54
83K
descip_1__t36_descip_1
2017-01-05 20:54
81K
descip_1__t29_descip_1
2016-03-08 13:05
81K
descip_1__t3_descip_1
2017-01-05 20:54
79K
descip_1__t39_descip_1
2017-01-05 20:54
78K
descip_1__t8_descip_1
2017-01-05 20:54
78K
descip_1__t9_descip_1
2017-01-05 20:54
78K
descip_1__t4_descip_1
2016-03-08 13:05
75K
descip_1__t7_descip_1
2017-01-05 20:54
75K
descip_1__t28_descip_1
2016-03-08 13:05
74K
descip_1__t10_descip_1
2017-01-05 20:54
73K
descip_1__t11_descip_1
2017-01-05 20:54
73K
descip_1__l23_descip_1
2016-03-08 13:05
72K
descip_1__t14_descip_1
2017-01-05 20:54
71K
descip_1__t5_descip_1
2017-01-05 20:54
70K
descip_1__t40_descip_1
2017-01-05 20:54
69K
descip_1__t6_descip_1
2017-01-05 20:54
68K
descip_1__t1_descip_1
2017-01-05 20:54
65K
descip_1__t25_descip_1
2017-01-05 20:54
57K
descip_1__l80_descip_1
2016-03-08 13:05
48K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80