********************************************************************************
MAQAO 2.17.9 - 690431094d99a32cb85b834b2d457fa7bff1d94a::20230918-111356 || 2023/09/18
/home/hbollore/MAQAODEV/bin/maqao oneview -R1 "--mpi-command=mpirun --bind-to socket -np 1" --with-FLOPS --run-directory=/home/hbollore/qaas-runs/170-289-7893/intel/Kripke/run/oneview_runs/defaults/orig/oneview_run_1702898404 --replace xp=/home/hbollore/qaas-runs/170-289-7893/intel/Kripke/run/oneview_runs/defaults/orig/oneview_results_1702898404 -of=html -- /home/hbollore/qaas-runs/170-289-7893/intel/Kripke/run/oneview_runs/defaults/orig/exec --groups 1024
CPY: [true] /home/hbollore/qaas-runs/170-289-7893/intel/Kripke/run/oneview_runs/defaults/orig/exec --> /home/hbollore/qaas-runs/170-289-7893/intel/Kripke/run/oneview_runs/defaults/orig/oneview_results_1702898404/binaries/exec
CMD: /home/hbollore/MAQAODEV/bin/maqao lprof --xp="/home/hbollore/qaas-runs/170-289-7893/intel/Kripke/run/oneview_runs/defaults/orig/oneview_results_1702898404/tools/lprof_npsu_run_0" --mpi-command="mpirun --bind-to socket -np 1" -- /home/hbollore/qaas-runs/170-289-7893/intel/Kripke/run/oneview_runs/defaults/orig/oneview_results_1702898404/binaries/exec --groups 1024
In run run_0, 14 loops were discarded from static analysis because their coverage
are lower than object_coverage_threshold value (0.01%).
That represents 0% of the execution time. To include them, change the value
in the experiment directory configuration file, then rerun the command with the additionnal parameter
--force-static-analysis
19 functions were discarded from static analysis because their coverage
are lower than object_coverage_threshold value (0.01%).
That represents 0% of the execution time. To include them, change the value
in the experiment directory configuration file, then rerun the command with the additionnal parameter
--force-static-analysis
CMD: /home/hbollore/MAQAODEV/bin/maqao otter -input=/home/hbollore/qaas-runs/170-289-7893/intel/Kripke/run/oneview_runs/defaults/orig/oneview_results_1702898404/OTTER/input_manifest.csv -output=/home/hbollore/qaas-runs/170-289-7893/intel/Kripke/run/oneview_runs/defaults/orig/oneview_results_1702898404/OTTER/output_manifest.csv
