| 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 |
| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►70.48 | __kmp_join_barrier(int) | libiomp5.so | |
| ○ | __kmp_launch_thread | libiomp5.so | |
| ○ | _INTERNALea951ae6::__kmp_launc[...] | libiomp5.so | |
| ○ | start_thread | libc.so.6 | |
| ○ | __GI___clone3 | libc.so.6 | |
| ►14.11 | __kmp_join_barrier(int) | libiomp5.so | |
| ○ | __kmp_internal_join | libiomp5.so | |
| ○ | __kmp_join_call | libiomp5.so | |
| ○ | __kmpc_fork_call | libiomp5.so | |
| ○ | scattering | Collapse.hpp:74 | exec |
| ○ | SteadyStateSolver | SteadyStateSolver.cpp:73 | exec |
| ○ | main | kripke.cpp:504 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | kripke.cpp:0 | exec |
| ►5.43 | __kmp_join_barrier(int) | libiomp5.so | |
| ○ | __kmp_launch_thread | libiomp5.so | |
| ○ | _INTERNALea951ae6::__kmp_launc[...] | libiomp5.so | |
| ►4.10 | __kmp_join_barrier(int) | libiomp5.so | |
| ○ | __kmp_internal_join | libiomp5.so | |
| ○ | __kmp_join_call | libiomp5.so | |
| ○ | __kmpc_fork_call | libiomp5.so | |
| ○ | LTimes | Collapse.hpp:74 | exec |
| ○ | SteadyStateSolver | SteadyStateSolver.cpp:62 | exec |
| ○ | main | kripke.cpp:504 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | kripke.cpp:0 | exec |
| ►2.05 | __kmp_join_barrier(int) | libiomp5.so | |
| ○ | __kmp_internal_join | libiomp5.so | |
| ○ | __kmp_join_call | libiomp5.so | |
| ○ | __kmpc_fork_call | libiomp5.so | |
| ○ | LPlusTimes | Collapse.hpp:74 | exec |
| ○ | SteadyStateSolver | SteadyStateSolver.cpp:79 | exec |
| ○ | main | kripke.cpp:504 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○ | __libc_start_main | libc.so.6 | |
| ○ | _start | kripke.cpp:0 | exec |
| ►1.21 | __kmp_join_barrier(int) | libiomp5.so | |
| ○ | __kmp_internal_join | libiomp5.so | |
| ○ | __kmp_join_call | libiomp5.so | |
| ○ | __kmpc_fork_call | libiomp5.so | |
| ○ | scattering | Collapse.hpp:74 | exec |
| ○ | SteadyStateSolver | SteadyStateSolver.cpp:73 | exec |
| ○ | main | kripke.cpp:504 | exec |