Index of /~mptp/1147/MPTP2/problems_gdfthf/domain_1
Name
Last modified
Size
Description
Parent Directory
-
domain_1__s1_domain_1
2019-08-28 15:13
15K
domain_1__s2_domain_1
2019-08-28 15:13
23K
domain_1__s3_domain_1
2019-08-28 15:13
27K
domain_1__s4_domain_1
2019-08-28 15:13
32K
domain_1__s5_domain_1
2019-08-28 15:13
14K
domain_1__s6_domain_1
2019-08-28 15:13
16K
domain_1__s7_domain_1
2019-08-28 15:13
10K
domain_1__s8_domain_1
2019-08-28 15:13
14K
domain_1__s9_domain_1
2019-08-28 15:13
14K
domain_1__s10_domain_1
2019-08-28 15:13
21K
domain_1__t1_domain_1
2019-08-28 15:12
23K
domain_1__t2_domain_1
2019-08-28 15:12
18K
domain_1__t3_domain_1
2019-08-28 15:12
45K
domain_1__t4_domain_1
2019-08-28 15:12
52K
domain_1__t5_domain_1
2019-08-28 15:12
9.3K
domain_1__t6_domain_1
2019-08-28 15:12
46K
domain_1__t7_domain_1
2019-08-28 15:12
46K
domain_1__t8_domain_1
2019-08-28 15:12
46K
domain_1__t9_domain_1
2019-08-28 15:12
38K
domain_1__t10_domain_1
2019-08-28 15:12
56K
domain_1__t11_domain_1
2019-08-28 15:12
63K
domain_1__t12_domain_1
2019-08-28 15:12
11K
domain_1__t13_domain_1
2019-08-28 15:13
62K
domain_1__t14_domain_1
2019-08-28 15:13
62K
domain_1__t15_domain_1
2019-08-28 15:13
62K
domain_1__t16_domain_1
2019-08-28 15:13
62K
domain_1__t17_domain_1
2019-08-28 15:13
53K
domain_1__t18_domain_1
2019-08-28 15:13
12K
domain_1__t19_domain_1
2019-08-28 15:13
26K
domain_1__t20_domain_1
2019-08-28 15:13
33K
domain_1__t21_domain_1
2019-08-28 15:13
40K
domain_1__t22_domain_1
2019-08-28 15:13
21K
domain_1__t23_domain_1
2019-08-28 15:13
43K
domain_1__t24_domain_1
2019-08-28 15:13
70K
domain_1__t25_domain_1
2019-08-28 15:13
91K
domain_1__t26_domain_1
2019-08-28 15:13
18K
domain_1__t27_domain_1
2019-08-28 15:13
25K
domain_1__t28_domain_1
2019-08-28 15:13
32K
domain_1__t29_domain_1
2019-08-28 15:13
32K
domain_1__t30_domain_1
2019-08-28 15:13
30K
domain_1__t31_domain_1
2019-08-28 15:13
34K
domain_1__t32_domain_1
2019-08-28 15:13
26K
domain_1__t33_domain_1
2019-08-28 15:13
26K
domain_1__t34_domain_1
2019-08-28 15:13
26K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80