Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/jordan14
Name
Last modified
Size
Description
Parent Directory
-
jordan14__t36_jordan14
2016-03-08 13:06
59K
jordan14__t35_jordan14
2016-03-08 13:06
71K
jordan14__t34_jordan14
2016-03-08 13:06
212K
jordan14__t33_jordan14
2016-03-08 13:06
57K
jordan14__t32_jordan14
2017-01-05 20:54
391K
jordan14__t31_jordan14
2016-03-08 13:06
350K
jordan14__t30_jordan14
2016-03-08 13:06
312K
jordan14__t29_jordan14
2016-03-08 13:06
70K
jordan14__t28_jordan14
2016-03-08 13:06
365K
jordan14__t27_jordan14
2016-03-08 13:06
238K
jordan14__t26_jordan14
2016-03-08 13:06
69K
jordan14__t25_jordan14
2016-03-08 13:06
271K
jordan14__t24_jordan14
2016-03-08 13:06
126K
jordan14__t23_jordan14
2016-03-08 13:06
271K
jordan14__t22_jordan14
2016-03-08 13:06
126K
jordan14__t21_jordan14
2016-03-08 13:06
63K
jordan14__t20_jordan14
2017-01-05 20:54
56K
jordan14__t19_jordan14
2016-03-08 13:06
57K
jordan14__t18_jordan14
2016-03-08 13:06
56K
jordan14__t17_jordan14
2016-03-08 13:06
55K
jordan14__t16_jordan14
2016-03-08 13:06
55K
jordan14__t15_jordan14
2016-03-08 13:06
55K
jordan14__t14_jordan14
2016-03-08 13:06
68K
jordan14__t13_jordan14
2016-03-08 13:06
86K
jordan14__t12_jordan14
2016-03-08 13:06
56K
jordan14__t11_jordan14
2016-03-08 13:06
56K
jordan14__t10_jordan14
2016-03-08 13:06
69K
jordan14__t9_jordan14
2016-03-08 13:06
77K
jordan14__t8_jordan14
2017-01-05 20:54
75K
jordan14__t7_jordan14
2016-03-08 13:06
218K
jordan14__t6_jordan14
2016-03-08 13:06
66K
jordan14__t5_jordan14
2016-03-08 13:06
53K
jordan14__t4_jordan14
2017-01-05 20:54
62K
jordan14__t3_jordan14
2016-03-08 13:06
85K
jordan14__t2_jordan14
2016-03-08 13:06
58K
jordan14__t1_jordan14
2016-03-08 13:06
56K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80