rank 6: n = 10, inequalities 45, distinct forms up to sign 30, bases 30045015
|det| histogram: {0: 19337286, 1: 4456221, 2: 3848130, 3: 762186, 4: 1109502, 5: 35502, 6: 301542, 7: 7680, 8: 123516, 9: 26487, 10: 10350, 11: 222, 12: 19305, 13: 78, 14: 552, 15: 186, 16: 4692, 17: 6, 18: 960, 20: 252, 24: 297, 32: 54, 36: 9}
vertex classes: 173839; by denominator: {1: 1, 2: 678, 3: 9666, 4: 27642, 5: 19776, 6: 43068, 7: 11700, 8: 21576, 9: 12564, 10: 11688, 11: 1200, 12: 8148, 13: 720, 14: 2232, 15: 240, 16: 912, 17: 96, 18: 1764, 20: 144, 24: 24}
classes for which an integer solution was found and verified: 173677; classes without: 162, by denominator {2: 18, 3: 30, 4: 30, 5: 24, 6: 6, 7: 6, 8: 6, 9: 24, 18: 18}
of these, certified by exact bounds on one coordinate that exclude every integer: 162
time 27 s
