Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_notypes/closure2
Name
Last modified
Size
Description
Parent Directory
-
closure2__l35_closure2
2017-03-01 15:19
19K
closure2__t14_closure2
2017-03-01 15:19
18K
closure2__t42_closure2
2017-03-01 15:19
24K
closure2__t41_closure2
2017-03-01 15:19
24K
closure2__t40_closure2
2017-03-01 15:19
19K
closure2__t39_closure2
2017-03-01 15:19
18K
closure2__t38_closure2
2017-03-01 15:19
17K
closure2__t37_closure2
2017-03-01 15:19
17K
closure2__t36_closure2
2017-03-01 15:19
16K
closure2__t35_closure2
2017-03-01 15:19
16K
closure2__t34_closure2
2017-03-01 15:19
16K
closure2__t33_closure2
2017-03-01 15:19
15K
closure2__t32_closure2
2017-03-01 15:19
14K
closure2__t31_closure2
2017-03-01 15:19
13K
closure2__t30_closure2
2017-03-01 15:19
14K
closure2__t29_closure2
2017-03-01 15:19
16K
closure2__t28_closure2
2017-03-01 15:19
16K
closure2__t27_closure2
2017-03-01 15:19
16K
closure2__t26_closure2
2017-03-01 15:19
15K
closure2__t25_closure2
2017-03-01 15:19
22K
closure2__t24_closure2
2017-03-01 15:19
18K
closure2__t23_closure2
2017-03-01 15:19
15K
closure2__t22_closure2
2017-03-01 15:19
14K
closure2__t21_closure2
2017-03-01 15:19
12K
closure2__t20_closure2
2017-03-01 15:19
17K
closure2__t19_closure2
2017-03-01 15:19
9.3K
closure2__t18_closure2
2017-03-01 15:19
16K
closure2__t17_closure2
2017-03-01 15:19
9.2K
closure2__t16_closure2
2017-03-01 15:19
9.7K
closure2__t15_closure2
2017-03-01 15:19
9.0K
closure2__t13_closure2
2017-03-01 15:19
12K
closure2__t12_closure2
2017-03-01 15:19
12K
closure2__t11_closure2
2017-03-01 15:19
11K
closure2__t10_closure2
2017-03-01 15:19
11K
closure2__t9_closure2
2017-03-01 15:19
11K
closure2__t8_closure2
2017-03-01 15:19
11K
closure2__t7_closure2
2017-03-01 15:19
10K
closure2__t2_closure2
2017-03-01 15:19
13K
closure2__t1_closure2
2017-03-01 15:19
13K
closure2__t6_closure2
2017-03-01 15:19
11K
closure2__t5_closure2
2017-03-01 15:19
9.6K
closure2__t4_closure2
2017-03-01 15:19
9.9K
closure2__t3_closure2
2017-03-01 15:19
10K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80