| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| min | med | avg | max |
|---|---|---|---|
| Percentile Index | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 |
|---|---|---|---|---|---|---|---|---|---|---|
| Value |
| (1x1) Efficiency | (1x1) Potential Speed-Up (%) | (1x2) Efficiency | (1x2) Potential Speed-Up (%) | (1x4) Efficiency | (1x4) Potential Speed-Up (%) | (1x8) Efficiency | (1x8) Potential Speed-Up (%) | (1x16) Efficiency | (1x16) Potential Speed-Up (%) | (1x24) Efficiency | (1x24) Potential Speed-Up (%) | (1x32) Efficiency | (1x32) Potential Speed-Up (%) | (1x40) Efficiency | (1x40) Potential Speed-Up (%) | (1x48) Efficiency | (1x48) Potential Speed-Up (%) | (1x56) Efficiency | (1x56) Potential Speed-Up (%) | (1x64) Efficiency | (1x64) Potential Speed-Up (%) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 0 | 0.95 | 0 | 1 | 0 | 1.04 | 0 | 0.98 | 0 | 1.03 | 0 | 0.97 | 0 | 0.99 | 0 | 1.02 | 0 | 0.99 | 0 | 0.99 | 0 |
| Run | Number of threads | Efficiency (ideal is 1) | Speedup | Ideal Speedup | Time (s) | Coverage (%) |
|---|---|---|---|---|---|---|
| 1x1 | 1 | 1 | 1 | 1 | 1.5650000572205 | 0.056747522205114 |
| 1x2 | 1 | 0.95 | 1.91 | 2 | 1.6400001049042 | 0.058001898229122 |
| 1x4 | 1 | 1 | 3.99 | 4 | 1.5700001716614 | 0.054785553365946 |
| 1x8 | 1 | 1.04 | 8.29 | 8 | 1.5099999904633 | 0.052779752761126 |
| 1x16 | 1 | 0.98 | 15.64 | 16 | 1.6000000238419 | 0.054948639124632 |
| 1x24 | 1 | 1.03 | 24.76 | 24 | 1.5150001049042 | 0.050546105951071 |
| 1x32 | 1 | 0.97 | 31.18 | 32 | 1.6050000190735 | 0.05210568010807 |
| 1x40 | 1 | 0.99 | 39.54 | 40 | 1.5800000429153 | 0.051421616226435 |
| 1x48 | 1 | 1.02 | 48.85 | 48 | 1.5350000858307 | 0.048710890114307 |
| 1x56 | 1 | 0.99 | 55.3 | 56 | 1.5799999237061 | 0.048952389508486 |
| 1x64 | 1 | 0.99 | 63.42 | 64 | 1.5750000476837 | 0.047256268560886 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►84.66 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►15.02 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►81.40 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►18.29 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►82.48 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►16.88 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►84.44 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►15.23 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►84.38 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►15.63 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►83.50 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►16.50 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►82.87 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►17.13 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►83.54 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►15.82 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►82.08 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►17.26 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►82.28 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►17.09 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►83.17 | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |
| ►16.51 | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:368 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | LPlusTimes.cpp:0 | exec |