OV - kripke.exe - OMP Regions

ID
▼run_0–
▼gmz12.benchmarkcenter.megware.com–
○process 25639
○process 25645
○process 25644
○process 25642
○process 25643
○process 25641
○process 25640
○process 25646

							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	run_0	run_0	run_0	run_0	run_0	run_0	run_0	run_0
kripke.exe:0x25469a	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	plugins.hpp:71	0	0	runtime	parallel	24	24.427	40.0	0.114	0.114	0.47	1.005	1.004
kripke.exe:0x260031	void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::...	plugins.hpp:71	0	0	runtime	parallel	24	0.831	160	67.9 E-3	67.9 E-3	8.17	1.089	1.002
kripke.exe:0x24c958	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	plugins.hpp:71	0	0	runtime	parallel	24	0.771	160	58.0 E-3	58.0 E-3	7.52	1.081	1.002
kripke.exe:0x286661	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	plugins.hpp:71	0	0	runtime	parallel	24	0.319	160	19.9 E-3	19.9 E-3	6.24	1.067	1.001
kripke.exe:0x265511	void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::...	Collapse.hpp:74	0	0	runtime	parallel	24	78.2 E-3	160	14.4 E-3	14.4 E-3	18.4	1.225	1.001
kripke.exe:0x21a928	main	kripke.cpp:284	0	0	runtime	parallel	24	5.27 E-3	1.00	3.55 E-3	3.55 E-3	67.3	3.057	1.000
kripke.exe:0x25aa3c	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	plugins.hpp:71	0	0	runtime	parallel	24	1.35 E-3	20.0	68.8 E-6	67.0 E-6	5.07	1.053	1.000