| OpenMP2CIVLWorker.java |   | 69% |   | 57% | 270 | 491 | 728 | 2,211 | 2 | 40 | 0 | 2 |
| OpenMPSimplifierWorker.java |   | 54% |   | 40% | 193 | 271 | 281 | 662 | 10 | 29 | 0 | 2 |
| DirectingWorker.java |  | 0% |  | 0% | 55 | 55 | 206 | 206 | 10 | 10 | 1 | 1 |
| IntOperationWorker.java |   | 35% |   | 56% | 68 | 107 | 220 | 365 | 7 | 16 | 1 | 2 |
| BaseWorker.java |   | 70% |   | 58% | 87 | 189 | 166 | 510 | 5 | 50 | 0 | 2 |
| OpenMPOrphanWorker.java |   | 36% |   | 32% | 62 | 87 | 142 | 222 | 4 | 10 | 0 | 1 |
| OpenMPParallelRegions.java |  | 0% |  | 0% | 44 | 44 | 103 | 103 | 8 | 8 | 1 | 1 |
| Pthread2CIVLWorker.java |   | 84% |   | 79% | 60 | 201 | 93 | 595 | 5 | 35 | 0 | 2 |
| ShortCircuitTransformerWorker.java |   | 79% |   | 84% | 23 | 97 | 55 | 297 | 4 | 31 | 0 | 3 |
| SvcompUnPPWorker.java |   | 78% |   | 70% | 58 | 141 | 79 | 365 | 0 | 18 | 0 | 1 |
| GeneralWorker.java |   | 84% |   | 86% | 24 | 96 | 49 | 384 | 5 | 20 | 1 | 2 |
| MacroWorker.java |  | 10% |  | 8% | 18 | 21 | 51 | 58 | 1 | 3 | 0 | 1 |
| IOWorker.java |   | 91% |   | 69% | 60 | 151 | 41 | 535 | 0 | 25 | 0 | 1 |
| SvcompWorker.java |   | 76% |   | 72% | 15 | 45 | 40 | 171 | 1 | 11 | 0 | 1 |
| LoopContractTransformerWorker.java |  | 93% |   | 82% | 12 | 58 | 19 | 250 | 1 | 27 | 0 | 2 |
| MPI2CIVLWorker.java |  | 96% |   | 85% | 29 | 119 | 11 | 357 | 0 | 18 | 0 | 1 |
| Cuda2CIVLWorker.java |  | 98% |   | 89% | 10 | 75 | 13 | 406 | 0 | 20 | 0 | 1 |
| LoopContractBlock.java |  | 89% |  | 72% | 6 | 17 | 2 | 37 | 1 | 8 | 0 | 1 |