Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/taxonom2
Name
Last modified
Size
Description
Parent Directory
-
taxonom2__t20_taxonom2
2016-03-08 13:09
20K
taxonom2__t19_taxonom2
2016-03-08 13:09
11K
taxonom2__t18_taxonom2
2016-03-08 13:09
13K
taxonom2__t17_taxonom2
2016-03-08 13:09
12K
taxonom2__t16_taxonom2
2016-03-08 13:09
16K
taxonom2__t15_taxonom2
2016-03-08 13:09
16K
taxonom2__t14_taxonom2
2016-03-08 13:09
9.4K
taxonom2__t13_taxonom2
2016-03-08 13:09
10K
taxonom2__t12_taxonom2
2016-03-08 13:09
9.3K
taxonom2__t11_taxonom2
2016-03-08 13:09
5.2K
taxonom2__t10_taxonom2
2016-03-08 13:09
2.7K
taxonom2__t9_taxonom2
2016-03-08 13:09
2.7K
taxonom2__t8_taxonom2
2016-03-08 13:09
2.2K
taxonom2__t7_taxonom2
2016-03-08 13:09
5.3K
taxonom2__t6_taxonom2
2016-03-08 13:09
4.9K
taxonom2__t5_taxonom2
2016-03-08 13:09
27K
taxonom2__t4_taxonom2
2016-03-08 13:09
7.3K
taxonom2__t2_taxonom2
2016-03-08 13:09
8.9K
taxonom2__t1_taxonom2
2016-03-08 13:09
15K
taxonom2__l30_taxonom2
2016-03-08 13:09
5.1K
taxonom2__l19_taxonom2
2016-03-08 13:09
8.8K
taxonom2__l18_taxonom2
2016-03-08 13:09
11K
taxonom2__l14_taxonom2
2016-03-08 13:09
2.5K
taxonom2__l6_taxonom2
2016-03-08 13:09
6.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80