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