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

maestro: 1.38.1 -> 1.39.0 #351528

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

maestro: 1.38.1 -> 1.39.0

536c71d
Select commit
Loading
Failed to load commit list.
Open

maestro: 1.38.1 -> 1.39.0 #351528

maestro: 1.38.1 -> 1.39.0
536c71d
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Oct 27, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 900.22 874.10 ↘ 26.11 -2.90%
envs-bytes 23,992,787,984 23,992,787,984 0
envs-elements 1,272,587,258 1,272,587,258 0
envs-number 863,255,620 863,255,620 0
gc-heapSize 67,180,138,496 67,247,251,456 ↗ 67,112,960 0.10%
gc-totalBytes 147,923,500,208 147,923,506,896 ↗ 6,688 0.00%
list-bytes 3,352,334,504 3,352,334,504 0
list-concats 89,527,797 89,527,797 0
list-elements 419,041,813 419,041,813 0
nrAvoided 998,498,622 998,498,622 0
nrFunctionCalls 792,341,290 792,341,290 0
nrLookups 415,178,635 415,178,635 0
nrOpUpdateValuesCopied 2,162,863,138 2,162,863,138 0
nrOpUpdates 100,261,499 100,261,499 0
nrPrimOpCalls 414,580,893 414,580,893 0
nrThunks 1,261,374,618 1,261,374,618 0
sets-bytes 49,043,436,560 49,043,436,560 0
sets-elements 2,879,698,148 2,879,698,148 0
sets-number 185,516,637 185,516,637 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,455,136 3,455,136 0
symbols-number 188,790 188,790 0
values-bytes 38,554,106,280 38,554,106,280 0
values-number 1,606,421,095 1,606,421,095 0