ID | Module | Source Location | Source Function | Level | Max Time Over Threads (s) | Time w.r.t. Wall Time (s) | Coverage (% app. time) | Speedup if no scalar integer | Speedup if FP arith vectorized | Speedup if fully vectorized | Speedup if FP only | Number of paths | Vectorization Ratio (%) | Vector Length Use (%) | ORIG / DL1 | DL1/CQA(DL1) | ORIG (cycles per iteration) | STA (ORIG) | DL1 (cycles per iteration) | STA (DL1) | CQA cycles | CQA cycles if no scalar integer | CQA cycles if FP arith vectorized | CQA cycles if fully vectorized | CQA cycles if FP only | Instance Count | min (Iteration count) | avg (Iteration count) | max (Iteration count) | min (Cycles per Iteration) | avg (Cycles per Iteration) | max (Cycles per Iteration) | Nb FP_ADD / CPI | Nb FP_MUL / CPI | CAP(FP) | BW(FP) | SAT(FP) | CAP(L1R) | BW(L1R) | SAT(L1R) | CAP(L1W) | BW(L1W) | SAT(L1W) | CAP(L2) | BW(L2) | SAT(L2) | CAP(L3) | BW(L3) | SAT(L3) | CAP(RAM_R) | CAP(RAM_W) |
○Loop 1247 | exec | forall.hpp:59-59,Scattering.cpp:82-97,IndexValue.hpp:217-217 | void Kripke::DispatchHelper::operator()&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&>(Kripke::LayoutT_DGZ, ScatteringSdom const&, Kripke::SdomId&, Kripke::SdomId&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | InBetween | 24.44 | 24.44 | 51.92 | 3.87 | 3.18 | 7.78 | 6.26 | 4 | 17.35 | 14.67 | NA | NA | NA | NA | NA | NA | 13.31 | 3.44 | 4.18 | 1.71 | 2.13 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1248 | exec | Scattering.cpp:91-95,IndexValue.hpp:217-217 | void Kripke::DispatchHelper::operator()&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&>(Kripke::LayoutT_DGZ, ScatteringSdom const&, Kripke::SdomId&, Kripke::SdomId&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | Innermost | 9.25 | 9.25 | 19.64 | 1.00 | 3.76 | 8.00 | 1.00 | 1 | 0.00 | 12.50 | NA | NA | NA | NA | NA | NA | 4.00 | 4.00 | 1.06 | 0.50 | 4.00 | 221967460 | 1 | 1.84 | 2 | 5 | 10.91 | 3076528 | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
▼Loop 1399– | exec | forall.hpp:59-59,Operators.hpp:307-307,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | Innermost | 4.89 | 4.89 | 10.39 | 1.13 | 1.69 | 1.69 | 1.13 | 1 | 11.11 | 13.89 | 1.71 | 1.63 | 42.00 | 0.19 | 24.50 | 0.34 | 13.50 | 12.00 | 8.00 | 8.00 | 12.00 | 15728640 | 16 | 16 | 16 | 32.5 | 37.74 | 47506 | 0.24 | 0.00 | 0.48 | 16 | 2.97 | 4.76 | 64 | 7.44 | 0.76 | 32 | 2.38 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 6 | | forall.hpp:59-59,Operators.hpp:307-307,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | | | | 87.09 | 1.13 | 1.69 | 1.69 | 1.13 | 1 | 11.11 | 13.89 | 1.71 | 1.63 | 42.00 | 0.19 | 24.50 | 0.34 | 13.50 | 12.00 | 8.00 | 8.00 | 12.00 | | | | | | | | 0.24 | 0.00 | 0.48 | 16 | 2.97 | 4.76 | 64 | 7.44 | 0.76 | 32 | 2.38 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 7 | | forall.hpp:59-59,Operators.hpp:307-307,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | | | | 10.55 | 1.13 | 1.69 | 1.69 | 1.13 | 1 | 11.11 | 13.89 | 6.46 | 1.59 | 154.13 | 2.75 | 23.88 | 0.26 | 13.50 | 12.00 | 8.00 | 8.00 | 12.00 | | | | | | | | 0.06 | 0.00 | 0.13 | 16 | 0.81 | 1.30 | 64 | 2.03 | 0.21 | 32 | 0.65 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 8 | | forall.hpp:59-59,Operators.hpp:307-307,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | | | | 2.05 | 1.13 | 1.69 | 1.69 | 1.13 | 1 | 11.11 | 13.89 | 7.28 | 1.62 | 176.63 | 0.26 | 24.25 | 0.37 | 13.50 | 12.00 | 8.00 | 8.00 | 12.00 | | | | | | | | 0.06 | 0.00 | 0.11 | 16 | 0.71 | 1.13 | 64 | 1.77 | 0.18 | 32 | 0.57 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 10 | | forall.hpp:59-59,Operators.hpp:307-307,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | | | | 0.18 | 1.13 | 1.69 | 1.69 | 1.13 | 1 | 11.11 | 13.89 | NA | NA | NA | NA | NA | NA | 13.50 | 12.00 | 8.00 | 8.00 | 12.00 | | | | | | | | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 9 | | forall.hpp:59-59,Operators.hpp:307-307,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | | | | 0.06 | 1.13 | 1.69 | 1.69 | 1.13 | 1 | 11.11 | 13.89 | NA | NA | NA | NA | NA | NA | 13.50 | 12.00 | 8.00 | 8.00 | 12.00 | | | | | | | | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 11 | | forall.hpp:59-59,Operators.hpp:307-307,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | | | | 0.01 | 1.13 | 1.69 | 1.69 | 1.13 | 1 | 11.11 | 13.89 | NA | NA | NA | NA | NA | NA | 13.50 | 12.00 | 8.00 | 8.00 | 12.00 | | | | | | | | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
▼Loop 1052– | exec | forall.hpp:59-59,LTimes.cpp:62-62 | void Kripke::DispatchHelper::operator()&, Kripke::Core::Field&, Kripke::Core::Field&>(Kripke::LayoutT_DGZ, LTimesSdom const&, Kripke::SdomId&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | Innermost | 3.87 | 3.87 | 8.21 | 1.00 | 1.41 | 2.00 | 1.50 | 1 | 100.00 | 50.00 | 3.88 | 1.19 | 8.07 | 0.26 | 2.08 | 0.03 | 1.50 | 1.50 | 1.06 | 0.75 | 1.00 | 1536000 | 1024 | 1024 | 1024 | 5.48 | 6.32 | 766.36 | 0.00 | 0.00 | 0.99 | 16 | 6.19 | 7.93 | 64 | 12.39 | 3.97 | 32 | 12.39 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 3 | | forall.hpp:59-59,LTimes.cpp:62-62 | void Kripke::DispatchHelper::operator()&, Kripke::Core::Field&, Kripke::Core::Field&>(Kripke::LayoutT_DGZ, LTimesSdom const&, Kripke::SdomId&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | | | | 78.99 | 1.00 | 1.41 | 2.00 | 1.50 | 1 | 100.00 | 50.00 | 3.88 | 1.19 | 8.07 | 0.26 | 2.08 | 0.03 | 1.50 | 1.50 | 1.06 | 0.75 | 1.00 | | | | | | | | 0.00 | 0.00 | 0.99 | 16 | 6.19 | 7.93 | 64 | 12.39 | 3.97 | 32 | 12.39 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 4 | | forall.hpp:59-59,LTimes.cpp:62-62 | void Kripke::DispatchHelper::operator()&, Kripke::Core::Field&, Kripke::Core::Field&>(Kripke::LayoutT_DGZ, LTimesSdom const&, Kripke::SdomId&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | | | | 20.77 | 1.00 | 1.41 | 2.00 | 1.50 | 1 | 100.00 | 50.00 | 5.08 | 1.19 | 10.55 | 0.19 | 2.08 | 0.03 | 1.50 | 1.50 | 1.06 | 0.75 | 1.00 | | | | | | | | 0.00 | 0.00 | 0.76 | 16 | 4.74 | 6.07 | 64 | 9.48 | 3.03 | 32 | 9.48 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 5 | | forall.hpp:59-59,LTimes.cpp:62-62 | void Kripke::DispatchHelper::operator()&, Kripke::Core::Field&, Kripke::Core::Field&>(Kripke::LayoutT_DGZ, LTimesSdom const&, Kripke::SdomId&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | | | | 0.15 | 1.00 | 1.41 | 2.00 | 1.50 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.50 | 1.50 | 1.06 | 0.75 | 1.00 | | | | | | | | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 6 | | forall.hpp:59-59,LTimes.cpp:62-62 | void Kripke::DispatchHelper::operator()&, Kripke::Core::Field&, Kripke::Core::Field&>(Kripke::LayoutT_DGZ, LTimesSdom const&, Kripke::SdomId&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | | | | 0.01 | 1.00 | 1.41 | 2.00 | 1.50 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.50 | 1.50 | 1.06 | 0.75 | 1.00 | | | | | | | | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
▼Loop 940– | exec | forall.hpp:59-59,LPlusTimes.cpp:57-57 | void LPlusTimesSdom::operator() >(Kripke::ArchLayoutT, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | Innermost | 3.73 | 3.73 | 7.92 | 1.00 | 1.41 | 2.00 | 1.50 | 1 | 100.00 | 50.00 | 4.04 | 1.19 | 8.40 | 0.18 | 2.08 | 0.03 | 1.50 | 1.50 | 1.06 | 0.75 | 1.00 | 1536000 | 1024 | 1024 | 1024 | 5.47 | 6.05 | 720.13 | 0.00 | 0.00 | 0.95 | 16 | 5.95 | 7.62 | 64 | 11.90 | 3.81 | 32 | 11.90 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 3 | | forall.hpp:59-59,LPlusTimes.cpp:57-57 | void LPlusTimesSdom::operator() >(Kripke::ArchLayoutT, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | | | | 90.75 | 1.00 | 1.41 | 2.00 | 1.50 | 1 | 100.00 | 50.00 | 4.04 | 1.19 | 8.40 | 0.18 | 2.08 | 0.03 | 1.50 | 1.50 | 1.06 | 0.75 | 1.00 | | | | | | | | 0.00 | 0.00 | 0.95 | 16 | 5.95 | 7.62 | 64 | 11.90 | 3.81 | 32 | 11.90 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 4 | | forall.hpp:59-59,LPlusTimes.cpp:57-57 | void LPlusTimesSdom::operator() >(Kripke::ArchLayoutT, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | | | | 8.93 | 1.00 | 1.41 | 2.00 | 1.50 | 1 | 100.00 | 50.00 | 4.33 | 1.19 | 8.98 | 0.18 | 2.08 | 0.03 | 1.50 | 1.50 | 1.06 | 0.75 | 1.00 | | | | | | | | 0.00 | 0.00 | 0.89 | 16 | 5.56 | 7.13 | 64 | 11.14 | 3.56 | 32 | 11.14 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 5 | | forall.hpp:59-59,LPlusTimes.cpp:57-57 | void LPlusTimesSdom::operator() >(Kripke::ArchLayoutT, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | | | | 0.25 | 1.00 | 1.41 | 2.00 | 1.50 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.50 | 1.50 | 1.06 | 0.75 | 1.00 | | | | | | | | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 835 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.24 | 0.25 | 0.52 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1165 | exec | forall.hpp:59-59,Operators.hpp:307-307,Population.cpp:58-58 | void PopulationSdom::operator() >(Kripke::ArchLayoutT, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, double*) const [clone .extracted] | Innermost | 0.21 | 0.21 | 0.45 | 1.00 | 1.67 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 4.00 | 4.00 | 2.40 | 2.00 | 4.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1398 | exec | forall.hpp:59-59,Iterators.hpp:310-310,Operators.hpp:307-307,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | InBetween | 0.09 | 0.09 | 0.2 | 1.00 | 1.00 | 9.39 | 3.38 | 2 | 0.00 | 12.38 | NA | NA | NA | NA | NA | NA | 8.88 | 8.88 | 8.88 | 0.95 | 2.63 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 847 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.07 | 0.07 | 0.15 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 841 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.07 | 0.07 | 0.15 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 896 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.02 | 0.02 | 0.04 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 853 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.02 | 0.02 | 0.04 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 884 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.02 | 0.02 | 0.04 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 872 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.02 | 0.02 | 0.04 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 866 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.01 | 0.01 | 0.03 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 877 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.01 | 0.01 | 0.02 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1397 | exec | Layout.hpp:55-55,forall.hpp:59-59,Iterators.hpp:250-310,Operators.hpp:307-307,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | InBetween | 0.01 | 0.01 | 0.02 | 1.00 | 1.00 | 2.22 - 2.06 | 8.57 - 27.43 | 5 | 0.00 | 12.02 | NA | NA | NA | NA | NA | NA | 30.00 - 96.00 | 30.00 - 96.00 | 30.00 - 96.00 | 13.50 - 46.50 | 3.50 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1343 | exec | IndexValue.hpp:252-252,Collapse.hpp:81-83,Source.cpp:65-71 | void Kripke::DispatchHelper::operator()&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, double&>(Kripke::LayoutT_DGZ, SourceSdom const&, Kripke::SdomId&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, double&) const [clone .extracted] | Single | 0.01 | 0.01 | 0.02 | 8.57 - 27.43 | 1.00 | 2.22 - 2.06 | 10.91 - 34.91 | 256 | 0.00 | 11.74 | NA | NA | NA | NA | NA | NA | 120.00 - 384.00 | 14.00 | 120.00 - 384.00 | 54.00 - 186.00 | 11.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 890 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0 | 0 | 0.01 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 570 | exec | Layout.hpp:55-55,forall.hpp:60-60,Operators.hpp:307-307,Space.cpp:356-358 | Kripke::Generate::generateSpace(Kripke::Core::DataStore&, InputVariables const&) | Innermost | 0 | 0 | 0.01 | 2.50 | 2.11 | 8.00 | 7.50 | 1 | 0.00 | 12.50 | NA | NA | NA | NA | NA | NA | 7.50 | 3.00 | 3.56 | 0.94 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 939 | exec | forall.hpp:59-59,LPlusTimes.cpp:57-57 | void LPlusTimesSdom::operator() >(Kripke::ArchLayoutT, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | InBetween | 0 | 0 | 0.01 | 2.05 | 1.28 | 5.71 | 2.80 | 4 | 27.62 | 22.86 | NA | NA | NA | NA | NA | NA | 5.25 | 2.56 | 4.11 | 0.92 | 1.88 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1790 | exec | char_traits.h:386-399,basic_string.h:236-3833,stl_tree.h:782-1952 | Kripke::SweepComm::markComplete(Kripke::SdomId) | Single | 0 | 0 | 0.01 | 1.00 | 1.00 | 12.72 | 2.58 | 8 | 0.00 | 11.16 | NA | NA | NA | NA | NA | NA | 7.75 | 7.75 | 7.75 | 0.61 | 3.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1246 | exec | forall.hpp:59-59,Scattering.cpp:82-97,IndexValue.hpp:217-217 | void Kripke::DispatchHelper::operator()&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&>(Kripke::LayoutT_DGZ, ScatteringSdom const&, Kripke::SdomId&, Kripke::SdomId&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | InBetween | 0 | 0 | 0.01 | 1.00 | 1.00 | 11.73 | 2.75 | 5 | 0.00 | 11.25 | NA | NA | NA | NA | NA | NA | 2.75 | 2.75 | 2.75 | 0.23 | 1.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1164 | exec | forall.hpp:59-59,Operators.hpp:307-307,Collapse.hpp:81-83,Population.cpp:58-58 | void PopulationSdom::operator() >(Kripke::ArchLayoutT, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&, double*) const [clone .extracted] | Outermost | 0 | 0 | 0.01 | 4.80 - 15.36 | 1.00 | 2.22 - 2.06 | 6.00 - 19.20 | 6 | 25.00 | 14.84 | NA | NA | NA | NA | NA | NA | 30.00 - 96.00 | 6.25 | 30.00 - 96.00 | 13.50 - 46.50 | 5.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1048 | exec | forall.hpp:59-59,LTimes.cpp:62-62,Collapse.hpp:81-83,View.hpp:110-110 | void Kripke::DispatchHelper::operator()&, Kripke::Core::Field&, Kripke::Core::Field&>(Kripke::LayoutT_DGZ, LTimesSdom const&, Kripke::SdomId&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Field&, Kripke::Core::Field&, Kripke::Core::Field&) const [clone .extracted] | Outermost | 0 | 0 | 0.01 | 1.00 | 1.00 | 2.69 - 2.06 | 18.13 - 48.00 | 16 | 0.00 | 11.98 | NA | NA | NA | NA | NA | NA | 36.25 - 96.00 | 36.25 - 96.00 | 36.25 - 96.00 | 13.50 - 46.50 | 2.00 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |