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

stardrop: init at 1.2.1 #350713

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

stardrop: init at 1.2.1

49ff9c8
Select commit
Loading
Failed to load commit list.
Open

stardrop: init at 1.2.1 #350713

stardrop: init at 1.2.1
49ff9c8
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Nov 16, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 772.43 993.96 ↗ 221.52 28.68%
envs-bytes 24,541,092,632 24,548,242,872 ↗ 7,150,240 0.03%
envs-elements 1,304,162,379 1,304,549,003 ↗ 386,624 0.03%
envs-number 881,737,100 881,990,678 ↗ 253,578 0.03%
gc-heapSize 67,498,905,600 67,532,464,128 ↗ 33,558,528 0.05%
gc-totalBytes 152,354,242,320 152,392,428,944 ↗ 38,186,624 0.03%
list-bytes 3,446,881,904 3,447,692,800 ↗ 810,896 0.02%
list-concats 91,144,521 91,177,735 ↗ 33,214 0.04%
list-elements 430,860,238 430,961,600 ↗ 101,362 0.02%
nrAvoided 1,024,526,409 1,024,848,651 ↗ 322,242 0.03%
nrFunctionCalls 809,637,305 809,870,891 ↗ 233,586 0.03%
nrLookups 422,745,954 422,857,927 ↗ 111,973 0.03%
nrOpUpdateValuesCopied 2,179,426,476 2,179,935,351 ↗ 508,875 0.02%
nrOpUpdates 103,470,076 103,502,060 ↗ 31,984 0.03%
nrPrimOpCalls 425,407,448 425,546,167 ↗ 138,719 0.03%
nrThunks 1,288,444,004 1,288,842,568 ↗ 398,564 0.03%
sets-bytes 49,810,409,120 49,821,831,568 ↗ 11,422,448 0.02%
sets-elements 2,922,206,247 2,922,873,884 ↗ 667,637 0.02%
sets-number 190,944,323 190,990,589 ↗ 46,266 0.02%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,350,847 3,350,878 ↗ 31 0.00%
symbols-number 187,384 187,387 ↗ 3 0.00%
values-bytes 40,317,767,280 40,328,069,880 ↗ 10,302,600 0.03%
values-number 1,679,906,970 1,680,336,245 ↗ 429,275 0.03%