exec - Loop 2031 - Load Distribution

minmedavgmax
Percentile Index10 20 30 40 50 60 70 80 90 100
Value


minmedavgmax
Percentile Index10 20 30 40 50 60 70 80 90 100
Value

exec - Loop 2031 - Sorted Load Distribution

minmedavgmax
Percentile Index10 20 30 40 50 60 70 80 90 100
Value


minmedavgmax
Percentile Index10 20 30 40 50 60 70 80 90 100
Value

exec - Loop 2031 - Load Distribution All Threads

minmedavgmax
Percentile Index10 20 30 40 50 60 70 80 90 100
Value


minmedavgmax
Percentile Index10 20 30 40 50 60 70 80 90 100
Value
Coverage (%)NameSource LocationModule
98.43+omp_fulfill_eventlibgomp.so.1.0.0
start_threadlibc.so.6
thread_startlibc.so.6
1.57+GOMP_parallellibgomp.so.1.0.0
void Kripke::DispatchHelper<Kr[...]Collapse.hpp:129exec
Kripke::Kernel::LTimes(Kripke:[...]ArchLayout.h:155exec
Kripke::SteadyStateSolver(Krip[...]new_allocator.h:82exec
mainnew_allocator.h:79exec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
_startiostream:74exec
×