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 1331 | 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 | 23.22 | 23.22 | 55.98 | 2.25 | 2.80 | 7.74 | 3.25 | 4 | 18.60 | 14.82 | NA | NA | NA | NA | NA | NA | 11.38 | 5.06 | 4.06 | 1.47 | 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 1332 | 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 | 7.14 | 7.15 | 17.22 | 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 | 225453501 | 1 | 1.85 | 2 | 5 | 11.18 | 662320 | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1485 | exec | forall.hpp:59-59,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | Innermost | 3.67 | 3.67 | 8.86 | 1.00 | 2.48 | 8.00 | 1.00 | 1 | 0.00 | 12.50 | NA | NA | NA | NA | NA | NA | 33.00 - 34.00 | 33.00 - 34.00 | 13.31 - 13.72 | 4.13 - 4.25 | 33.00 - 34.00 | 15728640 | 16 | 16 | 16 | 23.62 | 26.77 | 47828.62 | 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] | Innermost | 2.84 | 2.84 | 6.85 | 1.70 | 1.55 | 3.40 | 2.13 | 1 | 90.91 | 46.59 | 6.11 | 1.02 | 54.49 | 0.09 | 8.91 | 0.01 | 8.50 | 5.00 | 5.50 | 2.50 | 4.00 | 184320 | 1024 | 1024 | 1024 | 28.15 | 33.34 | 765.3 | 0.00 | 0.00 | 1.17 | 16 | 7.34 | 5.87 | 64 | 9.18 | 0.59 | 32 | 1.84 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 6 | | 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] | | | | 55.65 | 1.70 | 1.55 | 3.40 | 2.13 | 1 | 90.91 | 46.59 | 6.11 | 1.02 | 54.49 | 0.09 | 8.91 | 0.01 | 8.50 | 5.00 | 5.50 | 2.50 | 4.00 | | | | | | | | 0.00 | 0.00 | 1.17 | 16 | 7.34 | 5.87 | 64 | 9.18 | 0.59 | 32 | 1.84 | 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] | | | | 44.21 | 1.70 | 1.55 | 3.40 | 2.13 | 1 | 90.91 | 46.59 | 3.57 | 1.02 | 31.83 | 0.03 | 8.91 | 0.01 | 8.50 | 5.00 | 5.50 | 2.50 | 4.00 | | | | | | | | 0.00 | 0.00 | 2.01 | 16 | 12.57 | 10.05 | 64 | 15.71 | 1.01 | 32 | 3.14 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 7 | | 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.08 | 1.70 | 1.55 | 3.40 | 2.13 | 1 | 90.91 | 46.59 | NA | NA | NA | NA | NA | NA | 8.50 | 5.00 | 5.50 | 2.50 | 4.00 | | | | | | | | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
▼Loop 1059– | 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 | 2.11 | 2.11 | 5.09 | 1.50 | 1.50 | 2.00 | 1.88 | 1 | 100.00 | 50.00 | 6.91 | 1.02 | 54.49 | 0.12 | 7.89 | 0.01 | 7.50 | 5.00 | 5.00 | 3.75 | 4.00 | 128000 | 1024 | 1024 | 1024 | 29.45 | 34.76 | 773.42 | 0.00 | 0.00 | 1.17 | 16 | 7.34 | 5.58 | 64 | 8.72 | 0.59 | 32 | 1.84 | 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] | | | | 69.61 | 1.50 | 1.50 | 2.00 | 1.88 | 1 | 100.00 | 50.00 | 6.91 | 1.02 | 54.49 | 0.12 | 7.89 | 0.01 | 7.50 | 5.00 | 5.00 | 3.75 | 4.00 | | | | | | | | 0.00 | 0.00 | 1.17 | 16 | 7.34 | 5.58 | 64 | 8.72 | 0.59 | 32 | 1.84 | 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] | | | | 29.96 | 1.50 | 1.50 | 2.00 | 1.88 | 1 | 100.00 | 50.00 | 4.14 | 1.02 | 32.72 | 0.05 | 7.91 | 0.01 | 7.50 | 5.00 | 5.00 | 3.75 | 4.00 | | | | | | | | 0.00 | 0.00 | 1.96 | 16 | 12.22 | 9.29 | 64 | 14.52 | 0.98 | 32 | 3.06 | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Bucket 7 | | 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.34 | 1.50 | 1.50 | 2.00 | 1.88 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 7.50 | 5.00 | 5.00 | 3.75 | 4.00 | | | | | | | | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1057 | 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 | 1.24 | 1.24 | 2.99 | 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 | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 833 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.28 | 0.28 | 0.67 | 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 937 | 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 | 0.18 | 0.18 | 0.45 | 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 | NA | NA | NA | NA | NA | NA | NA | 16 | NA | NA | 64 | NA | NA | 32 | NA | NA | 32 | NA | NA | 15 | NA | NA | NA |
○Loop 1183 | 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.18 | 0.18 | 0.43 | 1.00 | 1.47 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | NA | NA | NA | NA | NA | 8.00 | 8.00 | 5.43 | 4.00 | 8.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 1950 | exec | | quicksort | Innermost | 0.1 | 0.1 | 0.24 | 1.44 | 1.00 | 7.40 | 1.44 | 2 | 12.50 | 14.06 | NA | NA | NA | NA | NA | NA | 2.88 | 2.00 | 2.88 | 0.39 | 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 |
○Loop 1484 | exec | forall.hpp:59-59,SweepSubdomain.cpp:87-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | InBetween | 0.1 | 0.09 | 0.23 | 1.86 | 1.68 | 3.01 | 2.60 | 2 | 7.89 | 13.16 | NA | NA | NA | NA | NA | NA | 6.50 | 3.50 | 3.88 | 2.16 | 2.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 839 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.07 | 0.07 | 0.17 | 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 845 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.06 | 0.06 | 0.16 | 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 894 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.02 | 0.02 | 0.05 | 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 882 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.02 | 0.02 | 0.05 | 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 1483 | exec | forall.hpp:59-59,SweepSubdomain.cpp:87-105,View.hpp:110-110 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | InBetween | 0.02 | 0.02 | 0.05 | 1.00 | 1.00 | 8.13 | 4.64 | 4 | 0.00 | 12.42 | NA | NA | NA | NA | NA | NA | 32.50 | 32.50 | 32.50 | 4.00 | 7.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 1949 | exec | | quicksort | Outermost | 0.02 | 0.02 | 0.05 | 1.38 | 1.00 | 9.78 | 1.38 | 2 | 44.44 | 16.67 | NA | NA | NA | NA | NA | NA | 5.50 | 4.00 | 5.50 | 0.56 | 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 851 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.01 | 0.01 | 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 870 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.01 | 0.01 | 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 864 | exec | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.01 | 0.01 | 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 888 | 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 569 | 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 1058 | 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] | InBetween | 0 | 0 | 0.01 | 1.61 | 1.39 | 4.62 | 5.39 | 6 | 56.99 | 33.87 | NA | NA | NA | NA | NA | NA | 37.75 | 23.50 | 27.19 | 8.16 | 7.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 1056 | 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] | InBetween | 0 | 0 | 0.01 | 1.81 | 1.28 | 6.09 | 2.90 | 4 | 27.62 | 22.70 | NA | NA | NA | NA | NA | NA | 5.44 | 3.00 | 4.25 | 0.89 | 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 1427 | 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 | 0 | 0.01 | 1.30 | 1.34 | 3.76 | 10.56 | 2 | 91.48 | 42.97 | NA | NA | NA | NA | NA | NA | 11.88 | 9.13 | 8.87 | 3.16 | 1.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 1330 | 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.43 | 2.50 | 5 | 0.00 | 11.25 | NA | NA | NA | NA | NA | NA | 2.50 | 2.50 | 2.50 | 0.22 | 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 1053 | 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 | 3.20 - 2.06 | 14.42 - 32.00 | 78 | 0.00 | 12.22 | NA | NA | NA | NA | NA | NA | 43.25 - 96.00 | 43.25 - 96.00 | 43.25 - 96.00 | 13.50 - 46.50 | 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 |