Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/closure2
Name
Last modified
Size
Description
Parent Directory
-
closure2__l35_closure2
2016-03-08 13:04
43K
closure2__t1_closure2
2016-03-08 13:04
25K
closure2__t2_closure2
2016-03-08 13:04
28K
closure2__t3_closure2
2016-03-08 13:04
20K
closure2__t4_closure2
2016-03-08 13:04
19K
closure2__t5_closure2
2016-03-08 13:04
18K
closure2__t6_closure2
2016-03-08 13:04
21K
closure2__t7_closure2
2016-03-08 13:04
21K
closure2__t8_closure2
2016-03-08 13:04
23K
closure2__t9_closure2
2016-03-08 13:04
23K
closure2__t10_closure2
2016-03-08 13:04
23K
closure2__t11_closure2
2016-03-08 13:04
22K
closure2__t12_closure2
2016-03-08 13:04
26K
closure2__t13_closure2
2017-01-05 20:54
25K
closure2__t14_closure2
2017-01-05 20:54
36K
closure2__t15_closure2
2017-01-05 20:54
17K
closure2__t16_closure2
2017-01-05 20:54
19K
closure2__t17_closure2
2017-01-05 20:54
17K
closure2__t18_closure2
2016-03-08 13:04
33K
closure2__t19_closure2
2017-01-05 20:54
17K
closure2__t20_closure2
2016-03-08 13:04
34K
closure2__t21_closure2
2017-01-05 20:54
25K
closure2__t22_closure2
2016-03-08 13:04
31K
closure2__t23_closure2
2016-03-08 13:04
34K
closure2__t24_closure2
2017-01-05 20:54
40K
closure2__t25_closure2
2017-01-05 20:54
47K
closure2__t26_closure2
2016-03-08 13:04
34K
closure2__t27_closure2
2016-03-08 13:04
35K
closure2__t28_closure2
2016-03-08 13:04
35K
closure2__t29_closure2
2016-03-08 13:04
37K
closure2__t30_closure2
2016-03-08 13:04
32K
closure2__t31_closure2
2016-03-08 13:04
32K
closure2__t32_closure2
2016-03-08 13:04
34K
closure2__t33_closure2
2016-03-08 13:04
38K
closure2__t34_closure2
2016-03-08 13:04
39K
closure2__t35_closure2
2016-03-08 13:04
39K
closure2__t36_closure2
2016-03-08 13:04
41K
closure2__t37_closure2
2016-03-08 13:04
42K
closure2__t38_closure2
2017-01-05 20:54
42K
closure2__t39_closure2
2017-01-05 20:54
41K
closure2__t40_closure2
2017-01-05 20:54
48K
closure2__t41_closure2
2017-01-05 20:54
64K
closure2__t42_closure2
2017-01-05 20:54
59K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80