VerificationBookBenchmarks

A set of verification benchmarks which were mined from various books, papers and competitions on verification.