__intel_rtdd_indep - Load Distribution

__intel_rtdd_indep - Sorted Load Distribution

__intel_rtdd_indep - Load Distribution All Threads

Coverage (%)NameSource LocationModule
100.00+__kmp_invoke_microtasklibiomp5.so
__kmp_fork_calllibiomp5.so
__kmpc_fork_calllibiomp5.so
void Kripke::DispatchHelper<Kr[...]internal.hpp:345exec
Kripke::Kernel::sweepSubdomain[...]ArchLayout.h:145exec
Kripke::SweepSolver(Kripke::Co[...]SweepSolver.cpp:78exec
Kripke::SteadyStateSolver(Krip[...]stl_vector.h:366exec
mainkripke.cpp:482exec
__libc_init_firstlibc.so.6
×