New Release with the following changes: (1) update examples for CPAchecker tutorial, (3) extract Cgroups information using BenchExec's API, (3) rename "VerifierCloud" to "BenchCloud" in README and webpage.
New Release with the following changes: (1) update examples for CPAchecker tutorial, (3) extract Cgroups information using BenchExec's API, (3) rename "VerifierCloud" to "BenchCloud" in README and webpage.