Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/lopban_1
Name
Last modified
Size
Description
Parent Directory
-
lopban_1__t43_lopban_1
2016-03-08 13:07
92K
lopban_1__t42_lopban_1
2017-01-05 20:54
194K
lopban_1__t41_lopban_1
2016-03-08 13:07
69K
lopban_1__t40_lopban_1
2016-03-08 13:07
105K
lopban_1__t39_lopban_1
2016-03-08 13:07
90K
lopban_1__t38_lopban_1
2016-03-08 13:07
107K
lopban_1__t37_lopban_1
2017-01-05 20:54
151K
lopban_1__t36_lopban_1
2016-03-08 13:07
100K
lopban_1__t35_lopban_1
2016-03-08 13:07
103K
lopban_1__t34_lopban_1
2017-01-05 20:54
110K
lopban_1__t33_lopban_1
2017-01-05 20:54
107K
lopban_1__t32_lopban_1
2017-01-05 20:54
134K
lopban_1__t31_lopban_1
2016-03-08 13:07
92K
lopban_1__t30_lopban_1
2017-01-05 20:54
100K
lopban_1__t29_lopban_1
2016-03-08 13:07
87K
lopban_1__t28_lopban_1
2017-01-05 20:54
94K
lopban_1__t27_lopban_1
2017-01-05 20:54
63K
lopban_1__t26_lopban_1
2016-03-08 13:07
87K
lopban_1__t25_lopban_1
2016-03-08 13:07
96K
lopban_1__t24_lopban_1
2016-03-08 13:07
98K
lopban_1__t23_lopban_1
2016-03-08 13:07
78K
lopban_1__t22_lopban_1
2016-03-08 13:07
115K
lopban_1__t21_lopban_1
2016-03-08 13:07
58K
lopban_1__t20_lopban_1
2016-03-08 13:07
70K
lopban_1__t19_lopban_1
2016-03-08 13:07
61K
lopban_1__t18_lopban_1
2016-03-08 13:07
75K
lopban_1__t17_lopban_1
2016-03-08 13:07
89K
lopban_1__t16_lopban_1
2016-03-08 13:07
90K
lopban_1__t15_lopban_1
2016-03-08 13:07
67K
lopban_1__t14_lopban_1
2016-03-08 13:07
85K
lopban_1__t13_lopban_1
2016-03-08 13:07
60K
lopban_1__t12_lopban_1
2016-03-08 13:07
70K
lopban_1__t11_lopban_1
2016-03-08 13:07
72K
lopban_1__t10_lopban_1
2016-03-08 13:07
88K
lopban_1__t9_lopban_1
2016-03-08 13:07
67K
lopban_1__t8_lopban_1
2016-03-08 13:07
61K
lopban_1__t7_lopban_1
2016-03-08 13:07
57K
lopban_1__t6_lopban_1
2016-03-08 13:07
73K
lopban_1__t5_lopban_1
2016-03-08 13:07
64K
lopban_1__t4_lopban_1
2016-03-08 13:07
59K
lopban_1__t3_lopban_1
2016-03-08 13:07
58K
lopban_1__t2_lopban_1
2016-03-08 13:07
58K
lopban_1__t1_lopban_1
2016-03-08 13:07
59K
lopban_1__l58_lopban_1
2016-03-08 13:07
57K
lopban_1__l14_lopban_1
2016-03-08 13:07
65K
lopban_1__l4_lopban_1
2016-03-08 13:07
32K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80