Loading weights:   0%|          | 0/399 [00:00<?, ?it/s]Loading weights: 100%|██████████| 399/399 [00:00<00:00, 11972.32it/s]

idiom:  spill the beans
  H(p)        = 46.4255
  H_u         = 57.7904
  H_s         = inf
  H_u / H(p)  = 1.2448
  H_s / H(p)  = inf
  bound  inf >= 94.2374 >= 46.4255  [ok]

idiom:  call the shots
  H(p)        = 48.4637
  H_u         = 60.7092
  H_s         = 48.4638
  H_u / H(p)  = 1.2527
  H_s / H(p)  = 1.0000
  bound  109.1730 >= 98.3136 >= 48.4637  [ok]

idiom:  clear the air
  H(p)        = 56.7030
  H_u         = 65.1913
  H_s         = 56.7828
  H_u / H(p)  = 1.1497
  H_s / H(p)  = 1.0014
  bound  121.9740 >= 114.7924 >= 56.7030  [ok]

idiom:  have a ball
  H(p)        = 48.8814
  H_u         = 55.0601
  H_s         = 49.0418
  H_u / H(p)  = 1.1264
  H_s / H(p)  = 1.0033
  bound  104.1018 >= 99.1492 >= 48.8814  [ok]

idiom:  get the sack
  H(p)        = 46.9970
  H_u         = 52.5207
  H_s         = inf
  H_u / H(p)  = 1.1175
  H_s / H(p)  = inf
  bound  inf >= 95.3804 >= 46.9970  [ok]

idiom:  bite the dust
  H(p)        = 44.0659
  H_u         = 55.2332
  H_s         = 44.0661
  H_u / H(p)  = 1.2534
  H_s / H(p)  = 1.0000
  bound  99.2993 >= 89.5182 >= 44.0659  [ok]

idiom:  break the mold
  H(p)        = 52.2142
  H_u         = 65.9093
  H_s         = 52.2142
  H_u / H(p)  = 1.2623
  H_s / H(p)  = 1.0000
  bound  118.1235 >= 105.8147 >= 52.2142  [ok]

idiom:  lose ground
  H(p)        = 57.8436
  H_u         = 64.9556
  H_s         = inf
  H_u / H(p)  = 1.1230
  H_s / H(p)  = inf
  bound  inf >= 117.0736 >= 57.8436  [ok]

idiom:  make waves
  H(p)        = 45.4763
  H_u         = 49.3187
  H_s         = inf
  H_u / H(p)  = 1.0845
  H_s / H(p)  = inf
  bound  inf >= 92.3389 >= 45.4763  [ok]

idiom:  cut corners
  H(p)        = 42.3795
  H_u         = 54.6695
  H_s         = 42.3799
  H_u / H(p)  = 1.2900
  H_s / H(p)  = 1.0000
  bound  97.0494 >= 86.1454 >= 42.3795  [ok]

idiom:  raise hell
  H(p)        = 55.8539
  H_u         = 60.4949
  H_s         = inf
  H_u / H(p)  = 1.0831
  H_s / H(p)  = inf
  bound  inf >= 113.0940 >= 55.8539  [ok]

idiom:  pull strings
  H(p)        = 55.6862
  H_u         = 60.8649
  H_s         = inf
  H_u / H(p)  = 1.0930
  H_s / H(p)  = inf
  bound  inf >= 112.7587 >= 55.6862  [ok]

idiom:  mean business
  H(p)        = 50.6344
  H_u         = 54.6229
  H_s         = inf
  H_u / H(p)  = 1.0788
  H_s / H(p)  = inf
  bound  inf >= 102.6551 >= 50.6344  [ok]

idiom:  turn tail
  H(p)        = 59.5938
  H_u         = 71.6238
  H_s         = 59.5938
  H_u / H(p)  = 1.2019
  H_s / H(p)  = 1.0000
  bound  131.2176 >= 120.5738 >= 59.5938  [ok]

idiom:  rock the boat
  H(p)        = 35.0724
  H_u         = 40.9675
  H_s         = inf
  H_u / H(p)  = 1.1681
  H_s / H(p)  = inf
  bound  inf >= 71.5311 >= 35.0724  [ok]

idiom:  lead the field
  H(p)        = 48.2326
  H_u         = 53.2129
  H_s         = inf
  H_u / H(p)  = 1.1033
  H_s / H(p)  = inf
  bound  inf >= 97.8515 >= 48.2326  [ok]

idiom:  strike a chord
  H(p)        = 39.9585
  H_u         = 51.7329
  H_s         = 39.9585
  H_u / H(p)  = 1.2947
  H_s / H(p)  = 1.0000
  bound  91.6914 >= 81.3033 >= 39.9585  [ok]

idiom:  run the show
  H(p)        = 53.4115
  H_u         = 58.8127
  H_s         = inf
  H_u / H(p)  = 1.1011
  H_s / H(p)  = inf
  bound  inf >= 108.2092 >= 53.4115  [ok]

bound  H_u + H_s >= 2 H(p) + 2 log 2 >= H(p)  holds for 18/18 phrases

Wrote 18 idiom results to results/sweep/json/qwen3-8b-base__medial__joint__idiom.json
