| Cuda2CIVLWorker.java |  | 1% |  | 0% | 142 | 145 | 824 | 835 | 44 | 47 | 1 | 2 |
| OpenMP2CIVLWorker2.java |   | 74% |   | 57% | 176 | 354 | 340 | 1,440 | 8 | 76 | 0 | 7 |
| DirectingWorker.java |  | 0% |  | 0% | 48 | 48 | 206 | 206 | 10 | 10 | 1 | 1 |
| BaseWorker.java |   | 57% |   | 55% | 107 | 229 | 253 | 621 | 27 | 86 | 0 | 1 |
| IntOperationWorker.java |   | 38% |   | 53% | 69 | 106 | 225 | 366 | 7 | 15 | 0 | 1 |
| OpenMPSimplifierWorker2.java |   | 59% |   | 44% | 135 | 198 | 202 | 552 | 6 | 21 | 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% |   | 86% | 23 | 106 | 55 | 306 | 4 | 31 | 0 | 2 |
| LogicFunctionTransformer.java |   | 71% |   | 67% | 21 | 57 | 49 | 198 | 1 | 15 | 0 | 2 |
| GeneralWorker.java |   | 86% |   | 87% | 23 | 111 | 51 | 428 | 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 |   | 91% |   | 85% | 12 | 71 | 18 | 297 | 4 | 36 | 0 | 1 |
| MPI2CIVLWorker.java |  | 96% |   | 93% | 11 | 102 | 10 | 393 | 0 | 20 | 0 | 1 |
| LoopContractBlock.java |  | 84% |  | 71% | 6 | 19 | 6 | 47 | 2 | 11 | 0 | 1 |
| AnnotationTransformerWorker.java |  | 90% |  | 80% | 4 | 15 | 5 | 46 | 0 | 5 | 0 | 1 |