options

Functions and Loops

34 loops and 89 functions have been discarded from the report because their coverage is lower than the threshold set by object_coverage_threshold (0.01%). It represents about 0.10% of the application. To include them, change the value of object_coverage_threshold in the experiment directory configuration file, then rerun the command with the additionnal parameter --force-static-analysis.
Inclusive metrics are only related to the given object code and do not include other external objects / libraries.

Columns Filter

Coverage run_0 (%) Coverage Excluding Loops run_0 (%) Max Inclusive Time Over Threads run_0 (s) Max Exclusive Time Over Threads run_0 (s) Inclusive Time w.r.t. Wall Time run_0 (s) Exclusive Time w.r.t. Wall Time run_0 (s) Nb Threads run_0 Deviation (coverage) run_0 Deviation (walltime) run_0 Categories run_0 GFLOPS run_0 Compilation Options (run_0) RETIRED_FP_OPS_BY_WIDTH:PACK128_UOPS_RETIRED (run_0) RETIRED_FP_OPS_BY_WIDTH:SCALAR_UOPS_RETIRED (run_0) cycles (run_0) RETIRED_FP_OPS_BY_WIDTH:PACK256_UOPS_RETIRED (run_0) RETIRED_FP_OPS_BY_WIDTH:PACK512_UOPS_RETIRED
NameModuleCoverage run_0 (%)Coverage Excluding Loops run_0 (%)Max Inclusive Time Over Threads run_0 (s)Max Exclusive Time Over Threads run_0 (s)Inclusive Time w.r.t. Wall Time run_0 (s)Exclusive Time w.r.t. Wall Time run_0 (s)Nb Threads run_0Deviation (coverage) run_0Deviation (walltime) run_0Categories run_0GFLOPS run_0Compilation Options(run_0) RETIRED_FP_OPS_BY_WIDTH:PACK128_UOPS_RETIRED(run_0) RETIRED_FP_OPS_BY_WIDTH:SCALAR_UOPS_RETIRED(run_0) cycles(run_0) RETIRED_FP_OPS_BY_WIDTH:PACK256_UOPS_RETIRED(run_0) RETIRED_FP_OPS_BY_WIDTH:PACK512_UOPS_RETIRED
void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, ScatteringSdom, Kripke::SdomId&, Kripke::SdomId&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Set&, Kripke::Core::Field<double, Kri...+kripke.exe88.790.0021.740.0021.240.001921.450.36Exe (%): 100.00
OMP (%): 0.00
537.31clang based Intel(R) oneAPI DPC++/C++ Compiler 2024.0.0 (2024.0.0.20231017) /cluster/intel/oneapi/2024.0.0/compiler/2024.0/bin/compiler/clang --driver-mode=g++ --intel -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eose...4.88 E126.53 E1210.5 E120.00.0
Loop 2042 - For.hpp:137-137 - kripke.exe [...]+88.790.0021.770.0121.240.001020.010.00335.2882.5 E675.0 E6233 E60.00.0
Loop 2043 - For.hpp:137-137 - kripke.exe [...]+88.790.0521.760.0421.240.011920.030.01536.962.98 E93.92 E96.37 E90.00.0
Loop 2044 - Scattering.cpp:87-97 - kripke.exe [...]+88.7388.7321.7221.7221.2221.221921.450.36537.324.87 E126.53 E1210.5 E120.00.0
Loop 2045 - Scattering.cpp:91-95 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
bool _INTERNAL021345c1::__kmp_wait_template<kmp_flag_64<false, true>, true, false, true>(kmp_info*, kmp_flag_64<false, true>*, void*)libiomp5.so4.694.691.811.811.121.121841.450.35OMP (%): 100.000.000.00.0556 E90.00.0
void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, K...+kripke.exe2.480.000.670.010.590.001920.220.05Exe (%): 99.98
OMP (%): 0.02
1019.05clang based Intel(R) oneAPI DPC++/C++ Compiler 2024.0.0 (2024.0.0.20231017) /cluster/intel/oneapi/2024.0.0/compiler/2024.0/bin/compiler/clang --driver-mode=g++ --intel -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eose...302 E9302 E9294 E90.00.0
Loop 1425 - For.hpp:137-137 - kripke.exe [...]+2.480.010.700.010.590.001840.010.00696.30481 E6464 E6673 E60.00.0
Loop 1428 - LPlusTimes.cpp:57-57 - kripke.exe [...]+2.470.020.690.020.590.001920.020.01766.211.97 E91.81 E92.45 E90.00.0
Loop 1429 - For.hpp:137-137 - kripke.exe [...]2.452.450.670.670.590.591920.220.051022.01299 E9300 E9291 E90.00.0
Loop 1426 - For.hpp:137-137 - kripke.exe [...]+0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1427 - For.hpp:137-137 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, LTimesSdom, Kripke::SdomId&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Cor...+kripke.exe2.060.000.580.010.490.001920.180.04Exe (%): 100.001222.95clang based Intel(R) oneAPI DPC++/C++ Compiler 2024.0.0 (2024.0.0.20231017) /cluster/intel/oneapi/2024.0.0/compiler/2024.0/bin/compiler/clang --driver-mode=g++ --intel -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eose...302 E9301 E9245 E90.00.0
Loop 1687 - For.hpp:137-137 - kripke.exe [...]+2.060.010.620.010.490.001920.010.001128.501.17 E91.04 E9970 E60.00.0
Loop 1688 - For.hpp:137-137 - kripke.exe [...]+0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1689 - For.hpp:137-137 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1690 - LTimes.cpp:62-62 - kripke.exe [...]+2.060.030.610.040.490.011920.030.011221.944.49 E94.60 E93.69 E90.00.0
Loop 1691 - For.hpp:137-137 - kripke.exe [...]2.022.020.570.570.480.481920.180.041223.61297 E9296 E9240 E90.00.0
void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const...+kripke.exe1.070.000.360.010.260.001920.100.02Exe (%): 100.00756.03clang based Intel(R) oneAPI DPC++/C++ Compiler 2024.0.0 (2024.0.0.20231017) /cluster/intel/oneapi/2024.0.0/compiler/2024.0/bin/compiler/clang --driver-mode=g++ --intel -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eose...72.9 E9121 E9127 E90.00.0
Loop 2274 - For.hpp:137-137 - kripke.exe [...]+1.070.000.390.010.260.00680.000.001076.7336.3 E676.3 E651.8 E60.00.0
Loop 2275 - For.hpp:137-137 - kripke.exe [...]+1.070.000.380.010.260.001380.010.00763.51126 E6213 E6220 E60.00.0
Loop 2276 - For.hpp:137-137 - kripke.exe [...]+1.070.010.380.020.260.001920.020.00626.60804 E61.40 E91.75 E90.00.0
Loop 2277 - For.hpp:137-137 - kripke.exe [...]1.051.050.350.350.250.251920.100.02757.8571.9 E9119 E9125 E90.00.0
__kmp_hyper_barrier_gatherlibiomp5.so0.310.310.650.650.070.07480.730.17OMP (%): 100.000.000.00.036.8 E90.00.0
void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ> >(Kripke::ArchLayoutT<Kripke::ArchT_OpenMP, Kripke::LayoutT_DGZ>, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, K...+kripke.exe0.200.000.060.000.050.001920.010.00Exe (%): 100.00492.03clang based Intel(R) oneAPI DPC++/C++ Compiler 2024.0.0 (2024.0.0.20231017) /cluster/intel/oneapi/2024.0.0/compiler/2024.0/bin/compiler/clang --driver-mode=g++ --intel -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eose...5.68 E918.1 E924.0 E90.00.0
Loop 1855 - For.hpp:137-137 - kripke.exe [...]+0.200.000.060.000.050.00580.000.001101.3426.3 E660.0 E638.8 E60.00.0
Loop 1854 - For.hpp:137-137 - kripke.exe [...]0.000.000.000.000.000.0060.000.000.002.50 E65.00 E60.00.00.0
Loop 1856 - For.hpp:137-137 - kripke.exe [...]0.200.200.060.060.050.051920.010.00490.895.66 E918.0 E923.9 E90.00.0
kmp_flag_native<unsigned long long, (flag_type)1, true>::notdone_check()libiomp5.so0.180.180.130.130.040.041830.120.03OMP (%): 100.000.000.00.021.5 E90.00.0
unknown_kernel_regionkernel0.080.000.060.000.020.001920.050.01System (%): 51.88
OMP (%): 47.60
MPI (%): 0.52
95.77924 E6990 E69.93 E90.03.75 E6
SteadyStateSolver+kripke.exe0.040.000.280.000.010.0080.050.01Exe (%): 100.00453.91clang based Intel(R) oneAPI DPC++/C++ Compiler 2024.0.0 (2024.0.0.20231017) /cluster/intel/oneapi/2024.0.0/compiler/2024.0/bin/compiler/clang --driver-mode=g++ --intel -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eose...4.83 E90.05.28 E90.00.0
Loop 1106 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1108 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1065 - SteadyStateSolver.cpp:50-110 - kripke.exe [...]+0.040.000.270.000.010.0000.000.000.000.00.00.00.00.0
Loop 1066 - SteadyStateSolver.cpp:94-95 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1063 - SteadyStateSolver.cpp:50-110 - kripke.exe [...]+0.040.000.270.000.010.0000.000.000.000.00.00.00.00.0
Loop 1086 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1087 - stl_iterator.h:1054-1182 - kripke.exe [...]+0.010.000.050.000.000.0000.000.000.000.00.00.00.00.0
Loop 1091 - forall.hpp:98-98 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1094 - plugins.hpp:47-51 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1095 - plugins.hpp:35-39 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1090 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1088 - plugins.hpp:71-75 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1092 - forall.hpp:98-98 - kripke.exe [...]0.010.010.050.050.000.0080.030.01469.90785 E60.0828 E60.00.0
Loop 1093 - Registry.hpp:81-83 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1089 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1077 - stl_iterator.h:1054-1182 - kripke.exe [...]+0.010.000.050.000.000.0000.000.000.000.00.00.00.00.0
Loop 1083 - Registry.hpp:81-83 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1081 - forall.hpp:98-98 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1080 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1084 - plugins.hpp:47-51 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1082 - forall.hpp:98-98 - kripke.exe [...]0.010.010.050.050.000.0080.020.00428.27783 E60.0906 E60.00.0
Loop 1078 - plugins.hpp:71-75 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1085 - plugins.hpp:35-39 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1079 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1076 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1067 - stl_iterator.h:1054-1182 - kripke.exe [...]+0.030.000.170.000.010.0000.000.000.000.00.00.00.00.0
Loop 1068 - plugins.hpp:71-75 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1072 - forall.hpp:98-98 - kripke.exe [...]0.030.030.170.170.010.0180.030.01430.502.98 E90.03.43 E90.00.0
Loop 1070 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1074 - plugins.hpp:47-51 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1075 - plugins.hpp:35-39 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1073 - Registry.hpp:81-83 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1069 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1071 - forall.hpp:98-98 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1096 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1064 - stl_uninitialized.h:578-578 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1097 - stl_iterator.h:1054-1182 - kripke.exe [...]+0.000.000.010.000.000.0000.000.000.000.00.00.00.00.0
Loop 1102 - forall.hpp:98-98 - kripke.exe [...]0.000.000.010.010.000.0080.010.001229.06289 E60.0116 E60.00.0
Loop 1103 - Registry.hpp:81-83 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1099 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1100 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1101 - forall.hpp:98-98 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1104 - plugins.hpp:47-51 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1105 - plugins.hpp:35-39 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1098 - plugins.hpp:71-75 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1107 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1109 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
SweepSolver+kripke.exe0.010.000.120.000.000.0080.100.02Exe (%): 100.00415.78clang based Intel(R) oneAPI DPC++/C++ Compiler 2024.0.0 (2024.0.0.20231017) /cluster/intel/oneapi/2024.0.0/compiler/2024.0/bin/compiler/clang --driver-mode=g++ --intel -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eose...1.43 E90.01.71 E90.00.0
Loop 1217 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1197 - stl_iterator.h:1054-1182 - kripke.exe [...]+0.000.000.030.000.000.0010.000.000.001.25 E60.00.00.00.0
Loop 1200 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1198 - plugins.hpp:71-75 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1201 - forall.hpp:98-98 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1199 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1204 - plugins.hpp:47-51 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1205 - plugins.hpp:35-39 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1202 - forall.hpp:98-98 - kripke.exe [...]0.000.000.030.030.000.0080.020.01349.20346 E60.0492 E60.00.0
Loop 1203 - Registry.hpp:81-83 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1186 - SweepSolver.cpp:42-46 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1206 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1216 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1207 - stl_iterator.h:1054-1182 - kripke.exe [...]+0.000.000.020.000.000.0000.000.000.000.00.00.00.00.0
Loop 1208 - plugins.hpp:71-75 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1213 - Registry.hpp:81-83 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1214 - plugins.hpp:47-51 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1209 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1212 - forall.hpp:98-98 - kripke.exe [...]0.000.000.020.020.000.0080.030.01415.05228 E60.0272 E60.00.0
Loop 1210 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1211 - forall.hpp:98-98 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1215 - plugins.hpp:35-39 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1157 - new_allocator.h:145-145 - kripke.exe [...]+0.000.000.060.000.000.0040.000.000.0011.3 E60.00.00.00.0
Loop 1166 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1178 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1159 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1169 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1168 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1167 - plugins.hpp:71-75 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1162 - forall.hpp:98-98 - kripke.exe [...]0.000.000.020.020.000.0080.030.01542.76170 E60.0155 E60.00.0
Loop 1175 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1158 - plugins.hpp:71-75 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1172 - Registry.hpp:81-83 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1164 - plugins.hpp:47-51 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1161 - forall.hpp:98-98 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1165 - plugins.hpp:35-39 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1180 - forall.hpp:98-98 - kripke.exe [...]0.000.000.020.020.000.0080.020.01545.64143 E60.0129 E60.00.0
Loop 1171 - forall.hpp:98-98 - kripke.exe [...]0.000.000.020.020.000.0080.040.01401.70189 E60.0233 E60.00.0
Loop 1182 - plugins.hpp:47-51 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1183 - plugins.hpp:35-39 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1160 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1176 - plugins.hpp:71-75 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1170 - forall.hpp:98-98 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1184 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1181 - Registry.hpp:81-83 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1174 - plugins.hpp:35-39 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1163 - Registry.hpp:81-83 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1173 - plugins.hpp:47-51 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1177 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1179 - forall.hpp:98-98 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1196 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0010.000.000.000.00.012.9 E60.00.0
Loop 1185 - basic_string.h:195-6343 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1187 - stl_iterator.h:1054-1182 - kripke.exe [...]+0.000.000.030.000.000.0000.000.000.000.00.00.00.00.0
Loop 1193 - Registry.hpp:81-83 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1190 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1189 - forall.hpp:98-98 - kripke.exe0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1191 - forall.hpp:98-98 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1195 - plugins.hpp:35-39 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1188 - plugins.hpp:71-75 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1194 - plugins.hpp:47-51 - kripke.exe [...]0.000.000.000.000.000.0000.000.000.000.00.00.00.00.0
Loop 1192 - forall.hpp:98-98 - kripke.exe [...]0.000.000.030.030.000.0080.040.01413.05345 E60.0414 E60.00.0
MPI_Testanylibmpi.so.12.0.00.010.010.180.180.000.0060.320.08MPI (%): 100.00101.07259 E60.01.27 E90.00.0
__GI___strcasecmp_l_sse2libc.so.60.010.010.070.070.000.0080.050.01String (%): 100.0099.760.00.01.24 E90.0250 E6
×