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 1100 | libkripke.so | IndexValue.hpp:105-105,IndexValue.hpp:217-217,Scattering.cpp:87-88,Scattering.cpp:91-91,Scattering.cpp:95-97,Collapse.hpp:81-81,forall.hpp:59-59 | 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 | 32.67 | 31.14 | 56.29 | 2.29 | 3.10 | 7.70 | 2.89 | 4 | 21.10 | 15.14 | 103.38 | 6.50 | 2.83 | 2.09 | 0.84 | 2.25 |
○Loop 1101 | libkripke.so | IndexValue.hpp:217-217,Scattering.cpp:91-95,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 | 11.2 | 10.32 | 18.65 | 1.00 | 3.46 | 8.00 | 1.00 | 1 | 0.00 | 12.50 | 116.89 | 4.00 | 4.00 | 1.16 | 0.50 | 4.00 |
○Loop 699 | libkripke.so | LPlusTimes.cpp:57-57,forall.hpp:59-59 | 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.82 | 1.95 | 3.53 | 1.38 | 1.50 | 2.00 | 1.38 | 1 | 100.00 | 50.00 | 98.91 | 5.50 | 4.00 | 3.67 | 2.75 | 4.00 |
○Loop 853 | libkripke.so | LTimes.cpp:62-62,forall.hpp:59-59 | 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.4 | 1.47 | 2.65 | 1.38 | 1.50 | 2.00 | 1.38 | 1 | 100.00 | 50.00 | 82.50 | 5.50 | 4.00 | 3.67 | 2.75 | 4.00 |
○Loop 1590 | libkripke.so | SweepSubdomain.cpp:87-87,SweepSubdomain.cpp:95-105,forall.hpp:59-59 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | Innermost | 1.29 | 0.93 | 1.67 | 1.00 | 2.18 | 6.50 - 7.00 | 1.00 | 1 | 10.00 | 13.75 | 59.36 | 26.00 - 28.00 | 26.00 - 28.00 | 11.92 - 12.83 | 4.00 | 26.00 - 28.00 |
○Loop 851 | libkripke.so | LTimes.cpp:62-62,forall.hpp:59-59 | 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.09 | 0.82 | 1.48 | 1.00 | 1.41 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 89.23 | 1.00 | 1.00 | 0.71 | 0.50 | 1.00 |
○Loop 997 | libkripke.so | Operators.hpp:307-307,Population.cpp:58-58,forall.hpp:59-59 | 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.33 | 0.2 | 0.37 | 1.00 | 1.47 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 42.72 | 8.00 | 8.00 | 5.43 | 4.00 | 8.00 |
○Loop 697 | libkripke.so | LPlusTimes.cpp:57-57,forall.hpp:59-59 | 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.16 | 0.08 | 0.14 | 1.00 | 1.41 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 67.23 | 1.00 | 1.00 | 0.71 | 0.50 | 1.00 |
○Loop 1589 | libkripke.so | SweepSubdomain.cpp:87-88,SweepSubdomain.cpp:95-95,SweepSubdomain.cpp:98-98,SweepSubdomain.cpp:103-103,forall.hpp:59-59 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | InBetween | 0.1 | 0.05 | 0.08 | 1.47 | 1.47 | 1.98 | 1.67 | 2 | 8.33 | 13.54 | 75.17 | 4.17 | 2.83 | 2.83 | 2.10 | 2.50 |
○Loop 38 | exec | | quicksort | Innermost | 0.07 | 0.04 | 0.07 | 1.08 | 1.00 | 8.62 | 1.08 | 2 | 11.11 | 13.54 | 0.00 | 2.17 | 2.00 | 2.17 | 0.25 | 2.00 |
○Loop 1099 | libkripke.so | Scattering.cpp:95-97,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.09 | 0.04 | 0.07 | 1.00 | 1.00 | 12.80 | 1.33 | 5 | 0.00 | 11.61 | 92.39 | 4.00 | 4.00 | 4.00 | 0.31 | 3.00 |
○Loop 1588 | libkripke.so | View.hpp:110-110,Collapse.hpp:81-81,SweepSubdomain.cpp:87-89,SweepSubdomain.cpp:94-100,SweepSubdomain.cpp:103-105,forall.hpp:59-59,Iterators.hpp:250-250 | void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted] | InBetween | 0.04 | 0.02 | 0.03 | 1.00 | 1.00 | 6.95 | 6.30 | 8 | 0.00 | 12.20 | 18.93 | 45.17 | 45.17 | 45.17 | 6.50 | 7.17 |
○Loop 698 | libkripke.so | Collapse.hpp:81-81,LPlusTimes.cpp:57-57,forall.hpp:59-59 | 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.06 | 0.02 | 0.03 | 1.32 | 1.00 | 3.10 | 5.67 | 3 | 26.43 | 22.28 | 111.20 | 7.56 | 5.72 | 7.56 | 2.44 | 1.33 |
○Loop 848 | libkripke.so | Collapse.hpp:81-81,LTimes.cpp:62-62,forall.hpp:59-59 | 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.00 | 1.00 | 10.60 | 4.75 | 16 | 0.00 | 12.11 | 201.21 | 9.50 | 9.50 | 9.50 | 0.90 | 2.00 |
○Loop 852 | libkripke.so | Collapse.hpp:81-81,LTimes.cpp:62-62,forall.hpp:59-59 | 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.72 | 1.00 | 8.57 | 7.50 | 3 | 4.60 | 12.98 | 219.21 | 11.67 | 6.78 | 11.67 | 1.36 | 1.56 |
○Loop 850 | libkripke.so | Collapse.hpp:81-81,LTimes.cpp:62-62,forall.hpp:59-59 | 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.20 | 1.00 | 12.89 | 2.20 | 3 | 0.00 | 11.46 | 232.21 | 3.22 | 1.47 | 3.22 | 0.25 | 1.47 |
○Loop 995 | libkripke.so | Operators.hpp:307-307,Population.cpp:58-58,forall.hpp:59-59 | 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 | 76.80 | 4.00 | 4.00 | 2.40 | 2.00 | 4.00 |
○Loop 39 | exec | | quicksort | Outermost | 0.02 | 0.01 | 0.01 | 1.00 | 1.00 | 9.70 | 1.00 | 2 | 44.44 | 16.67 | 0.00 | 6.00 | 6.00 | 6.00 | 0.62 | 6.00 |
○Loop 694 | libkripke.so | Collapse.hpp:81-81,LPlusTimes.cpp:57-57,forall.hpp:59-59 | 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.01 | 1.00 | 1.00 | 10.95 | 3.00 | 16 | 0.00 | 12.10 | NA | 9.00 | 9.00 | 9.00 | 0.82 | 3.00 |
○Loop 1178 | libkripke.so | IndexValue.hpp:252-252,Collapse.hpp:83-83,Collapse.hpp:89-89,Layout.hpp:55-55,Source.cpp:65-71,Iterators.hpp:177-177 | 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 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1587 | libkripke.so | View.hpp:110-110,Collapse.hpp:83-83,Collapse.hpp:89-89,SweepSubdomain.cpp:87-87,SweepSubdomain.cpp:94-97,forall.hpp:59-59,Layout.hpp:55-55,Iterators.hpp:177-177 | 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 1098 | libkripke.so | Scattering.cpp:82-84,Scattering.cpp:97-97,Collapse.hpp:83-83,Collapse.hpp:89-89,Layout.hpp:55-55,Iterators.hpp:177-177 | 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 996 | libkripke.so | Operators.hpp:307-307,Collapse.hpp:81-83,Collapse.hpp:89-89,Population.cpp:58-58,forall.hpp:59-59,Layout.hpp:55-55,Iterators.hpp:177-177 | 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 843 | libkripke.so | View.hpp:110-110,Collapse.hpp:81-83,Collapse.hpp:89-89,LTimes.cpp:62-62,forall.hpp:59-59,Layout.hpp:55-55,Iterators.hpp:177-177 | 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 37 | exec | | __intel_rtdd_indep | Single | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 696 | libkripke.so | Collapse.hpp:81-81,LPlusTimes.cpp:57-57,forall.hpp:59-59 | 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 1865 | libkripke.so | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.08 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1869 | libkripke.so | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.07 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 846 | libkripke.so | Collapse.hpp:81-81,forall.hpp:59-59 | 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.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1860 | libkripke.so | Kernel.h:45-45,forall.hpp:59-59 | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool) | Innermost | 0.07 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1791 | 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,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.06 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1784 | 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 1854 | libkripke.so | Registry.hpp:81-81,IndexValue.hpp:252-252,stl_tree.h:316-316,stl_tree.h:1894-1894,stl_tree.h:2546-2548,Kernel.h:43-45,stl_algobase.h:200-200,forall.hpp:59-59,DataStore.h:53-54,Layout.hpp:55-55,Layout.hpp:132-132,stl_vector.h:285-285,stl_vector.h:303-303,stl_vector.h:806-806,stl_vector.h:951-951,Field.h:121-124,Field.h:221-224,plugins.hpp:21-21,plugins.hpp:33-33,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,basic_string.h:396-398,basic_string.h:935-935,basic_string.h:2851-2851,basic_string.h:2854-2855,basic_string.h:6140-6140,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,char_traits.h:287-287,char_traits.h:317-319,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 1785 | libkripke.so | vector.tcc:162-164,stl_algobase.h:366-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.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 439 | libkripke.so | forall.hpp:60-60,Space.cpp:356-358 | 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 692 | libkripke.so | Collapse.hpp:81-81,forall.hpp:59-59 | 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 689 | libkripke.so | View.hpp:110-110,Collapse.hpp:81-83,Collapse.hpp:89-89,LPlusTimes.cpp:57-57,forall.hpp:59-59,Layout.hpp:55-55,Iterators.hpp:177-177 | 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 459 | libkripke.so | std_abs.h:71-71,Space.cpp:151-151,Space.cpp:156-156,Space.cpp:161-161,Space.cpp:166-166,Space.cpp:213-213,Space.cpp:220-220,Space.cpp:224-224 | Kripke::Generate::generateSpace(Kripke::Core::DataStore&, InputVariables const&) | InBetween | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1790 | libkripke.so | stl_algobase.h:740-742 | Kripke::ParallelComm::testRecieves() | Innermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 461 | 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 |