(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 | 0.94 | 0.01 | 0.82 | 0.02 | 0.78 | 0.02 | 0.51 | 0.06 | 0.28 | 0.1 |
Run | Number of threads | Efficiency (ideal is 1) | Speedup | Ideal Speedup | Time (s) | Coverage (%) |
---|---|---|---|---|---|---|
2x1 | 2 | 1 | 1 | 1 | 1.1399998664856 | 0.09229351580143 |
2x2 | 4 | 0.97 | 1.94 | 2 | 0.58999997377396 | 0.094316080212593 |
2x4 | 8 | 0.94 | 3.76 | 4 | 0.33499997854233 | 0.096144184470177 |
2x8 | 16 | 0.82 | 6.52 | 8 | 0.18999996781349 | 0.10725996643305 |
2x16 | 32 | 0.78 | 12.51 | 16 | 0.10499998927116 | 0.10109131783247 |
2x32 | 64 | 0.51 | 16.29 | 32 | 0.094999991357327 | 0.11855313926935 |
2x48 | 96 | 0.28 | 13.49 | 48 | 0.10000000149012 | 0.14112067222595 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_fork_call | libiomp5.so | |
○ | __kmpc_fork_call | libiomp5.so | |
○ | void PopulationSdom::operator([...] | reduce.hpp:58 | exec |
○ | Kripke::Kernel::population(Kri[...] | ArchLayout.h:179 | exec |
○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:99 | 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 |
---|---|---|---|
►99.93 | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_invoke_task_func | libiomp5.so |