Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Backport release-23.11] argos: unstable-20230404 → unstable-2023-09-26 #275366

Merged
merged 1 commit into from
Dec 19, 2023

argos: unstable-20230404 → unstable-2023-09-26

8eb50c9
Select commit
Loading
Failed to load commit list.
Merged

[Backport release-23.11] argos: unstable-20230404 → unstable-2023-09-26 #275366

argos: unstable-20230404 → unstable-2023-09-26
8eb50c9
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 19, 2023

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 498.12 495.78 ↘ 2.35 -0.47%
envs-bytes 17,674,580,576 17,674,580,576 0
envs-elements 923,097,654 923,097,654 0
envs-number 643,112,459 643,112,459 0
gc-heapSize 52,483,297,280 52,483,297,280 0
gc-totalBytes 104,513,057,584 104,513,056,960 ↘ 624 -0.00%
list-bytes 2,497,492,952 2,497,492,952 0
list-concats 54,563,995 54,563,995 0
list-elements 312,186,619 312,186,619 0
nrAvoided 783,838,185 783,838,185 0
nrFunctionCalls 599,452,429 599,452,429 0
nrLookups 330,919,986 330,919,986 0
nrOpUpdateValuesCopied 1,508,439,254 1,508,439,254 0
nrOpUpdates 69,968,902 69,968,902 0
nrPrimOpCalls 296,559,942 296,559,942 0
nrThunks 848,986,713 848,986,713 0
sets-bytes 33,424,010,768 33,424,010,768 0
sets-elements 1,968,020,686 1,968,020,686 0
sets-number 120,979,987 120,979,987 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,160,652 2,160,652 0
symbols-number 160,227 160,227 0
values-bytes 26,462,933,712 26,462,933,712 0
values-number 1,102,622,238 1,102,622,238 0