Loop id | Source Location | Source Function | Level | Coverage run_0 (%) | Max Time Over Threads run_0 (s) | 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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
31 | exec - Scattering.cpp:91-95 [...] | .omp_outlined.#0x44c880 | Innermost | 28.1 | 3.85 | 3.86 | 1 | 0 | 25 | 1 | 1 | 4 | 1 | NA | NA | NA | NA | NA |
32 | exec - Scattering.cpp:82-97 [...] | .omp_outlined.#0x44c880 | InBetween | 20.15 | 2.76 | 2.76 | 1 | 0 | 23.61 | 2 | 1 | 6 | 1 | NA | NA | NA | NA | NA |
26 | exec - forall.hpp:59-59 [...] | .omp_outlined.#0x456f40 | Innermost | 20.12 | 2.76 | 2.76 | 1 | 0 | 25 | 1 | 1 | 4 | 1 | NA | NA | NA | NA | NA |
42 | exec - forall.hpp:59-59 [...] | .omp_outlined.#0x43f1a0 | Single | 14.5 | 1.99 | 1.99 | 1 | 100 | 100 | 1 | 1 | 1 | 1 | NA | NA | NA | NA | NA |
48 | exec - forall.hpp:59-59 [...] | .omp_outlined.#0x4382e0 | Single | 14.1 | 1.93 | 1.94 | 1 | 100 | 100 | 1 | 1 | 1 | 1 | NA | NA | NA | NA | NA |
35 | exec - forall.hpp:59-59 [...] | .omp_outlined.#0x445c50 | Innermost | 1.53 | 0.21 | 0.21 | 1 | 90.91 | 93.18 | 1 | 1 | 1.06 | 1 | NA | NA | NA | NA | NA |
734 | exec - forall.hpp:59-59 [...] | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.58 | 0.08 | 0.08 | 1 | 0 | 25 | 1 | 1 | 4 | 1 | NA | NA | NA | NA | NA |
738 | exec - forall.hpp:59-59 [...] | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.11 | 0.01 | 0.01 | 1 | 0 | 25 | 1 | 1 | 4 | 1 | NA | NA | NA | NA | NA |
39 | exec - LTimes.cpp:62-62 [...] | .omp_outlined.#0x43f1a0 | Outermost | 0.11 | 0.01 | 0.01 | 1 | 0 | 25 | 1 | 1 | 4 | 1 | NA | NA | NA | NA | NA |
736 | exec - forall.hpp:59-59 [...] | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.11 | 0.01 | 0.01 | 1 | 0 | 25 | 1 | 1 | 4 | 1 | NA | NA | NA | NA | NA |
27 | exec - Source.cpp:65-69 [...] | .omp_outlined.#0x452f60 | Single | 0.07 | 0.01 | 0.01 | 1 | 0 | 23.86 | 5.67 | 1 | 5.23 | 1 | NA | NA | NA | NA | NA |
750 | exec - forall.hpp:59-59 [...] | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.07 | 0.01 | 0.01 | 1 | 0 | 25 | 1 | 1 | 4 | 1 | NA | NA | NA | NA | NA |
774 | exec - forall.hpp:59-59 [...] | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) | Innermost | 0.07 | 0.01 | 0.01 | 1 | 0 | 25 | 1 | 1 | 4 | 1 | NA | NA | NA | NA | NA |
765 | exec - forall.hpp:59-59 [...] | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) | Single | 0.07 | 0.01 | 0.01 | 1 | 0 | 25 | 1 | 1 | 4 | 1 | NA | NA | NA | NA | NA |
762 | exec - forall.hpp:59-59 [...] | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) | Single | 0.04 | 0 | 0 | 1 | 0 | 25 | 1 | 1 | 4 | 0 | NA | NA | NA | NA | NA |
45 | exec - LPlusTimes.cpp:57-57 [...] | .omp_outlined.#0x4382e0 | Outermost | 0.04 | 0 | 0 | 1 | 0 | 24.31 | 1 | 1 | 4.91 | 0 | NA | NA | NA | NA | NA |
472 | exec - Space.cpp:151-228 [...] | Kripke::Generate::generateSpace(Kripke::Core::DataStore&, InputVariables const&) | Innermost | 0.04 | 0 | 0 | 1 | 0 | 18.75 | 1.07 | 1 | 7.06 | 0 | NA | NA | NA | NA | NA |
769 | exec - forall.hpp:59-59 [...] | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) | Innermost | 0.04 | 0 | 0 | 1 | 0 | 25 | 1 | 1 | 4 | 0 | NA | NA | NA | NA | NA |