SoSy-Lab Software Collection

There is a newer version of the record available.

Published August 19, 2025 | Version 1.4.1
Software Open

BenchCloud Release 1.4.1

Authors/Creators

  • 1. ROR icon Ludwig-Maximilians-Universität München

Description

About

BenchCloud is a server-based system for scalable, distributed task execution and benchmarking.
Originally developed as VerifierCloud (hence the abbreviation vcloud in various components) to support cloud-based benchmarking of software verifiers, it has since evolved into a general-purpose platform for running and managing benchmarking tasks in distributed environments.

🚀 Getting Started

BenchCloud is open-source software, developed initially to support CPAchecker and the Competition on Software Verification (SV-COMP).

We hope others will also find it useful for:

  • Running large-scale benchmarks in research or CI pipelines
  • Managing distributed experiments across compute clusters or cloud machines

⚠️ Note: BenchCloud comes without official support. We offer limited help and encourage users to contribute improvements.

Files

benchcloud-1.4.1.zip

Files (42.1 MB)

Name Size Download all
md5:a76a75c43aaaa7f78ffd176517f8001b
42.1 MB Preview Download

Additional details

Software

Repository URL
https://gitlab.com/sosy-lab/software/benchcloud
Programming language
Java , Python
Development Status
Active