Skip to content
GitLab
    • Why GitLab
    • Pricing
    • Contact Sales
    • Explore
  • Why GitLab
  • Pricing
  • Contact Sales
  • Explore
  • Sign in
  • Get free trial
  • SoSy-LabSoSy-Lab
  • Test-Comp
  • Benchmark Definitions
  • Repository
Find file
Download source code
zip tar.gz tar.bz2 tar
  • Visual Studio Code (SSH)
    Visual Studio Code (HTTPS)
    IntelliJ IDEA (SSH)
    IntelliJ IDEA (HTTPS)
  • Copy SSH clone URLgit@gitlab.com:sosy-lab/test-comp/bench-defs.git
  • Copy HTTPS clone URLhttps://gitlab.com/sosy-lab/test-comp/bench-defs.git