Loading weights: 0%| | 0/291 [00:00= 135.8767 >= 67.2452 [ok] idiom: call the police H(p) = 55.5563 H_u = 59.5837 H_s = inf H_u / H(p) = 1.0725 H_s / H(p) = inf bound inf >= 112.4988 >= 55.5563 [ok] idiom: clear the table H(p) = 59.8062 H_u = 62.8253 H_s = 60.1088 H_u / H(p) = 1.0505 H_s / H(p) = 1.0051 bound 122.9340 >= 120.9986 >= 59.8062 [ok] idiom: throw a ball H(p) = 62.5466 H_u = 63.4349 H_s = inf H_u / H(p) = 1.0142 H_s / H(p) = inf bound inf >= 126.4795 >= 62.5466 [ok] idiom: get a present H(p) = 64.0808 H_u = 64.9907 H_s = inf H_u / H(p) = 1.0142 H_s / H(p) = inf bound inf >= 129.5478 >= 64.0808 [ok] idiom: eat the apple H(p) = 66.7990 H_u = 68.6682 H_s = inf H_u / H(p) = 1.0280 H_s / H(p) = inf bound inf >= 134.9843 >= 66.7990 [ok] idiom: break the window H(p) = 64.5973 H_u = 67.1046 H_s = inf H_u / H(p) = 1.0388 H_s / H(p) = inf bound inf >= 130.5809 >= 64.5973 [ok] idiom: lose keys H(p) = 67.7568 H_u = 68.6819 H_s = inf H_u / H(p) = 1.0137 H_s / H(p) = inf bound inf >= 136.8998 >= 67.7568 [ok] idiom: make lunch H(p) = 60.5947 H_u = 61.4121 H_s = inf H_u / H(p) = 1.0135 H_s / H(p) = inf bound inf >= 122.5756 >= 60.5947 [ok] idiom: cut hair H(p) = 57.5739 H_u = 61.8868 H_s = 57.6250 H_u / H(p) = 1.0749 H_s / H(p) = 1.0009 bound 119.5118 >= 116.5340 >= 57.5739 [ok] idiom: raise children H(p) = 64.3326 H_u = 66.2032 H_s = inf H_u / H(p) = 1.0291 H_s / H(p) = inf bound inf >= 130.0516 >= 64.3326 [ok] idiom: tie knots H(p) = 65.8388 H_u = 67.9675 H_s = inf H_u / H(p) = 1.0323 H_s / H(p) = inf bound inf >= 133.0640 >= 65.8388 [ok] idiom: remember details H(p) = 55.7361 H_u = 55.7439 H_s = inf H_u / H(p) = 1.0001 H_s / H(p) = inf bound inf >= 112.8585 >= 55.7361 [ok] idiom: turn dials H(p) = 72.6323 H_u = 73.9212 H_s = inf H_u / H(p) = 1.0177 H_s / H(p) = inf bound inf >= 146.6508 >= 72.6323 [ok] idiom: build the boat H(p) = 58.5402 H_u = 60.5388 H_s = inf H_u / H(p) = 1.0341 H_s / H(p) = inf bound inf >= 118.4666 >= 58.5402 [ok] idiom: lead the meeting H(p) = 60.8190 H_u = 61.1174 H_s = inf H_u / H(p) = 1.0049 H_s / H(p) = inf bound inf >= 123.0242 >= 60.8190 [ok] idiom: strike a drum H(p) = 64.1142 H_u = 64.2727 H_s = inf H_u / H(p) = 1.0025 H_s / H(p) = inf bound inf >= 129.6146 >= 64.1142 [ok] idiom: see the show H(p) = 56.5163 H_u = 58.1167 H_s = inf H_u / H(p) = 1.0283 H_s / H(p) = inf bound inf >= 114.4188 >= 56.5163 [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__nonidiom.json