options

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

Global Metrics

Metricr0r1r2r3r4
Total Time (s)916.29420.06225.92153.27129.46
Max (Thread Active Time) (s)888.12412.54220.61148.80124.30
Average Active Time (s)885.76412.29220.36148.61123.82
Activity Ratio (%)96.798.297.697.095.7
Average number of active threads11.60023.55646.81993.083183.639
Affinity Stability (%)100.099.999.999.698.9
Time in analyzed loops (%)77.775.073.071.673.2
Time in analyzed innermost loops (%)67.264.763.163.666.2
Time in user code (%)92.289.987.182.780.8
Compilation Options Score (%)16.716.716.716.716.7
Array Access Efficiency (%)63.963.263.163.664.4
Potential Speedups
Perfect Flow Complexity1.011.011.011.011.01
Perfect OpenMP/MPI/Pthread/TBB1.021.021.051.061.04
Perfect OpenMP/MPI/Pthread/TBB + Perfect Load Distribution1.051.071.081.121.13
Scalability - Gap1.000.920.991.342.26
No Scalar IntegerPotential Speedup1.151.141.141.131.14
Nb Loops to get 80%88888
FP VectorisedPotential Speedup1.241.231.231.221.23
Nb Loops to get 80%1313131312
Fully VectorisedPotential Speedup2.112.052.021.931.95
Nb Loops to get 80%4141414141
Only FP ArithmeticPotential Speedup1.411.371.351.351.38
Nb Loops to get 80%1415161615

Scalability Speedup

Cumulated Speedup If No Scalar Integer

Cumulated Speedup If FP Vectorized

Cumulated Speedup If Fully Vectorized

Cumulated Speedup If Only FP Arithmetic

Loop Based Profiles

Innermost / Single Loops

Inbetween Loops

Outermost Loops

Cumulated Coverage With All Loops

Innermost Loop Based Profiles

Coverage

Count

Application Categorization

Time

Coverage

Compilation Options

Source ObjectIssue
IC3_Solver
Ugp.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
RegisteredData.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
UgpWithCvFake.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
stl_map.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Face.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
UgpPartitioning.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
OptimizedLoopsGrad.c
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
DataSet.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
SimpleCartFilter.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
UgpWithCvFakeOpOptimized.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Ugp.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Connectivity.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Connectivity.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
SchemeTypeFiniteVolume.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
timeStepping.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
RightHandSideLES.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
ReconstructFaceValuesDefault.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Mesh.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
SchemeFiniteVolumeHybrid.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
CPoint.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
RightHandSideCalc.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
new_allocator.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
RightHandSideUpdateData.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
CVector.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
UgpWithCvFakeOp.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Initialization.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
CPoint.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
stl_algo.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Gp.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
numericalStabilizer.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
RightHandSideMisc.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
OptimizedLoopsFace.c
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
ContVol.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
PhysicsGeneric.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
timeIntegratorRungeKutta.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
UgpWithCvFakeOp.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
PhysicsConstantProperties.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
artificialViscosityNO.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
PhysicsConstantProperties.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
MiscUtils.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
PhysicsGeneric.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
fparser.cc
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.

Path Count Profiles

Coverage

Count

Low Iteration Count Profiles

Coverage

Count

Average Number of Active Threads

Run 1 - m12

Run 2 - m24

Run 3 - m48

Run 4 - m96

Run 5 - m192

Experiment Summaries

r0r1r2r3r4
Experiment Name
Application/home/kevicamu/POP/IC3/ic3-solver/build_hard/Solver/IC3_Solversame as r0same as r0same as r0same as r0
Timestamp2025-09-18 13:46:27same as r0same as r0same as r0same as r0
Experiment TypeMPI; same as r0same as r0same as r0same as r0
Machineromeo-c101same as r0same as r0same as r0same as r0
Architecturex86_64same as r0same as r0same as r0same as r0
Micro ArchitectureZEN_V4same as r0same as r0same as r0same as r0
Model NameAMD EPYC 9654 96-Core Processorsame as r0same as r0same as r0same as r0
Cache Size1024 KBsame as r0same as r0same as r0same as r0
Number of Cores96same as r0same as r0same as r0same as r0
Maximal Frequency3.707812 GHzsame as r0same as r0same as r0same as r0
OS VersionLinux 5.14.0-427.42.1.el9_4.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Oct 18 14:35:40 EDT 2024same as r0same as r0same as r0same as r0
Architecture used during static analysisx86_64same as r0same as r0same as r0same as r0
Micro Architecture used during static analysisZEN_V4same as r0same as r0same as r0same as r0
Compilation Options IC3_Solver: AMD clang version 17.0.6 (CLANG: AOCC_5.0.0-Build#1377 2024_09_24) same as r0same as r0same as r0same as r0
Number of processes observed12244896192
Number of threads observed12244896192
Frequency Driveracpi-cpufreqsame as r0same as r0same as r0same as r0
Frequency Governorperformancesame as r0same as r0same as r0same as r0
Huge Pagesalwayssame as r0same as r0same as r0same as r0
Hyperthreadingoffsame as r0same as r0same as r0same as r0
Number of sockets2same as r0same as r0same as r0same as r0
Number of cores per socket96same as r0same as r0same as r0same as r0
MAQAO version2025.1.2same as r0same as r0same as r0same as r0
MAQAO buildfaf9195dc19abcd755475762df511496fb13ec10::20250911-174945same as r0same as r0same as r0same as r0
Commentssame as r0same as r0same as r0same as r0
×