Submission #595

{
 "n": 144,
 "k": 18,
 "d": 42,
 "rank_H": 126,
 "rows": 126,
 "max_column_degree": 4,
 "max_row_weight": 4,
 "frontier": 20,
 "frontier_max": 20,
 "dp_states": 1048576,
 "efficiency_decimal": "5.250000",
 "min_weight_codeword": [
  17,
  34,
  35,
  52,
  53,
  60,
  62,
  70,
  71,
  77,
  78,
  80,
  86,
  87,
  88,
  94,
  95,
  96,
  97,
  102,
  104,
  106,
  110,
  111,
  114,
  115,
  116,
  117,
  119,
  120,
  122,
  123,
  124,
  127,
  128,
  129,
  131,
  132,
  134,
  137,
  138,
  140
 ],
 "check": "exact minimum distance 42 by a frontier dynamic program over all 2^18 - 1 nonzero codewords; the codeword shown has weight 42 and satisfies every row",
 "verify_cpu_seconds": 0.142,
 "verify_seconds": 0.23
}