| Loop id | Source Location | Source Function | Level | Max Thread Time / Walltime 8x1 (%) | Max Thread Time / Walltime 8x2 (%) | Max Thread Time / Walltime 8x4 (%) | Max Thread Time / Walltime 8x8 (%) | Max Thread Time / Walltime 8x16 (%) | Max Thread Time / Walltime 8x24 (%) | Exclusive Coverage 8x1 (%) | Exclusive Coverage 8x2 (%) | Exclusive Coverage 8x4 (%) | Exclusive Coverage 8x8 (%) | Exclusive Coverage 8x16 (%) | Exclusive Coverage 8x24 (%) | Inclusive Coverage 8x1 (%) | Inclusive Coverage 8x2 (%) | Inclusive Coverage 8x4 (%) | Inclusive Coverage 8x8 (%) | Inclusive Coverage 8x16 (%) | Inclusive Coverage 8x24 (%) | Max Exclusive Time Over Threads 8x1 (s) | Max Exclusive Time Over Threads 8x2 (s) | Max Exclusive Time Over Threads 8x4 (s) | Max Exclusive Time Over Threads 8x8 (s) | Max Exclusive Time Over Threads 8x16 (s) | Max Exclusive Time Over Threads 8x24 (s) | Max Inclusive Time Over Threads 8x1 (s) | Max Inclusive Time Over Threads 8x2 (s) | Max Inclusive Time Over Threads 8x4 (s) | Max Inclusive Time Over Threads 8x8 (s) | Max Inclusive Time Over Threads 8x16 (s) | Max Inclusive Time Over Threads 8x24 (s) | Exclusive Time w.r.t. Wall Time 8x1 (s) | Exclusive Time w.r.t. Wall Time 8x2 (s) | Exclusive Time w.r.t. Wall Time 8x4 (s) | Exclusive Time w.r.t. Wall Time 8x8 (s) | Exclusive Time w.r.t. Wall Time 8x16 (s) | Exclusive Time w.r.t. Wall Time 8x24 (s) | Inclusive Time w.r.t. Wall Time 8x1 (s) | Inclusive Time w.r.t. Wall Time 8x2 (s) | Inclusive Time w.r.t. Wall Time 8x4 (s) | Inclusive Time w.r.t. Wall Time 8x8 (s) | Inclusive Time w.r.t. Wall Time 8x16 (s) | Inclusive Time w.r.t. Wall Time 8x24 (s) | Nb Threads 8x1 | Nb Threads 8x2 | Nb Threads 8x4 | Nb Threads 8x8 | Nb Threads 8x16 | Nb Threads 8x24 | GFLOPS 8x1 | GFLOPS 8x2 | GFLOPS 8x4 | GFLOPS 8x8 | GFLOPS 8x16 | GFLOPS 8x24 | Vectorization Ratio (%) | Vector Length Use (%) | Speedup If No Scalar Integer | Speedup If FP Vectorized | Speedup If Fully Vectorized | Speedup If Perfect Load Balancing 8x1 | Speedup If Perfect Load Balancing 8x2 | Speedup If Perfect Load Balancing 8x4 | Speedup If Perfect Load Balancing 8x8 | Speedup If Perfect Load Balancing 8x16 | Speedup If Perfect Load Balancing 8x24 | Stride 0 | Stride 1 | Stride n | Stride Unknown | Stride Indirect | Array Access Efficiency | (8x1) Efficiency | (8x1) Potential Speed-Up (%) | (8x2) Efficiency | (8x2) Potential Speed-Up (%) | (8x4) Efficiency | (8x4) Potential Speed-Up (%) | (8x8) Efficiency | (8x8) Potential Speed-Up (%) | (8x16) Efficiency | (8x16) Potential Speed-Up (%) | (8x24) Efficiency | (8x24) Potential Speed-Up (%) |
|---|
| 650 | kripke.exe - Scattering.cpp:88-97 [...] | 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... | InBetween | 62.16 | 62.19 | 61.16 | 59.19 | 42.98 | 42.41 | 62.05 | 62.01 | 60.86 | 58.98 | 41.33 | 41.79 | 90.40 | 90.18 | 88.74 | 85.93 | 75.39 | 87.31 | 169.09 | 85.18 | 42.96 | 22.35 | 16.57 | 12.10 | 247.01 | 123.63 | 62.34 | 32.75 | 33.94 | 24.59 | 168.36 | 84.58 | 42.41 | 21.93 | 15.70 | 11.65 | 245.31 | 123.01 | 61.84 | 31.95 | 28.63 | 24.34 | 8 | 16 | 32 | 64 | 128 | 192 | 26.49 | 52.75 | 105.03 | 203.17 | 243.15 | 270.84 | 16.25 | 14.14 | 1.57 | 2.07 | 10.35 | 1 | 1.01 | 1.01 | 1.02 | 1.18 | 1.04 | 0 | 0 | 0 | 3 | 0 | 50.00 | 1 | 0 | 1 | 0.29 | 0.99 | 0.46 | 0.96 | 2.38 | 0.67 | 13.63 | 0.6 | 16.63 |
| 651 | kripke.exe - Scattering.cpp:91-95 [...] | 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... | Innermost | 28.69 | 28.64 | 28.30 | 27.76 | 47.17 | 46.36 | 28.36 | 28.17 | 27.88 | 26.95 | 34.06 | 45.51 | 28.36 | 28.17 | 27.88 | 26.95 | 34.06 | 45.51 | 78.05 | 39.23 | 19.88 | 10.48 | 18.18 | 13.22 | 78.05 | 39.23 | 19.88 | 10.48 | 18.18 | 13.22 | 76.95 | 38.43 | 19.43 | 10.02 | 12.94 | 12.69 | 76.95 | 38.43 | 19.43 | 10.02 | 12.94 | 12.69 | 8 | 16 | 32 | 64 | 128 | 192 | 26.45 | 52.90 | 104.99 | 203.38 | 207.51 | 264.36 | 0 | 12.5 | 1 | 3.46 | 8 | 1.01 | 1.02 | 1.02 | 1.05 | 1.57 | 1.05 | 0 | 2 | 0 | 1 | 0 | 83.33 | 1 | 0 | 1 | 0 | 0.99 | 0.28 | 0.96 | 1.08 | 0.37 | 21.4 | 0.25 | 34.01 |
| 543 | kripke.exe - For.hpp:137-137 [...] | 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... | Innermost | 2.93 | 3.03 | 3.26 | 3.26 | 2.84 | 2.73 | 2.93 | 2.99 | 3.05 | 3.02 | 2.52 | 2.57 | 2.93 | 2.99 | 3.05 | 3.02 | 2.52 | 2.57 | 7.97 | 4.15 | 2.29 | 1.23 | 1.10 | 0.78 | 7.97 | 4.15 | 2.29 | 1.23 | 1.10 | 0.78 | 7.95 | 4.08 | 2.13 | 1.12 | 0.96 | 0.72 | 7.95 | 4.08 | 2.13 | 1.12 | 0.96 | 0.72 | 8 | 16 | 32 | 64 | 128 | 192 | 37.08 | 72.23 | 139.21 | 264.28 | 311.19 | 419.52 | 0 | 12.5 | 1 | 1 | 8 | 1 | 1.02 | 1.08 | 1.1 | 1.28 | 1.09 | 1 | 2 | 0 | 0 | 0 | 100.00 | 1 | 0 | 0.97 | 0.08 | 0.93 | 0.2 | 0.89 | 0.35 | 0.52 | 1.22 | 0.46 | 1.38 |
| 833 | kripke.exe - For.hpp:137-137 [...] | 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... | Innermost | 2.89 | 2.95 | 3.22 | 3.20 | 2.80 | 3.00 | 2.88 | 2.93 | 2.96 | 3.13 | 2.47 | 2.74 | 2.88 | 2.93 | 2.96 | 3.13 | 2.47 | 2.74 | 7.86 | 4.04 | 2.26 | 1.21 | 1.08 | 0.86 | 7.86 | 4.04 | 2.26 | 1.21 | 1.08 | 0.86 | 7.83 | 3.99 | 2.06 | 1.17 | 0.94 | 0.76 | 7.83 | 3.99 | 2.06 | 1.17 | 0.94 | 0.76 | 8 | 16 | 32 | 64 | 128 | 192 | 37.64 | 74.68 | 144.72 | 255.90 | 318.25 | 394.18 | 0 | 12.5 | 1 | 1 | 8 | 1 | 1.01 | 1.1 | 1.04 | 1.29 | 1.12 | 1 | 2 | 0 | 0 | 0 | 100.00 | 1 | 0 | 0.98 | 0.06 | 0.95 | 0.15 | 0.84 | 0.5 | 0.52 | 1.18 | 0.43 | 1.57 |
| 1115 | kripke.exe - For.hpp:137-137 [...] | 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... | Innermost | 1.68 | 1.70 | 1.72 | 1.60 | 1.21 | 1.24 | 1.68 | 1.68 | 1.66 | 1.53 | 1.06 | 1.08 | 1.68 | 1.68 | 1.66 | 1.53 | 1.06 | 1.08 | 4.57 | 2.32 | 1.21 | 0.61 | 0.47 | 0.35 | 4.57 | 2.32 | 1.21 | 0.61 | 0.47 | 0.35 | 4.55 | 2.29 | 1.15 | 0.57 | 0.40 | 0.30 | 4.55 | 2.29 | 1.15 | 0.57 | 0.40 | 0.30 | 8 | 16 | 32 | 64 | 128 | 192 | 25.84 | 52.02 | 103.60 | 208.64 | 294.50 | 397.94 | 0 | 12.5 | 1 | 3.3 | 8 | 1 | 1.01 | 1.05 | 1.07 | 1.29 | 1.19 | 1 | 0 | 0 | 4 | 8 | 23.08 | 1 | 0 | 0.99 | 0.01 | 0.98 | 0.03 | 1 | 0 | 0.7 | 0.32 | 0.63 | 0.4 |
| 932 | kripke.exe - For.hpp:137-137 [...] | 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... | Innermost | 0.25 | 0.25 | 0.26 | 0.26 | 0.25 | 0.33 | 0.25 | 0.25 | 0.24 | 0.22 | 0.20 | 0.22 | 0.25 | 0.25 | 0.24 | 0.22 | 0.20 | 0.22 | 0.69 | 0.35 | 0.18 | 0.10 | 0.09 | 0.09 | 0.69 | 0.35 | 0.18 | 0.10 | 0.09 | 0.09 | 0.67 | 0.34 | 0.17 | 0.08 | 0.07 | 0.06 | 0.67 | 0.34 | 0.17 | 0.08 | 0.07 | 0.06 | 8 | 16 | 32 | 64 | 128 | 192 | 27.08 | 53.62 | 107.60 | 219.78 | 241.19 | 285.90 | 0 | 12.5 | 1 | 3.33 | 8 | 1.04 | 1.03 | 1.07 | 1.22 | 1.43 | 1.53 | 0 | 2 | 0 | 0 | 0 | 100.00 | 1 | 0 | 0.99 | 0 | 0.99 | 0 | 1.01 | -0 | 0.56 | 0.09 | 0.45 | 0.12 |
| 649 | kripke.exe - For.hpp:137-137 [...] | 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... | InBetween | 0.23 | 0.25 | 0.24 | 0.26 | 0.25 | 0.26 | 0.18 | 0.17 | 0.16 | 0.16 | 0.12 | 0.13 | 90.58 | 90.35 | 88.90 | 86.09 | 75.51 | 87.44 | 0.63 | 0.34 | 0.17 | 0.10 | 0.09 | 0.08 | 247.45 | 123.97 | 62.42 | 32.82 | 33.98 | 24.63 | 0.48 | 0.23 | 0.11 | 0.06 | 0.05 | 0.04 | 245.79 | 123.24 | 61.96 | 32.01 | 28.68 | 24.38 | 8 | 16 | 32 | 64 | 127 | 192 | 28.11 | 61.32 | 122.86 | 223.73 | 257.42 | 261.43 | 0 | 10.94 | 1 | 1 | 11.64 | 1.31 | 1.5 | 1.51 | 1.65 | 2.34 | 2.06 | 0 | 0 | 0 | 3 | 0 | 50.00 | 1 | 0 | 1.05 | 0 | 1.05 | 0 | 0.98 | 0 | 0.66 | 0.04 | 0.54 | 0.06 |
| 507 | kripke.exe - forall.hpp:98-98 [...] | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.08 | 0.16 | 0.32 | 0.61 | 1.05 | 1.47 | 0.07 | 0.07 | 0.08 | 0.07 | 0.07 | 0.06 | 0.07 | 0.07 | 0.08 | 0.07 | 0.07 | 0.06 | 0.22 | 0.22 | 0.22 | 0.23 | 0.40 | 0.42 | 0.22 | 0.22 | 0.22 | 0.23 | 0.40 | 0.42 | 0.19 | 0.10 | 0.05 | 0.03 | 0.03 | 0.02 | 0.19 | 0.10 | 0.05 | 0.03 | 0.03 | 0.02 | 8 | 8 | 8 | 8 | 8 | 8 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 9.38 | 1 | 1 | 14 | 1.11 | 1.06 | 1.07 | 1.11 | 1.03 | 1.05 | 0 | 0 | 0 | 0 | 1 | 0.00 | 1 | 0 | 0.95 | 0 | 0.92 | 0.01 | 0.94 | 0 | 0.44 | 0.04 | 0.48 | 0.03 |
| 1103 | kripke.exe - stl_algobase.h:911-912 | Kripke::ParallelComm::testRecieves() | Innermost | 0.07 | 0.10 | 0.09 | 0.17 | 0.12 | 0.11 | 0.04 | 0.02 | 0.01 | 0.01 | 0.00 | 0.00 | 0.04 | 0.02 | 0.01 | 0.01 | 0.00 | 0.00 | 0.19 | 0.14 | 0.06 | 0.07 | 0.05 | 0.03 | 0.19 | 0.14 | 0.06 | 0.07 | 0.05 | 0.03 | 0.10 | 0.02 | 0.01 | 0.01 | 0.00 | 0.00 | 0.10 | 0.02 | 0.01 | 0.01 | 0.00 | 0.00 | 7 | 6 | 7 | 7 | 6 | 4 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 50 | 15.63 | 1 | 1 | 6.4 | 1.61 | 2.43 | 1.75 | 1.32 | 2.35 | 1.85 | 1 | 0 | 0 | 0 | 0 | 100.00 | 1 | 0 | 2.39 | 0 | 3.17 | 0 | 2.39 | 0 | 6.4 | 0 | 12.65 | 0 |
| 514 | kripke.exe - forall.hpp:98-98 [...] | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.02 | 0.04 | 0.09 | 0.13 | 0.22 | 0.26 | 0.02 | 0.02 | 0.02 | 0.02 | 0.01 | 0.01 | 0.02 | 0.02 | 0.02 | 0.02 | 0.01 | 0.01 | 0.05 | 0.05 | 0.06 | 0.05 | 0.09 | 0.08 | 0.05 | 0.05 | 0.06 | 0.05 | 0.09 | 0.08 | 0.05 | 0.02 | 0.01 | 0.01 | 0.00 | 0.00 | 0.05 | 0.02 | 0.01 | 0.01 | 0.00 | 0.00 | 8 | 8 | 8 | 8 | 8 | 8 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 9.38 | 1 | 1 | 14 | 1.1 | 1.11 | 1.19 | 1.07 | 1.2 | 1.13 | 0 | 0 | 0 | 0 | 1 | 0.00 | 1 | 0 | 1.01 | -0 | 0.99 | 0 | 1.06 | -0 | 0.63 | 0 | 0.75 | 0 |
| 521 | kripke.exe - forall.hpp:98-98 [...] | Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | Innermost | 0.02 | 0.05 | 0.09 | 0.16 | 0.19 | 0.32 | 0.02 | 0.02 | 0.02 | 0.02 | 0.01 | 0.01 | 0.02 | 0.02 | 0.02 | 0.02 | 0.01 | 0.01 | 0.06 | 0.07 | 0.06 | 0.06 | 0.07 | 0.09 | 0.06 | 0.07 | 0.06 | 0.06 | 0.07 | 0.09 | 0.05 | 0.03 | 0.01 | 0.01 | 0.00 | 0.00 | 0.05 | 0.03 | 0.01 | 0.01 | 0.00 | 0.00 | 8 | 8 | 8 | 8 | 8 | 8 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 9.38 | 1 | 1 | 14 | 1.11 | 1.22 | 1.21 | 1.17 | 1.2 | 1.27 | 0 | 0 | 0 | 0 | 1 | 0.00 | 1 | 0 | 0.93 | 0 | 0.92 | 0 | 0.96 | 0 | 0.71 | 0 | 0.7 | 0 |
| 1104 | kripke.exe - vector.tcc:112-121 [...] | Kripke::ParallelComm::getReadyList() | Single | 0.03 | 0.04 | 0.02 | 0.11 | 0.03 | 0.07 | 0.01 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.01 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.09 | 0.05 | 0.02 | 0.04 | 0.01 | 0.02 | 0.09 | 0.05 | 0.02 | 0.04 | 0.01 | 0.02 | 0.04 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.04 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 5 | 4 | 6 | 7 | 5 | 5 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 12.04 | 1 | 1 | 11.04 | 1.5 | 1.63 | 1.13 | 1.93 | 1.67 | 2.22 | 2 | 1.67 | 0 | 0.33 | 0 | 97.22 | 1 | 0 | 2.22 | 0 | 3.75 | 0 | 2.06 | 0 | 8.92 | 0 | 6.64 | -0 |
| 834 | kripke.exe - For.hpp:137-137 [...] | 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... | InBetween | 0.03 | 0.03 | 0.03 | 0.04 | 0.04 | 0.04 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 2.90 | 2.94 | 2.96 | 3.14 | 2.48 | 2.75 | 0.08 | 0.05 | 0.02 | 0.01 | 0.01 | 0.01 | 7.89 | 4.05 | 2.28 | 1.21 | 1.07 | 0.86 | 0.03 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 7.86 | 4.00 | 2.07 | 1.17 | 0.94 | 0.77 | 6 | 7 | 14 | 34 | 53 | 63 | 72.81 | 120.39 | 218.73 | 374.21 | 235.47 | 119.90 | 0 | 10.42 | 1 | 1 | 12.8 | 1.67 | 1.75 | 1.6 | 2.17 | 2.45 | 1.77 | 0 | 0 | 0 | 3 | 0 | 50.00 | 1 | 0 | 1.5 | -0 | 1.54 | -0 | 1.15 | -0 | 0.74 | 0 | 0.76 | 0 |
| 544 | kripke.exe - For.hpp:137-137 [...] | 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... | InBetween | 0.02 | 0.03 | 0.04 | 0.05 | 0.06 | 0.04 | 0.01 | 0.02 | 0.01 | 0.01 | 0.01 | 0.01 | 2.94 | 3.01 | 3.07 | 3.03 | 2.53 | 2.58 | 0.05 | 0.04 | 0.03 | 0.02 | 0.03 | 0.01 | 8.01 | 4.18 | 2.29 | 1.24 | 1.10 | 0.77 | 0.03 | 0.02 | 0.01 | 0.01 | 0.00 | 0.00 | 7.98 | 4.11 | 2.14 | 1.13 | 0.96 | 0.72 | 6 | 11 | 22 | 40 | 59 | 65 | 77.08 | 83.03 | 187.92 | 292.36 | 208.42 | 202.77 | 0 | 10.94 | 1 | 1 | 10.67 | 1.13 | 1.36 | 1.77 | 2.32 | 3.83 | 1.73 | 0 | 0 | 0 | 3 | 0 | 50.00 | 1 | 0 | 0.66 | 0.01 | 0.77 | 0 | 0.69 | 0 | 0.56 | 0 | 0.64 | 0 |
| 1009 | kripke.exe - new_allocator.h:145-145 [...] | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) | Outermost | 0.03 | 0.02 | 0.04 | 0.05 | 0.04 | 0.04 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.01 | 0.01 | 0.02 | 0.01 | 0.01 | 0.08 | 0.03 | 0.03 | 0.02 | 0.02 | 0.01 | 0.08 | 0.05 | 0.07 | 0.09 | 0.06 | 0.07 | 0.03 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.03 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 5 | 2 | 2 | 7 | 3 | 4 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 10.5 | 1 | 1 | 28.77 | 1.7 | 1.33 | 1.5 | 1.56 | 1.29 | 1.6 | NA | NA | NA | NA | NA | 0.00 | 1 | 0 | 4.89 | 0 | 5.49 | 0 | 2.44 | 0 | 5.61 | -0 | 8.77 | -0 |
| 1114 | kripke.exe - For.hpp:137-137 [...] | 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... | InBetween | 0.02 | 0.03 | 0.04 | 0.04 | 0.06 | 0.05 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 1.69 | 1.69 | 1.67 | 1.54 | 1.07 | 1.08 | 0.05 | 0.05 | 0.03 | 0.02 | 0.03 | 0.01 | 4.63 | 2.34 | 1.22 | 0.61 | 0.48 | 0.35 | 0.03 | 0.02 | 0.01 | 0.00 | 0.00 | 0.00 | 4.57 | 2.31 | 1.16 | 0.57 | 0.41 | 0.30 | 5 | 14 | 17 | 38 | 58 | 58 | 56.00 | 40.12 | 38.58 | 177.52 | 102.38 | 156.75 | 0 | 12.05 | 1 | 1 | 9.33 | 1.34 | 2.17 | 1.76 | 2 | 3.54 | 2.42 | 1 | 0 | 0 | 7 | 5 | 34.62 | 1 | 0 | 0.71 | 0 | 0.71 | 0 | 0.72 | 0 | 0.45 | 0.01 | 0.57 | 0 |
| 545 | kripke.exe - Collapse.hpp:74-76 [...] | 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... | Outermost | 0.02 | 0.01 | 0.02 | 0.04 | 0.03 | 0.04 | 0.01 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 2.95 | 3.02 | 3.07 | 3.04 | 2.54 | 2.58 | 0.05 | 0.02 | 0.02 | 0.01 | 0.01 | 0.01 | 8.05 | 4.14 | 2.28 | 1.24 | 1.08 | 0.78 | 0.02 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 8.00 | 4.11 | 2.14 | 1.13 | 0.96 | 0.72 | 5 | 7 | 10 | 33 | 35 | 40 | 35.58 | 67.49 | 97.29 | 174.23 | 134.15 | 111.21 | 0 | 12.5 | 1 | 1 | 8 | 1.32 | 1.12 | 1.3 | 2.06 | 1.63 | 1.86 | 0 | 0 | 0 | 3 | 0 | 50.00 | 1 | 0 | 1.52 | -0 | 1.65 | -0 | 0.79 | 0 | 0.79 | 0 | 0.88 | 0 |
| 1039 | kripke.exe - forall.hpp:98-98 [...] | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) | Innermost | 0.01 | 0.03 | 0.06 | 0.13 | 0.19 | 0.25 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.03 | 0.04 | 0.05 | 0.05 | 0.08 | 0.07 | 0.03 | 0.04 | 0.05 | 0.05 | 0.08 | 0.07 | 0.02 | 0.02 | 0.01 | 0.00 | 0.00 | 0.00 | 0.02 | 0.02 | 0.01 | 0.00 | 0.00 | 0.00 | 4 | 8 | 8 | 8 | 8 | 8 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 9.38 | 1 | 1 | 14 | 1 | 1.21 | 1.29 | 1.45 | 1.21 | 1.19 | 0 | 0 | 0 | 0 | 1 | 0.00 | 1 | 0 | 0.45 | 0.01 | 0.43 | 0.01 | 0.44 | 0.01 | 0.22 | 0.01 | 0.25 | 0.01 |
| 1032 | kripke.exe - forall.hpp:98-98 [...] | Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) | Innermost | 0.01 | 0.03 | 0.06 | 0.13 | 0.12 | 0.19 | 0.00 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.00 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.03 | 0.04 | 0.05 | 0.05 | 0.05 | 0.06 | 0.03 | 0.04 | 0.05 | 0.05 | 0.05 | 0.06 | 0.01 | 0.02 | 0.01 | 0.01 | 0.00 | 0.00 | 0.01 | 0.02 | 0.01 | 0.01 | 0.00 | 0.00 | 2 | 8 | 8 | 8 | 8 | 8 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0 | 9.38 | 1 | 1 | 14 | 1 | 1.31 | 1.41 | 1.23 | 1.29 | 1.57 | 0 | 0 | 0 | 0 | 1 | 0.00 | 1 | 0 | 0.22 | 0.01 | 0.24 | 0.01 | 0.18 | 0.01 | 0.19 | 0.01 | 0.21 | 0 |