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

dcp385c-cupswrapper: init at 1.1.2 #367380

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

dcp385c-cupswrapper: init at 1.1.2

d1abe89
Select commit
Loading
Failed to load commit list.
Open

dcp385c-cupswrapper: init at 1.1.2 #367380

dcp385c-cupswrapper: init at 1.1.2
d1abe89
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 23, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 806.34 803.52 ↘ 2.82 -0.35%
envs-bytes 24,423,597,760 24,423,711,344 ↗ 113,584 0.00%
envs-elements 1,294,812,350 1,294,817,934 ↗ 5,584 0.00%
envs-number 879,068,685 879,072,992 ↗ 4,307 0.00%
gc-heapSize 73,589,100,544 73,589,100,544 0
gc-totalBytes 152,168,144,048 152,170,185,264 ↗ 2,041,216 0.00%
list-bytes 3,841,956,128 3,841,973,808 ↗ 17,680 0.00%
list-concats 94,469,243 94,469,382 ↗ 139 0.00%
list-elements 480,244,516 480,246,726 ↗ 2,210 0.00%
nrAvoided 1,015,676,682 1,015,681,341 ↗ 4,659 0.00%
nrFunctionCalls 808,339,371 808,343,443 ↗ 4,072 0.00%
nrLookups 427,492,442 427,494,063 ↗ 1,621 0.00%
nrOpUpdateValuesCopied 2,176,002,308 2,176,065,484 ↗ 63,176 0.00%
nrOpUpdates 102,009,195 102,009,547 ↗ 352 0.00%
nrPrimOpCalls 421,650,009 421,651,849 ↗ 1,840 0.00%
nrThunks 1,268,349,196 1,268,353,763 ↗ 4,567 0.00%
sets-bytes 49,733,138,368 49,734,326,192 ↗ 1,187,824 0.00%
sets-elements 2,918,172,677 2,918,245,793 ↗ 73,116 0.00%
sets-number 190,148,471 190,149,594 ↗ 1,123 0.00%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,436,971 3,437,057 ↗ 86 0.00%
symbols-number 189,569 189,575 ↗ 6 0.00%
values-bytes 40,068,571,872 40,068,979,944 ↗ 408,072 0.00%
values-number 1,669,523,828 1,669,540,831 ↗ 17,003 0.00%