| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| (1x1) Efficiency | (1x1) Potential Speed-Up (%) | (1x2) Efficiency | (1x2) Potential Speed-Up (%) | (1x4) Efficiency | (1x4) Potential Speed-Up (%) | (1x8) Efficiency | (1x8) Potential Speed-Up (%) | (1x16) Efficiency | (1x16) Potential Speed-Up (%) | (1x24) Efficiency | (1x24) Potential Speed-Up (%) | (1x32) Efficiency | (1x32) Potential Speed-Up (%) | (1x40) Efficiency | (1x40) Potential Speed-Up (%) | (1x48) Efficiency | (1x48) Potential Speed-Up (%) | (1x56) Efficiency | (1x56) Potential Speed-Up (%) | (1x64) Efficiency | (1x64) Potential Speed-Up (%) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| Run | Number of threads | Efficiency (ideal is 1) | Speedup | Ideal Speedup | Time (s) | Coverage (%) |
|---|---|---|---|---|---|---|
| 1x1 | ||||||
| 1x2 | ||||||
| 1x4 | 3 | 1 | 1 | 4 | 0.15000000596046 | 0.013085720129311 |
| 1x8 | 7 | 1 | 1 | 8 | 0.125 | 0.024467432871461 |
| 1x16 | 16 | 1 | 1 | 16 | 0.11500000208616 | 0.046191196888685 |
| 1x24 | 23 | 1 | 1 | 24 | 0.13000001013279 | 0.062723875045776 |
| 1x32 | 32 | 1 | 1 | 32 | 0.15999999642372 | 0.081161499023438 |
| 1x40 | 40 | 1 | 1 | 40 | 0.11999999731779 | 0.10626048594713 |
| 1x48 | 48 | 1 | 1 | 48 | 0.12000000476837 | 0.1040858104825 |
| 1x56 | 56 | 1 | 1 | 56 | 0.15500000119209 | 0.14097048342228 |
| 1x64 | 63 | 1 | 1 | 64 | 0.10500000417233 | 0.12931714951992 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►100.00 | __kmp_hyper_barrier_release(ba[...] | libomp.so | |
| ○ | __kmp_fork_barrier(int, int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►94.29 | __kmp_hyper_barrier_release(ba[...] | libomp.so | |
| ○ | __kmp_fork_barrier(int, int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►5.71 | __kmp_hyper_barrier_gather(bar[...] | libomp.so | |
| ○ | __kmp_join_barrier(int) | libomp.so | |
| ○ | __kmp_internal_join | libomp.so | |
| ○ | __kmp_join_call | libomp.so | |
| ○ | __kmpc_fork_call | libomp.so | |
| ○ | void Kripke::DispatchHelper<Kr[...] | plugins.hpp:66 | exec |
| ○ | auto Kripke::dispatch<Scatteri[...] | ArchLayout.h:206 | exec |
| ○ | Kripke::Kernel::scattering(Kri[...] | ArchLayout.h:172 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:68 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►97.40 | __kmp_hyper_barrier_release(ba[...] | libomp.so | |
| ○ | __kmp_fork_barrier(int, int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►2.23 | __kmp_hyper_barrier_gather(bar[...] | libomp.so | |
| ○ | __kmp_join_barrier(int) | libomp.so | |
| ○ | __kmp_internal_join | libomp.so | |
| ○ | __kmp_join_call | libomp.so | |
| ○ | __kmpc_fork_call | libomp.so | |
| ○ | void Kripke::DispatchHelper<Kr[...] | plugins.hpp:66 | exec |
| ○ | auto Kripke::dispatch<Scatteri[...] | ArchLayout.h:206 | exec |
| ○ | Kripke::Kernel::scattering(Kri[...] | ArchLayout.h:172 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:68 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►98.14 | __kmp_hyper_barrier_release(ba[...] | libomp.so | |
| ○ | __kmp_fork_barrier(int, int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►1.86 | __kmp_hyper_barrier_gather(bar[...] | libomp.so | |
| ○ | __kmp_join_barrier(int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►98.40 | __kmp_hyper_barrier_release(ba[...] | libomp.so | |
| ○ | __kmp_fork_barrier(int, int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►1.20 | __kmp_hyper_barrier_gather(bar[...] | libomp.so | |
| ○ | __kmp_join_barrier(int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►95.71 | __kmp_hyper_barrier_release(ba[...] | libomp.so | |
| ○ | __kmp_fork_barrier(int, int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►3.98 | __kmp_hyper_barrier_gather(bar[...] | libomp.so | |
| ○ | __kmp_join_barrier(int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►98.02 | __kmp_hyper_barrier_release(ba[...] | libomp.so | |
| ○ | __kmp_fork_barrier(int, int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►1.37 | __kmp_hyper_barrier_gather(bar[...] | libomp.so | |
| ○ | __kmp_join_barrier(int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►97.91 | __kmp_hyper_barrier_release(ba[...] | libomp.so | |
| ○ | __kmp_fork_barrier(int, int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►1.76 | __kmp_hyper_barrier_gather(bar[...] | libomp.so | |
| ○ | __kmp_join_barrier(int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►98.14 | __kmp_hyper_barrier_release(ba[...] | libomp.so | |
| ○ | __kmp_fork_barrier(int, int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►1.74 | __kmp_hyper_barrier_gather(bar[...] | libomp.so | |
| ○ | __kmp_join_barrier(int) | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 |