Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/ordinal1
Name
Last modified
Size
Description
Parent Directory
-
ordinal1__l13_ordinal1
2016-03-08 13:08
9.3K
ordinal1__t5_ordinal1
2016-03-08 13:08
8.8K
ordinal1__t6_ordinal1
2016-03-08 13:08
7.2K
ordinal1__t7_ordinal1
2016-03-08 13:08
7.4K
ordinal1__t8_ordinal1
2016-03-08 13:08
7.3K
ordinal1__t9_ordinal1
2016-03-08 13:08
6.9K
ordinal1__t10_ordinal1
2016-03-08 13:08
9.1K
ordinal1__t11_ordinal1
2016-03-08 13:08
12K
ordinal1__t12_ordinal1
2016-03-08 13:08
11K
ordinal1__t13_ordinal1
2016-03-08 13:08
12K
ordinal1__t14_ordinal1
2016-03-08 13:08
12K
ordinal1__t15_ordinal1
2016-03-08 13:08
10K
ordinal1__t16_ordinal1
2016-03-08 13:08
10K
ordinal1__t17_ordinal1
2016-03-08 13:08
12K
ordinal1__t18_ordinal1
2016-03-08 13:08
12K
ordinal1__t19_ordinal1
2016-03-08 13:08
10K
ordinal1__t20_ordinal1
2016-03-08 13:08
11K
ordinal1__t21_ordinal1
2016-03-08 13:08
13K
ordinal1__t22_ordinal1
2016-03-08 13:08
13K
ordinal1__t23_ordinal1
2016-03-08 13:08
11K
ordinal1__t24_ordinal1
2016-03-08 13:08
13K
ordinal1__t25_ordinal1
2016-03-08 13:08
11K
ordinal1__t26_ordinal1
2016-03-08 13:08
6.2K
ordinal1__t27_ordinal1
2016-03-08 13:08
14K
ordinal1__t28_ordinal1
2016-03-08 13:08
15K
ordinal1__t29_ordinal1
2016-03-08 13:08
14K
ordinal1__t30_ordinal1
2016-03-08 13:08
12K
ordinal1__t31_ordinal1
2016-03-08 13:08
13K
ordinal1__t32_ordinal1
2016-03-08 13:08
12K
ordinal1__t33_ordinal1
2016-03-08 13:08
3.0K
ordinal1__t34_ordinal1
2016-03-08 13:08
20K
ordinal1__t35_ordinal1
2016-03-08 13:08
11K
ordinal1__t36_ordinal1
2016-03-08 13:08
14K
ordinal1__t37_ordinal1
2016-03-08 13:08
14K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80