ONEVIEW

std::enable_if<all_of<camp::concepts::metalib::negate_t<RAJA::internal::loop_data_has_reducers<camp::type::cv::rem_s<camp::type::ref::rem_s<RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&>::type>::type> > >::value, void>::type RAJA::internal::StatementExecutor<RAJA::statement::Collapse<RAJA::omp_parallel_collapse_exec, camp::int_seq<long, 0l, 1l>, RAJA::statement::For<2l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<3l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<4l, RAJA::policy::sequential::seq_exec, RAJA::statement::Lambda<0l> > > > >, RAJA::internal::LoopTypes<camp::list<void, void, void, void, void>, camp::list<void, void, void, void, void> > >::exec<RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&>(RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI*>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&) [clone .omp_outlined] - Load Distribution

min	med	avg	max

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value

min	med	avg	max

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value

std::enable_if<all_of<camp::concepts::metalib::negate_t<RAJA::internal::loop_data_has_reducers<camp::type::cv::rem_s<camp::type::ref::rem_s<RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&>::type>::type> > >::value, void>::type RAJA::internal::StatementExecutor<RAJA::statement::Collapse<RAJA::omp_parallel_collapse_exec, camp::int_seq<long, 0l, 1l>, RAJA::statement::For<2l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<3l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<4l, RAJA::policy::sequential::seq_exec, RAJA::statement::Lambda<0l> > > > >, RAJA::internal::LoopTypes<camp::list<void, void, void, void, void>, camp::list<void, void, void, void, void> > >::exec<RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&>(RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI*>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&) [clone .omp_outlined] - Sorted Load Distribution

min	med	avg	max

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value

min	med	avg	max

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value

std::enable_if<all_of<camp::concepts::metalib::negate_t<RAJA::internal::loop_data_has_reducers<camp::type::cv::rem_s<camp::type::ref::rem_s<RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&>::type>::type> > >::value, void>::type RAJA::internal::StatementExecutor<RAJA::statement::Collapse<RAJA::omp_parallel_collapse_exec, camp::int_seq<long, 0l, 1l>, RAJA::statement::For<2l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<3l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<4l, RAJA::policy::sequential::seq_exec, RAJA::statement::Lambda<0l> > > > >, RAJA::internal::LoopTypes<camp::list<void, void, void, void, void>, camp::list<void, void, void, void, void> > >::exec<RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&>(RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI*>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&) [clone .omp_outlined] - Load Distribution All Threads

min	med	avg	max

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value

min	med	avg	max

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value

