OV - - OMP Regions

							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:0x45fba1	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	Collapse.hpp:142	0	0	runtime	parallel	13	32.552	40.0	0.303	0.303	0.92	1.009	1.007
kripke.exe:0x44fe27	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	Collapse.hpp:142	0	0	runtime	parallel	13	3.771	160	48.9 E-3	48.9 E-3	1.30	1.013	1.001
kripke.exe:0x4482b7	void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::...	Collapse.hpp:142	0	0	runtime	parallel	13	3.586	160	75.9 E-3	75.9 E-3	2.15	1.022	1.002
kripke.exe:0x47f5b5	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	Collapse.hpp:142	0	0	runtime	parallel	13	1.545	160	60.9 E-3	60.9 E-3	3.94	1.041	1.001
kripke.exe:0x455c86	void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::...	reduce.hpp:58	0	0	runtime	parallel	13	0.106	160	8.28 E-3	8.26 E-3	7.83	1.085	1.000
kripke.exe:0x466a94	void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(...	Collapse.hpp:142	0	0	runtime	parallel	13	3.87 E-3	20.0	131 E-6	129 E-6	3.37	1.035	1.000
kripke.exe:0x4045d0	main	kripke.cpp:284	0	0	runtime	parallel	13	1.18 E-3	1.00	144 E-6	144 E-6	12.2	1.139	1.000