Loading weights: 0%| | 0/399 [00:00= 10.0437 >= 4.3287 [ok] idiom: call the police H(p) = 4.4330 H_u = 4.9873 H_s = 5.4711 H_u / H(p) = 1.1250 H_s / H(p) = 1.2342 bound 10.4584 >= 10.2523 >= 4.4330 [ok] idiom: clear the table H(p) = 4.8241 H_u = 5.4679 H_s = 5.6221 H_u / H(p) = 1.1335 H_s / H(p) = 1.1654 bound 11.0900 >= 11.0345 >= 4.8241 [ok] idiom: throw a ball H(p) = 4.6551 H_u = 4.8376 H_s = inf H_u / H(p) = 1.0392 H_s / H(p) = inf bound inf >= 10.6965 >= 4.6551 [ok] idiom: get a present H(p) = 4.8765 H_u = 5.0685 H_s = inf H_u / H(p) = 1.0394 H_s / H(p) = inf bound inf >= 11.1394 >= 4.8765 [ok] idiom: eat the apple H(p) = 4.9444 H_u = 5.2644 H_s = inf H_u / H(p) = 1.0647 H_s / H(p) = inf bound inf >= 11.2752 >= 4.9444 [ok] idiom: break the window H(p) = 4.2394 H_u = 4.7322 H_s = 5.4656 H_u / H(p) = 1.1163 H_s / H(p) = 1.2892 bound 10.1978 >= 9.8650 >= 4.2394 [ok] idiom: lose keys H(p) = 5.6681 H_u = 5.8452 H_s = inf H_u / H(p) = 1.0312 H_s / H(p) = inf bound inf >= 12.7225 >= 5.6681 [ok] idiom: make lunch H(p) = 4.6647 H_u = 4.9714 H_s = inf H_u / H(p) = 1.0657 H_s / H(p) = inf bound inf >= 10.7157 >= 4.6647 [ok] idiom: cut hair H(p) = 4.8990 H_u = 5.4926 H_s = inf H_u / H(p) = 1.1211 H_s / H(p) = inf bound inf >= 11.1844 >= 4.8990 [ok] idiom: raise children H(p) = 5.1013 H_u = 5.5734 H_s = 6.3068 H_u / H(p) = 1.0925 H_s / H(p) = 1.2363 bound 11.8803 >= 11.5890 >= 5.1013 [ok] idiom: tie knots H(p) = 5.0713 H_u = 5.5772 H_s = 6.4949 H_u / H(p) = 1.0997 H_s / H(p) = 1.2807 bound 12.0720 >= 11.5290 >= 5.0713 [ok] idiom: remember details H(p) = 6.1989 H_u = 6.3737 H_s = inf H_u / H(p) = 1.0282 H_s / H(p) = inf bound inf >= 13.7841 >= 6.1989 [ok] idiom: turn dials H(p) = 5.5217 H_u = 6.0142 H_s = inf H_u / H(p) = 1.0892 H_s / H(p) = inf bound inf >= 12.4297 >= 5.5217 [ok] idiom: build the boat H(p) = 3.9509 H_u = 4.4438 H_s = 5.2551 H_u / H(p) = 1.1248 H_s / H(p) = 1.3301 bound 9.6989 >= 9.2881 >= 3.9509 [ok] idiom: lead the meeting H(p) = 5.6028 H_u = 5.8500 H_s = inf H_u / H(p) = 1.0441 H_s / H(p) = inf bound inf >= 12.5919 >= 5.6028 [ok] idiom: strike a drum H(p) = 5.9500 H_u = 6.0502 H_s = inf H_u / H(p) = 1.0168 H_s / H(p) = inf bound inf >= 13.2862 >= 5.9500 [ok] idiom: see the show H(p) = 5.6224 H_u = 5.8617 H_s = inf H_u / H(p) = 1.0426 H_s / H(p) = inf bound inf >= 12.6310 >= 5.6224 [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__medial__geo__nonidiom.json