Loading weights: 0%| | 0/399 [00:00= 127.0491 >= 62.8314 [ok] idiom: call the police H(p) = 53.8268 H_u = 57.0672 H_s = inf H_u / H(p) = 1.0602 H_s / H(p) = inf bound inf >= 109.0399 >= 53.8268 [ok] idiom: clear the table H(p) = 54.0834 H_u = 56.8642 H_s = inf H_u / H(p) = 1.0514 H_s / H(p) = inf bound inf >= 109.5532 >= 54.0834 [ok] idiom: throw a ball H(p) = 59.1196 H_u = 59.7859 H_s = inf H_u / H(p) = 1.0113 H_s / H(p) = inf bound inf >= 119.6254 >= 59.1196 [ok] idiom: get a present H(p) = 58.2723 H_u = 59.3528 H_s = inf H_u / H(p) = 1.0185 H_s / H(p) = inf bound inf >= 117.9308 >= 58.2723 [ok] idiom: eat the apple H(p) = 59.6176 H_u = 60.9960 H_s = inf H_u / H(p) = 1.0231 H_s / H(p) = inf bound inf >= 120.6216 >= 59.6176 [ok] idiom: break the window H(p) = 59.7650 H_u = 62.0605 H_s = inf H_u / H(p) = 1.0384 H_s / H(p) = inf bound inf >= 120.9163 >= 59.7650 [ok] idiom: lose keys H(p) = 63.0184 H_u = 63.6629 H_s = inf H_u / H(p) = 1.0102 H_s / H(p) = inf bound inf >= 127.4231 >= 63.0184 [ok] idiom: make lunch H(p) = 53.6916 H_u = 54.6673 H_s = inf H_u / H(p) = 1.0182 H_s / H(p) = inf bound inf >= 108.7695 >= 53.6916 [ok] idiom: cut hair H(p) = 53.9251 H_u = 57.8136 H_s = inf H_u / H(p) = 1.0721 H_s / H(p) = inf bound inf >= 109.2365 >= 53.9251 [ok] idiom: raise children H(p) = 58.6680 H_u = 60.8437 H_s = inf H_u / H(p) = 1.0371 H_s / H(p) = inf bound inf >= 118.7224 >= 58.6680 [ok] idiom: tie knots H(p) = 62.7847 H_u = 64.3255 H_s = inf H_u / H(p) = 1.0245 H_s / H(p) = inf bound inf >= 126.9558 >= 62.7847 [ok] idiom: remember details H(p) = 51.0780 H_u = 51.2523 H_s = inf H_u / H(p) = 1.0034 H_s / H(p) = inf bound inf >= 103.5423 >= 51.0780 [ok] idiom: turn dials H(p) = 67.0202 H_u = 67.9595 H_s = inf H_u / H(p) = 1.0140 H_s / H(p) = inf bound inf >= 135.4267 >= 67.0202 [ok] idiom: build the boat H(p) = 51.2233 H_u = 52.6786 H_s = inf H_u / H(p) = 1.0284 H_s / H(p) = inf bound inf >= 103.8328 >= 51.2233 [ok] idiom: lead the meeting H(p) = 55.0819 H_u = 55.5266 H_s = inf H_u / H(p) = 1.0081 H_s / H(p) = inf bound inf >= 111.5502 >= 55.0819 [ok] idiom: strike a drum H(p) = 57.9438 H_u = 58.1352 H_s = inf H_u / H(p) = 1.0033 H_s / H(p) = inf bound inf >= 117.2740 >= 57.9438 [ok] idiom: see the show H(p) = 53.4251 H_u = 54.5735 H_s = inf H_u / H(p) = 1.0215 H_s / H(p) = inf bound inf >= 108.2365 >= 53.4251 [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__full__joint__nonidiom.json