OV - kripke.exe - OMP Regions

ID
▼run_0–
▼gmz12.benchmarkcenter.megware.com–
○process 11492
○process 11495
○process 11498
○process 11494
○process 11493
○process 11497
○process 11499
○process 11496

							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	15.367	40.0	0.144	0.144	0.93	1.009	1.008
kripke.exe:0x260031	void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::...	plugins.hpp:71	0	0	runtime	parallel	24	0.649	160	49.2 E-3	49.2 E-3	7.57	1.082	1.003
kripke.exe:0x24c958	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	plugins.hpp:71	0	0	runtime	parallel	24	0.580	160	72.1 E-3	72.1 E-3	12.4	1.142	1.004
kripke.exe:0x286661	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	plugins.hpp:71	0	0	runtime	parallel	24	0.271	160	13.7 E-3	13.7 E-3	5.05	1.053	1.001
kripke.exe:0x265511	void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::...	Collapse.hpp:74	0	0	runtime	parallel	24	51.5 E-3	160	1.65 E-3	1.64 E-3	3.20	1.033	1.000
kripke.exe:0x21a928	main	kripke.cpp:284	0	0	runtime	parallel	24	2.21 E-3	1.00	66.0 E-6	65.7 E-6	2.98	1.031	1.000
kripke.exe:0x25aa3c	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	plugins.hpp:71	0	0	runtime	parallel	24	842 E-6	20.0	65.2 E-6	63.5 E-6	7.75	1.084	1.000