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