Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/rsspace4
Name
Last modified
Size
Description
Parent Directory
-
rsspace4__t4_rsspace4
2016-03-08 13:09
178K
rsspace4__t3_rsspace4
2016-03-08 13:09
145K
rsspace4__t2_rsspace4
2016-03-08 13:09
136K
rsspace4__t25_rsspace4
2017-01-05 20:54
133K
rsspace4__t21_rsspace4
2017-01-05 20:54
120K
rsspace4__t6_rsspace4
2016-03-08 13:09
93K
rsspace4__t18_rsspace4
2017-01-05 20:54
81K
rsspace4__t22_rsspace4
2016-03-08 13:09
76K
rsspace4__t19_rsspace4
2016-03-08 13:09
74K
rsspace4__t8_rsspace4
2016-03-08 13:09
72K
rsspace4__t15_rsspace4
2016-03-08 13:09
72K
rsspace4__t20_rsspace4
2016-03-08 13:09
72K
rsspace4__t24_rsspace4
2016-03-08 13:09
71K
rsspace4__t9_rsspace4
2016-03-08 13:09
69K
rsspace4__t17_rsspace4
2017-01-05 20:54
69K
rsspace4__t10_rsspace4
2016-03-08 13:09
68K
rsspace4__t16_rsspace4
2017-01-05 20:54
68K
rsspace4__t23_rsspace4
2016-03-08 13:09
62K
rsspace4__t12_rsspace4
2017-01-05 20:54
57K
rsspace4__t14_rsspace4
2017-01-05 20:54
57K
rsspace4__t26_rsspace4
2016-03-08 13:09
56K
rsspace4__l41_rsspace4
2016-03-08 13:09
56K
rsspace4__l7_rsspace4
2016-03-08 13:09
54K
rsspace4__t11_rsspace4
2017-01-05 20:54
53K
rsspace4__t7_rsspace4
2016-03-08 13:09
52K
rsspace4__t5_rsspace4
2016-03-08 13:09
51K
rsspace4__l5_rsspace4
2016-03-08 13:09
51K
rsspace4__l4_rsspace4
2016-03-08 13:09
49K
rsspace4__l8_rsspace4
2016-03-08 13:09
49K
rsspace4__t13_rsspace4
2016-03-08 13:09
48K
rsspace4__l2_rsspace4
2016-03-08 13:09
45K
rsspace4__t1_rsspace4
2016-03-08 13:09
43K
rsspace4__l1_rsspace4
2016-03-08 13:09
39K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80