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 (%) | Flops (GFLOP/s) | CQA cycles | CQA cycles if no scalar integer | CQA cycles if FP arith vectorized | CQA cycles if fully vectorized | CQA cycles if FP only |
○Loop 1038 | libkripke.so | Scattering.cpp:87-88,Scattering.cpp:91-91,Scattering.cpp:95-97,forall.hpp:59-59,Collapse.hpp:81-81,IndexValue.hpp:105-105,IndexValue.hpp:217-217,Layout.hpp:55-55 | 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 | 35.05 | 33.64 | 47.52 | 2.28 | 3.14 | 7.73 | 2.75 | 4 | 19.86 | 14.98 | 83.33 | 7.21 | 3.17 | 2.30 | 0.93 | 2.63 |
○Loop 1039 | libkripke.so | Scattering.cpp:95-95,IndexValue.hpp:217-217,Layout.hpp:55-55 | 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 | 17.68 | 16.54 | 23.36 | 1.00 | 2.63 | 8.00 | 1.00 | 1 | 0.00 | 12.50 | 98.01 | 4.00 | 4.00 | 1.52 | 0.50 | 4.00 |
○Loop 684 | libkripke.so | 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 | 5.55 | 3.71 | 5.23 | 2.21 | 1.61 | 3.93 | 2.21 | 1 | 66.67 | 37.50 | 51.67 | 8.83 | 4.00 | 5.47 | 2.25 | 4.00 |
○Loop 823 | libkripke.so | 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.29 | 2.07 | 2.92 | 2.08 | 1.62 | 3.70 | 2.08 | 1 | 71.43 | 39.29 | 60.91 | 8.33 | 4.00 | 5.14 | 2.25 | 4.00 |
○Loop 821 | libkripke.so | 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.93 | 1.32 | 1.87 | 1.00 | 1.41 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 50.49 | 1.00 | 1.00 | 0.71 | 0.50 | 1.00 |
○Loop 1200 | libkripke.so | forall.hpp:59-59,SweepSubdomain.cpp:87-88,SweepSubdomain.cpp:95-105 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | Innermost | 1.56 | 1.29 | 1.82 | 1.00 | 1.50 | 1.50 | 1.00 | 1 | 10.71 | 13.84 | 60.23 | 12.00 | 12.00 | 8.00 | 8.00 | 12.00 |
○Loop 952 | libkripke.so | Operators.hpp:307-307,forall.hpp:59-59,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.28 | 0.19 | 0.26 | 1.00 | 1.47 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 45.55 | 8.00 | 8.00 | 5.43 | 4.00 | 8.00 |
○Loop 682 | libkripke.so | 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.3 | 0.16 | 0.22 | 1.00 | 1.41 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 39.11 | 1.00 | 1.00 | 0.71 | 0.50 | 1.00 |
○Loop 1037 | libkripke.so | forall.hpp:59-59,Layout.hpp:55-55 | 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.13 | 0.07 | 0.11 | 1.00 | 1.00 | 10.67 | 2.00 | 5 | 0.00 | 10.94 | 69.84 | 2.00 | 2.00 | 2.00 | 0.19 | 1.00 |
○Loop 1400 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 2.19 | 0.04 | 0.05 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 0.00 | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 |
○Loop 1199 | libkripke.so | Operators.hpp:307-307,forall.hpp:59-59,Iterators.hpp:250-250,Iterators.hpp:310-310 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | InBetween | 0.08 | 0.03 | 0.04 | 1.00 | 1.00 | 9.83 | 1.12 | 2 | 0.00 | 11.98 | 86.15 | 5.58 | 5.58 | 5.58 | 0.57 | 5.00 |
○Loop 683 | libkripke.so | forall.hpp:59-59,LPlusTimes.cpp:57-57,Collapse.hpp:81-81 | 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.05 | 0.02 | 0.02 | 1.12 | 1.00 | 2.75 | 4.83 | 3 | 35.19 | 24.07 | 116.70 | 6.44 | 5.78 | 6.44 | 2.34 | 1.33 |
○Loop 822 | libkripke.so | forall.hpp:59-59,LTimes.cpp:62-62,Collapse.hpp:81-81 | 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.05 | 0.01 | 0.02 | 1.13 | 1.00 | 3.64 | 4.64 | 3 | 45.50 | 25.34 | 421.81 | 13.00 | 11.50 | 13.00 | 3.57 | 2.80 |
○Loop 820 | libkripke.so | forall.hpp:59-59,LTimes.cpp:62-62,Collapse.hpp:81-81 | 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.03 | 0.01 | 0.01 | 2.39 | 1.00 | 12.42 | 2.70 | 3 | 0.00 | 11.72 | 312.01 | 3.78 | 1.58 | 3.78 | 0.30 | 1.40 |
○Loop 1405 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.57 | 0.01 | 0.01 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 0.00 | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 |
○Loop 1410 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.55 | 0.01 | 0.01 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 0.00 | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 |
○Loop 818 | libkripke.so | forall.hpp:59-59,Collapse.hpp:81-81 | 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.03 | 0.01 | 0.01 | 1.00 | 1.00 | 10.90 | 3.64 | 16 | 0.00 | 12.02 | 172.41 | 8.50 | 8.50 | 8.50 | 0.78 | 2.33 |
○Loop 950 | libkripke.so | Operators.hpp:307-307,forall.hpp:59-59,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.03 | 0.01 | 0.01 | 1.00 | 1.67 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 28.00 | 4.00 | 4.00 | 2.40 | 2.00 | 4.00 |
○Loop 1445 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.27 | 0 | 0.01 | 1.00 | 1.00 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | NA | 1.00 | 1.00 | 1.00 | 0.50 | 1.00 |
○Loop 679 | libkripke.so | forall.hpp:59-59,Collapse.hpp:81-81 | 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.02 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1198 | libkripke.so | Operators.hpp:307-307,forall.hpp:59-59,Iterators.hpp:250-250,Iterators.hpp:310-310,Layout.hpp:55-55 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | InBetween | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1421 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.16 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1429 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.15 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1435 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.14 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1440 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.13 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1425 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.13 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1108 | libkripke.so | Collapse.hpp:81-83,Collapse.hpp:89-89,Source.cpp:65-71,IndexValue.hpp:252-252 | 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.02 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 681 | libkripke.so | forall.hpp:59-59,LPlusTimes.cpp:57-57,Collapse.hpp:81-81 | 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.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 813 | libkripke.so | forall.hpp:59-59,Iterators.hpp:177-177,LTimes.cpp:62-62,View.hpp:110-110,Collapse.hpp:81-83,Collapse.hpp:89-89,Layout.hpp:55-55 | 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.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1197 | libkripke.so | Operators.hpp:307-307,forall.hpp:59-59,Iterators.hpp:177-177,Iterators.hpp:250-250,Collapse.hpp:83-83,Collapse.hpp:89-89,Layout.hpp:55-55 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | Outermost | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1415 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.09 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 951 | libkripke.so | Operators.hpp:307-307,forall.hpp:59-59,Iterators.hpp:177-177,Collapse.hpp:81-83,Collapse.hpp:89-89,Population.cpp:58-58,Layout.hpp:55-55 | 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.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 816 | libkripke.so | forall.hpp:59-59,Collapse.hpp:81-81 | 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.02 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1036 | libkripke.so | Scattering.cpp:82-84,Scattering.cpp:97-97,forall.hpp:59-59,Iterators.hpp:177-177,Collapse.hpp:83-83,Collapse.hpp:89-89,Layout.hpp:55-55 | 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] | Outermost | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1347 | libkripke.so | stl_algobase.h:740-742 | Kripke::ParallelComm::testRecieves() | Innermost | 0.04 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 674 | libkripke.so | forall.hpp:59-59,Iterators.hpp:177-177,LPlusTimes.cpp:57-57,View.hpp:110-110,Collapse.hpp:81-83,Collapse.hpp:89-89,Layout.hpp:55-55 | 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] | Outermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1348 | libkripke.so | vector.tcc:162-164,stl_algobase.h:367-368,stl_algobase.h:742-742,stl_iterator.h:784-784,stl_iterator.h:837-837,stl_iterator.h:887-887,ParallelComm.cpp:219-221,ParallelComm.cpp:226-228,ParallelComm.cpp:231-231,ParallelComm.cpp:235-236,ParallelComm.cpp:239-241,stl_vector.h:806-806,stl_vector.h:933-933,new_allocator.h:111-111,new_allocator.h:125-125 | Kripke::ParallelComm::testRecieves() | Outermost | 0.02 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1354 | libkripke.so | vector.tcc:100-100,vector.tcc:105-105,vector.tcc:471-473,stl_uninitialized.h:82-82,stl_construct.h:75-75,stl_algobase.h:224-224,stl_iterator.h:1123-1123,ParallelComm.cpp:257-259,stl_vector.h:296-296,stl_vector.h:303-303,stl_vector.h:806-806,stl_vector.h:933-933,stl_vector.h:1645-1646,new_allocator.h:111-111,new_allocator.h:125-125,new_allocator.h:136-136 | Kripke::ParallelComm::getReadyList() | Outermost | 0.02 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 677 | libkripke.so | forall.hpp:59-59,LPlusTimes.cpp:57-57,Collapse.hpp:81-81 | 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 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 50 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::Generate::generateData(Kripke::Core::DataStore&, InputVariables const&) | Innermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1417 | libkripke.so | Registry.hpp:81-81,stl_tree.h:316-316,forall.hpp:59-59,SweepSolver.cpp:52-54,SweepSolver.cpp:58-59,SweepSolver.cpp:64-64,SweepSolver.cpp:67-67,SweepSolver.cpp:70-70,SweepSolver.cpp:75-75,SweepSolver.cpp:78-78,plugins.hpp:21-21,plugins.hpp:33-33,IndexValue.hpp:252-252,Field.h:121-124,Field.h:221-224,DataStore.h:47-48,DataStore.h:53-54,stl_vector.h:285-285,stl_vector.h:303-303,stl_vector.h:806-806,stl_vector.h:951-951,Layout.hpp:55-55,Layout.hpp:132-132,Kernel.h:43-45,new_allocator.h:125-125,basic_string.h:150-150,basic_string.h:176-176,basic_string.h:180-180,basic_string.h:215-215,basic_string.h:224-224,char_traits.h:287-287,char_traits.h:359-359 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Outermost | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 443 | libkripke.so | forall.hpp:59-59,Kernel.h:45-45 | Kripke::Generate::generateSpace(Kripke::Core::DataStore&, InputVariables const&) | Innermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 438 | libkripke.so | Space.cpp:356-358,forall.hpp:60-60 | Kripke::Generate::generateSpace(Kripke::Core::DataStore&, InputVariables const&) | Innermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 43 | exec | | __libirc_libc_getenv_from_proc | Innermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 3 | libkripke.so | stl_tree.h:787-787,stl_tree.h:795-795,stl_tree.h:1894-1895,stl_tree.h:2546-2546,basic_string.h:180-180,basic_string.h:398-398,basic_string.h:935-935,basic_string.h:2851-2855,basic_string.h:6140-6140,char_traits.h:317-319 | std::map, std::allocator >, Kripke::Core::BaseVar*, std::less, std::allocator > >, std::allocator, std::allocator > const, Kripke::Core::BaseVar*> > >::find(std::__cxx11::basic_string, std::allocator > const&) | Single | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 463 | libkripke.so | std_abs.h:71-71,Space.cpp:151-156,Space.cpp:166-166,Space.cpp:214-214,Space.cpp:221-228 | Kripke::Generate::generateSpace(Kripke::Core::DataStore&, InputVariables const&) | Innermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |