Tidy up scripts for experiments on RTC and I2C with CBMC.
Add scripts to run experiment once for multiple properties on RTC and I2C with CBMC.
Merge branch 'master' of https://github.com/ahorn/benchmarks
Update instructions to run experiments on RTC and I2C with CBMC.
Upload experimental data of RTC and I2C.