Loading weights: 0%| | 0/291 [00:00= 118.8656 >= 58.7397 [ok] idiom: call the shots H(p) = 50.5529 H_u = 59.8466 H_s = 50.5680 H_u / H(p) = 1.1838 H_s / H(p) = 1.0003 bound 110.4146 >= 102.4921 >= 50.5529 [ok] idiom: clear the air H(p) = 55.8956 H_u = 65.4253 H_s = 55.8973 H_u / H(p) = 1.1705 H_s / H(p) = 1.0000 bound 121.3225 >= 113.1775 >= 55.8956 [ok] idiom: have a ball H(p) = 53.2698 H_u = 59.4741 H_s = inf H_u / H(p) = 1.1165 H_s / H(p) = inf bound inf >= 107.9260 >= 53.2698 [ok] idiom: get the sack H(p) = 60.3954 H_u = 62.8879 H_s = inf H_u / H(p) = 1.0413 H_s / H(p) = inf bound inf >= 122.1770 >= 60.3954 [ok] idiom: bite the dust H(p) = 58.4462 H_u = 68.8190 H_s = 58.5859 H_u / H(p) = 1.1775 H_s / H(p) = 1.0024 bound 127.4049 >= 118.2788 >= 58.4462 [ok] idiom: break the mold H(p) = 54.9061 H_u = 64.2000 H_s = inf H_u / H(p) = 1.1693 H_s / H(p) = inf bound inf >= 111.1985 >= 54.9061 [ok] idiom: lose ground H(p) = 57.7360 H_u = 63.3456 H_s = inf H_u / H(p) = 1.0972 H_s / H(p) = inf bound inf >= 116.8584 >= 57.7360 [ok] idiom: make waves H(p) = 56.8937 H_u = 59.9528 H_s = inf H_u / H(p) = 1.0538 H_s / H(p) = inf bound inf >= 115.1737 >= 56.8937 [ok] idiom: cut corners H(p) = 50.1505 H_u = 58.3508 H_s = inf H_u / H(p) = 1.1635 H_s / H(p) = inf bound inf >= 101.6873 >= 50.1505 [ok] idiom: raise hell H(p) = 59.5071 H_u = 64.1624 H_s = 59.5698 H_u / H(p) = 1.0782 H_s / H(p) = 1.0011 bound 123.7322 >= 120.4005 >= 59.5071 [ok] idiom: pull strings H(p) = 57.3824 H_u = 63.4485 H_s = inf H_u / H(p) = 1.1057 H_s / H(p) = inf bound inf >= 116.1510 >= 57.3824 [ok] idiom: mean business H(p) = 50.9223 H_u = 55.5949 H_s = inf H_u / H(p) = 1.0918 H_s / H(p) = inf bound inf >= 103.2308 >= 50.9223 [ok] idiom: turn tail H(p) = 58.2357 H_u = 66.8801 H_s = inf H_u / H(p) = 1.1484 H_s / H(p) = inf bound inf >= 117.8576 >= 58.2357 [ok] idiom: rock the boat H(p) = 46.6490 H_u = 54.7067 H_s = 46.6529 H_u / H(p) = 1.1727 H_s / H(p) = 1.0001 bound 101.3596 >= 94.6843 >= 46.6490 [ok] idiom: lead the field H(p) = 50.1646 H_u = 55.6578 H_s = 50.1859 H_u / H(p) = 1.1095 H_s / H(p) = 1.0004 bound 105.8437 >= 101.7156 >= 50.1646 [ok] idiom: strike a chord H(p) = 49.5980 H_u = 59.2207 H_s = 49.6095 H_u / H(p) = 1.1940 H_s / H(p) = 1.0002 bound 108.8302 >= 100.5822 >= 49.5980 [ok] idiom: run the show H(p) = 54.5450 H_u = 59.0813 H_s = inf H_u / H(p) = 1.0832 H_s / H(p) = inf bound inf >= 110.4764 >= 54.5450 [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__full__joint__idiom.json