options

OpenMP Regions

requested parallelismwalltime sum (s)nb instancesany sync average per thread time (s)any wait average per thread time (s)parallelism overhead (%)local speedup if perfectly balancedglobal speedup if perfectly balanced
start addrfunction namesource locationlevelancestor thread numinvokerparallel or teamsrun_0run_0run_0run_0run_0run_0run_0run_0
kripke.exe:0x25469avoid Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...plugins.hpp:7100runtimeparallel2424.17140.097.6 E-397.6 E-30.401.0041.004
kripke.exe:0x260031void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::...plugins.hpp:7100runtimeparallel240.83316069.2 E-369.2 E-38.311.0911.003
kripke.exe:0x24c958void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...plugins.hpp:7100runtimeparallel240.76716057.0 E-357.0 E-37.441.0801.002
kripke.exe:0x286661void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...plugins.hpp:7100runtimeparallel240.32016020.3 E-320.3 E-36.311.0671.001
kripke.exe:0x265511void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::...Collapse.hpp:7400runtimeparallel2477.2 E-316013.2 E-313.2 E-317.01.2051.000
kripke.exe:0x21a928mainkripke.cpp:28400runtimeparallel249.97 E-31.007.68 E-37.68 E-377.14.3681.000
kripke.exe:0x25aa3cvoid Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...plugins.hpp:7100runtimeparallel241.32 E-320.064.0 E-662.3 E-64.851.0511.000
×