Add ethoc-hw-cbmc-test-5 results on dkr12