__intel_avx_rep_memset - 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

__intel_avx_rep_memset - 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

__intel_avx_rep_memset - 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
47.24+Kripke::SteadyStateSolver(Krip[...]exec
mainexec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
_startexec
11.44+Kripke::SteadyStateSolver(Krip[...]exec
mainexec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
_startexec
10.70+Kripke::SteadyStateSolver(Krip[...]exec
mainexec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
_startexec
7.75+Kripke::SweepSolver(Kripke::Co[...]exec
Kripke::SteadyStateSolver(Krip[...]exec
mainexec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
_startexec
6.64+Kripke::SweepSolver(Kripke::Co[...]exec
Kripke::SteadyStateSolver(Krip[...]exec
mainexec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
_startexec
4.06+Kripke::SteadyStateSolver(Krip[...]exec
mainexec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
_startexec
4.06+Kripke::SteadyStateSolver(Krip[...]exec
mainexec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
2.95+Kripke::SweepSolver(Kripke::Co[...]exec
Kripke::SteadyStateSolver(Krip[...]exec
mainexec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
_startexec
2.58+Kripke::Generate::generateData[...]exec
Kripke::generateProblem(Kripke[...]exec
mainexec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
_startexec
1.11+Kripke::SteadyStateSolver(Krip[...]exec
mainexec
__libc_start_call_mainlibc.so.6
__libc_start_mainlibc.so.6
×