more benchmarks

[soonhokong]

• https://github.com/dreal/probreach/tree/master/model
• http://www.cs.cmu.edu/~liubing/hscc15/