OV - Stability Index

MAQAO

options

IC3_Solver - 2025-09-12 14:58:28 - MAQAO 2025.1.2

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

Global Metrics

Total Time (s)	127.97
Max (Thread Active Time) (s)	123.21
Average Active Time (s)	122.86
Activity Ratio (%)	96.1
Average number of active threads	184.286
Affinity Stability (%)	99.3
Time in analyzed loops (%)	74.6
Time in analyzed innermost loops (%)	67.6
Time in user code (%)	82.2

Total Time

min	med	avg	max
127.66	127.97	128.03	128.73

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	127.78	127.81	127.86	127.90	127.97	128.03	128.04	128.06	128.22	128.73

Max (Thread Active Time)

min	med	avg	max
122.81	123.21	123.26	123.93

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	122.96	123.04	123.08	123.16	123.21	123.28	123.31	123.33	123.48	123.93

Average Active Time

min	med	avg	max
122.48	122.86	122.88	123.55

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	122.55	122.70	122.72	122.78	122.84	122.87	122.90	122.92	123.06	123.55

Activity Ratio

min	med	avg	max
95.91	96.06	96.06	96.11

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	96.04	96.05	96.05	96.06	96.06	96.06	96.07	96.08	96.09	96.11

Average number of active threads

min	med	avg	max
183.99	184.29	184.29	184.37

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	184.25	184.26	184.27	184.27	184.28	184.29	184.30	184.32	184.34	184.37

Affinity Stability

min	med	avg	max
99.23	99.27	99.27	99.31

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	99.24	99.25	99.26	99.26	99.27	99.27	99.27	99.29	99.29	99.31

Analyzed Loops Coverage

min	med	avg	max
74.09	74.63	74.60	74.91

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	74.24	74.55	74.57	74.59	74.62	74.65	74.67	74.70	74.75	74.91

Analyzed Innermost Loops Coverage

min	med	avg	max
67.11	67.61	67.59	67.89

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	67.25	67.53	67.56	67.59	67.60	67.62	67.65	67.68	67.73	67.89

User Code Coverage

min	med	avg	max
81.65	82.24	82.21	82.54

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value	81.82	82.14	82.18	82.20	82.23	82.27	82.30	82.31	82.35	82.54

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

Experiment Name
Application	/home/kevicamu/POP/IC3/ic3-solver/build_hard/Solver/IC3_Solver
Timestamp	2025-09-12 14:58:28	Universal Timestamp	1757681908
Number of processes observed	192	Number of threads observed	192
Experiment Type	MPI; Throughput;
Machine	romeo-c101
Model Name	AMD EPYC 9654 96-Core Processor
Architecture	x86_64	Micro Architecture	ZEN_V4
Cache Size	1024 KB	Number of Cores	96
OS Version	Linux 5.14.0-427.42.1.el9_4.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Oct 18 14:35:40 EDT 2024
Architecture used during static analysis	x86_64	Micro Architecture used during static analysis	ZEN_V4
Frequency Driver	acpi-cpufreq	Frequency Governor	performance
Huge Pages	always	Hyperthreading	off
Number of sockets	2	Number of cores per socket	96

Configuration Summary

Dataset
Run Command	<executable> -i input_fv.in
MPI Command	mpirun -np <number_processes>
Batch Script	/home/kevicamu/batch_ic3.sh
Number Processes	192
Number Nodes	1
Number Processes per Node	192
Filter	Not Used
Profile Start	Not Used
Profile Stop	Not Used
Maximal Path Number	4
Repetitions	31
Ranges Count	20
Outliers Count	0
Delay	0 s

×