| OpenMP2CIVLWorker.java |   | 0% |  | 0% | 524 | 527 | 2,270 | 2,294 | 46 | 49 | 2 | 3 |
| OpenMPSimplifierWorker.java |  | 0% |  | 0% | 288 | 288 | 684 | 684 | 30 | 30 | 2 | 2 |
| OpenMPSimplifierWorker2.java |   | 6% |   | 6% | 205 | 216 | 504 | 546 | 17 | 22 | 1 | 2 |
| Cuda2CIVLWorker.java |  | 1% |  | 0% | 72 | 75 | 400 | 406 | 17 | 20 | 0 | 1 |
| IntOperationWorker.java |   | 34% |   | 55% | 68 | 107 | 220 | 365 | 7 | 16 | 1 | 2 |
| BaseWorker.java |   | 59% |   | 49% | 103 | 190 | 218 | 517 | 10 | 50 | 0 | 2 |
| OpenMPOrphanWorker2.java |  | 0% |  | 0% | 87 | 87 | 223 | 223 | 10 | 10 | 1 | 1 |
| OpenMPAtomicAnalyzer.java |  | 0% |  | 0% | 61 | 61 | 121 | 121 | 20 | 20 | 3 | 3 |
| Pthread2CIVLWorker.java |   | 75% |   | 74% | 70 | 201 | 142 | 595 | 6 | 35 | 0 | 2 |
| OpenMPParallelRegions.java |  | 0% |  | 0% | 44 | 44 | 103 | 103 | 8 | 8 | 1 | 1 |
| DirectingWorker.java |   | 68% |   | 48% | 32 | 53 | 67 | 206 | 1 | 10 | 0 | 1 |
| OpenMPOrphanWorker.java |   | 25% |   | 17% | 37 | 47 | 93 | 126 | 4 | 8 | 0 | 1 |
| IOWorker.java |   | 85% |   | 65% | 65 | 151 | 68 | 535 | 1 | 25 | 0 | 1 |
| ShortCircuitTransformerWorker.java |   | 79% |   | 83% | 25 | 101 | 55 | 302 | 4 | 31 | 0 | 3 |
| SvcompWorker.java |   | 54% |   | 56% | 20 | 39 | 68 | 152 | 1 | 10 | 0 | 1 |
| GeneralWorker.java |   | 85% |   | 86% | 24 | 108 | 49 | 426 | 3 | 19 | 1 | 2 |
| LogicFunctionTransformer.java |   | 72% |   | 64% | 25 | 62 | 48 | 198 | 1 | 16 | 0 | 3 |
| MacroWorker.java |  | 9% |  | 8% | 18 | 21 | 51 | 58 | 1 | 3 | 0 | 1 |
| MPI2CIVLWorker.java |   | 93% |   | 87% | 19 | 93 | 27 | 357 | 0 | 18 | 0 | 1 |
| LoopContractTransformerWorker.java |  | 98% |   | 83% | 9 | 56 | 6 | 273 | 0 | 26 | 0 | 1 |
| LoopContractBlock.java |  | 90% |  | 72% | 5 | 17 | 1 | 37 | 0 | 8 | 0 | 1 |