| 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 | 1 | 0 |
| Run | Number of threads | Efficiency (ideal is 1) | Speedup | Ideal Speedup | Time (s) | Coverage (%) |
|---|---|---|---|---|---|---|
| 1x1 | ||||||
| 1x2 | 2 | 1 | 1 | 2 | 2.4950001239777 | 0.17418253421783 |
| 1x4 | 4 | 1 | 1 | 4 | 4.3700003623962 | 0.46306002140045 |
| 1x8 | 8 | 1 | 1 | 8 | 3.5450007915497 | 0.83748531341553 |
| 1x16 | 16 | 1 | 1 | 16 | 2.5550003051758 | 1.2360008955002 |
| 1x24 | 24 | 1 | 1 | 24 | 2.8549997806549 | 1.9619560241699 |
| 1x32 | 32 | 1 | 1 | 32 | 2.3650002479553 | 2.1519160270691 |
| 1x40 | 40 | 1 | 1 | 40 | 2.5549998283386 | 2.8459258079529 |
| 1x48 | 48 | 1 | 1 | 48 | 2.275000333786 | 2.9247162342072 |
| 1x56 | 56 | 1 | 1 | 56 | 2.8199999332428 | 3.9677770137787 |
| 1x64 | 64 | 1 | 1 | 64 | 2.2950000762939 | 3.8865652084351 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►50.66 | __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 | |
| ►48.73 | __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 |
|---|---|---|---|
| ►90.05 | __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 | |
| ►9.50 | __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 |
|---|---|---|---|
| ►96.52 | __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.00 | __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 |
| ►1.29 | __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 |
|---|---|---|---|
| ►96.96 | __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.83 | __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 | |
| ►1.15 | __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.69 | __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.35 | __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.32 | __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.40 | __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 |
|---|---|---|---|
| ►96.24 | __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.40 | __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.05 | __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.63 | __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.23 | __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.50 | __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.98 | __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.85 | __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 |