Submission #377

{
 "n": 144,
 "k": 18,
 "d": 40,
 "rank_H": 126,
 "rows": 126,
 "max_column_degree": 4,
 "max_row_weight": 4,
 "frontier": 20,
 "frontier_max": 20,
 "dp_states": 1048576,
 "efficiency_decimal": "5.000000",
 "min_weight_codeword": [
  0,
  4,
  5,
  6,
  10,
  11,
  12,
  14,
  15,
  16,
  17,
  19,
  20,
  21,
  22,
  23,
  26,
  30,
  31,
  33,
  35,
  36,
  37,
  39,
  42,
  43,
  44,
  45,
  46,
  47,
  48,
  50,
  51,
  52,
  57,
  58,
  59,
  61,
  70,
  71
 ],
 "check": "exact minimum distance 40 by a frontier dynamic program over all 2^18 - 1 nonzero codewords; the codeword shown has weight 40 and satisfies every row",
 "verify_cpu_seconds": 0.16,
 "verify_seconds": 0.24
}