Updated experimental results
Script updates and CBMC-specific change to prop6 (partly ignored)