Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/domain_1
Name
Last modified
Size
Description
Parent Directory
-
domain_1__t1_domain_1
2016-03-08 13:05
5.2K
domain_1__t2_domain_1
2016-03-08 13:05
5.8K
domain_1__t3_domain_1
2016-03-08 13:05
7.5K
domain_1__t4_domain_1
2016-03-08 13:05
7.8K
domain_1__t5_domain_1
2016-03-08 13:05
7.0K
domain_1__t6_domain_1
2016-03-08 13:05
12K
domain_1__t7_domain_1
2016-03-08 13:05
12K
domain_1__t8_domain_1
2016-03-08 13:05
12K
domain_1__t9_domain_1
2016-03-08 13:05
11K
domain_1__t10_domain_1
2016-03-08 13:05
11K
domain_1__t11_domain_1
2016-03-08 13:05
11K
domain_1__t12_domain_1
2016-03-08 13:05
8.2K
domain_1__t13_domain_1
2016-03-08 13:05
15K
domain_1__t14_domain_1
2016-03-08 13:05
15K
domain_1__t15_domain_1
2016-03-08 13:05
15K
domain_1__t16_domain_1
2016-03-08 13:05
15K
domain_1__t17_domain_1
2016-03-08 13:05
15K
domain_1__t18_domain_1
2017-01-05 20:54
6.1K
domain_1__t19_domain_1
2017-01-05 20:54
12K
domain_1__t20_domain_1
2017-01-05 20:54
15K
domain_1__t21_domain_1
2017-01-05 20:54
18K
domain_1__t22_domain_1
2017-01-05 20:54
6.0K
domain_1__t23_domain_1
2017-01-05 20:54
13K
domain_1__t24_domain_1
2017-01-05 20:54
17K
domain_1__t25_domain_1
2017-01-05 20:54
21K
domain_1__t26_domain_1
2017-01-05 20:54
6.3K
domain_1__t27_domain_1
2017-01-05 20:54
7.8K
domain_1__t28_domain_1
2017-01-05 20:54
8.0K
domain_1__t29_domain_1
2017-01-05 20:54
8.5K
domain_1__t30_domain_1
2017-01-05 20:54
7.4K
domain_1__t31_domain_1
2017-01-05 20:54
9.6K
domain_1__t32_domain_1
2017-01-05 20:54
9.9K
domain_1__t33_domain_1
2017-01-05 20:54
9.9K
domain_1__t34_domain_1
2017-01-05 20:54
9.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80