coq: making sure coq master and 9.0 compile #363757
Closed
OfBorg / Evaluation Performance Report
succeeded
Dec 10, 2024
Evaluator Performance Report
Details
| stat | before | after | Δ | Δ% |
|---|---|---|---|---|
| cpuTime | 782.47 | 778.72 | ↘ 3.75 | -0.48% |
| envs-bytes | 24,261,875,456 | 24,261,889,136 | ↗ 13,680 | 0.00% |
| envs-elements | 1,287,679,356 | 1,287,679,926 | ↗ 570 | 0.00% |
| envs-number | 872,527,538 | 872,528,108 | ↗ 570 | 0.00% |
| gc-heapSize | 71,709,986,816 | 71,709,986,816 | 0 | |
| gc-totalBytes | 151,285,029,984 | 151,285,032,080 | ↗ 2,096 | 0.00% |
| list-bytes | 3,664,107,264 | 3,664,107,264 | 0 | |
| list-concats | 92,260,115 | 92,260,115 | 0 | |
| list-elements | 458,013,408 | 458,013,408 | 0 | |
| nrAvoided | 1,009,316,472 | 1,009,317,270 | ↗ 798 | 0.00% |
| nrFunctionCalls | 801,902,392 | 801,902,962 | ↗ 570 | 0.00% |
| nrLookups | 423,156,495 | 423,156,609 | ↗ 114 | 0.00% |
| nrOpUpdateValuesCopied | 2,167,813,719 | 2,167,813,719 | 0 | |
| nrOpUpdates | 101,894,036 | 101,894,036 | 0 | |
| nrPrimOpCalls | 418,681,649 | 418,681,763 | ↗ 114 | 0.00% |
| nrThunks | 1,265,744,393 | 1,265,744,393 | 0 | |
| sets-bytes | 49,551,920,880 | 49,551,920,880 | 0 | |
| sets-elements | 2,907,513,738 | 2,907,513,738 | 0 | |
| sets-number | 189,481,317 | 189,481,317 | 0 | |
| sizes-Attr | 16 | 16 | 0 | |
| sizes-Bindings | 16 | 16 | 0 | |
| sizes-Env | 16 | 16 | 0 | |
| sizes-Value | 24 | 24 | 0 | |
| symbols-bytes | 3,365,565 | 3,365,565 | 0 | |
| symbols-number | 187,994 | 187,994 | 0 | |
| values-bytes | 39,903,925,248 | 39,903,925,248 | 0 | |
| values-number | 1,662,663,552 | 1,662,663,552 | 0 |
Loading