| Name | Module | Coverage (%) | Time (s) |
| ►.omp_outlined..193+ | libkripke.so | 81.59 | 32.18 |
| ►Loop 840 - forall.hpp:59-59 - libkripke.so+ | | 28.96 | 11.42 |
| ►Loop 841 - forall.hpp:59-59 - libkripke.so+ | | 28.96 | 11.42 |
| ►Loop 842 - Scattering.cpp:88-97 - libkripke.so+ | | 28.96 | 11.42 |
| ○Loop 843 - Scattering.cpp:91-95 - libkripke.so | | 28.96 | 11.42 |
| ►.omp_outlined..152+ | libkripke.so | 5.48 | 2.16 |
| ►Loop 663 - forall.hpp:59-59 - libkripke.so+ | | 5.46 | 2.15 |
| ►Loop 664 - forall.hpp:59-59 - libkripke.so+ | | 5.46 | 2.15 |
| ○Loop 662 - forall.hpp:59-59 - libkripke.so | | 5.46 | 2.15 |
| ►.omp_outlined.+ | libkripke.so | 4.07 | 1.61 |
| ►Loop 572 - forall.hpp:59-59 - libkripke.so+ | | 4.06 | 1.6 |
| ►Loop 573 - forall.hpp:59-59 - libkripke.so+ | | 4.06 | 1.6 |
| ○Loop 574 - forall.hpp:59-59 - libkripke.so | | 4.06 | 1.6 |
| ○_ZL27__kmp_hyper_barrier_release12barrier_typeP8kmp_infoiiiPv | libomp.so | 3.74 | 1.47 |
| ○__kmp_hardware_timestamp | libomp.so | 3.03 | 1.19 |
| ►.omp_outlined..239+ | libkripke.so | 1.85 | 0.73 |
| ►Loop 1073 - forall.hpp:59-59 - libkripke.so+ | | 1.85 | 0.73 |
| ►Loop 1074 - forall.hpp:59-59 - libkripke.so+ | | 1.85 | 0.73 |
| ►Loop 1076 - forall.hpp:59-59 - libkripke.so+ | | 1.85 | 0.73 |
| ○Loop 1075 - forall.hpp:59-59 - libkripke.so | | 1.85 | 0.73 |
| ►.omp_outlined..172+ | libkripke.so | 0.13 | 0.05 |
| ►Loop 730 - Collapse.hpp:83-83 - libkripke.so+ | | 0.13 | 0.05 |
| ○Loop 729 - forall.hpp:59-59 - libkripke.so | | 0.13 | 0.05 |
| ○__GI___sched_yield | libc.so.6 | 0.09 | 0.03 |
| ○__kmp_yield | libomp.so | 0.01 | 0 |
| ○_Z10__kmp_waitIjET_PVS0_S0_PFjS0_S0_EPv | libomp.so | 0.01 | 0 |