BenchCloud Release 1.6

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.