repro-bundle/verify/claim5/verdict.json

{
  "verdict": "verified",
  "d_grid": [
    512,
    1024,
    2048,
    4096,
    8192,
    16384
  ],
  "mha_params": [
    1048576,
    4194304,
    16777216,
    67108864,
    268435456,
    1073741824
  ],
  "tucker_params": [
    131200,
    229504,
    426112,
    819328,
    1605760,
    3178624
  ],
  "mha_loglog_slope": 1.9999999999999996,
  "tucker_loglog_slope": 0.924457639846883,
  "expected": "MHA~2, Tucker~1"
}