Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/latsubgr
Name
Last modified
Size
Description
Parent Directory
-
latsubgr__t33_latsubgr
2016-03-08 13:07
32K
latsubgr__t32_latsubgr
2016-03-08 13:07
59K
latsubgr__t31_latsubgr
2016-03-08 13:07
52K
latsubgr__t30_latsubgr
2016-03-08 13:07
38K
latsubgr__t29_latsubgr
2016-03-08 13:07
45K
latsubgr__t28_latsubgr
2016-03-08 13:07
41K
latsubgr__t27_latsubgr
2016-03-08 13:07
39K
latsubgr__t26_latsubgr
2016-03-08 13:07
38K
latsubgr__t25_latsubgr
2016-03-08 13:07
39K
latsubgr__t24_latsubgr
2016-03-08 13:07
29K
latsubgr__t23_latsubgr
2016-03-08 13:07
34K
latsubgr__t22_latsubgr
2016-03-08 13:07
37K
latsubgr__t21_latsubgr
2016-03-08 13:07
27K
latsubgr__t20_latsubgr
2016-03-08 13:07
29K
latsubgr__t19_latsubgr
2016-03-08 13:07
23K
latsubgr__t18_latsubgr
2016-03-08 13:07
23K
latsubgr__t17_latsubgr
2016-03-08 13:07
21K
latsubgr__t16_latsubgr
2016-03-08 13:07
21K
latsubgr__t15_latsubgr
2016-03-08 13:07
20K
latsubgr__t14_latsubgr
2016-03-08 13:07
20K
latsubgr__t13_latsubgr
2016-03-08 13:07
20K
latsubgr__t12_latsubgr
2016-03-08 13:07
21K
latsubgr__t11_latsubgr
2016-03-08 13:07
25K
latsubgr__t10_latsubgr
2016-03-08 13:07
20K
latsubgr__t9_latsubgr
2016-03-08 13:07
20K
latsubgr__t8_latsubgr
2016-03-08 13:07
20K
latsubgr__t7_latsubgr
2016-03-08 13:07
27K
latsubgr__t6_latsubgr
2016-03-08 13:07
28K
latsubgr__t5_latsubgr
2016-03-08 13:07
25K
latsubgr__t4_latsubgr
2016-03-08 13:07
23K
latsubgr__t3_latsubgr
2016-03-08 13:07
20K
latsubgr__t2_latsubgr
2016-03-08 13:07
18K
latsubgr__t1_latsubgr
2016-03-08 13:07
24K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80