| start addr | function name | source location | level | Type | req. par. | walltime SUM/I (s) | walltime MIN/I (s) | walltime MAX/I (s) | nb instances | sync time SUM/IT (s) | sync time SUM/I_MIN/T (s) | sync time SUM/I_MAX/T (s) | sync time SUM/T_MIN/SI (s) | sync time SUM/T_MAX/SI (s) | wait time SUM/IT (s) | wait time SUM/I_MIN/T (s) | wait time SUM/I_MAX/T (s) | wait time SUM/T_MIN/SI (s) | wait time SUM/T_MAX/SI (s) | work time SUM/IT (s) | work time SUM/I_MIN/T (s) | work time SUM/I_MAX/T (s) | work time SUM/T_MIN/SI (s) | work time SUM/T_MAX/SI (s) | parallelism overhead (%) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ○libkripke.so:0x50818 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | 0 | Parallel region invoked by the runtime | 1 | 24.780 | 0.153 | 0.157 | 160 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| ○libkripke.so:0x5e60c | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | 0 | Parallel region invoked by the runtime | 1 | 1.02 E3 | 25.316 | 25.455 | 40 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| ○libkripke.so:0x64bfd | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | 0 | Parallel region invoked by the runtime | 1 | 44.1 E-3 | 2.20 E-3 | 2.21 E-3 | 20 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| ○libkripke.so:0x49544 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | 0 | Parallel region invoked by the runtime | 1 | 16.520 | 0.101 | 0.106 | 160 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| ○libkripke.so:0x68eb0 | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | 0 | Parallel region invoked by the runtime | 1 | 18.797 | 0.111 | 0.125 | 160 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| ○libkripke.so:0x56930 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | 0 | Parallel region invoked by the runtime | 1 | 1.655 | 10.3 E-3 | 10.8 E-3 | 160 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |