Loading weights: 0%| | 0/399 [00:00= 106.9562 >= 52.7849 [ok] idiom: call the police H(p) = 57.7300 H_u = 61.7194 H_s = inf H_u / H(p) = 1.0691 H_s / H(p) = inf bound inf >= 116.8464 >= 57.7300 [ok] idiom: clear the table H(p) = 56.3184 H_u = 59.0227 H_s = inf H_u / H(p) = 1.0480 H_s / H(p) = inf bound inf >= 114.0230 >= 56.3184 [ok] idiom: throw a ball H(p) = 53.2087 H_u = 54.2396 H_s = inf H_u / H(p) = 1.0194 H_s / H(p) = inf bound inf >= 107.8036 >= 53.2087 [ok] idiom: get a present H(p) = 47.4197 H_u = 48.3747 H_s = inf H_u / H(p) = 1.0201 H_s / H(p) = inf bound inf >= 96.2256 >= 47.4197 [ok] idiom: eat the apple H(p) = 55.4916 H_u = 57.0194 H_s = inf H_u / H(p) = 1.0275 H_s / H(p) = inf bound inf >= 112.3696 >= 55.4916 [ok] idiom: break the window H(p) = 59.4545 H_u = 62.6200 H_s = inf H_u / H(p) = 1.0532 H_s / H(p) = inf bound inf >= 120.2952 >= 59.4545 [ok] idiom: lose keys H(p) = 64.5103 H_u = 66.0789 H_s = inf H_u / H(p) = 1.0243 H_s / H(p) = inf bound inf >= 130.4070 >= 64.5103 [ok] idiom: make lunch H(p) = 44.7433 H_u = 46.4206 H_s = inf H_u / H(p) = 1.0375 H_s / H(p) = inf bound inf >= 90.8730 >= 44.7433 [ok] idiom: cut hair H(p) = 52.0824 H_u = 57.1808 H_s = inf H_u / H(p) = 1.0979 H_s / H(p) = inf bound inf >= 105.5511 >= 52.0824 [ok] idiom: raise children H(p) = 58.1920 H_u = 61.6800 H_s = inf H_u / H(p) = 1.0599 H_s / H(p) = inf bound inf >= 117.7702 >= 58.1920 [ok] idiom: tie knots H(p) = 57.3572 H_u = 60.6969 H_s = inf H_u / H(p) = 1.0582 H_s / H(p) = inf bound inf >= 116.1007 >= 57.3572 [ok] idiom: remember details H(p) = 47.4718 H_u = 47.6819 H_s = inf H_u / H(p) = 1.0044 H_s / H(p) = inf bound inf >= 96.3299 >= 47.4718 [ok] idiom: turn dials H(p) = 71.7074 H_u = 73.2747 H_s = inf H_u / H(p) = 1.0219 H_s / H(p) = inf bound inf >= 144.8010 >= 71.7074 [ok] idiom: build the boat H(p) = 42.8452 H_u = 45.6521 H_s = inf H_u / H(p) = 1.0655 H_s / H(p) = inf bound inf >= 87.0768 >= 42.8452 [ok] idiom: lead the meeting H(p) = 59.9479 H_u = 60.4243 H_s = inf H_u / H(p) = 1.0079 H_s / H(p) = inf bound inf >= 121.2821 >= 59.9479 [ok] idiom: strike a drum H(p) = 58.3868 H_u = 58.6309 H_s = inf H_u / H(p) = 1.0042 H_s / H(p) = inf bound inf >= 118.1600 >= 58.3868 [ok] idiom: see the show H(p) = 56.3631 H_u = 57.7224 H_s = inf H_u / H(p) = 1.0241 H_s / H(p) = inf bound inf >= 114.1125 >= 56.3631 [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__medial__joint__nonidiom.json