(2x1) Efficiency | (2x1) Potential Speed-Up (%) | (2x2) Efficiency | (2x2) Potential Speed-Up (%) | (2x4) Efficiency | (2x4) Potential Speed-Up (%) | (2x8) Efficiency | (2x8) Potential Speed-Up (%) | (2x16) Efficiency | (2x16) Potential Speed-Up (%) | (2x32) Efficiency | (2x32) Potential Speed-Up (%) | (2x48) Efficiency | (2x48) Potential Speed-Up (%) |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | 0 | 0.97 | 0.04 | 0.98 | 0.03 | 0.88 | 0.16 | 0.73 | 0.39 | 0.5 | 0.79 | 0.3 | 1.2 |
Run | Number of threads | Efficiency (ideal is 1) | Speedup | Ideal Speedup | Time (s) | Coverage (%) |
---|---|---|---|---|---|---|
2x1 | 2 | 1 | 1 | 1 | 15.440000534058 | 1.2260318994522 |
2x2 | 4 | 0.97 | 1.93 | 2 | 7.9000000953674 | 1.2570093870163 |
2x4 | 8 | 0.98 | 3.9 | 4 | 4.0450000762939 | 1.2317229509354 |
2x8 | 16 | 0.88 | 7.05 | 8 | 2.3549997806549 | 1.3178961277008 |
2x16 | 32 | 0.73 | 11.66 | 16 | 1.4049999713898 | 1.4413322210312 |
2x32 | 64 | 0.5 | 16.11 | 32 | 1.2149999141693 | 1.5925974845886 |
2x48 | 96 | 0.3 | 14.6 | 48 | 1.4249999523163 | 1.7316294908524 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_fork_call | libiomp5.so | |
○ | __kmpc_fork_call | libiomp5.so | |
○ | void Kripke::DispatchHelper<Kr[...] | internal.hpp:345 | exec |
○ | Kripke::Kernel::LTimes(Kripke:[...] | ArchLayout.h:145 | exec |
○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:54 | exec |
○ | main | kripke.cpp:482 | exec |
○ | __libc_start_call_main | libc.so.6 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_invoke_task_func | libiomp5.so |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_invoke_task_func | libiomp5.so |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_invoke_task_func | libiomp5.so |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_invoke_task_func | libiomp5.so |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_invoke_task_func | libiomp5.so |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_invoke_task_func | libiomp5.so |