Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/series_2
Name
Last modified
Size
Description
Parent Directory
-
series_2__l2_series_2
2016-03-08 13:09
37K
series_2__l3_series_2
2016-03-08 13:09
37K
series_2__l4_series_2
2016-03-08 13:09
48K
series_2__l5_series_2
2016-03-08 13:09
49K
series_2__l6_series_2
2016-03-08 13:09
2.3M
series_2__l7_series_2
2016-03-08 13:09
1.0M
series_2__l9_series_2
2016-03-08 13:09
55K
series_2__l10_series_2
2016-03-08 13:09
209K
series_2__l11_series_2
2016-03-08 13:09
305K
series_2__l12_series_2
2016-03-08 13:09
38K
series_2__l13_series_2
2016-03-08 13:09
747K
series_2__l14_series_2
2016-03-08 13:09
748K
series_2__l15_series_2
2016-03-08 13:09
88K
series_2__l16_series_2
2016-03-08 13:09
110K
series_2__l33_series_2
2016-03-08 13:09
1.9M
series_2__l35_series_2
2016-03-08 13:09
2.3M
series_2__l37_series_2
2016-03-08 13:09
1.7M
series_2__l38_series_2
2016-03-08 13:09
49K
series_2__l39_series_2
2016-03-08 13:09
62K
series_2__t1_series_2
2016-03-08 13:09
18K
series_2__t2_series_2
2016-03-08 13:09
24K
series_2__t3_series_2
2016-03-08 13:09
111K
series_2__t4_series_2
2016-03-08 13:09
52K
series_2__t5_series_2
2016-03-08 13:09
40K
series_2__t6_series_2
2016-03-08 13:09
473K
series_2__t7_series_2
2016-03-08 13:09
741K
series_2__t8_series_2
2016-03-08 13:09
1.6M
series_2__t9_series_2
2016-03-08 13:09
139K
series_2__t10_series_2
2016-03-08 13:09
908K
series_2__t11_series_2
2016-03-08 13:09
1.3M
series_2__t12_series_2
2016-03-08 13:09
949K
series_2__t13_series_2
2016-03-08 13:09
226K
series_2__t14_series_2
2016-03-08 13:09
753K
series_2__t15_series_2
2016-03-08 13:09
224K
series_2__t16_series_2
2016-03-08 13:09
132K
series_2__t17_series_2
2016-03-08 13:09
2.0M
series_2__t18_series_2
2016-03-08 13:09
551K
series_2__t19_series_2
2016-03-08 13:09
363K
series_2__t20_series_2
2016-03-08 13:09
1.2M
series_2__t21_series_2
2016-03-08 13:09
807K
series_2__t22_series_2
2016-03-08 13:09
1.8M
series_2__t23_series_2
2016-03-08 13:09
1.9M
series_2__t24_series_2
2016-03-08 13:09
481K
series_2__t25_series_2
2016-03-08 13:09
496K
series_2__t26_series_2
2016-03-08 13:09
283K
series_2__t27_series_2
2016-03-08 13:09
375K
series_2__t28_series_2
2016-03-08 13:09
1.4M
series_2__t29_series_2
2016-03-08 13:09
1.2M
series_2__t30_series_2
2016-03-08 13:09
1.1M
series_2__t31_series_2
2016-03-08 13:09
2.1M
series_2__t32_series_2
2016-03-08 13:09
504K
series_2__t33_series_2
2016-03-08 13:09
898K
series_2__t34_series_2
2016-03-08 13:09
228K
series_2__t35_series_2
2016-03-08 13:09
260K
series_2__t36_series_2
2016-03-08 13:09
464K
series_2__t37_series_2
2016-03-08 13:09
64K
series_2__t38_series_2
2016-03-08 13:09
72K
series_2__t39_series_2
2016-03-08 13:09
401K
series_2__t40_series_2
2016-03-08 13:09
279K
series_2__t41_series_2
2016-03-08 13:09
36K
series_2__t42_series_2
2016-03-08 13:09
57K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80