| 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 | 16 | 3.029 | 15.3 E-3 | 53.7 E-3 | 160 | 7.289 | 0.287 | 0.594 | 25.9 E-3 | 0.261 | 7.288 | 0.287 | 0.594 | 25.9 E-3 | 0.261 | 0 | 0 | 0 | 0 | 0 | 15.037 |
| ►synchronization regions+ | | | | | | | | | | | | | | | | | | | | | | | | | |
| ►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 | barrier_implicit | | | | | 2560 | 7.289 | 0.287 | 0.594 | 25.9 E-3 | 0.261 | 7.288 | 0.287 | 0.594 | 25.9 E-3 | 0.261 | | | | | | |
| ○Thread 0.0 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.492 | | | | | 0.492 | | | | | | | | | | |
| ○Thread 0.1 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.448 | | | | | 0.448 | | | | | | | | | | |
| ○Thread 0.2 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.536 | | | | | 0.536 | | | | | | | | | | |
| ○Thread 0.3 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.473 | | | | | 0.473 | | | | | | | | | | |
| ○Thread 0.4 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.308 | | | | | 0.307 | | | | | | | | | | |
| ○Thread 0.5 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.287 | | | | | 0.287 | | | | | | | | | | |
| ○Thread 0.6 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.512 | | | | | 0.512 | | | | | | | | | | |
| ○Thread 0.7 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.525 | | | | | 0.525 | | | | | | | | | | |
| ○Thread 0.8 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.470 | | | | | 0.469 | | | | | | | | | | |
| ○Thread 0.9 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.469 | | | | | 0.469 | | | | | | | | | | |
| ○Thread 0.10 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.517 | | | | | 0.517 | | | | | | | | | | |
| ○Thread 0.11 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.594 | | | | | 0.594 | | | | | | | | | | |
| ○Thread 0.12 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.297 | | | | | 0.297 | | | | | | | | | | |
| ○Thread 0.13 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.315 | | | | | 0.315 | | | | | | | | | | |
| ○Thread 0.14 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.507 | | | | | 0.507 | | | | | | | | | | |
| ○Thread 0.15 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.540 | | | | | 0.540 | | | | | | | | | | |
| ►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 | 16 | 64.251 | 1.594 | 1.632 | 40 | 10.110 | 0.401 | 0.795 | 0.106 | 0.521 | 10.110 | 0.401 | 0.795 | 0.106 | 0.521 | 0 | 0 | 0 | 0 | 0 | 0.983 |
| ►synchronization regions+ | | | | | | | | | | | | | | | | | | | | | | | | | |
| ►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 | barrier_implicit | | | | | 640 | 10.110 | 0.401 | 0.795 | 0.106 | 0.521 | 10.110 | 0.401 | 0.795 | 0.106 | 0.521 | | | | | | |
| ○Thread 0.0 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.678 | | | | | 0.678 | | | | | | | | | | |
| ○Thread 0.1 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.774 | | | | | 0.774 | | | | | | | | | | |
| ○Thread 0.2 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.795 | | | | | 0.795 | | | | | | | | | | |
| ○Thread 0.3 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.542 | | | | | 0.542 | | | | | | | | | | |
| ○Thread 0.4 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.709 | | | | | 0.709 | | | | | | | | | | |
| ○Thread 0.5 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.656 | | | | | 0.656 | | | | | | | | | | |
| ○Thread 0.6 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.703 | | | | | 0.703 | | | | | | | | | | |
| ○Thread 0.7 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.730 | | | | | 0.730 | | | | | | | | | | |
| ○Thread 0.8 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.563 | | | | | 0.563 | | | | | | | | | | |
| ○Thread 0.9 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.669 | | | | | 0.669 | | | | | | | | | | |
| ○Thread 0.10 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.566 | | | | | 0.566 | | | | | | | | | | |
| ○Thread 0.11 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.586 | | | | | 0.586 | | | | | | | | | | |
| ○Thread 0.12 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.512 | | | | | 0.512 | | | | | | | | | | |
| ○Thread 0.13 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.401 | | | | | 0.401 | | | | | | | | | | |
| ○Thread 0.14 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.645 | | | | | 0.645 | | | | | | | | | | |
| ○Thread 0.15 | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 40 | 0.581 | | | | | 0.581 | | | | | | | | | | |
| ►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 | 16 | 3.52 E-3 | 149 E-6 | 412 E-6 | 20 | 5.22 E-3 | 140 E-6 | 661 E-6 | 68.1 E-6 | 568 E-6 | 5.18 E-3 | 135 E-6 | 659 E-6 | 66.9 E-6 | 565 E-6 | 0 | 0 | 0 | 0 | 0 | 9.253 |
| ►synchronization regions+ | | | | | | | | | | | | | | | | | | | | | | | | | |
| ►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 | barrier_implicit | | | | | 320 | 5.22 E-3 | 140 E-6 | 661 E-6 | 68.1 E-6 | 568 E-6 | 5.18 E-3 | 135 E-6 | 659 E-6 | 66.9 E-6 | 565 E-6 | | | | | | |
| ○Thread 0.0 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 661 E-6 | | | | | 659 E-6 | | | | | | | | | | |
| ○Thread 0.1 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 661 E-6 | | | | | 659 E-6 | | | | | | | | | | |
| ○Thread 0.2 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 599 E-6 | | | | | 598 E-6 | | | | | | | | | | |
| ○Thread 0.3 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 631 E-6 | | | | | 630 E-6 | | | | | | | | | | |
| ○Thread 0.4 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 326 E-6 | | | | | 325 E-6 | | | | | | | | | | |
| ○Thread 0.5 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 157 E-6 | | | | | 154 E-6 | | | | | | | | | | |
| ○Thread 0.6 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 246 E-6 | | | | | 244 E-6 | | | | | | | | | | |
| ○Thread 0.7 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 221 E-6 | | | | | 219 E-6 | | | | | | | | | | |
| ○Thread 0.8 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 153 E-6 | | | | | 149 E-6 | | | | | | | | | | |
| ○Thread 0.9 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 205 E-6 | | | | | 202 E-6 | | | | | | | | | | |
| ○Thread 0.10 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 266 E-6 | | | | | 265 E-6 | | | | | | | | | | |
| ○Thread 0.11 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 272 E-6 | | | | | 268 E-6 | | | | | | | | | | |
| ○Thread 0.12 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 143 E-6 | | | | | 140 E-6 | | | | | | | | | | |
| ○Thread 0.13 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 236 E-6 | | | | | 233 E-6 | | | | | | | | | | |
| ○Thread 0.14 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 302 E-6 | | | | | 300 E-6 | | | | | | | | | | |
| ○Thread 0.15 | Kripke::Kernel::source(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 20 | 140 E-6 | | | | | 135 E-6 | | | | | | | | | | |
| ►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 | 16 | 2.156 | 12.3 E-3 | 16.6 E-3 | 160 | 3.977 | 32.6 E-3 | 0.455 | 20.3 E-3 | 31.0 E-3 | 3.976 | 32.6 E-3 | 0.455 | 20.3 E-3 | 31.0 E-3 | 0 | 0 | 0 | 0 | 0 | 11.529 |
| ►synchronization regions+ | | | | | | | | | | | | | | | | | | | | | | | | | |
| ►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 | barrier_implicit | | | | | 2560 | 3.977 | 32.6 E-3 | 0.455 | 20.3 E-3 | 31.0 E-3 | 3.976 | 32.6 E-3 | 0.455 | 20.3 E-3 | 31.0 E-3 | | | | | | |
| ○Thread 0.0 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 32.6 E-3 | | | | | 32.6 E-3 | | | | | | | | | | |
| ○Thread 0.1 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 37.0 E-3 | | | | | 37.0 E-3 | | | | | | | | | | |
| ○Thread 0.2 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.365 | | | | | 0.365 | | | | | | | | | | |
| ○Thread 0.3 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.220 | | | | | 0.220 | | | | | | | | | | |
| ○Thread 0.4 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 54.0 E-3 | | | | | 54.0 E-3 | | | | | | | | | | |
| ○Thread 0.5 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 57.2 E-3 | | | | | 57.2 E-3 | | | | | | | | | | |
| ○Thread 0.6 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.377 | | | | | 0.377 | | | | | | | | | | |
| ○Thread 0.7 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.383 | | | | | 0.383 | | | | | | | | | | |
| ○Thread 0.8 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.314 | | | | | 0.314 | | | | | | | | | | |
| ○Thread 0.9 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.305 | | | | | 0.305 | | | | | | | | | | |
| ○Thread 0.10 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.441 | | | | | 0.441 | | | | | | | | | | |
| ○Thread 0.11 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.455 | | | | | 0.455 | | | | | | | | | | |
| ○Thread 0.12 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 86.5 E-3 | | | | | 86.4 E-3 | | | | | | | | | | |
| ○Thread 0.13 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 89.7 E-3 | | | | | 89.7 E-3 | | | | | | | | | | |
| ○Thread 0.14 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.378 | | | | | 0.378 | | | | | | | | | | |
| ○Thread 0.15 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 0.382 | | | | | 0.382 | | | | | | | | | | |
| ►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 | 16 | 1.447 | 7.43 E-3 | 13.1 E-3 | 160 | 1.616 | 4.07 E-3 | 0.231 | 2.42 E-3 | 40.4 E-3 | 1.616 | 4.06 E-3 | 0.231 | 2.42 E-3 | 40.4 E-3 | 0 | 0 | 0 | 0 | 0 | 6.982 |
| ►synchronization regions+ | | | | | | | | | | | | | | | | | | | | | | | | | |
| ►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 | barrier_implicit | | | | | 2560 | 1.616 | 4.07 E-3 | 0.231 | 2.42 E-3 | 40.4 E-3 | 1.616 | 4.06 E-3 | 0.231 | 2.42 E-3 | 40.4 E-3 | | | | | | |
| ○Thread 0.0 | 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 | | barrier_implicit | | | | | 160 | 0.231 | | | | | 0.231 | | | | | | | | | | |
| ○Thread 0.1 | 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 | | barrier_implicit | | | | | 160 | 0.228 | | | | | 0.228 | | | | | | | | | | |
| ○Thread 0.2 | 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 | | barrier_implicit | | | | | 160 | 0.223 | | | | | 0.223 | | | | | | | | | | |
| ○Thread 0.3 | 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 | | barrier_implicit | | | | | 160 | 0.222 | | | | | 0.222 | | | | | | | | | | |
| ○Thread 0.4 | 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 | | barrier_implicit | | | | | 160 | 67.6 E-3 | | | | | 67.6 E-3 | | | | | | | | | | |
| ○Thread 0.5 | 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 | | barrier_implicit | | | | | 160 | 68.9 E-3 | | | | | 68.9 E-3 | | | | | | | | | | |
| ○Thread 0.6 | 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 | | barrier_implicit | | | | | 160 | 57.7 E-3 | | | | | 57.7 E-3 | | | | | | | | | | |
| ○Thread 0.7 | 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 | | barrier_implicit | | | | | 160 | 68.0 E-3 | | | | | 68.0 E-3 | | | | | | | | | | |
| ○Thread 0.8 | 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 | | barrier_implicit | | | | | 160 | 69.7 E-3 | | | | | 69.7 E-3 | | | | | | | | | | |
| ○Thread 0.9 | 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 | | barrier_implicit | | | | | 160 | 72.8 E-3 | | | | | 72.8 E-3 | | | | | | | | | | |
| ○Thread 0.10 | 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 | | barrier_implicit | | | | | 160 | 67.6 E-3 | | | | | 67.6 E-3 | | | | | | | | | | |
| ○Thread 0.11 | 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 | | barrier_implicit | | | | | 160 | 72.4 E-3 | | | | | 72.4 E-3 | | | | | | | | | | |
| ○Thread 0.12 | 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 | | barrier_implicit | | | | | 160 | 61.7 E-3 | | | | | 61.7 E-3 | | | | | | | | | | |
| ○Thread 0.13 | 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 | | barrier_implicit | | | | | 160 | 59.1 E-3 | | | | | 59.1 E-3 | | | | | | | | | | |
| ○Thread 0.14 | 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 | | barrier_implicit | | | | | 160 | 43.1 E-3 | | | | | 43.0 E-3 | | | | | | | | | | |
| ○Thread 0.15 | 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 | | barrier_implicit | | | | | 160 | 4.07 E-3 | | | | | 4.06 E-3 | | | | | | | | | | |
| ►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 | 16 | 0.107 | 655 E-6 | 834 E-6 | 160 | 39.6 E-3 | 437 E-6 | 3.25 E-3 | 206 E-6 | 365 E-6 | 39.3 E-3 | 427 E-6 | 3.23 E-3 | 205 E-6 | 363 E-6 | 0 | 0 | 0 | 0 | 0 | 2.303 |
| ►synchronization regions+ | | | | | | | | | | | | | | | | | | | | | | | | | |
| ►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 | barrier_implicit | | | | | 2560 | 39.6 E-3 | 437 E-6 | 3.25 E-3 | 206 E-6 | 365 E-6 | 39.3 E-3 | 427 E-6 | 3.23 E-3 | 205 E-6 | 363 E-6 | | | | | | |
| ○Thread 0.0 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 2.80 E-3 | | | | | 2.77 E-3 | | | | | | | | | | |
| ○Thread 0.1 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 2.88 E-3 | | | | | 2.87 E-3 | | | | | | | | | | |
| ○Thread 0.2 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 2.47 E-3 | | | | | 2.46 E-3 | | | | | | | | | | |
| ○Thread 0.3 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 1.83 E-3 | | | | | 1.81 E-3 | | | | | | | | | | |
| ○Thread 0.4 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 3.06 E-3 | | | | | 3.05 E-3 | | | | | | | | | | |
| ○Thread 0.5 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 2.86 E-3 | | | | | 2.82 E-3 | | | | | | | | | | |
| ○Thread 0.6 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 2.06 E-3 | | | | | 2.04 E-3 | | | | | | | | | | |
| ○Thread 0.7 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 2.23 E-3 | | | | | 2.21 E-3 | | | | | | | | | | |
| ○Thread 0.8 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 3.24 E-3 | | | | | 3.23 E-3 | | | | | | | | | | |
| ○Thread 0.9 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 2.87 E-3 | | | | | 2.86 E-3 | | | | | | | | | | |
| ○Thread 0.10 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 2.11 E-3 | | | | | 2.09 E-3 | | | | | | | | | | |
| ○Thread 0.11 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 2.43 E-3 | | | | | 2.41 E-3 | | | | | | | | | | |
| ○Thread 0.12 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 3.25 E-3 | | | | | 3.23 E-3 | | | | | | | | | | |
| ○Thread 0.13 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 3.00 E-3 | | | | | 2.99 E-3 | | | | | | | | | | |
| ○Thread 0.14 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 2.05 E-3 | | | | | 2.04 E-3 | | | | | | | | | | |
| ○Thread 0.15 | Kripke::Kernel::population(Kripke::Core::DataStore&) | /usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116 | | barrier_implicit | | | | | 160 | 437 E-6 | | | | | 427 E-6 | | | | | | | | | | |