| 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 | 8 | 4.601 | 26.8 E-3 | 41.9 E-3 | 160 | 3.913 | 0.174 | 0.643 | 23.4 E-3 | 27.4 E-3 | 3.912 | 0.174 | 0.643 | 23.4 E-3 | 27.4 E-3 | 0 | 0 | 0 | 0 | 0 | 10.629 |
| ►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 | | | | | 1280 | 3.913 | 0.174 | 0.643 | 23.4 E-3 | 27.4 E-3 | 3.912 | 0.174 | 0.643 | 23.4 E-3 | 27.4 E-3 | | | | | | |
| ○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.204 | | | | | 0.204 | | | | | | | | | | |
| ○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.174 | | | | | 0.174 | | | | | | | | | | |
| ○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.582 | | | | | 0.582 | | | | | | | | | | |
| ○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.582 | | | | | 0.582 | | | | | | | | | | |
| ○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.643 | | | | | 0.643 | | | | | | | | | | |
| ○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.615 | | | | | 0.615 | | | | | | | | | | |
| ○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.595 | | | | | 0.595 | | | | | | | | | | |
| ○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.518 | | | | | 0.518 | | | | | | | | | | |
| ►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 | 8 | 127.909 | 3.182 | 3.245 | 40 | 5.374 | 0.499 | 0.883 | 40.4 E-3 | 0.155 | 5.374 | 0.499 | 0.883 | 40.4 E-3 | 0.155 | 0 | 0 | 0 | 0 | 0 | 0.525 |
| ►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 | | | | | 320 | 5.374 | 0.499 | 0.883 | 40.4 E-3 | 0.155 | 5.374 | 0.499 | 0.883 | 40.4 E-3 | 0.155 | | | | | | |
| ○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.577 | | | | | 0.577 | | | | | | | | | | |
| ○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.677 | | | | | 0.677 | | | | | | | | | | |
| ○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.803 | | | | | 0.803 | | | | | | | | | | |
| ○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.883 | | | | | 0.883 | | | | | | | | | | |
| ○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.753 | | | | | 0.753 | | | | | | | | | | |
| ○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.521 | | | | | 0.521 | | | | | | | | | | |
| ○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.499 | | | | | 0.499 | | | | | | | | | | |
| ○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.660 | | | | | 0.660 | | | | | | | | | | |
| ►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 | 8 | 6.91 E-3 | 289 E-6 | 649 E-6 | 20 | 5.16 E-3 | 282 E-6 | 1.06 E-3 | 52.0 E-6 | 1.28 E-3 | 5.14 E-3 | 279 E-6 | 1.05 E-3 | 51.3 E-6 | 1.27 E-3 | 0 | 0 | 0 | 0 | 0 | 9.330 |
| ►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 | | | | | 160 | 5.16 E-3 | 282 E-6 | 1.06 E-3 | 52.0 E-6 | 1.28 E-3 | 5.14 E-3 | 279 E-6 | 1.05 E-3 | 51.3 E-6 | 1.27 E-3 | | | | | | |
| ○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 | 1.06 E-3 | | | | | 1.05 E-3 | | | | | | | | | | |
| ○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 | 750 E-6 | | | | | 749 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 | 561 E-6 | | | | | 558 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 | 502 E-6 | | | | | 501 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 | 737 E-6 | | | | | 734 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 | 683 E-6 | | | | | 681 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 | 584 E-6 | | | | | 580 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 | 282 E-6 | | | | | 279 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 | 8 | 3.201 | 19.1 E-3 | 25.6 E-3 | 160 | 1.849 | 68.3 E-3 | 0.356 | 6.56 E-3 | 14.2 E-3 | 1.848 | 68.3 E-3 | 0.356 | 6.56 E-3 | 14.2 E-3 | 0 | 0 | 0 | 0 | 0 | 7.218 |
| ►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 | | | | | 1280 | 1.849 | 68.3 E-3 | 0.356 | 6.56 E-3 | 14.2 E-3 | 1.848 | 68.3 E-3 | 0.356 | 6.56 E-3 | 14.2 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 | 81.9 E-3 | | | | | 81.9 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 | 68.3 E-3 | | | | | 68.3 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.243 | | | | | 0.243 | | | | | | | | | | |
| ○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.252 | | | | | 0.252 | | | | | | | | | | |
| ○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 | 0.356 | | | | | 0.356 | | | | | | | | | | |
| ○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 | 0.345 | | | | | 0.345 | | | | | | | | | | |
| ○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.251 | | | | | 0.251 | | | | | | | | | | |
| ○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.251 | | | | | 0.251 | | | | | | | | | | |
| ►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 | 8 | 2.730 | 14.1 E-3 | 21.6 E-3 | 160 | 0.881 | 13.4 E-3 | 0.293 | 2.11 E-3 | 16.9 E-3 | 0.881 | 13.4 E-3 | 0.293 | 2.11 E-3 | 16.9 E-3 | 0 | 0 | 0 | 0 | 0 | 4.036 |
| ►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 | | | | | 1280 | 0.881 | 13.4 E-3 | 0.293 | 2.11 E-3 | 16.9 E-3 | 0.881 | 13.4 E-3 | 0.293 | 2.11 E-3 | 16.9 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.269 | | | | | 0.269 | | | | | | | | | | |
| ○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.293 | | | | | 0.293 | | | | | | | | | | |
| ○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 | 60.5 E-3 | | | | | 60.5 E-3 | | | | | | | | | | |
| ○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 | 56.1 E-3 | | | | | 56.1 E-3 | | | | | | | | | | |
| ○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 | 65.7 E-3 | | | | | 65.7 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 | 61.2 E-3 | | | | | 61.1 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 | 62.6 E-3 | | | | | 62.6 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 | 13.4 E-3 | | | | | 13.4 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 | 8 | 0.209 | 1.30 E-3 | 1.38 E-3 | 160 | 9.94 E-3 | 490 E-6 | 1.62 E-3 | 47.2 E-6 | 95.8 E-6 | 9.84 E-3 | 478 E-6 | 1.61 E-3 | 46.7 E-6 | 94.9 E-6 | 0 | 0 | 0 | 0 | 0 | 0.593 |
| ►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 | | | | | 1280 | 9.94 E-3 | 490 E-6 | 1.62 E-3 | 47.2 E-6 | 95.8 E-6 | 9.84 E-3 | 478 E-6 | 1.61 E-3 | 46.7 E-6 | 94.9 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 | 787 E-6 | | | | | 776 E-6 | | | | | | | | | | |
| ○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 | 924 E-6 | | | | | 915 E-6 | | | | | | | | | | |
| ○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 | 1.59 E-3 | | | | | 1.58 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.51 E-3 | | | | | 1.49 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 | 1.62 E-3 | | | | | 1.61 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 | 1.45 E-3 | | | | | 1.44 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 | 1.56 E-3 | | | | | 1.54 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 | 490 E-6 | | | | | 478 E-6 | | | | | | | | | | |