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

kikoplay: init at 1.0.3 #354929

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

kikoplay: init at 0-unstable-2018-03-22

cd39b80
Select commit
Loading
Failed to load commit list.
Open

kikoplay: init at 1.0.3 #354929

kikoplay: init at 0-unstable-2018-03-22
cd39b80
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Nov 28, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 811.96 789.65 ↘ 22.31 -2.75%
envs-bytes 23,873,253,488 23,873,425,048 ↗ 171,560 0.00%
envs-elements 1,267,937,412 1,267,946,801 ↗ 9,389 0.00%
envs-number 858,109,637 858,115,665 ↗ 6,028 0.00%
gc-heapSize 69,428,289,536 69,428,289,536 0
gc-totalBytes 148,689,144,688 148,690,582,464 ↗ 1,437,776 0.00%
list-bytes 3,425,257,880 3,425,278,200 ↗ 20,320 0.00%
list-concats 88,838,111 88,838,751 ↗ 640 0.00%
list-elements 428,157,235 428,159,775 ↗ 2,540 0.00%
nrAvoided 993,973,375 993,981,428 ↗ 8,053 0.00%
nrFunctionCalls 788,164,827 788,170,325 ↗ 5,498 0.00%
nrLookups 413,234,929 413,237,343 ↗ 2,414 0.00%
nrOpUpdateValuesCopied 2,132,031,933 2,132,062,410 ↗ 30,477 0.00%
nrOpUpdates 100,392,023 100,392,795 ↗ 772 0.00%
nrPrimOpCalls 412,116,886 412,119,955 ↗ 3,069 0.00%
nrThunks 1,248,241,652 1,248,250,464 ↗ 8,812 0.00%
sets-bytes 48,727,699,296 48,728,313,408 ↗ 614,112 0.00%
sets-elements 2,859,115,835 2,859,152,775 ↗ 36,940 0.00%
sets-number 186,365,371 186,366,813 ↗ 1,442 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,363,060 3,363,079 ↗ 19 0.00%
symbols-number 187,664 187,666 ↗ 2 0.00%
values-bytes 39,254,783,448 39,255,107,664 ↗ 324,216 0.00%
values-number 1,635,615,977 1,635,629,486 ↗ 13,509 0.00%