Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/jordan23
Name
Last modified
Size
Description
Parent Directory
-
jordan23__t45_jordan23
2017-01-05 20:54
330K
jordan23__t43_jordan23
2017-01-05 20:54
82K
jordan23__t35_jordan23
2017-01-05 20:54
200K
jordan23__t34_jordan23
2017-01-05 20:54
85K
jordan23__t33_jordan23
2017-01-05 20:54
193K
jordan23__t32_jordan23
2017-01-05 20:54
191K
jordan23__t31_jordan23
2017-01-05 20:54
82K
jordan23__t30_jordan23
2017-01-05 20:54
83K
jordan23__t29_jordan23
2017-01-05 20:54
85K
jordan23__t22_jordan23
2017-01-05 20:54
84K
jordan23__t21_jordan23
2017-01-05 20:54
85K
jordan23__t19_jordan23
2017-01-05 20:54
85K
jordan23__t17_jordan23
2017-01-05 20:54
81K
jordan23__t15_jordan23
2017-01-05 20:54
83K
jordan23__l46_jordan23
2017-01-05 20:54
94K
jordan23__t9_jordan23
2016-03-08 13:07
66K
jordan23__t8_jordan23
2016-03-08 13:07
56K
jordan23__t7_jordan23
2016-03-08 13:07
33K
jordan23__t6_jordan23
2016-03-08 13:07
39K
jordan23__t5_jordan23
2016-03-08 13:07
38K
jordan23__t4_jordan23
2016-03-08 13:07
34K
jordan23__t44_jordan23
2016-03-08 13:07
51K
jordan23__t42_jordan23
2016-03-08 13:07
51K
jordan23__t41_jordan23
2016-03-08 13:07
51K
jordan23__t40_jordan23
2016-03-08 13:07
63K
jordan23__t3_jordan23
2016-03-08 13:07
54K
jordan23__t39_jordan23
2016-03-08 13:07
58K
jordan23__t38_jordan23
2016-03-08 13:07
160K
jordan23__t37_jordan23
2016-03-08 13:07
67K
jordan23__t36_jordan23
2016-03-08 13:07
141K
jordan23__t2_jordan23
2016-03-08 13:07
53K
jordan23__t28_jordan23
2016-03-08 13:07
57K
jordan23__t27_jordan23
2016-03-08 13:07
57K
jordan23__t26_jordan23
2016-03-08 13:07
31K
jordan23__t25_jordan23
2016-03-08 13:07
27K
jordan23__t24_jordan23
2016-03-08 13:07
33K
jordan23__t23_jordan23
2016-03-08 13:07
33K
jordan23__t20_jordan23
2016-03-08 13:07
59K
jordan23__t1_jordan23
2016-03-08 13:07
54K
jordan23__t18_jordan23
2016-03-08 13:07
167K
jordan23__t16_jordan23
2016-03-08 13:07
35K
jordan23__t14_jordan23
2016-03-08 13:07
84K
jordan23__t13_jordan23
2016-03-08 13:07
42K
jordan23__t12_jordan23
2016-03-08 13:07
90K
jordan23__t11_jordan23
2016-03-08 13:07
159K
jordan23__t10_jordan23
2016-03-08 13:07
39K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80