Reran benchmarks on EC2 machine
Removed CBMC output
Remove nowidth