OV - Stability Index

MAQAO

options

IC3_Solver - 2025-08-29 14:59:15 - MAQAO 2025.1.2

Help is available by moving the cursor above any symbol or by checking MAQAO website.

Global Metrics

Total Time (s)	151.81
Max (Thread Active Time) (s)	133.34
Average Active Time (s)	130.52
Activity Ratio (%)	86.2
Average number of active threads	44.728
Affinity Stability (%)	99.8
Time in analyzed loops (%)	71.5
Time in analyzed innermost loops (%)	51.7
Time in user code (%)	83.5

Total Time

min	med	avg	max
150.72	151.81	151.70	152.79

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	150.79	151.20	151.42	151.61	151.72	151.91	151.93	151.99	152.13	152.79

Max (Thread Active Time)

min	med	avg	max
132.17	133.34	133.32	135.27

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	132.30	132.70	132.94	133.04	133.21	133.37	133.56	133.65	133.89	135.27

Average Active Time

min	med	avg	max
129.56	130.52	130.50	131.52

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	129.79	130.19	130.36	130.46	130.51	130.52	130.61	130.77	130.84	131.52

Activity Ratio

min	med	avg	max
86.03	86.25	86.24	86.41

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	86.13	86.18	86.21	86.22	86.24	86.26	86.29	86.30	86.31	86.41

Average number of active threads

min	med	avg	max
44.63	44.73	44.73	44.82

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	44.68	44.70	44.72	44.72	44.73	44.74	44.76	44.76	44.76	44.82

Affinity Stability

min	med	avg	max
99.72	99.77	99.77	99.80

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	99.74	99.75	99.76	99.77	99.77	99.77	99.78	99.78	99.78	99.80

Analyzed Loops Coverage

min	med	avg	max
71.27	71.53	71.52	71.77

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	71.34	71.38	71.44	71.50	71.53	71.54	71.55	71.59	71.67	71.77

Analyzed Innermost Loops Coverage

min	med	avg	max
51.55	51.74	51.74	51.94

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	51.60	51.65	51.67	51.71	51.73	51.75	51.79	51.82	51.88	51.94

User Code Coverage

min	med	avg	max
83.22	83.47	83.47	83.74

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	83.27	83.30	83.43	83.45	83.46	83.49	83.53	83.55	83.60	83.74

GFLOPS

min	med	avg	max
0.00	0.00	0.00	0.00

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00

Energy

min	med	avg	max
0.00	0.00	0.00	0.00

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00

Power

min	med	avg	max
0.00	0.00	0.00	0.00

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00

DRAM Read Volume (B)

min	med	avg	max
0.00	0.00	0.00	0.00

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00

DRAM Read Throughput (B/s)

min	med	avg	max
0.00	0.00	0.00	0.00

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00

DRAM Write Volume (B)

min	med	avg	max
0.00	0.00	0.00	0.00

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00

DRAM Write Throughput (B/s)

min	med	avg	max
0.00	0.00	0.00	0.00

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00

Experiment Summary

Application	./../ic3-solver/build/Solver/IC3_Solver
Timestamp	2025-08-29 14:59:15	Universal Timestamp	1756472355
Number of processes observed	52	Number of threads observed	52
Experiment Type	MPI; Throughput;
Machine	skylake
Model Name	Intel(R) Xeon(R) Platinum 8170 CPU @ 2.10GHz
Architecture	x86_64	Micro Architecture	SKYLAKE
Cache Size	36608 KB	Number of Cores	26
OS Version	Linux 6.15.5-arch1-1 #1 SMP PREEMPT_DYNAMIC Sun, 06 Jul 2025 11:14:36 +0000
Architecture used during static analysis	x86_64	Micro Architecture used during static analysis	SKYLAKE
Frequency Driver	intel_cpufreq	Frequency Governor	schedutil
Huge Pages	always	Hyperthreading	off
Number of sockets	2	Number of cores per socket	26

Configuration Summary

Dataset
Run Command	<executable> -i input_fv.in
MPI Command	mpirun -np 52
Number Processes	1
Number Nodes	1
Filter	Not Used
Profile Start	Not Used
Repetitions	31
Ranges Count	20
Outliers Count	0
Delay	0 s

×