sosy-lab / sv-comp Goto Github PK

Task set <tasks name="SoftwareSystems-SQLite-MemSafety"> is empty because it only has a coverage property, so it should not be part of the benchmark definitions.

@dbeyer how to proceed with this? Should every team update its own archives?

Hi,

I would like to understand why each verification tool is given 2 CPU cores , for example:
<benchmark tool="aprove" timelimit="900 s" memlimit="15 GB" cpuCores="2">

while in https://sv-comp.sosy-lab.org/2017/rules.php, the limitation is different.

there are three resource limits for each verification run: a memory limit of 15 GB (14.6 GiB) of RAM, a runtime limit of 15 min of CPU time, and a limit to 8 processing units of a CPU.

Could anyone please clarify this?

Many thanks,
Truc