Demo Category NoDataRace
This is the report of the results in the demonstration category NoDataRace. Eight verifiers specified the execution for this sub-category in their benchmark definition (https://gitlab.com/sosy-lab/sv-comp/bench-defs/-/tree/svcomp22/benchmark-defs) and participated in this demonstration. The table below shows the results. A detailed table was generated by BenchExec's table-generator together with all other results as well.
The benchmark set contained a total of 162 verification tasks.
Verifier | CSeq | Dartagnan | Goblint | Locksmith | UAutomizer | UGemCutter | UKojak | UTaipan |
Score | 39 | -299 | 124 | 34 | 120 | 151 | 0 | 139 |
Correct true | 37 | 47 | 62 | 17 | 49 | 57 | 0 | 56 |
Correct false | 61 | 23 | 0 | 0 | 54 | 69 | 0 | 59 |
Incorrect true | 0 | 13 | 0 | 0 | 1 | 1 | 0 | 1 |
Incorrect false | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |