| | | | | | | requested parallelism | walltime sum (s) | nb instances | any sync average per thread time (s) | any wait average per thread time (s) | parallelism overhead (%) | local speedup if perfectly balanced | global speedup if perfectly balanced |
start addr | function name | source location | level | ancestor thread num | invoker | parallel or teams | 8x1 | 8x1 | 8x1 | 8x1 | 8x1 | 8x1 | 8x1 | 8x1 |
kripke_aocc_v2:0x5fa52 | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 252.073 | 40.0 | 0.0 | 0.0 | 0 | 1.000 | 1.000 |
kripke_aocc_v2:0x574ec | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 7.668 | 160 | 0.0 | 0.0 | 0 | 1.000 | 1.000 |
kripke_aocc_v2:0x6beec | void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 5.357 | 160 | 0.0 | 0.0 | 0 | 1.000 | 1.000 |
kripke_aocc_v2:0x9a5a3 | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 4.605 | 160 | 0.0 | 0.0 | 0 | 1.000 | 1.000 |
kripke_aocc_v2:0x7157f | void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::... | Collapse.hpp:74 | 0 | 0 | runtime | parallel | 1 | 0.336 | 160 | 0.0 | 0.0 | 0 | 1.000 | 1.000 |
kripke_aocc_v2:0x65188 | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 12.5 E-3 | 20.0 | 0.0 | 0.0 | 0 | 1.000 | 1.000 |
kripke_aocc_v2:0x1c834 | main | kripke.cpp:284 | 0 | 0 | runtime | parallel | 1 | 6.08 E-6 | 1.00 | 0.0 | 0.0 | 0 | 1.000 | 1.000 |