Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/lattice6
Name
Last modified
Size
Description
Parent Directory
-
lattice6__l5_lattice6
2017-01-13 00:40
143K
lattice6__l3_lattice6
2017-01-13 00:40
133K
lattice6__l2_lattice6
2017-01-13 00:40
122K
lattice6__l1_lattice6
2017-01-13 00:40
122K
lattice6__l52_lattice6
2017-01-13 00:40
102K
lattice6__l33_lattice6
2017-01-13 00:40
97K
lattice6__t1_lattice6
2017-01-13 00:40
96K
lattice6__t19_lattice6
2017-01-13 00:40
95K
lattice6__t17_lattice6
2017-01-13 00:40
95K
lattice6__l53_lattice6
2017-01-13 00:40
94K
lattice6__l8_lattice6
2017-01-13 00:40
92K
lattice6__t18_lattice6
2017-01-13 00:40
91K
lattice6__t16_lattice6
2017-01-13 00:40
91K
lattice6__t11_lattice6
2017-01-13 00:40
90K
lattice6__t4_lattice6
2017-01-13 00:40
89K
lattice6__t25_lattice6
2017-01-13 00:40
89K
lattice6__t3_lattice6
2017-01-13 00:40
86K
lattice6__t10_lattice6
2017-01-13 00:40
85K
lattice6__t20_lattice6
2017-01-13 00:40
80K
lattice6__l12_lattice6
2017-01-13 00:40
78K
lattice6__l4_lattice6
2017-01-13 00:40
69K
lattice6__t2_lattice6
2017-01-13 00:40
66K
lattice6__t22_lattice6
2017-01-13 00:40
62K
lattice6__t21_lattice6
2017-01-13 00:40
62K
lattice6__t26_lattice6
2017-01-13 00:40
62K
lattice6__t27_lattice6
2017-01-13 00:40
62K
lattice6__t6_lattice6
2017-01-13 00:40
62K
lattice6__t13_lattice6
2017-01-13 00:40
62K
lattice6__t12_lattice6
2017-01-13 00:40
62K
lattice6__t8_lattice6
2017-01-13 00:40
62K
lattice6__t15_lattice6
2017-01-13 00:40
61K
lattice6__t14_lattice6
2017-01-13 00:40
61K
lattice6__t9_lattice6
2017-01-13 00:40
61K
lattice6__t24_lattice6
2017-01-13 00:40
60K
lattice6__t23_lattice6
2017-01-13 00:40
60K
lattice6__t7_lattice6
2017-01-13 00:40
57K
lattice6__t5_lattice6
2017-01-13 00:40
57K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80