(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.87 | 0.22 | 0.84 | 0.27 | 0.78 | 0.39 | 0.78 | 0.36 | 0.67 | 0.48 | 0.55 | 0.52 |
Run | Number of threads | Efficiency (ideal is 1) | Speedup | Ideal Speedup | Time (s) | Coverage (%) |
---|---|---|---|---|---|---|
2x1 | 2 | 1 | 1 | 1 | 18.129997253418 | 1.4740519523621 |
2x2 | 4 | 0.87 | 1.74 | 2 | 10.869997024536 | 1.6791110038757 |
2x4 | 8 | 0.84 | 3.37 | 4 | 5.6349992752075 | 1.7158340215683 |
2x8 | 16 | 0.78 | 6.25 | 8 | 3.0949997901917 | 1.786311507225 |
2x16 | 32 | 0.78 | 12.45 | 16 | 1.5749999284744 | 1.6221843957901 |
2x32 | 64 | 0.67 | 21.36 | 32 | 0.9349998831749 | 1.4437462091446 |
2x48 | 96 | 0.55 | 26.26 | 48 | 0.74000006914139 | 1.1574934720993 |
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::sweepSubdomain[...] | ArchLayout.h:145 | exec |
○ | Kripke::SweepSolver(Kripke::Co[...] | SweepSolver.cpp:78 | exec |
○ | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:335 | 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 |