| 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 | 0.97 | 2.34 | 0.96 | 3.23 | 0.97 | 2.49 | 0.96 | 3.2 | 0.95 | 3.94 | 0.95 | 4.6 | 0.94 | 4.91 | 0.94 | 4.96 | 0.95 | 4.01 | 0.94 | 4.73 |
| Run | Number of threads | Efficiency (ideal is 1) | Speedup | Ideal Speedup | Time (s) | Coverage (%) |
|---|---|---|---|---|---|---|
| 1x1 | 1 | 1 | 1 | 1 | 2493.0251464844 | 90.398086547852 |
| 1x2 | 2 | 0.97 | 1.95 | 2 | 1280.5450439453 | 90.448120117188 |
| 1x4 | 4 | 0.96 | 3.86 | 4 | 647.13500976563 | 90.207901000977 |
| 1x8 | 8 | 0.97 | 7.78 | 8 | 321.68496704102 | 89.604637145996 |
| 1x16 | 16 | 0.96 | 15.42 | 16 | 161.94497680664 | 88.768836975098 |
| 1x24 | 24 | 0.95 | 22.91 | 24 | 109.05500793457 | 87.024543762207 |
| 1x32 | 32 | 0.95 | 30.28 | 32 | 82.775001525879 | 85.46516418457 |
| 1x40 | 40 | 0.94 | 37.71 | 40 | 66.180000305176 | 85.889549255371 |
| 1x48 | 48 | 0.94 | 45.16 | 48 | 55.349994659424 | 83.926322937012 |
| 1x56 | 56 | 0.95 | 53.23 | 56 | 47.01000213623 | 81.020538330078 |
| 1x64 | 64 | 0.94 | 60.18 | 64 | 41.57999420166 | 79.336364746094 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►100.00 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_fork_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 |
|---|---|---|---|
| ►50.07 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►49.93 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_fork_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 |
|---|---|---|---|
| ►74.97 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►25.03 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_fork_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 |
|---|---|---|---|
| ►87.45 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►12.55 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_fork_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 |
|---|---|---|---|
| ►93.73 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►6.27 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_fork_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 |
|---|---|---|---|
| ►95.82 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►4.18 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_fork_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.86 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►3.14 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_fork_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.49 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►2.51 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_fork_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.91 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►2.09 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_fork_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.20 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►1.80 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_fork_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.43 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_launch_thread | libomp.so | |
| ○ | __kmp_launch_worker(void*) | libomp.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | thread_start | libc.so.6 | |
| ►1.57 | __kmp_invoke_microtask | libomp.so | |
| ○ | __kmp_invoke_task_func | libomp.so | |
| ○ | __kmp_fork_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 |