-------- Forwarded Message -------- Subject: SV-COMP 2022 -- Pre-run Results for UGemCutter Date: Tue, 23 Nov 2021 14:52:07 +0100 From: Dirk Beyer To: Dominik Klumpp 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 to 900 s of CPU time, 2 cores, and 7 GB. 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-11-23_14-00-18.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-23_14-00-18.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-22_23-01-51.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-22_23-01-51.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-21_12-17-12.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-21_12-17-12.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-20_05-55-05.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-20_05-55-05.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-19_04-09-28.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-19_04-09-28.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-13_17-59-50.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-13_17-59-50.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-11-23_14-00-18.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-23_14-00-18.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-23_14-00-18.results.SV-COMP22_no-data-race.NoDataRace-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-22_23-01-51.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-22_23-01-51.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-22_23-01-51.results.SV-COMP22_no-data-race.NoDataRace-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-20_05-55-05.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-20_05-55-05.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-20_05-55-05.results.SV-COMP22_no-data-race.NoDataRace-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-19_04-09-28.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-19_04-09-28.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-19_04-09-28.results.SV-COMP22_no-data-race.NoDataRace-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-13_17-59-50.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-13_17-59-50.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2 https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-13_17-59-50.results.SV-COMP22_no-data-race.NoDataRace-Main.xml.bz2 Log archives: https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-23_14-00-18.logfiles.zip https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-22_23-01-51.logfiles.zip https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-20_05-55-05.logfiles.zip https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-19_04-09-28.logfiles.zip https://sv-comp.sosy-lab.org/2022/results/results-verified/ugemcutter.2021-11-13_17-59-50.logfiles.zip