| OpenMP2CIVLWorker.java |   | 1% |  | 0% | 488 | 491 | 2,187 | 2,211 | 37 | 40 | 1 | 2 |
| OpenMPSimplifierWorker.java |   | 5% |   | 5% | 251 | 262 | 610 | 650 | 24 | 29 | 1 | 2 |
| DirectingWorker.java |  | 0% |  | 0% | 55 | 55 | 206 | 206 | 10 | 10 | 1 | 1 |
| IntOperationWorker.java |   | 49% |   | 70% | 46 | 108 | 185 | 387 | 4 | 16 | 0 | 2 |
| BaseWorker.java |   | 66% |   | 57% | 90 | 189 | 182 | 510 | 6 | 50 | 0 | 2 |
| OpenMPOrphanWorker.java |   | 36% |   | 32% | 63 | 87 | 143 | 222 | 4 | 10 | 0 | 1 |
| Pthread2CIVLWorker.java |   | 78% |   | 74% | 70 | 201 | 132 | 595 | 6 | 35 | 0 | 2 |
| OpenMPParallelRegions.java |  | 0% |  | 0% | 44 | 44 | 103 | 103 | 8 | 8 | 1 | 1 |
| GeneralWorker.java |   | 80% |   | 81% | 29 | 95 | 64 | 380 | 5 | 20 | 1 | 2 |
| ShortCircuitTransformerWorker.java |   | 79% |   | 84% | 24 | 97 | 55 | 297 | 4 | 31 | 0 | 3 |
| SvcompUnPPWorker.java |   | 78% |   | 70% | 58 | 141 | 79 | 365 | 0 | 18 | 0 | 1 |
| IOWorker.java |   | 89% |   | 67% | 61 | 147 | 50 | 514 | 0 | 24 | 0 | 1 |
| MacroWorker.java |  | 10% |  | 8% | 18 | 21 | 51 | 58 | 1 | 3 | 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 |  | 95% |   | 82% | 34 | 119 | 17 | 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 |