(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.98 | 0.01 | 0.96 | 0.01 | 0.96 | 0.01 | 0.94 | 0.01 | 0.88 | 0.02 | 0.8 | 0.03 |
Run | Number of threads | Efficiency (ideal is 1) | Speedup | Ideal Speedup | Time (s) | Coverage (%) |
---|---|---|---|---|---|---|
2x1 | 2 | 1 | 1 | 1 | 3.0849997997284 | 0.25024917721748 |
2x2 | 2 | 0.98 | 1.96 | 2 | 3.1350002288818 | 0.25305798649788 |
2x4 | 2 | 0.96 | 3.83 | 4 | 3.224999666214 | 0.25611835718155 |
2x8 | 2 | 0.96 | 7.66 | 8 | 3.2349991798401 | 0.24763745069504 |
2x16 | 2 | 0.94 | 15.08 | 16 | 3.2699999809265 | 0.22736762464046 |
2x32 | 2 | 0.88 | 28.31 | 32 | 3.4699997901917 | 0.18496577441692 |
2x48 | 2 | 0.8 | 38.39 | 48 | 3.6699998378754 | 0.13442932069302 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | main | kripke.cpp:482 | exec |
○ | __libc_start_call_main | libc.so.6 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | main | kripke.cpp:482 | exec |
○ | __libc_start_call_main | libc.so.6 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | main | kripke.cpp:482 | exec |
○ | __libc_start_call_main | libc.so.6 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | main | kripke.cpp:482 | exec |
○ | __libc_start_call_main | libc.so.6 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | main | kripke.cpp:482 | exec |
○ | __libc_start_call_main | libc.so.6 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►99.49 | main | kripke.cpp:482 | exec |
○ | __libc_start_call_main | libc.so.6 |
Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►99.86 | main | kripke.cpp:482 | exec |
○ | __libc_start_call_main | libc.so.6 |