benchexec: init at 3.21 #263375
Merged
benchexec: init at 3.21 #263375
OfBorg / Evaluation Performance Report
succeeded
May 17, 2024
Evaluator Performance Report
Details
| stat | before | after | Δ | Δ% |
|---|---|---|---|---|
| cpuTime | 607.53 | 607.76 | ↗ 0.24 | 0.04% |
| envs-bytes | 20,216,406,856 | 20,217,188,800 | ↗ 781,944 | 0.00% |
| envs-elements | 1,067,011,219 | 1,067,048,864 | ↗ 37,645 | 0.00% |
| envs-number | 730,019,819 | 730,049,868 | ↗ 30,049 | 0.00% |
| gc-heapSize | 58,086,891,520 | 57,650,683,904 | ↘ 436,207,616 | -0.75% |
| gc-totalBytes | 127,118,376,368 | 127,123,779,360 | ↗ 5,402,992 | 0.00% |
| list-bytes | 3,536,378,768 | 3,536,498,712 | ↗ 119,944 | 0.00% |
| list-concats | 82,078,091 | 82,079,255 | ↗ 1,164 | 0.00% |
| list-elements | 442,047,346 | 442,062,339 | ↗ 14,993 | 0.00% |
| nrAvoided | 852,239,339 | 852,265,688 | ↗ 26,349 | 0.00% |
| nrFunctionCalls | 671,807,141 | 671,835,002 | ↗ 27,861 | 0.00% |
| nrLookups | 346,820,560 | 346,840,317 | ↗ 19,757 | 0.01% |
| nrOpUpdateValuesCopied | 1,896,699,114 | 1,896,771,571 | ↗ 72,457 | 0.00% |
| nrOpUpdates | 85,148,969 | 85,150,355 | ↗ 1,386 | 0.00% |
| nrPrimOpCalls | 352,041,768 | 352,056,083 | ↗ 14,315 | 0.00% |
| nrThunks | 1,049,275,241 | 1,049,312,669 | ↗ 37,428 | 0.00% |
| sets-bytes | 42,596,229,360 | 42,598,002,400 | ↗ 1,773,040 | 0.00% |
| sets-elements | 2,508,252,975 | 2,508,353,365 | ↗ 100,390 | 0.00% |
| sets-number | 154,011,360 | 154,021,785 | ↗ 10,425 | 0.01% |
| sizes-Attr | 16 | 16 | 0 | |
| sizes-Bindings | 16 | 16 | 0 | |
| sizes-Env | 16 | 16 | 0 | |
| sizes-Value | 24 | 24 | 0 | |
| symbols-bytes | 2,459,060 | 2,459,184 | ↗ 124 | 0.01% |
| symbols-number | 171,813 | 171,821 | ↗ 8 | 0.00% |
| values-bytes | 32,209,300,056 | 32,210,972,232 | ↗ 1,672,176 | 0.01% |
| values-number | 1,342,054,169 | 1,342,123,843 | ↗ 69,674 | 0.01% |
Loading