| Loop id | Source Location | Source Function | Level | Max Thread Time / Walltime run_0 (%) | Exclusive Coverage run_0 (%) | Inclusive Coverage run_0 (%) | Max Exclusive Time Over Threads run_0 (s) | Max Inclusive Time Over Threads run_0 (s) | Exclusive Time w.r.t. Wall Time run_0 (s) | Inclusive Time w.r.t. Wall Time run_0 (s) | Nb Threads run_0 | Vectorization Ratio (%) | Vector Length Use (%) | Speedup If No Scalar Integer | Speedup If FP Vectorized | Speedup If Fully Vectorized | Speedup If Perfect Load Balancing run_0 | Stride 0 | Stride 1 | Stride n | Stride Unknown | Stride Indirect | Array Access Efficiency |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1224 | kripke.exe - Scattering.cpp:87-97 [...] | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, ScatteringSdom, Kripke::SdomId&, Kripke::SdomId&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Field<double, Kri... | InBetween | 59.91 | 51.05 | 64.77 | 33.33 | 42.33 | 28.25 | 35.84 | 52 | 24.15 | 15.52 | 2.32 | 3.37 | 7.71 | 1.3 | NA | NA | NA | NA | NA | 50.00 |
| 1225 | kripke.exe - IndexValue.hpp:221-221 [...] | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, ScatteringSdom, Kripke::SdomId&, Kripke::SdomId&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Field<double, Kri... | Innermost | 16.47 | 13.72 | 13.72 | 9.16 | 9.16 | 7.59 | 7.59 | 52 | 0 | 12.5 | 1 | 2.48 | 8 | 1.33 | 0 | 2 | 0 | 1 | 0 | 83.33 |
| 966 | kripke.exe - For.hpp:142-142 [...] | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesSdom, Kripke::SdomId&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Cor... | Innermost | 6.73 | 6.47 | 6.47 | 3.74 | 3.74 | 3.58 | 3.58 | 52 | 100 | 50 | 1 | 1.41 | 2 | 1.15 | 0 | 2 | 0 | 0 | 0 | 100.00 |
| 822 | kripke.exe - For.hpp:142-142 [...] | void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, K... | Innermost | 4.25 | 4.09 | 4.09 | 2.37 | 2.37 | 2.26 | 2.26 | 52 | 100 | 50 | 1 | 1.41 | 2 | 1.15 | 0 | 2 | 0 | 0 | 0 | 100.00 |
| 1428 | kripke.exe - For.hpp:142-142 [...] | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const... | Innermost | 3.37 | 2.92 | 2.92 | 1.88 | 1.88 | 1.62 | 1.62 | 52 | 11.54 | 13.94 | 1.08 | 1.63 | 1.63 | 1.28 | 3 | 0 | 0 | 6 | 4 | 46.15 |
| 1116 | kripke.exe - For.hpp:142-142 [...] | void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, K... | Innermost | 0.20 | 0.17 | 0.17 | 0.11 | 0.11 | 0.09 | 0.09 | 52 | 100 | 50 | 1 | 1.67 | 2 | 1.31 | 0 | 2 | 0 | 0 | 0 | 100.00 |
| 1427 | kripke.exe - For.hpp:142-142 [...] | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const... | InBetween | 0.09 | 0.05 | 2.96 | 0.05 | 1.90 | 0.03 | 1.64 | 48 | 0 | 12.38 | 1 | 1 | 9.1 | 2.01 | 1 | 0 | 0 | 6 | 6 | 30.77 |
| 1223 | kripke.exe - For.hpp:142-142 [...] | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, ScatteringSdom, Kripke::SdomId&, Kripke::SdomId&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Field<double, Kri... | InBetween | 0.07 | 0.03 | 64.80 | 0.04 | 42.34 | 0.02 | 35.86 | 44 | 0 | 11.25 | 1.43 | 1 | 13.33 | 2.15 | NA | NA | NA | NA | NA | 0.00 |
| 737 | kripke.exe - forall.hpp:74-74 [...] | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) | Innermost | 0.21 | 0.02 | 0.02 | 0.12 | 0.12 | 0.01 | 0.01 | 4 | 100 | 50 | 1 | 1 | 2 | 1.14 | 0 | 1 | 0 | 0 | 0 | 100.00 |