Symbolic Execution benchmarks - View it on GitHub