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

idiom:  spill the beans
  H(p)        = 54.2353
  H_u         = 62.7136
  H_s         = 54.2422
  H_u / H(p)  = 1.1563
  H_s / H(p)  = 1.0001
  bound  116.9559 >= 109.8569 >= 54.2353  [ok]

idiom:  call the shots
  H(p)        = 50.9307
  H_u         = 63.1955
  H_s         = 50.9307
  H_u / H(p)  = 1.2408
  H_s / H(p)  = 1.0000
  bound  114.1262 >= 103.2476 >= 50.9307  [ok]

idiom:  clear the air
  H(p)        = 59.2380
  H_u         = 70.5546
  H_s         = 59.2387
  H_u / H(p)  = 1.1910
  H_s / H(p)  = 1.0000
  bound  129.7933 >= 119.8623 >= 59.2380  [ok]

idiom:  have a ball
  H(p)        = 50.7636
  H_u         = 58.1358
  H_s         = 50.7780
  H_u / H(p)  = 1.1452
  H_s / H(p)  = 1.0003
  bound  108.9138 >= 102.9136 >= 50.7636  [ok]

idiom:  get the sack
  H(p)        = 54.7076
  H_u         = 58.0860
  H_s         = inf
  H_u / H(p)  = 1.0618
  H_s / H(p)  = inf
  bound  inf >= 110.8015 >= 54.7076  [ok]

idiom:  bite the dust
  H(p)        = 51.2297
  H_u         = 63.5380
  H_s         = 51.2300
  H_u / H(p)  = 1.2403
  H_s / H(p)  = 1.0000
  bound  114.7681 >= 103.8457 >= 51.2297  [ok]

idiom:  break the mold
  H(p)        = 55.2785
  H_u         = 70.1856
  H_s         = 55.2785
  H_u / H(p)  = 1.2697
  H_s / H(p)  = 1.0000
  bound  125.4641 >= 111.9433 >= 55.2785  [ok]

idiom:  lose ground
  H(p)        = 58.2284
  H_u         = 66.0458
  H_s         = 58.5263
  H_u / H(p)  = 1.1343
  H_s / H(p)  = 1.0051
  bound  124.5722 >= 117.8431 >= 58.2284  [ok]

idiom:  make waves
  H(p)        = 48.1887
  H_u         = 54.0558
  H_s         = inf
  H_u / H(p)  = 1.1218
  H_s / H(p)  = inf
  bound  inf >= 97.7637 >= 48.1887  [ok]

idiom:  cut corners
  H(p)        = 47.0226
  H_u         = 58.8339
  H_s         = 47.0227
  H_u / H(p)  = 1.2512
  H_s / H(p)  = 1.0000
  bound  105.8566 >= 95.4314 >= 47.0226  [ok]

idiom:  raise hell
  H(p)        = 56.3097
  H_u         = 61.1829
  H_s         = 56.4103
  H_u / H(p)  = 1.0865
  H_s / H(p)  = 1.0018
  bound  117.5933 >= 114.0057 >= 56.3097  [ok]

idiom:  pull strings
  H(p)        = 56.8018
  H_u         = 63.8537
  H_s         = 56.8518
  H_u / H(p)  = 1.1241
  H_s / H(p)  = 1.0009
  bound  120.7055 >= 114.9899 >= 56.8018  [ok]

idiom:  mean business
  H(p)        = 52.7402
  H_u         = 57.1388
  H_s         = 52.8832
  H_u / H(p)  = 1.0834
  H_s / H(p)  = 1.0027
  bound  110.0220 >= 106.8667 >= 52.7402  [ok]

idiom:  turn tail
  H(p)        = 62.3579
  H_u         = 74.8390
  H_s         = 62.3593
  H_u / H(p)  = 1.2002
  H_s / H(p)  = 1.0000
  bound  137.1983 >= 126.1021 >= 62.3579  [ok]

idiom:  rock the boat
  H(p)        = 40.0568
  H_u         = 47.5051
  H_s         = 40.0615
  H_u / H(p)  = 1.1859
  H_s / H(p)  = 1.0001
  bound  87.5666 >= 81.4999 >= 40.0568  [ok]

idiom:  lead the field
  H(p)        = 52.1864
  H_u         = 57.3356
  H_s         = 52.2550
  H_u / H(p)  = 1.0987
  H_s / H(p)  = 1.0013
  bound  109.5906 >= 105.7590 >= 52.1864  [ok]

idiom:  strike a chord
  H(p)        = 44.3236
  H_u         = 55.3918
  H_s         = 44.3237
  H_u / H(p)  = 1.2497
  H_s / H(p)  = 1.0000
  bound  99.7155 >= 90.0336 >= 44.3236  [ok]

idiom:  run the show
  H(p)        = 56.7012
  H_u         = 63.2264
  H_s         = inf
  H_u / H(p)  = 1.1151
  H_s / H(p)  = inf
  bound  inf >= 114.7887 >= 56.7012  [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/llama3.1-8b__medial__joint__idiom.json
