__intel_avx_rep_memset - Load Distribution
←
Run 1
→
__intel_avx_rep_memset - Sorted Load Distribution
←
Run 1
→
__intel_avx_rep_memset - Load Distribution All Threads
←
Run 1
→
Run 1
Coverage (%)
Name
Source Location
Module
►
88.04
+
main
kripke.cpp:482
exec
○
__libc_start_main
libc-2.28.so
►
11.96
+
Kripke::SteadyStateSolver(Krip[...]
stl_vector.h:285
exec
○
main
kripke.cpp:482
exec
○
__libc_start_main
libc-2.28.so
×