exec - Loop 1165 - Load Distribution

exec - Loop 1165 - Sorted Load Distribution

exec - Loop 1165 - Load Distribution All Threads

Coverage (%)NameSource LocationModule
100.00+__kmp_invoke_microtasklibiomp5.so
__kmp_fork_calllibiomp5.so
__kmpc_fork_calllibiomp5.so
void PopulationSdom::operator([...]reduce.hpp:58exec
Kripke::Kernel::population(Kri[...]ArchLayout.h:179exec
Kripke::SteadyStateSolver(Krip[...]SteadyStateSolver.cpp:99exec
mainkripke.cpp:482exec
__libc_init_firstlibc.so.6
×