Dear Dominik Klumpp,

Please find below the Pre-run results for tool UGemCutter,
as a collection of tables, raw benchmark results, and log files.

Limits: The current pre-run results are limited with: --timelimit 90 --limitCores 2 --memorylimit 7GB.


The tables show the raw results of the tool
(link to log file via column 'status',
 link to the generated witness/test-suites via column 'wit/test-suite',
 CPU time, wall time, and memory consumption),
and the validation results.

Please check the log files to verify that all components that your tool needs are available
and that the process was executed correctly.

The tables also show the (raw, not yet normalized) scores for each task.
Cf. Section Computation of Scores for Meta Categories
of the rules page for instructions on how to compute normalized scores:
https://sv-comp.sosy-lab.org/2024/rules.php#meta

You are required to forward this e-mail to your team members;
the results are sent only to the jury members by default.

If you have questions or complaints, please reply to this e-mail.

Provenance information for the benchmarking results is
contained in the results XML files in tag <description>.

Best regards,
Dirk Beyer
(for SV-COMP 2024)

HTML tables:
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.results.SV-COMP24.table.html
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety.xml.bz2.fixed.xml.bz2.table.html
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_unreach-call.ConcurrencySafety-Main.xml.bz2.fixed.xml.bz2.table.html
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows.xml.bz2.fixed.xml.bz2.table.html
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_no-data-race.NoDataRace-Main.xml.bz2.fixed.xml.bz2.table.html
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety.xml.bz2.fixed.xml.bz2.table.html
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_unreach-call.ConcurrencySafety-Main.xml.bz2.fixed.xml.bz2.table.html
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows.xml.bz2.fixed.xml.bz2.table.html
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_no-data-race.NoDataRace-Main.xml.bz2.fixed.xml.bz2.table.html

XML data:
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety.xml.bz2.fixed.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_unreach-call.ConcurrencySafety-Main.xml.bz2.fixed.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_unreach-call.ConcurrencySafety-Main.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows.xml.bz2.fixed.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_no-data-race.NoDataRace-Main.xml.bz2.fixed.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.results.SV-COMP24_no-data-race.NoDataRace-Main.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-10_13-43-28.results.SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-10_13-43-28.results.SV-COMP24_unreach-call.ConcurrencySafety-Main.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-10_13-43-28.results.SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-10_13-43-28.results.SV-COMP24_no-data-race.NoDataRace-Main.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety.xml.bz2.fixed.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_unreach-call.ConcurrencySafety-Main.xml.bz2.fixed.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_unreach-call.ConcurrencySafety-Main.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows.xml.bz2.fixed.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_no-data-race.NoDataRace-Main.xml.bz2.fixed.xml.bz2
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.results.SV-COMP24_no-data-race.NoDataRace-Main.xml.bz2

Log archives:
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-17_21-58-40.logfiles.zip
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-10_13-43-28.logfiles.zip
https://sv-comp.sosy-lab.org/2024/results/results-verified/ugemcutter.2023-11-06_13-36-42.logfiles.zip

-- 
You received this message because you are subscribed to the Google Groups "SV-COMP-Validators" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sv-comp-validators+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sv-comp-validators/1700306864.622141.4107679.nullmailer%40sm06.sosy.ifi.lmu.de.
For more options, visit https://groups.google.com/d/optout.