| Name | Module | Max Thread Time / Walltime run_0 (%) | 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ►void RAJA::internal::StatementExecutor<RAJA::statement::Collapse<RAJA::omp_parallel_collapse_exec, camp::int_seq<long, 0l, 1l>, RAJA::statement::For<2l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<3l, RAJA::policy::sequential... | kripke.exe | 86.61 | 87.63 | 0.00 | 24.53 | 0.00 | 24.28 | 0.00 | 192 | 0.59 | 0.17 | Exe (%): 100.00 | 268.49 | AMD clang version 17.0.6 (CLANG: AOCC_5.0.0-Build#1377 2024_09_24) /cluster/comp/aocc/5.0.0/bin/clang-17 --driver-mode=g++ -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/... |
| ►Loop 648 - For.hpp:137-137 - kripke.exe [...] | 0.04 | 87.63 | 0.00 | 25.30 | 0.01 | 24.28 | 0.00 | 19 | 0.01 | 0.00 | 34.80 | |||
| ►Loop 649 - For.hpp:137-137 - kripke.exe [...] | 0.26 | 87.63 | 0.13 | 25.29 | 0.07 | 24.28 | 0.04 | 192 | 0.05 | 0.01 | 253.02 | |||
| ►Loop 650 - Scattering.cpp:88-97 - kripke.exe [...] | 42.80 | 87.50 | 41.89 | 25.21 | 12.13 | 24.25 | 11.61 | 192 | 0.73 | 0.20 | 271.36 | |||
| ○Loop 651 - Scattering.cpp:91-95 - kripke.exe [...] | 46.19 | 45.60 | 45.60 | 13.08 | 13.08 | 12.64 | 12.64 | 192 | 0.74 | 0.21 | 265.90 | |||
| ►void RAJA::internal::StatementExecutor<RAJA::statement::Collapse<RAJA::omp_parallel_collapse_exec, camp::int_seq<long, 0l, 2l>, RAJA::statement::For<1l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<3l, RAJA::policy::sequential... | kripke.exe | 3.04 | 2.75 | 0.00 | 0.86 | 0.01 | 0.76 | 0.00 | 192 | 0.37 | 0.10 | Exe (%): 100.00 | 396.47 | AMD clang version 17.0.6 (CLANG: AOCC_5.0.0-Build#1377 2024_09_24) /cluster/comp/aocc/5.0.0/bin/clang-17 --driver-mode=g++ -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/... |
| ►Loop 835 - Collapse.hpp:74-76 - kripke.exe [...] | 0.04 | 2.75 | 0.00 | 0.89 | 0.01 | 0.76 | 0.00 | 26 | 0.00 | 0.00 | 53.16 | |||
| ►Loop 834 - For.hpp:137-137 - kripke.exe [...] | 0.05 | 2.74 | 0.01 | 0.88 | 0.01 | 0.76 | 0.00 | 52 | 0.01 | 0.00 | 119.23 | |||
| ○Loop 833 - For.hpp:137-137 - kripke.exe [...] | 3.04 | 2.74 | 2.74 | 0.86 | 0.86 | 0.76 | 0.76 | 192 | 0.37 | 0.10 | 396.43 | |||
| ○__kmp_hyper_barrier_release(barrier_type, kmp_info*, int, int, int, void*) | libomp.so | 3.64 | 2.64 | 2.64 | 1.03 | 139.92 | 0.73 | 0.73 | 186 | 0.55 | 0.15 | OMP (%): 100.00 | 0.00 | |
| ○__kmp_hardware_timestamp | libomp.so | 3.76 | 2.61 | 2.61 | 1.07 | 138.21 | 0.72 | 0.72 | 192 | 0.71 | 0.20 | OMP (%): 100.00 | 0.00 | |
| ►void RAJA::internal::StatementExecutor<RAJA::statement::Collapse<RAJA::omp_parallel_collapse_exec, camp::int_seq<long, 0l, 2l>, RAJA::statement::For<1l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<3l, RAJA::policy::sequential... | kripke.exe | 2.74 | 2.57 | 0.00 | 0.77 | 0.02 | 0.71 | 0.00 | 192 | 0.14 | 0.04 | Exe (%): 100.00 | 424.19 | AMD clang version 17.0.6 (CLANG: AOCC_5.0.0-Build#1377 2024_09_24) /cluster/comp/aocc/5.0.0/bin/clang-17 --driver-mode=g++ -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/... |
| ►Loop 545 - Collapse.hpp:74-76 - kripke.exe [...] | 0.05 | 2.57 | 0.00 | 0.80 | 0.02 | 0.71 | 0.00 | 43 | 0.01 | 0.00 | 116.03 | |||
| ►Loop 544 - For.hpp:137-137 - kripke.exe [...] | 0.05 | 2.57 | 0.01 | 0.79 | 0.01 | 0.71 | 0.00 | 52 | 0.01 | 0.00 | 167.06 | |||
| ○Loop 543 - For.hpp:137-137 - kripke.exe [...] | 2.72 | 2.56 | 2.56 | 0.77 | 0.77 | 0.71 | 0.71 | 192 | 0.14 | 0.04 | 423.48 | |||
| ►void RAJA::internal::StatementExecutor<RAJA::statement::Collapse<RAJA::omp_parallel_collapse_exec, camp::int_seq<long, 0l, 1l>, RAJA::statement::For<2l, RAJA::policy::sequential::seq_exec, RAJA::statement::For<3l, RAJA::policy::sequential... | kripke.exe | 1.29 | 1.11 | 0.00 | 0.36 | 0.01 | 0.31 | 0.00 | 192 | 0.09 | 0.02 | Exe (%): 100.00 | 392.58 | AMD clang version 17.0.6 (CLANG: AOCC_5.0.0-Build#1377 2024_09_24) /cluster/comp/aocc/5.0.0/bin/clang-17 --driver-mode=g++ -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/... |
| ►Loop 1112 - For.hpp:137-137 - kripke.exe [...] | 0.02 | 1.11 | 0.00 | 0.39 | 0.01 | 0.31 | 0.00 | 5 | 0.00 | 0.00 | 0.00 | |||
| ►Loop 1113 - For.hpp:137-137 - kripke.exe [...] | 0.02 | 1.11 | 0.00 | 0.38 | 0.01 | 0.31 | 0.00 | 18 | 0.00 | 0.00 | 74.42 | |||
| ►Loop 1114 - For.hpp:137-137 - kripke.exe [...] | 0.05 | 1.10 | 0.01 | 0.38 | 0.02 | 0.31 | 0.00 | 80 | 0.01 | 0.00 | 146.38 | |||
| ○Loop 1115 - For.hpp:137-137 - kripke.exe [...] | 1.29 | 1.10 | 1.10 | 0.36 | 0.36 | 0.30 | 0.30 | 192 | 0.09 | 0.02 | 392.86 | |||
| ○unknown_kernel_region | kernel | 1.27 | 0.23 | 0.23 | 0.36 | 12.28 | 0.06 | 0.06 | 192 | 0.20 | 0.06 | OMP (%): 60.42 MPI (%): 6.88 System (%): 32.70 | 20.57 | |
| ►void RAJA::internal::StatementExecutor<RAJA::statement::Collapse<RAJA::omp_parallel_collapse_exec, camp::int_seq<long, 0l, 1l>, RAJA::statement::For<2l, RAJA::policy::sequential::seq_exec, RAJA::statement::Lambda<0l> > >, RAJA::i... | kripke.exe | 0.34 | 0.23 | 0.00 | 0.09 | 0.02 | 0.06 | 0.00 | 192 | 0.07 | 0.02 | Exe (%): 100.00 | 281.20 | AMD clang version 17.0.6 (CLANG: AOCC_5.0.0-Build#1377 2024_09_24) /cluster/comp/aocc/5.0.0/bin/clang-17 --driver-mode=g++ -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/... |
| ►Loop 931 - For.hpp:137-137 - kripke.exe [...] | 0.02 | 0.23 | 0.00 | 0.10 | 0.01 | 0.06 | 0.00 | 3 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 932 - For.hpp:137-137 - kripke.exe [...] | 0.34 | 0.23 | 0.23 | 0.09 | 0.09 | 0.06 | 0.06 | 192 | 0.07 | 0.02 | 281.22 | |||
| ►Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | kripke.exe | 2.07 | 0.08 | 0.00 | 0.58 | 0.00 | 0.02 | 0.00 | 8 | 0.08 | 0.02 | Exe (%): 100.00 | 0.00 | AMD clang version 17.0.6 (CLANG: AOCC_5.0.0-Build#1377 2024_09_24) /cluster/comp/aocc/5.0.0/bin/clang-17 --driver-mode=g++ -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/... |
| ►Loop 500 - SteadyStateSolver.cpp:50-110 - kripke.exe [...] | 0.00 | 0.08 | 0.00 | 0.58 | 0.00 | 0.02 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 501 - SteadyStateSolver.cpp:94-95 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ►Loop 513 - Kernel.h:45-52 - kripke.exe [...] | 0.00 | 0.01 | 0.00 | 0.07 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 510 - plugins.hpp:47-51 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 511 - plugins.hpp:59-63 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 509 - plugins.hpp:35-39 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 512 - plugins.hpp:71-75 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 514 - forall.hpp:98-98 - kripke.exe [...] | 0.26 | 0.01 | 0.01 | 0.07 | 0.07 | 0.00 | 0.00 | 8 | 0.03 | 0.01 | 0.00 | |||
| ►Loop 506 - Kernel.h:45-52 - kripke.exe [...] | 0.00 | 0.06 | 0.00 | 0.42 | 0.00 | 0.02 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 503 - plugins.hpp:47-51 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 504 - plugins.hpp:59-63 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 505 - plugins.hpp:71-75 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 502 - plugins.hpp:35-39 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 507 - forall.hpp:98-98 - kripke.exe [...] | 1.48 | 0.06 | 0.06 | 0.42 | 0.42 | 0.02 | 0.02 | 8 | 0.05 | 0.01 | 0.00 | |||
| ○Loop 508 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ►Loop 520 - Kernel.h:45-52 - kripke.exe [...] | 0.00 | 0.01 | 0.00 | 0.08 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 516 - plugins.hpp:35-39 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 517 - plugins.hpp:47-51 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 521 - forall.hpp:98-98 - kripke.exe [...] | 0.30 | 0.01 | 0.01 | 0.08 | 0.08 | 0.00 | 0.00 | 8 | 0.04 | 0.01 | 0.00 | |||
| ○Loop 519 - plugins.hpp:71-75 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 518 - plugins.hpp:59-63 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 522 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 515 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ►Loop 523 - stl_iterator.h:1054-1182 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.03 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 525 - forall.hpp:98-98 - kripke.exe [...] | 0.12 | 0.00 | 0.00 | 0.03 | 0.03 | 0.00 | 0.00 | 8 | 0.02 | 0.01 | 0.00 | |||
| ○Loop 528 - plugins.hpp:35-39 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 526 - plugins.hpp:59-63 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 527 - plugins.hpp:47-51 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 524 - plugins.hpp:71-75 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 529 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 532 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 531 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 530 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○__GI___sched_yield | libc.so.6 | 0.09 | 0.03 | 0.03 | 0.03 | 1.72 | 0.01 | 0.01 | 158 | 0.02 | 0.01 | OMP (%): 95.93 System (%): 4.07 | 0.00 | |
| ○__kmp_hyper_barrier_gather(barrier_type, kmp_info*, int, int, void (*)(void*, void*), void*) | libomp.so | 0.26 | 0.03 | 0.03 | 0.08 | 1.46 | 0.01 | 0.01 | 45 | 0.07 | 0.02 | OMP (%): 100.00 | 0.00 | |
| ►Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) | kripke.exe | 0.64 | 0.03 | 0.00 | 0.18 | 0.00 | 0.01 | 0.00 | 8 | 0.06 | 0.02 | Exe (%): 100.00 | 0.00 | AMD clang version 17.0.6 (CLANG: AOCC_5.0.0-Build#1377 2024_09_24) /cluster/comp/aocc/5.0.0/bin/clang-17 --driver-mode=g++ -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/build/Kripke/src -I /home/eoseret/qaas_runs_ZEN5/173-940-2141/intel/Kripke/... |
| ○Loop 1050 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ►Loop 1009 - new_allocator.h:145-145 - kripke.exe [...] | 0.02 | 0.01 | 0.00 | 0.07 | 0.01 | 0.00 | 0.00 | 1 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1013 - plugins.hpp:47-51 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1022 - plugins.hpp:71-75 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1020 - plugins.hpp:35-39 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1015 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1024 - plugins.hpp:59-63 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1019 - plugins.hpp:47-51 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1018 - plugins.hpp:59-63 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1023 - forall.hpp:98-98 - kripke.exe [...] | 0.07 | 0.00 | 0.00 | 0.02 | 0.02 | 0.00 | 0.00 | 8 | 0.02 | 0.01 | 0.00 | |||
| ○Loop 1017 - forall.hpp:98-98 - kripke.exe [...] | 0.07 | 0.00 | 0.00 | 0.02 | 0.02 | 0.00 | 0.00 | 8 | 0.02 | 0.00 | 0.00 | |||
| ○Loop 1014 - plugins.hpp:35-39 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1011 - forall.hpp:98-98 - kripke.exe [...] | 0.09 | 0.00 | 0.00 | 0.03 | 0.03 | 0.00 | 0.00 | 8 | 0.02 | 0.00 | 0.00 | |||
| ○Loop 1027 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1026 - plugins.hpp:35-39 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1025 - plugins.hpp:47-51 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1016 - plugins.hpp:71-75 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1010 - plugins.hpp:71-75 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1021 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1012 - plugins.hpp:59-63 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1036 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1029 - SweepSolver.cpp:42-46 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ►Loop 1037 - stl_iterator.h:1054-1182 - kripke.exe [...] | 0.00 | 0.01 | 0.00 | 0.06 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1039 - forall.hpp:98-98 - kripke.exe [...] | 0.21 | 0.01 | 0.01 | 0.06 | 0.06 | 0.00 | 0.00 | 8 | 0.03 | 0.01 | 0.00 | |||
| ○Loop 1040 - plugins.hpp:59-63 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1041 - plugins.hpp:47-51 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1042 - plugins.hpp:35-39 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1038 - plugins.hpp:71-75 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ►Loop 1030 - stl_iterator.h:1054-1182 - kripke.exe [...] | 0.00 | 0.01 | 0.00 | 0.05 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1035 - plugins.hpp:35-39 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1032 - forall.hpp:98-98 - kripke.exe [...] | 0.18 | 0.01 | 0.01 | 0.05 | 0.05 | 0.00 | 0.00 | 8 | 0.04 | 0.01 | 0.00 | |||
| ○Loop 1034 - plugins.hpp:47-51 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1031 - plugins.hpp:71-75 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1033 - plugins.hpp:59-63 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1043 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1028 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1051 - basic_string.h:195-6343 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ►Loop 1044 - stl_iterator.h:1054-1182 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.04 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1049 - plugins.hpp:35-39 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1048 - plugins.hpp:47-51 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1046 - forall.hpp:98-98 - kripke.exe [...] | 0.14 | 0.00 | 0.00 | 0.04 | 0.04 | 0.00 | 0.00 | 8 | 0.02 | 0.01 | 0.00 | |||
| ○Loop 1045 - plugins.hpp:71-75 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 | |||
| ○Loop 1047 - plugins.hpp:59-63 - kripke.exe [...] | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 0.00 | 0.00 | 0.00 |