Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/isomichi
Name
Last modified
Size
Description
Parent Directory
-
isomichi__t34_isomichi
2016-03-08 13:06
64K
isomichi__t32_isomichi
2016-03-08 13:06
62K
isomichi__t28_isomichi
2016-03-08 13:06
53K
isomichi__t27_isomichi
2016-03-08 13:06
53K
isomichi__t26_isomichi
2016-03-08 13:06
47K
isomichi__t25_isomichi
2016-03-08 13:06
47K
isomichi__t29_isomichi
2016-03-08 13:06
44K
isomichi__t20_isomichi
2016-03-08 13:06
40K
isomichi__t37_isomichi
2016-03-08 13:06
35K
isomichi__t21_isomichi
2016-03-08 13:06
35K
isomichi__t23_isomichi
2016-03-08 13:06
35K
isomichi__t22_isomichi
2016-03-08 13:06
35K
isomichi__t24_isomichi
2016-03-08 13:06
27K
isomichi__t33_isomichi
2016-03-08 13:06
25K
isomichi__t43_isomichi
2016-03-08 13:06
21K
isomichi__l38_isomichi
2016-03-08 13:06
21K
isomichi__t30_isomichi
2016-03-08 13:06
20K
isomichi__t12_isomichi
2016-03-08 13:06
19K
isomichi__t44_isomichi
2016-03-08 13:06
19K
isomichi__t31_isomichi
2016-03-08 13:06
16K
isomichi__t39_isomichi
2016-03-08 13:06
15K
isomichi__t40_isomichi
2016-03-08 13:06
15K
isomichi__t38_isomichi
2016-03-08 13:06
14K
isomichi__t41_isomichi
2016-03-08 13:06
13K
isomichi__t42_isomichi
2016-03-08 13:06
12K
isomichi__t18_isomichi
2016-03-08 13:06
12K
isomichi__t19_isomichi
2016-03-08 13:06
12K
isomichi__t36_isomichi
2016-03-08 13:06
11K
isomichi__t17_isomichi
2016-03-08 13:06
8.8K
isomichi__t7_isomichi
2016-03-08 13:06
8.5K
isomichi__t6_isomichi
2016-03-08 13:06
8.5K
isomichi__t2_isomichi
2016-03-08 13:06
8.2K
isomichi__t14_isomichi
2016-03-08 13:06
8.1K
isomichi__t1_isomichi
2016-03-08 13:06
8.0K
isomichi__t13_isomichi
2016-03-08 13:06
7.5K
isomichi__t16_isomichi
2016-03-08 13:06
7.3K
isomichi__t9_isomichi
2016-03-08 13:06
7.1K
isomichi__t10_isomichi
2016-03-08 13:06
7.1K
isomichi__t11_isomichi
2016-03-08 13:06
7.0K
isomichi__t15_isomichi
2016-03-08 13:06
7.0K
isomichi__t8_isomichi
2016-03-08 13:06
6.1K
isomichi__t5_isomichi
2016-03-08 13:06
5.9K
isomichi__t4_isomichi
2016-03-08 13:06
5.6K
isomichi__t3_isomichi
2016-03-08 13:06
2.3K
isomichi__t35_isomichi
2016-03-08 13:06
2.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80