-------- Forwarded Message -------- Subject: SV-COMP 2022 -- Final Results for UGemCutter Date: Tue, 07 Dec 2021 10:29:52 +0100 From: Dirk Beyer To: Dominik Klumpp Dear Dominik Klumpp, Please find below the Final results for tool UGemCutter, as a collection of tables, raw benchmark results, and log files. 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/2022/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 . Best regards, Dirk Beyer (for SV-COMP 2022) HTML tables: https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.results.SV-COMP22.All.table.html https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-12-07_09-30-15.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2.merged.xml.bz2.table.html https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-12-07_09-30-15.results.SV-COMP22_no-data-race.NoDataRace-Main.xml.bz2.table.html https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-25_02-22-29.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2.merged.xml.bz2.table.html https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-25_02-22-29.results.SV-COMP22_no-data-race.NoDataRace-Main.xml.bz2.table.html XML data: https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-12-07_09-30-15.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2.merged.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-12-07_09-30-15.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-12-07_09-30-15.results.SV-COMP22_no-data-race.NoDataRace-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-25_02-22-29.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2.merged.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-25_02-22-29.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-25_02-22-29.results.SV-COMP22_no-data-race.NoDataRace-Main.xml.bz2 Log archives: https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-12-07_09-30-15.logfiles.zip https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-25_02-22-29.logfiles.zip