| Cuda2CIVLWorker.java |  | 0% |  | 0% | 118 | 121 | 762 | 768 | 26 | 29 | 0 | 1 |
| DirectingWorker.java |  | 0% |  | 0% | 48 | 48 | 206 | 206 | 10 | 10 | 1 | 1 |
| IntOperationWorker.java |   | 38% |   | 53% | 69 | 106 | 225 | 366 | 7 | 15 | 0 | 1 |
| OpenMPSimplifierWorker2.java |   | 59% |   | 43% | 135 | 197 | 202 | 550 | 6 | 21 | 0 | 1 |
| OpenMP2CIVLWorker2.java |   | 85% |   | 64% | 133 | 307 | 182 | 1,259 | 1 | 67 | 0 | 7 |
| BaseWorker.java |   | 63% |   | 55% | 91 | 211 | 199 | 566 | 10 | 68 | 0 | 1 |
| Pthread2CIVLWorker.java |   | 73% |   | 69% | 76 | 198 | 161 | 600 | 6 | 35 | 0 | 2 |
| OpenMPAtomicAnalyzer.java |  | 0% |  | 0% | 60 | 60 | 121 | 121 | 19 | 19 | 2 | 2 |
| OpenMPParallelRegions.java |  | 0% |  | 0% | 42 | 42 | 103 | 103 | 8 | 8 | 1 | 1 |
| ShortCircuitTransformerWorker.java |   | 79% |   | 85% | 24 | 106 | 55 | 306 | 4 | 31 | 0 | 2 |
| LogicFunctionTransformer.java |   | 71% |   | 67% | 21 | 57 | 49 | 198 | 1 | 15 | 0 | 2 |
| GeneralWorker.java |   | 87% |   | 87% | 22 | 107 | 49 | 423 | 2 | 18 | 1 | 2 |
| SvcompWorker.java |   | 60% |   | 60% | 18 | 39 | 55 | 150 | 1 | 10 | 0 | 1 |
| MacroWorker.java |  | 9% |  | 8% | 18 | 21 | 51 | 58 | 1 | 3 | 0 | 1 |
| IOWorker.java |   | 91% |   | 69% | 55 | 148 | 41 | 534 | 0 | 25 | 0 | 1 |
| LoopContractTransformerWorker.java |   | 92% |   | 90% | 9 | 68 | 17 | 298 | 3 | 35 | 0 | 1 |
| MPI2CIVLWorker.java |   | 96% |   | 92% | 11 | 90 | 10 | 356 | 0 | 18 | 0 | 1 |
| LoopContractBlock.java |  | 91% |  | 78% | 3 | 15 | 1 | 37 | 0 | 8 | 0 | 1 |