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:7100runtimeparallel2415.44740.00.1620.1621.051.0111.009
kripke.exe:0x260031void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::...plugins.hpp:7100runtimeparallel240.64916052.5 E-352.5 E-38.101.0881.003
kripke.exe:0x24c958void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...plugins.hpp:7100runtimeparallel240.57216068.6 E-368.6 E-312.01.1361.004
kripke.exe:0x286661void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...plugins.hpp:7100runtimeparallel240.26416011.4 E-311.4 E-34.321.0451.001
kripke.exe:0x265511void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::...Collapse.hpp:7400runtimeparallel2451.7 E-31601.41 E-31.40 E-32.731.0281.000
kripke.exe:0x21a928mainkripke.cpp:28400runtimeparallel245.09 E-31.002.49 E-32.49 E-349.01.9621.000
kripke.exe:0x25aa3cvoid Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...plugins.hpp:7100runtimeparallel24797 E-620.048.9 E-647.3 E-66.101.0651.000
×