(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.93 | 0 | 0.92 | 0 | 0.89 | 0.01 | 0.92 | 0 | 0.88 | 0 | 0.8 | 0 |
Run | Number of threads | Efficiency (ideal is 1) | Speedup | Ideal Speedup | Time (s) | Coverage (%) |
---|---|---|---|---|---|---|
2x1 | 2 | 1 | 1 | 1 | 0.52499997615814 | 0.04269078746438 |
2x2 | 2 | 0.93 | 1.86 | 2 | 0.56499999761581 | 0.045441366732121 |
2x4 | 2 | 0.92 | 3.69 | 4 | 0.57499992847443 | 0.045279480516911 |
2x8 | 2 | 0.89 | 7.11 | 8 | 0.6149999499321 | 0.045499008148909 |
2x16 | 2 | 0.92 | 14.74 | 16 | 0.57499998807907 | 0.039701584726572 |
2x32 | 2 | 0.88 | 28.02 | 32 | 0.61999994516373 | 0.031873360276222 |
2x48 | 2 | 0.8 | 38.57 | 48 | 0.62999999523163 | 0.022829504683614 |
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 |
---|---|---|---|
►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 |