Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/lattice5
Name
Last modified
Size
Description
Parent Directory
-
lattice5__t44_lattice5
2017-01-05 20:54
183K
lattice5__t43_lattice5
2017-01-05 20:54
124K
lattice5__t12_lattice5
2017-01-05 20:54
118K
lattice5__t37_lattice5
2017-01-05 20:54
108K
lattice5__t35_lattice5
2017-01-05 20:54
103K
lattice5__t13_lattice5
2016-03-08 13:07
95K
lattice5__t14_lattice5
2016-03-08 13:07
88K
lattice5__t39_lattice5
2016-03-08 13:07
86K
lattice5__t38_lattice5
2016-03-08 13:07
85K
lattice5__t41_lattice5
2017-01-05 20:54
82K
lattice5__t34_lattice5
2016-03-08 13:07
78K
lattice5__t30_lattice5
2017-01-05 20:54
78K
lattice5__t33_lattice5
2016-03-08 13:07
78K
lattice5__t10_lattice5
2017-01-05 20:54
78K
lattice5__t8_lattice5
2017-01-05 20:54
78K
lattice5__t18_lattice5
2016-03-08 13:07
77K
lattice5__t15_lattice5
2016-03-08 13:07
75K
lattice5__t19_lattice5
2016-03-08 13:07
74K
lattice5__t42_lattice5
2017-01-05 20:54
73K
lattice5__t4_lattice5
2017-01-05 20:54
72K
lattice5__t16_lattice5
2016-03-08 13:07
71K
lattice5__t17_lattice5
2016-03-08 13:07
71K
lattice5__t32_lattice5
2016-03-08 13:07
70K
lattice5__t5_lattice5
2017-01-05 20:54
70K
lattice5__t31_lattice5
2016-03-08 13:07
69K
lattice5__t28_lattice5
2016-03-08 13:07
69K
lattice5__t27_lattice5
2016-03-08 13:07
68K
lattice5__t26_lattice5
2016-03-08 13:07
68K
lattice5__t25_lattice5
2017-01-05 20:54
67K
lattice5__t11_lattice5
2017-01-05 20:54
65K
lattice5__t20_lattice5
2017-01-05 20:54
62K
lattice5__t40_lattice5
2016-03-08 13:07
60K
lattice5__t9_lattice5
2016-03-08 13:07
60K
lattice5__t7_lattice5
2016-03-08 13:07
60K
lattice5__t6_lattice5
2016-03-08 13:07
59K
lattice5__t36_lattice5
2016-03-08 13:07
54K
lattice5__t23_lattice5
2016-03-08 13:07
51K
lattice5__l65_lattice5
2016-03-08 13:07
51K
lattice5__t22_lattice5
2016-03-08 13:07
50K
lattice5__t21_lattice5
2016-03-08 13:07
50K
lattice5__t29_lattice5
2016-03-08 13:07
46K
lattice5__l63_lattice5
2016-03-08 13:07
45K
lattice5__t24_lattice5
2016-03-08 13:07
45K
lattice5__t2_lattice5
2017-01-05 20:54
43K
lattice5__t1_lattice5
2016-03-08 13:07
42K
lattice5__l64_lattice5
2017-01-05 20:54
41K
lattice5__t3_lattice5
2017-01-05 20:54
40K
lattice5__l15_lattice5
2016-03-08 13:07
36K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80