| ContractTransformerWorker |  | 0% | | 0% | 354 | 354 | 1,434 | 1,434 | 82 | 82 | 1 | 1 |
| OpenMP2CIVLWorker |  | 68% | | 56% | 279 | 489 | 749 | 2,210 | 2 | 38 | 0 | 1 |
| DirectingWorker | | 0% | | 0% | 55 | 55 | 206 | 206 | 10 | 10 | 1 | 1 |
| OpenMPSimplifierWorker | | 57% | | 46% | 151 | 228 | 196 | 555 | 8 | 26 | 0 | 1 |
| IntOperationWorker | | 48% | | 70% | 46 | 107 | 186 | 387 | 4 | 15 | 0 | 1 |
| BaseWorker | | 66% | | 57% | 87 | 184 | 165 | 489 | 6 | 47 | 0 | 1 |
| OpenMPOrphanWorker | | 36% | | 32% | 62 | 87 | 142 | 222 | 4 | 10 | 0 | 1 |
| OpenMPParallelRegions | | 0% | | 0% | 44 | 44 | 103 | 103 | 8 | 8 | 1 | 1 |
| Pthread2CIVLWorker | | 84% | | 79% | 60 | 199 | 93 | 594 | 5 | 33 | 0 | 1 |
| SvcompUnPPWorker | | 78% | | 70% | 58 | 141 | 79 | 365 | 0 | 18 | 0 | 1 |
| GeneralWorker | | 83% | | 81% | 24 | 91 | 62 | 378 | 1 | 16 | 0 | 1 |
| MacroWorker | | 10% | | 8% | 18 | 21 | 51 | 58 | 1 | 3 | 0 | 1 |
| ContractTransformerWorker.new Object() {...} | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 | 1 | 1 |
| ContractBlock.ConditionalClauses | | 0% | | 0% | 15 | 15 | 41 | 41 | 9 | 9 | 1 | 1 |
| ContractTransformerWorker.ConditionalClauses | | 0% | | 0% | 15 | 15 | 41 | 41 | 9 | 9 | 1 | 1 |
| IOWorker | | 91% | | 68% | 59 | 147 | 40 | 514 | 0 | 24 | 0 | 1 |
| ContractBlock | | 0% | | 0% | 24 | 24 | 33 | 33 | 11 | 11 | 1 | 1 |
| SvcompWorker | | 76% | | 72% | 15 | 45 | 40 | 171 | 1 | 11 | 0 | 1 |
| ContractTransformerWorker.ParsedContractBlock | | 0% | | 0% | 19 | 19 | 28 | 28 | 6 | 6 | 1 | 1 |
| ShortCircuitTransformerWorker | | 88% | | 90% | 13 | 77 | 29 | 259 | 2 | 23 | 0 | 1 |
| MPI2CIVLWorker | | 96% | | 85% | 29 | 119 | 11 | 357 | 0 | 18 | 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 |
| ContractClauseTransformer | | 0% | | n/a | 10 | 10 | 14 | 14 | 10 | 10 | 1 | 1 |
| ContractClauseTransformer.TransformTriple | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 | 1 | 1 |
| OpenMPSimplifierWorker.new Object() {...} | | 87% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 | 0 | 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 |
| Pthread2CIVLWorker.new NodePredicate() {...} | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
| OpenMP2CIVLWorker.new NodePredicate() {...} | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |