Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/partit_2
Name
Last modified
Size
Description
Parent Directory
-
partit_2__l14_partit_2
2016-03-08 13:08
54K
partit_2__t17_partit_2
2016-03-08 13:08
50K
partit_2__t15_partit_2
2016-03-08 13:08
45K
partit_2__t11_partit_2
2016-03-08 13:08
32K
partit_2__t10_partit_2
2016-03-08 13:08
31K
partit_2__t12_partit_2
2016-03-08 13:08
31K
partit_2__t6_partit_2
2016-03-08 13:08
30K
partit_2__t2_partit_2
2016-03-08 13:08
29K
partit_2__t14_partit_2
2016-03-08 13:08
29K
partit_2__t4_partit_2
2016-03-08 13:08
29K
partit_2__t30_partit_2
2016-03-08 13:08
29K
partit_2__t13_partit_2
2016-03-08 13:08
26K
partit_2__t16_partit_2
2016-03-08 13:08
25K
partit_2__t19_partit_2
2016-03-08 13:08
24K
partit_2__t5_partit_2
2016-03-08 13:08
23K
partit_2__t27_partit_2
2016-03-08 13:08
19K
partit_2__t25_partit_2
2016-03-08 13:08
19K
partit_2__t29_partit_2
2016-03-08 13:08
19K
partit_2__t22_partit_2
2016-03-08 13:08
19K
partit_2__t31_partit_2
2016-03-08 13:08
19K
partit_2__t3_partit_2
2016-03-08 13:08
18K
partit_2__t26_partit_2
2016-03-08 13:08
18K
partit_2__t24_partit_2
2016-03-08 13:08
18K
partit_2__t28_partit_2
2016-03-08 13:08
18K
partit_2__t23_partit_2
2016-03-08 13:08
18K
partit_2__t1_partit_2
2016-03-08 13:08
18K
partit_2__t9_partit_2
2016-03-08 13:08
17K
partit_2__t21_partit_2
2016-03-08 13:08
17K
partit_2__t18_partit_2
2016-03-08 13:08
17K
partit_2__t20_partit_2
2016-03-08 13:08
16K
partit_2__t8_partit_2
2016-03-08 13:08
12K
partit_2__t7_partit_2
2016-03-08 13:08
9.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80