(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 | 1.19 | 0 | 1.16 | 0 | 0.98 | 0 | 1.1 | 0 | 1 | 0 | 0.8 | 0.01 |
Run | Number of threads | Efficiency (ideal is 1) | Speedup | Ideal Speedup | Time (s) | Coverage (%) |
---|---|---|---|---|---|---|
2x1 | 2 | 1 | 1 | 1 | 0.8999999165535 | 0.072980970144272 |
2x2 | 2 | 1.19 | 2.38 | 2 | 0.78500002622604 | 0.060790617018938 |
2x4 | 2 | 1.16 | 4.66 | 4 | 0.79999989271164 | 0.06143657118082 |
2x8 | 2 | 0.98 | 7.81 | 8 | 0.93499994277954 | 0.070863649249077 |
2x16 | 2 | 1.1 | 17.65 | 16 | 0.81499987840652 | 0.056666728109121 |
2x32 | 2 | 1 | 31.98 | 32 | 0.92999994754791 | 0.047743417322636 |
2x48 | 2 | 0.8 | 38.35 | 48 | 1.164999961853 | 0.039245329797268 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | 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 | 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 | 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 | 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 | 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 | 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 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:335 | exec |
○ | main | kripke.cpp:482 | exec |
○ | __libc_start_call_main | libc.so.6 |