the 4-bit matching bf16 on terminal-bench is a useful data