OV - exec - Function __memset_avx512_unaligned

	Function: __memset_avx512_unaligned_erms	Module: libc.so.6	Source: Not Available	Coverage (incl. loops): 0.10% \| (excl. loops): 0.10%

  ***  This Panel is Intentionally Left Blank.  ***

It is due to a lack of debug symbols in the given object
(loop or function).

Coverage (%)	Name	Module
►44.78+	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
○	__libc_start_call_main	libc.so.6
○	__libc_start_main	libc.so.6
○	_start	exec
►11.25+	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
○	__libc_start_call_main	libc.so.6
○	__libc_start_main	libc.so.6
○	_start	exec
►11.05+	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
○	__libc_start_call_main	libc.so.6
○	__libc_start_main	libc.so.6
○	_start	exec
►5.42+	Kripke::SweepSolver(Kripke::Co[...]	exec
○	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
○	__libc_start_call_main	libc.so.6
○	__libc_start_main	libc.so.6
○	_start	exec
►5.42+	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
►4.42+	Kripke::SweepSolver(Kripke::Co[...]	exec
○	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
○	__libc_start_call_main	libc.so.6
○	__libc_start_main	libc.so.6
○	_start	exec
►3.82+	Kripke::SweepSolver(Kripke::Co[...]	exec
○	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
○	__libc_start_call_main	libc.so.6
○	__libc_start_main	libc.so.6
○	_start	exec
►2.41+	Kripke::SweepSolver(Kripke::Co[...]	exec
○	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
○	__libc_start_call_main	libc.so.6
○	__libc_start_main	libc.so.6
○	_start	exec
►2.21+	Kripke::SweepSolver(Kripke::Co[...]	exec
○	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
○	__libc_start_call_main	libc.so.6
○	__libc_start_main	libc.so.6
○	_start	exec
►2.01+	Kripke::SweepSolver(Kripke::Co[...]	exec
○	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
○	__libc_start_call_main	libc.so.6
○	__libc_start_main	libc.so.6
○	_start	exec
►1.81+	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
○	__libc_start_call_main	libc.so.6
○	__libc_start_main	libc.so.6
○	_start	exec
►1.40+	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
►1.40+	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec
►1.00+	Kripke::SweepSolver(Kripke::Co[...]	exec
○	Kripke::SteadyStateSolver(Krip[...]	exec
○	main	exec

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

Path /

Source file and lines
Module	libc.so.6

Name	Coverage (%)	Time (s)
○__memset_avx512_unaligned_erms	0.10	0.01

Report Configuration