_ZN6Kripke12ParallelComm12getReadyListEv.A - 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

_ZN6Kripke12ParallelComm12getReadyListEv.A - 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

_ZN6Kripke12ParallelComm12getReadyListEv.A - 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
97.22+Kripke::ParallelComm::getReady[...]new_allocator.h:145exec
Kripke::SweepComm::readySubdom[...]SweepComm.cpp:65exec
SweepSolverstl_vector.h:919exec
SteadyStateSolverstl_vector.h:335exec
mainkripke.cpp:504exec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
_startkripke.cpp:0exec
2.78+Kripke::ParallelComm::getReady[...]new_allocator.h:145exec
Kripke::SweepComm::readySubdom[...]SweepComm.cpp:65exec
SweepSolverstl_vector.h:919exec
SteadyStateSolverstl_vector.h:335exec
mainkripke.cpp:504exec
×