std::enable_if<all_of<camp::concepts::metalib::negate_t<RAJA::internal::loop_data_has_reducers<camp::type::cv::rem_s<camp::type::ref::rem_s<RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&>::type>::type> > >::value, void>::type RAJA::internal::StatementExecutor<RAJA::statement::Collapse<RAJA::omp_parallel_collapse_exec, camp::int_seq<long, 0l, 1l>, RAJA::statement::For<2l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<3l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<4l, RAJA::policy::sequential::seq_exec, RAJA::statement::Lambda<0l> > > > >, RAJA::internal::LoopTypes<camp::list<void, void, void, void, void>, camp::list<void, void, void, void, void> > >::exec<RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&>(RAJA::internal::LoopData<camp::tuple<RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Direction, long, Kripke::Direction>, long>, RAJA::Span<RAJA::Iterators::numeric_iterator<Kripke::Group, long, Kripke::Group>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneK, long, Kripke::ZoneK>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneJ, long, Kripke::ZoneJ>, long>, RAJA::Span<RAJA::Iterators::strided_numeric_iterator<Kripke::ZoneI, long, Kripke::ZoneI*>, long> >, camp::tuple<>, camp::resources::v1::Host, SweepSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::Core::DataStore&, Kripke::SdomId) const::{lambda(Kripke::Direction, Kripke::Group, Kripke::ZoneK, Kripke::ZoneJ, Kripke::ZoneI)#1}>&) [clone .omp_outlined]

(1x1) Efficiency	(1x1) Potential Speed-Up (%)	(1x2) Efficiency	(1x2) Potential Speed-Up (%)	(1x4) Efficiency	(1x4) Potential Speed-Up (%)	(1x8) Efficiency	(1x8) Potential Speed-Up (%)	(1x16) Efficiency	(1x16) Potential Speed-Up (%)	(1x24) Efficiency	(1x24) Potential Speed-Up (%)	(1x32) Efficiency	(1x32) Potential Speed-Up (%)	(1x40) Efficiency	(1x40) Potential Speed-Up (%)	(1x48) Efficiency	(1x48) Potential Speed-Up (%)	(1x56) Efficiency	(1x56) Potential Speed-Up (%)	(1x64) Efficiency	(1x64) Potential Speed-Up (%)
1	0	1	0	1	0	1	0	1	0	1	0	0.95	0.11	1	0	0.98	0.04	1	0.01	0.99	0.03

Speed-Up and Efficiency

▶Detailed Speed-Up and Efficiency

Run	Number of threads	Efficiency (ideal is 1)	Speedup	Ideal Speedup	Time (s)	Coverage (%)
1x1	1	1	1	1	70.805000305176	2.567417383194
1x2	2	1	2	2	35.419998168945	2.5036301612854
1x4	4	1	4	4	17.72500038147	2.4695370197296
1x8	8	1	8	8	8.8799982070923	2.4738321304321
1x16	16	1	16	16	4.4349994659424	2.430103302002
1x24	24	1	24.08	24	2.9750001430511	2.3521454334259
1x32	32	0.95	30.52	32	2.3300001621246	2.4078991413116
1x40	40	1	40.01	40	1.7950001955032	2.2993271350861
1x48	48	0.98	47.21	48	1.5099999904633	2.2803676128387
1x56	56	1	55.79	56	1.3049997091293	2.1954216957092
1x64	64	0.99	63.11	64	1.1499999761581	2.1487348079681

Coverage (%)	Name	Source Location	Module
►100.00+	__kmp_invoke_microtask		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

Coverage (%)	Name	Source Location	Module
►50.04+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_launch_thread		libomp.so
○	__kmp_launch_worker(void*)		libomp.so
○	start_thread		libc.so.6
○	thread_start		libc.so.6
►49.96+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

Coverage (%)	Name	Source Location	Module
►74.99+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_launch_thread		libomp.so
○	__kmp_launch_worker(void*)		libomp.so
○	start_thread		libc.so.6
○	thread_start		libc.so.6
►25.01+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

Coverage (%)	Name	Source Location	Module
►87.45+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_launch_thread		libomp.so
○	__kmp_launch_worker(void*)		libomp.so
○	start_thread		libc.so.6
○	thread_start		libc.so.6
►12.55+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

Coverage (%)	Name	Source Location	Module
►93.73+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_launch_thread		libomp.so
○	__kmp_launch_worker(void*)		libomp.so
○	start_thread		libc.so.6
○	thread_start		libc.so.6
►6.27+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

Coverage (%)	Name	Source Location	Module
►95.81+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_launch_thread		libomp.so
○	__kmp_launch_worker(void*)		libomp.so
○	start_thread		libc.so.6
○	thread_start		libc.so.6
►4.19+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

Coverage (%)	Name	Source Location	Module
►97.00+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_launch_thread		libomp.so
○	__kmp_launch_worker(void*)		libomp.so
○	start_thread		libc.so.6
○	thread_start		libc.so.6
►3.00+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

Coverage (%)	Name	Source Location	Module
►97.46+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_launch_thread		libomp.so
○	__kmp_launch_worker(void*)		libomp.so
○	start_thread		libc.so.6
○	thread_start		libc.so.6
►2.54+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

Coverage (%)	Name	Source Location	Module
►97.95+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_launch_thread		libomp.so
○	__kmp_launch_worker(void*)		libomp.so
○	start_thread		libc.so.6
○	thread_start		libc.so.6
►2.05+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

Coverage (%)	Name	Source Location	Module
►98.22+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_launch_thread		libomp.so
○	__kmp_launch_worker(void*)		libomp.so
○	start_thread		libc.so.6
○	thread_start		libc.so.6
►1.78+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

Coverage (%)	Name	Source Location	Module
►98.43+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_launch_thread		libomp.so
○	__kmp_launch_worker(void*)		libomp.so
○	start_thread		libc.so.6
○	thread_start		libc.so.6
►1.57+	__kmp_invoke_microtask		libomp.so
○	__kmp_invoke_task_func		libomp.so
○	__kmp_fork_call		libomp.so
○	__kmpc_fork_call		libomp.so
○	void Kripke::DispatchHelper<Kr[...]	plugins.hpp:66	exec
○	auto Kripke::dispatch<SweepSdo[...]	ArchLayout.h:206	exec
○	Kripke::Kernel::sweepSubdomain[...]	ArchLayout.h:172	exec
○	Kripke::SweepSolver(Kripke::Co[...]	SweepSolver.cpp:75	exec
○	Kripke::SteadyStateSolver(Krip[...]	stl_vector.h:368	exec
○	main	kripke.cpp:509	exec
○	__libc_start_call_main		libc.so.6
○	__libc_start_main		libc.so.6
○	_start	LPlusTimes.cpp:0	exec

×