Added table of results
Fix weird error in CBMC #7 result