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 [clone .extracted] - Load Distribution
←
Run 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 [clone .extracted] - Sorted Load Distribution
←
Run 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 [clone .extracted] - Load Distribution All Threads
←
Run 1
→
Run 1
Coverage (%)
Name
Source Location
Module
►
99.99
+
__kmp_invoke_microtask
libiomp5.so
○
__kmp_invoke_task_func
libiomp5.so
×