[Backport release-24.11] Improve dafny packaging #367421
Merged
OfBorg / Evaluation Performance Report
succeeded
Dec 23, 2024
Evaluator Performance Report
Details
| stat | before | after | Δ | Δ% |
|---|---|---|---|---|
| cpuTime | 859.29 | 1048.81 | ↗ 189.52 | 22.06% |
| envs-bytes | 24,569,837,144 | 24,569,837,424 | ↗ 280 | 0.00% |
| envs-elements | 1,305,107,587 | 1,305,107,612 | ↗ 25 | 0.00% |
| envs-number | 883,061,028 | 883,061,033 | ↗ 5 | 0.00% |
| gc-heapSize | 65,720,524,800 | 65,703,747,584 | ↘ 16,777,216 | -0.03% |
| gc-totalBytes | 152,099,185,712 | 152,099,203,920 | ↗ 18,208 | 0.00% |
| list-bytes | 3,485,494,048 | 3,485,494,128 | ↗ 80 | 0.00% |
| list-concats | 91,393,085 | 91,393,085 | 0 | |
| list-elements | 435,686,756 | 435,686,766 | ↗ 10 | 0.00% |
| nrAvoided | 1,024,874,155 | 1,024,874,160 | ↗ 5 | 0.00% |
| nrFunctionCalls | 811,011,131 | 811,011,131 | 0 | |
| nrLookups | 424,016,488 | 424,016,488 | 0 | |
| nrOpUpdateValuesCopied | 2,165,429,908 | 2,165,429,967 | ↗ 59 | 0.00% |
| nrOpUpdates | 103,294,556 | 103,294,556 | 0 | |
| nrPrimOpCalls | 424,919,626 | 424,919,626 | 0 | |
| nrThunks | 1,286,548,319 | 1,286,548,334 | ↗ 15 | 0.00% |
| sets-bytes | 49,566,056,976 | 49,566,058,880 | ↗ 1,904 | 0.00% |
| sets-elements | 2,906,805,597 | 2,906,805,706 | ↗ 109 | 0.00% |
| sets-number | 191,072,964 | 191,072,974 | ↗ 10 | 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,353,591 | 3,353,591 | 0 | |
| symbols-number | 187,566 | 187,566 | 0 | |
| values-bytes | 40,241,616,192 | 40,241,617,032 | ↗ 840 | 0.00% |
| values-number | 1,676,734,008 | 1,676,734,043 | ↗ 35 | 0.00% |
Loading