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