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 1193 | exec | forall.hpp:59-59,IndexValue.hpp:105-105,IndexValue.hpp:217-217,Scattering.cpp:87-88,Scattering.cpp:91-91,Scattering.cpp:95-97 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE14ScatteringSdomJRNS_6SdomIdES7_RNS_4Core3SetESA_SA_RNS8_5FieldIdJNS_6MomentENS_5GroupENS_4ZoneEEEESG_RNSB_IdJNS_8MaterialENS_8LegendreENS_11GlobalGroupESJ_EEERNSB_INS_7MixElemEJSE_EEERNSB_IiJSE_EEERNSB_ISH_JSM_EEERNSB_IdJSM_EEERNSB_ISI_JSC_EEEEEEvT_RKT0_DpOT1_.extracted | InBetween | 46.79 | 42.25 | 61.94 | 2.20 | 2.81 | 7.70 | 2.69 | 4 | 17.88 | 14.73 | 64.69 | 6.50 | 2.96 | 2.32 | 0.84 | 2.42 |
○Loop 1194 | exec | Layout.hpp:55-55,IndexValue.hpp:217-217,Scattering.cpp:91-95 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE14ScatteringSdomJRNS_6SdomIdES7_RNS_4Core3SetESA_SA_RNS8_5FieldIdJNS_6MomentENS_5GroupENS_4ZoneEEEESG_RNSB_IdJNS_8MaterialENS_8LegendreENS_11GlobalGroupESJ_EEERNSB_INS_7MixElemEJSE_EEERNSB_IiJSE_EEERNSB_ISH_JSM_EEERNSB_IdJSM_EEERNSB_ISI_JSC_EEEEEEvT_RKT0_DpOT1_.extracted | Innermost | 11.39 | 9.87 | 14.47 | 1.00 | 3.46 | 8.00 | 1.00 | 1 | 0.00 | 12.50 | 110.71 | 4.00 | 4.00 | 1.16 | 0.50 | 4.00 |
○Loop 756 | exec | forall.hpp:59-59,LPlusTimes.cpp:57-57 | _ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted | Innermost | 3.09 | 2.15 | 3.15 | 1.25 | 1.50 | 2.00 | 1.25 | 1 | 100.00 | 50.00 | 89.65 | 5.00 | 4.00 | 3.33 | 2.50 | 4.00 |
○Loop 903 | exec | forall.hpp:59-59,LTimes.cpp:62-62 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted | Innermost | 2.43 | 1.65 | 2.41 | 1.25 | 1.50 | 2.00 | 1.25 | 1 | 100.00 | 50.00 | 80.39 | 5.00 | 4.00 | 3.33 | 2.50 | 4.00 |
○Loop 900 | exec | forall.hpp:59-59,LTimes.cpp:62-62 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted | Innermost | 1.19 | 0.87 | 1.27 | 1.00 | 1.41 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 76.76 | 1.00 | 1.00 | 0.71 | 0.50 | 1.00 |
○Loop 1337 | exec | SweepSubdomain.cpp:87-89,SweepSubdomain.cpp:96-105,forall.hpp:59-59,Operators.hpp:307-307 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted | Innermost | 1.28 | 0.74 | 1.08 | 1.00 | 1.50 | 1.50 | 1.00 | 1 | 16.67 | 14.58 | 95.38 | 12.00 | 12.00 | 8.00 | 8.00 | 12.00 |
○Loop 1048 | exec | forall.hpp:59-59,Operators.hpp:307-307,Population.cpp:58-58 | _ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted | Innermost | 0.38 | 0.24 | 0.35 | 1.00 | 1.47 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 37.73 | 8.00 | 8.00 | 5.43 | 4.00 | 8.00 |
○Loop 753 | exec | forall.hpp:59-59,LPlusTimes.cpp:57-57 | _ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted | Innermost | 0.16 | 0.1 | 0.14 | 1.00 | 1.41 | 2.00 | 1.00 | 1 | 100.00 | 50.00 | 79.00 | 1.00 | 1.00 | 0.71 | 0.50 | 1.00 |
○Loop 1192 | exec | Layout.hpp:55-55,forall.hpp:59-59,Scattering.cpp:95-97 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE14ScatteringSdomJRNS_6SdomIdES7_RNS_4Core3SetESA_SA_RNS8_5FieldIdJNS_6MomentENS_5GroupENS_4ZoneEEEESG_RNSB_IdJNS_8MaterialENS_8LegendreENS_11GlobalGroupESJ_EEERNSB_INS_7MixElemEJSE_EEERNSB_IiJSE_EEERNSB_ISH_JSM_EEERNSB_IdJSM_EEERNSB_ISI_JSC_EEEEEEvT_RKT0_DpOT1_.extracted | InBetween | 0.1 | 0.05 | 0.07 | 1.00 | 1.00 | 8.00 | 1.62 | 5 | 0.00 | 12.50 | 85.29 | 4.33 | 4.33 | 4.33 | 0.54 | 2.67 |
○Loop 1336 | exec | forall.hpp:59-59,Iterators.hpp:250-250,Iterators.hpp:310-310,Operators.hpp:307-307 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted | InBetween | 0.08 | 0.02 | 0.03 | 1.00 | 1.00 | 9.02 | 3.94 | 2 | 0.00 | 12.39 | 93.70 | 5.92 | 5.92 | 5.92 | 0.66 | 1.50 |
○Loop 671 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke17SteadyStateSolverERNS_4Core9DataStoreEmb | Innermost | 0.71 | 0.01 | 0.02 | 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 683 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke17SteadyStateSolverERNS_4Core9DataStoreEmb | Innermost | 0.3 | 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 677 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke17SteadyStateSolverERNS_4Core9DataStoreEmb | Innermost | 0.19 | 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 724 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb | Innermost | 0.1 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 895 | exec | Layout.hpp:55-55,forall.hpp:59-59,Iterators.hpp:177-177,LTimes.cpp:62-62,Collapse.hpp:81-83,View.hpp:110-110 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted | Outermost | 0.03 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 901 | exec | forall.hpp:59-59,LTimes.cpp:62-62,View.hpp:110-110 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted | InBetween | 0.02 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1191 | exec | Layout.hpp:55-55,forall.hpp:59-59,Iterators.hpp:177-177,Collapse.hpp:81-83,Scattering.cpp:82-84,Scattering.cpp:95-97 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE14ScatteringSdomJRNS_6SdomIdES7_RNS_4Core3SetESA_SA_RNS8_5FieldIdJNS_6MomentENS_5GroupENS_4ZoneEEEESG_RNSB_IdJNS_8MaterialENS_8LegendreENS_11GlobalGroupESJ_EEERNSB_INS_7MixElemEJSE_EEERNSB_IiJSE_EEERNSB_ISH_JSM_EEERNSB_IdJSM_EEERNSB_ISI_JSC_EEEEEEvT_RKT0_DpOT1_.extracted | Outermost | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 748 | exec | Layout.hpp:55-55,forall.hpp:59-59,Iterators.hpp:177-177,Collapse.hpp:81-83,LPlusTimes.cpp:57-57,View.hpp:110-110 | _ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted | Outermost | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1335 | exec | Layout.hpp:55-55,forall.hpp:59-59,Iterators.hpp:250-250,Iterators.hpp:310-310,Operators.hpp:307-307 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted | InBetween | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 695 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb | Innermost | 0.06 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 700 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb | Innermost | 0.07 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 705 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb | Innermost | 0.06 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 754 | exec | forall.hpp:59-59,LPlusTimes.cpp:57-57 | _ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted | InBetween | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 718 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb | Innermost | 0.05 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 712 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb | Innermost | 0.05 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1281 | exec | Layout.hpp:55-55,Iterators.hpp:177-177,Collapse.hpp:81-83,IndexValue.hpp:252-252,Source.cpp:65-71 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10SourceSdomJRNS_6SdomIdERNS_4Core3SetESA_RNS8_5FieldIdJNS_6MomentENS_5GroupENS_4ZoneEEEERNSB_ISE_JNS_7MixElemEEEERNSB_INS_8MaterialEJSH_EEERNSB_IdJSH_EEERdEEEvT_RKT0_DpOT1_.extracted | Single | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 689 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke17SteadyStateSolverERNS_4Core9DataStoreEmb | Innermost | 0.05 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1046 | exec | Layout.hpp:55-55,forall.hpp:59-59,Iterators.hpp:177-177,Collapse.hpp:81-83,Operators.hpp:307-307,Population.cpp:58-58 | _ZNK14PopulationSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_RNS8_5FieldIdJNS1_9DirectionENS1_5GroupENS1_4ZoneEEEERNSC_IdJSD_EEERNSC_IdJSF_EEEPd.extracted | Outermost | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 898 | exec | forall.hpp:59-59,LTimes.cpp:62-62 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE10LTimesSdomJRNS_6SdomIdERKNS_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS_9DirectionENS_5GroupENS_4ZoneEEEERNSC_IdJNS_6MomentESE_SF_EEERNSC_IdJSI_SD_EEEEEEvT_RKT0_DpOT1_.extracted | InBetween | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 751 | exec | forall.hpp:59-59,LPlusTimes.cpp:57-57 | _ZNK14LPlusTimesSdomclIN6Kripke11ArchLayoutTINS1_12ArchT_OpenMPENS1_11LayoutT_DGZEEEEEvT_NS1_6SdomIdERKNS1_4Core3SetESB_SB_SB_RNS8_5FieldIdJNS1_6MomentENS1_5GroupENS1_4ZoneEEEERNSC_IdJNS1_9DirectionESE_SF_EEERNSC_IdJSI_SD_EEE.extracted | InBetween | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1334 | exec | Layout.hpp:55-55,forall.hpp:59-59,Iterators.hpp:177-177,Iterators.hpp:250-250,Collapse.hpp:81-83,Operators.hpp:307-307 | _ZNK6Kripke14DispatchHelperINS_12ArchT_OpenMPEEclINS_11LayoutT_DGZE9SweepSdomJRNS_4Core9DataStoreERNS_6SdomIdEEEEvT_RKT0_DpOT1_.extracted | Outermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 691 | exec | stl_tree.h:316-316,char_traits.h:357-357,char_traits.h:437-437,new_allocator.h:145-145,basic_string.h:165-165,basic_string.h:191-191,basic_string.h:195-195,basic_string.h:230-230,basic_string.h:239-239,Layout.hpp:55-55,Layout.hpp:132-132,forall.hpp:59-59,IndexValue.hpp:252-252,DataStore.h:47-48,DataStore.h:53-54,stl_vector.h:335-335,stl_vector.h:353-353,stl_vector.h:919-919,stl_vector.h:1064-1064,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,Field.h:121-124,Field.h:221-224,Kernel.h:43-45 | _ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb | Outermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1462 | exec | new_allocator.h:127-127,new_allocator.h:145-145,new_allocator.h:162-162,ParallelComm.cpp:257-259,stl_vector.h:346-346,stl_vector.h:353-353,stl_vector.h:919-919,stl_vector.h:1046-1046,stl_vector.h:1758-1762,stl_algobase.h:259-259,stl_uninitialized.h:1031-1031,vector.tcc:112-117,vector.tcc:502-504 | _ZN6Kripke12ParallelComm12getReadyListEv | Single | 0.01 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 478 | exec | forall.hpp:60-60,Space.cpp:356-358 | _ZN6Kripke8Generate13generateSpaceERNS_4Core9DataStoreERK14InputVariables | Innermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 55 | exec | forall.hpp:59-59,Kernel.h:45-45 | _ZN6Kripke8Generate12generateDataERNS_4Core9DataStoreERK14InputVariables | Innermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1460 | exec | stl_algobase.h:911-912 | _ZN6Kripke12ParallelComm12testRecievesEv | Innermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 1455 | exec | stl_construct.h:119-119,new_allocator.h:127-127,new_allocator.h:145-145,ParallelComm.cpp:219-221,ParallelComm.cpp:226-228,ParallelComm.cpp:231-231,ParallelComm.cpp:235-236,ParallelComm.cpp:239-241,stl_vector.h:919-919,stl_vector.h:1046-1046,stl_algobase.h:429-431,stl_algobase.h:911-911,stl_algobase.h:1115-1115,stl_iterator.h:1028-1028,stl_iterator.h:1091-1091,stl_iterator.h:1182-1182,vector.tcc:174-176 | _ZN6Kripke12ParallelComm12testRecievesEv | Outermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 538 | exec | std_abs.h:72-72,Space.cpp:151-156,Space.cpp:166-166,Space.cpp:214-214,Space.cpp:221-228 | _ZN6Kripke8Generate13generateSpaceERNS_4Core9DataStoreERK14InputVariables | Innermost | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 536 | exec | std_abs.h:72-72,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 | _ZN6Kripke8Generate13generateSpaceERNS_4Core9DataStoreERK14InputVariables | InBetween | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |
○Loop 534 | exec | Set.h:36-37,stl_vector.h:1046-1046,PermutedLayout.hpp:74-74,Operators.hpp:307-307,Space.cpp:208-208,Space.cpp:214-214,Space.cpp:217-219,Space.cpp:228-228 | _ZN6Kripke8Generate13generateSpaceERNS_4Core9DataStoreERK14InputVariables | InBetween | 0 | 0 | 0 | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA | NA |