agdaPackages.generics: Init at 1.0.1 #153757
Merged
OfBorg / Evaluation Performance Report
succeeded
Jul 1, 2024
Evaluator Performance Report
Details
| stat | before | after | Δ | Δ% |
|---|---|---|---|---|
| cpuTime | 668.97 | 669.69 | ↗ 0.72 | 0.11% |
| envs-bytes | 21,643,771,968 | 21,643,904,072 | ↗ 132,104 | 0.00% |
| envs-elements | 1,139,862,764 | 1,139,869,769 | ↗ 7,005 | 0.00% |
| envs-number | 782,804,366 | 782,809,120 | ↗ 4,754 | 0.00% |
| gc-heapSize | 63,153,614,848 | 63,254,274,048 | ↗ 100,659,200 | 0.16% |
| gc-totalBytes | 133,730,116,160 | 133,730,866,608 | ↗ 750,448 | 0.00% |
| list-bytes | 3,783,684,120 | 3,783,700,328 | ↗ 16,208 | 0.00% |
| list-concats | 87,207,276 | 87,207,860 | ↗ 584 | 0.00% |
| list-elements | 472,960,515 | 472,962,541 | ↗ 2,026 | 0.00% |
| nrAvoided | 910,626,535 | 910,632,569 | ↗ 6,034 | 0.00% |
| nrFunctionCalls | 719,908,734 | 719,913,123 | ↗ 4,389 | 0.00% |
| nrLookups | 374,137,244 | 374,139,422 | ↗ 2,178 | 0.00% |
| nrOpUpdateValuesCopied | 1,943,455,419 | 1,943,464,199 | ↗ 8,780 | 0.00% |
| nrOpUpdates | 89,370,154 | 89,370,775 | ↗ 621 | 0.00% |
| nrPrimOpCalls | 377,240,838 | 377,243,490 | ↗ 2,652 | 0.00% |
| nrThunks | 1,118,302,859 | 1,118,309,773 | ↗ 6,914 | 0.00% |
| sets-bytes | 44,073,258,336 | 44,073,461,248 | ↗ 202,912 | 0.00% |
| sets-elements | 2,588,087,602 | 2,588,099,292 | ↗ 11,690 | 0.00% |
| sets-number | 166,491,044 | 166,492,036 | ↗ 992 | 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,486,678 | 2,486,678 | 0 | |
| symbols-number | 173,881 | 173,881 | 0 | |
| values-bytes | 34,343,686,536 | 34,343,864,184 | ↗ 177,648 | 0.00% |
| values-number | 1,430,986,939 | 1,430,994,341 | ↗ 7,402 | 0.00% |
Loading