Loading weights: 0%| | 0/291 [00:00= 122.4004 >= 60.5070 [ok] idiom: call the police H(p) = 58.7349 H_u = 63.3548 H_s = inf H_u / H(p) = 1.0787 H_s / H(p) = inf bound inf >= 118.8562 >= 58.7349 [ok] idiom: clear the table H(p) = 60.1079 H_u = 63.4389 H_s = 60.1565 H_u / H(p) = 1.0554 H_s / H(p) = 1.0008 bound 123.5954 >= 121.6021 >= 60.1079 [ok] idiom: throw a ball H(p) = 57.7731 H_u = 58.5317 H_s = inf H_u / H(p) = 1.0131 H_s / H(p) = inf bound inf >= 116.9326 >= 57.7731 [ok] idiom: get a present H(p) = 54.2917 H_u = 55.4369 H_s = inf H_u / H(p) = 1.0211 H_s / H(p) = inf bound inf >= 109.9698 >= 54.2917 [ok] idiom: eat the apple H(p) = 64.5349 H_u = 66.2321 H_s = inf H_u / H(p) = 1.0263 H_s / H(p) = inf bound inf >= 130.4561 >= 64.5349 [ok] idiom: break the window H(p) = 63.1806 H_u = 66.5088 H_s = inf H_u / H(p) = 1.0527 H_s / H(p) = inf bound inf >= 127.7475 >= 63.1806 [ok] idiom: lose keys H(p) = 68.4999 H_u = 70.1421 H_s = inf H_u / H(p) = 1.0240 H_s / H(p) = inf bound inf >= 138.3860 >= 68.4999 [ok] idiom: make lunch H(p) = 51.2100 H_u = 52.5761 H_s = inf H_u / H(p) = 1.0267 H_s / H(p) = inf bound inf >= 103.8063 >= 51.2100 [ok] idiom: cut hair H(p) = 53.8866 H_u = 59.8012 H_s = 53.9056 H_u / H(p) = 1.1098 H_s / H(p) = 1.0004 bound 113.7068 >= 109.1594 >= 53.8866 [ok] idiom: raise children H(p) = 62.3520 H_u = 65.4813 H_s = inf H_u / H(p) = 1.0502 H_s / H(p) = inf bound inf >= 126.0904 >= 62.3520 [ok] idiom: tie knots H(p) = 60.2910 H_u = 63.4265 H_s = inf H_u / H(p) = 1.0520 H_s / H(p) = inf bound inf >= 121.9683 >= 60.2910 [ok] idiom: remember details H(p) = 53.2356 H_u = 53.2356 H_s = inf H_u / H(p) = 1.0000 H_s / H(p) = inf bound inf >= 107.8576 >= 53.2356 [ok] idiom: turn dials H(p) = 74.8238 H_u = 76.9897 H_s = inf H_u / H(p) = 1.0289 H_s / H(p) = inf bound inf >= 151.0339 >= 74.8238 [ok] idiom: build the boat H(p) = 48.1474 H_u = 51.5787 H_s = inf H_u / H(p) = 1.0713 H_s / H(p) = inf bound inf >= 97.6811 >= 48.1474 [ok] idiom: lead the meeting H(p) = 65.4610 H_u = 65.7824 H_s = inf H_u / H(p) = 1.0049 H_s / H(p) = inf bound inf >= 132.3082 >= 65.4610 [ok] idiom: strike a drum H(p) = 65.8717 H_u = 65.9467 H_s = inf H_u / H(p) = 1.0011 H_s / H(p) = inf bound inf >= 133.1296 >= 65.8717 [ok] idiom: see the show H(p) = 59.6914 H_u = 61.8365 H_s = inf H_u / H(p) = 1.0359 H_s / H(p) = inf bound inf >= 120.7691 >= 59.6914 [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__nonidiom.json