Symbolic Execution Benchmarks for Ethereum Smart Contracts - View it on GitHub