bench5 mit size 256