Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/series_5
Name
Last modified
Size
Description
Parent Directory
-
series_5__l1_series_5
2016-03-08 13:09
101K
series_5__l2_series_5
2016-03-08 13:09
49K
series_5__l3_series_5
2016-03-08 13:09
21K
series_5__l4_series_5
2016-03-08 13:09
28K
series_5__l5_series_5
2016-03-08 13:09
59K
series_5__l6_series_5
2016-03-08 13:09
45K
series_5__l7_series_5
2016-03-08 13:09
29K
series_5__l8_series_5
2016-03-08 13:09
32K
series_5__l9_series_5
2016-03-08 13:09
392K
series_5__l10_series_5
2016-03-08 13:09
265K
series_5__l11_series_5
2016-03-08 13:09
478K
series_5__l12_series_5
2016-03-08 13:09
200K
series_5__l13_series_5
2016-03-08 13:09
60K
series_5__l14_series_5
2016-03-08 13:09
29K
series_5__l15_series_5
2016-03-08 13:09
68K
series_5__l16_series_5
2016-03-08 13:09
49K
series_5__l17_series_5
2016-03-08 13:09
40K
series_5__l18_series_5
2016-03-08 13:09
327K
series_5__l19_series_5
2016-03-08 13:09
48K
series_5__l20_series_5
2016-03-08 13:09
39K
series_5__l21_series_5
2016-03-08 13:09
39K
series_5__l22_series_5
2016-03-08 13:09
63K
series_5__l23_series_5
2016-03-08 13:09
50K
series_5__t1_series_5
2016-03-08 13:09
48K
series_5__t2_series_5
2016-03-08 13:09
213K
series_5__t3_series_5
2016-03-08 13:09
24K
series_5__t4_series_5
2016-03-08 13:09
129K
series_5__t5_series_5
2016-03-08 13:09
59K
series_5__t6_series_5
2016-03-08 13:09
57K
series_5__t7_series_5
2016-03-08 13:09
62K
series_5__t8_series_5
2016-03-08 13:09
91K
series_5__t9_series_5
2016-03-08 13:09
58K
series_5__t10_series_5
2016-03-08 13:09
30K
series_5__t11_series_5
2016-03-08 13:09
57K
series_5__t12_series_5
2016-03-08 13:09
58K
series_5__t13_series_5
2016-03-08 13:09
128K
series_5__t14_series_5
2016-03-08 13:09
41K
series_5__t15_series_5
2016-03-08 13:09
26K
series_5__t16_series_5
2016-03-08 13:09
33K
series_5__t17_series_5
2016-03-08 13:09
163K
series_5__t18_series_5
2016-03-08 13:09
60K
series_5__t19_series_5
2016-03-08 13:09
216K
series_5__t20_series_5
2016-03-08 13:09
34K
series_5__t21_series_5
2016-03-08 13:09
125K
series_5__t22_series_5
2016-03-08 13:09
205K
series_5__t23_series_5
2016-03-08 13:09
219K
series_5__t24_series_5
2016-03-08 13:09
126K
series_5__t25_series_5
2016-03-08 13:09
56K
series_5__t26_series_5
2016-03-08 13:09
37K
series_5__t27_series_5
2016-03-08 13:09
29K
series_5__t28_series_5
2016-03-08 13:09
58K
series_5__t29_series_5
2016-03-08 13:09
56K
series_5__t30_series_5
2016-03-08 13:09
560K
series_5__t31_series_5
2016-03-08 13:09
184K
series_5__t32_series_5
2016-03-08 13:09
164K
series_5__t33_series_5
2016-03-08 13:09
309K
series_5__t34_series_5
2016-03-08 13:09
128K
series_5__t35_series_5
2016-03-08 13:09
516K
series_5__t36_series_5
2016-03-08 13:09
1.3M
series_5__t37_series_5
2016-03-08 13:09
251K
series_5__t38_series_5
2016-03-08 13:09
155K
series_5__t39_series_5
2016-03-08 13:09
471K
series_5__t40_series_5
2016-03-08 13:09
589K
series_5__t41_series_5
2016-03-08 13:09
382K
series_5__t42_series_5
2016-03-08 13:09
61K
series_5__t43_series_5
2016-03-08 13:09
58K
series_5__t44_series_5
2016-03-08 13:09
127K
series_5__t45_series_5
2016-03-08 13:09
60K
series_5__t46_series_5
2016-03-08 13:09
213K
series_5__t47_series_5
2016-03-08 13:09
831K
series_5__t48_series_5
2016-03-08 13:09
566K
series_5__t49_series_5
2016-03-08 13:09
74K
series_5__t50_series_5
2016-03-08 13:09
50K
series_5__t51_series_5
2016-03-08 13:09
50K
series_5__t52_series_5
2016-03-08 13:09
47K
series_5__t53_series_5
2016-03-08 13:09
330K
series_5__t54_series_5
2016-03-08 13:09
1.3M
series_5__t55_series_5
2016-03-08 13:09
752K
series_5__t56_series_5
2016-03-08 13:09
953K
series_5__t57_series_5
2016-03-08 13:09
146K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80