lomiri.hfd-service: init at 0.2.1 #261020
Merged
OfBorg / Evaluation Performance Report
succeeded
Dec 3, 2023
Evaluator Performance Report
Details
| stat | before | after | Δ | Δ% |
|---|---|---|---|---|
| cpuTime | 535.73 | 536.54 | ↗ 0.81 | 0.15% |
| envs-bytes | 17,641,084,064 | 17,641,123,184 | ↗ 39,120 | 0.00% |
| envs-elements | 921,450,518 | 921,452,550 | ↗ 2,032 | 0.00% |
| envs-number | 641,842,495 | 641,843,924 | ↗ 1,429 | 0.00% |
| gc-heapSize | 53,557,043,200 | 53,557,043,200 | 0 | |
| gc-totalBytes | 104,177,368,304 | 104,177,546,272 | ↗ 177,968 | 0.00% |
| list-bytes | 2,487,224,176 | 2,487,228,640 | ↗ 4,464 | 0.00% |
| list-concats | 54,491,357 | 54,491,429 | ↗ 72 | 0.00% |
| list-elements | 310,903,022 | 310,903,580 | ↗ 558 | 0.00% |
| nrAvoided | 783,024,409 | 783,026,264 | ↗ 1,855 | 0.00% |
| nrFunctionCalls | 598,341,592 | 598,342,922 | ↗ 1,330 | 0.00% |
| nrLookups | 314,501,531 | 314,502,244 | ↗ 713 | 0.00% |
| nrOpUpdateValuesCopied | 1,503,331,072 | 1,503,333,236 | ↗ 2,164 | 0.00% |
| nrOpUpdates | 69,853,763 | 69,853,918 | ↗ 155 | 0.00% |
| nrPrimOpCalls | 295,538,269 | 295,538,997 | ↗ 728 | 0.00% |
| nrThunks | 846,953,670 | 846,955,348 | ↗ 1,678 | 0.00% |
| sets-bytes | 33,306,896,160 | 33,306,948,160 | ↗ 52,000 | 0.00% |
| sets-elements | 1,961,059,573 | 1,961,062,560 | ↗ 2,987 | 0.00% |
| sets-number | 120,621,437 | 120,621,700 | ↗ 263 | 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,097,874 | 2,097,885 | ↗ 11 | 0.00% |
| symbols-number | 158,965 | 158,966 | ↗ 1 | 0.00% |
| values-bytes | 26,371,738,920 | 26,371,787,472 | ↗ 48,552 | 0.00% |
| values-number | 1,098,822,455 | 1,098,824,478 | ↗ 2,023 | 0.00% |
Loading