| OpenMP2CIVLWorker |   | 1% |  | 0% | 486 | 489 | 2,186 | 2,210 | 35 | 38 | 0 | 1 |
| OpenMPSimplifierWorker |   | 6% |   | 5% | 250 | 261 | 610 | 650 | 23 | 28 | 0 | 1 |
| DirectingWorker |  | 0% |  | 0% | 55 | 55 | 206 | 206 | 10 | 10 | 1 | 1 |
| IntOperationWorker |   | 48% |   | 70% | 46 | 107 | 186 | 387 | 4 | 15 | 0 | 1 |
| BaseWorker |   | 63% |   | 57% | 90 | 188 | 183 | 510 | 6 | 49 | 0 | 1 |
| OpenMPOrphanWorker |   | 36% |   | 32% | 63 | 87 | 143 | 222 | 4 | 10 | 0 | 1 |
| Pthread2CIVLWorker |   | 78% |   | 74% | 70 | 199 | 132 | 594 | 6 | 33 | 0 | 1 |
| OpenMPParallelRegions |  | 0% |  | 0% | 44 | 44 | 103 | 103 | 8 | 8 | 1 | 1 |
| SvcompUnPPWorker |   | 78% |   | 70% | 58 | 141 | 79 | 365 | 0 | 18 | 0 | 1 |
| ShortCircuitTransformerWorker |   | 78% |   | 84% | 22 | 90 | 53 | 283 | 3 | 26 | 0 | 1 |
| GeneralWorker |   | 83% |   | 81% | 25 | 91 | 62 | 378 | 1 | 16 | 0 | 1 |
| IOWorker |   | 89% |   | 67% | 61 | 147 | 50 | 514 | 0 | 24 | 0 | 1 |
| MacroWorker |  | 10% |  | 8% | 18 | 21 | 51 | 58 | 1 | 3 | 0 | 1 |
| SvcompWorker |   | 76% |   | 72% | 15 | 45 | 40 | 171 | 1 | 11 | 0 | 1 |
| OpenMPSimplifierWorker.new Object() {...} |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 | 1 | 1 |
| MPI2CIVLWorker |  | 95% |   | 82% | 34 | 119 | 17 | 357 | 0 | 18 | 0 | 1 |
| LoopContractTransformerWorker |  | 93% |   | 82% | 12 | 57 | 19 | 250 | 1 | 26 | 0 | 1 |
| GeneralWorker.ArgvTypeKind | | 0% | | n/a | 4 | 4 | 2 | 2 | 4 | 4 | 1 | 1 |
| Cuda2CIVLWorker |  | 98% |   | 89% | 10 | 75 | 13 | 406 | 0 | 20 | 0 | 1 |
| BaseWorker.new Object() {...} |  | 86% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 | 0 | 1 |
| LoopContractBlock |  | 89% |  | 72% | 6 | 17 | 2 | 37 | 1 | 8 | 0 | 1 |
| OpenMP2CIVLWorker.new NodePredicate() {...} | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| IntOperationWorker.new Object() {...} | | 87% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| ShortCircuitTransformerWorker.new Object() {...} | | 87% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| ShortCircuitTransformerWorker.ShortCircuitOperation | | 87% | | 75% | 2 | 6 | 2 | 14 | 1 | 4 | 0 | 1 |
| LoopContractTransformerWorker.new Object() {...} | | 88% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| Pthread2CIVLWorker.new NodePredicate() {...} | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |