GitHub repository: sosy-lab/sv-benchmarks
Description: Collection of Verification Tasks