[Backport release-24.05] vfkit: init at 0.5.1 #340536
Merged
OfBorg / Evaluation Performance Report
succeeded
Sep 8, 2024
Evaluator Performance Report
Details
| stat | before | after | Δ | Δ% |
|---|---|---|---|---|
| cpuTime | 679.98 | 680.86 | ↗ 0.88 | 0.13% |
| envs-bytes | 21,210,413,280 | 21,210,449,504 | ↗ 36,224 | 0.00% |
| envs-elements | 1,117,425,426 | 1,117,427,288 | ↗ 1,862 | 0.00% |
| envs-number | 766,938,117 | 766,939,450 | ↗ 1,333 | 0.00% |
| gc-heapSize | 60,066,603,008 | 59,898,830,848 | ↘ 167,772,160 | -0.28% |
| gc-totalBytes | 131,427,046,336 | 131,427,721,344 | ↗ 675,008 | 0.00% |
| list-bytes | 3,689,671,560 | 3,689,680,088 | ↗ 8,528 | 0.00% |
| list-concats | 85,137,595 | 85,137,771 | ↗ 176 | 0.00% |
| list-elements | 461,208,945 | 461,210,011 | ↗ 1,066 | 0.00% |
| nrAvoided | 891,544,384 | 891,546,066 | ↗ 1,682 | 0.00% |
| nrFunctionCalls | 705,342,015 | 705,343,243 | ↗ 1,228 | 0.00% |
| nrLookups | 367,015,312 | 367,015,837 | ↗ 525 | 0.00% |
| nrOpUpdateValuesCopied | 1,916,901,637 | 1,916,923,543 | ↗ 21,906 | 0.00% |
| nrOpUpdates | 87,619,361 | 87,619,504 | ↗ 143 | 0.00% |
| nrPrimOpCalls | 368,995,403 | 368,996,103 | ↗ 700 | 0.00% |
| nrThunks | 1,095,806,981 | 1,095,808,799 | ↗ 1,818 | 0.00% |
| sets-bytes | 43,426,915,008 | 43,427,314,096 | ↗ 399,088 | 0.00% |
| sets-elements | 2,551,060,611 | 2,551,085,189 | ↗ 24,578 | 0.00% |
| sets-number | 163,121,577 | 163,121,942 | ↗ 365 | 0.00% |
| sizes-Attr | 16 | 16 | 0 | |
| sizes-Bindings | 16 | 16 | 0 | |
| sizes-Env | 16 | 16 | 0 | |
| sizes-Value | 24 | 24 | 0 | |
| symbols-bytes | 2,468,674 | 2,468,681 | ↗ 7 | 0.00% |
| symbols-number | 172,537 | 172,539 | ↗ 2 | 0.00% |
| values-bytes | 33,673,509,216 | 33,673,635,864 | ↗ 126,648 | 0.00% |
| values-number | 1,403,062,884 | 1,403,068,161 | ↗ 5,277 | 0.00% |
Loading