options

Profiling node ip-172-31-47-199 - process 12251 - thread 12251

NameModuleCoverage (%)Time (s)
.omp_outlined.#0x449580+exec78.1628.22
Loop 30 - Scattering.cpp:82-97 - exec+42.4115.32
Loop 32 - Scattering.cpp:82-97 - exec+42.4115.32
Loop 31 - Scattering.cpp:91-95 - exec42.4115.32
.omp_outlined.#0x43cbc0+exec8.573.1
Loop 37 - forall.hpp:59-59 - exec+8.573.1
Loop 38 - forall.hpp:59-59 - exec8.573.1
Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool)+exec4.751.72
Loop 703 - forall.hpp:59-59 - exec2.941.06
Loop 705 - forall.hpp:59-59 - exec0.720.26
Loop 707 - forall.hpp:59-59 - exec0.720.26
Loop 710 - forall.hpp:59-59 - exec0.370.13
.omp_outlined.#0x437080+exec4.251.54
Loop 43 - forall.hpp:59-59 - exec+4.241.53
Loop 40 - forall.hpp:59-59 - exec4.241.53
.omp_outlined.#0x453c40+exec2.130.77
Loop 25 - forall.hpp:59-59 - exec+2.130.77
Loop 26 - forall.hpp:59-59 - exec2.130.77
Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool)+exec1.070.39
Loop 729 - forall.hpp:59-59 - exec0.190.07
Loop 725 - forall.hpp:59-59 - exec0.180.06
Loop 720 - forall.hpp:59-59 - exec0.180.06
Loop 733 - forall.hpp:59-59 - exec0.180.06
Loop 716 - forall.hpp:59-59 - exec0.170.06
Loop 718 - forall.hpp:59-59 - exec0.170.06
kmp_flag_64::wait(kmp_info*, int, void*)libomp.so0.510.19
.omp_outlined.#0x4429f0+exec0.320.12
Loop 33 - forall.hpp:59-59 - exec+0.320.12
Loop 34 - forall.hpp:59-59 - exec0.320.12
kmp_flag_native::notdone_check()libomp.so0.120.04
std::__cxx11::basic_string, std::allocator >::rfind(char const*, unsigned long, unsigned long) constlibarmpl_mp.so0.010
__sched_yieldlibc-2.31.so0.010
__kmp_invoke_task_funclibomp.so0.010
__kmp_allocate_teamlibomp.so0.010
Kripke::Generate::generateSpace(Kripke::Core::DataStore&, InputVariables const&)exec0.010
_dl_rtld_di_serinfold-2.31.so0.010
@plt_start@libomp.so0.010
@plt_start@libarmpl_mp.so0.010
×