Loop id | Source Location | Source Function | Level | 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 | GFLOPS 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 | (run_0) RETIRED_FP_OPS_BY_WIDTH:PACK128_UOPS_RETIRED | (run_0) RETIRED_FP_OPS_BY_WIDTH:SCALAR_UOPS_RETIRED | (run_0) cycles | (run_0) RETIRED_FP_OPS_BY_WIDTH:PACK256_UOPS_RETIRED | (run_0) RETIRED_FP_OPS_BY_WIDTH:PACK512_UOPS_RETIRED |
---|
2044 | 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 | 88.73 | 88.73 | 21.72 | 21.72 | 21.22 | 21.22 | 192 | 537.32 | 9.52 | 13.1 | 1.43 | 3.24 | 13.11 | 1.03 | NA | NA | NA | NA | NA | 0.00 | 4.87 E12 | 6.53 E12 | 10.5 E12 | 0.0 | 0.0 |
1429 | kripke.exe - For.hpp:137-137 [...] | 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 | 2.45 | 2.45 | 0.67 | 0.67 | 0.59 | 0.59 | 192 | 1022.01 | 0 | 12.5 | 1 | 1 | 8 | 1.15 | 0 | 2 | 0 | 0 | 0 | 100.00 | 299 E9 | 300 E9 | 291 E9 | 0.0 | 0.0 |
1691 | kripke.exe - For.hpp:137-137 [...] | 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 | 2.02 | 2.02 | 0.57 | 0.57 | 0.48 | 0.48 | 192 | 1223.61 | 0 | 12.5 | 1 | 1 | 8 | 1.18 | 0 | 2 | 0 | 0 | 0 | 100.00 | 297 E9 | 296 E9 | 240 E9 | 0.0 | 0.0 |
2277 | kripke.exe - For.hpp:137-137 [...] | 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 | 1.05 | 1.05 | 0.35 | 0.35 | 0.25 | 0.25 | 192 | 757.85 | 6.25 | 13.28 | 1 | 3.3 | 8 | 1.39 | 1 | 0 | 0 | 7 | 7 | 30.00 | 71.9 E9 | 119 E9 | 125 E9 | 0.0 | 0.0 |
1856 | kripke.exe - For.hpp:137-137 [...] | 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.20 | 0.06 | 0.06 | 0.05 | 0.05 | 192 | 490.89 | 0 | 12.5 | 1 | 2 | 8 | 1.14 | 0 | 2 | 0 | 0 | 0 | 100.00 | 5.66 E9 | 18.0 E9 | 23.9 E9 | 0.0 | 0.0 |
2043 | kripke.exe - For.hpp:137-137 [...] | 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.05 | 88.79 | 0.04 | 21.74 | 0.01 | 21.24 | 192 | 536.96 | 0 | 12.5 | 1 | 1 | 8 | 2.73 | NA | NA | NA | NA | NA | 0.00 | 2.98 E9 | 3.92 E9 | 6.37 E9 | 0.0 | 0.0 |
1690 | kripke.exe - LTimes.cpp:62-62 [...] | 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... | InBetween | 0.03 | 2.06 | 0.04 | 0.58 | 0.01 | 0.49 | 192 | 1221.94 | 0 | 11.25 | 1.47 | 2.11 | 11.43 | 4.72 | NA | NA | NA | NA | NA | 0.00 | 4.49 E9 | 4.60 E9 | 3.69 E9 | 0.0 | 0.0 |
1072 | kripke.exe - forall.hpp:98-98 [...] | SteadyStateSolver | Innermost | 0.03 | 0.03 | 0.17 | 0.17 | 0.01 | 0.01 | 8 | 430.50 | 100 | 25 | 1 | 1 | 4 | 1.06 | 0 | 1 | 0 | 0 | 0 | 100.00 | 2.98 E9 | 0.0 | 3.43 E9 | 0.0 | 0.0 |
1428 | kripke.exe - LPlusTimes.cpp:57-57 [...] | 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... | InBetween | 0.02 | 2.47 | 0.02 | 0.67 | 0.00 | 0.59 | 192 | 766.21 | 0 | 11.51 | 1.45 | 2.05 | 11.87 | 4.06 | NA | NA | NA | NA | NA | 0.00 | 1.97 E9 | 1.81 E9 | 2.45 E9 | 0.0 | 0.0 |
2276 | kripke.exe - For.hpp:137-137 [...] | 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.01 | 1.07 | 0.02 | 0.36 | 0.00 | 0.26 | 192 | 626.60 | 0 | 12.36 | 1 | 1 | 8.85 | 7.11 | 1 | 0 | 0 | 7 | 7 | 30.00 | 804 E6 | 1.40 E9 | 1.75 E9 | 0.0 | 0.0 |