vfkit: init at 0.5.1 #334907
Merged
vfkit: init at 0.5.1 #334907
OfBorg / Evaluation Performance Report
succeeded
Aug 15, 2024
Evaluator Performance Report
Details
| stat | before | after | Δ | Δ% |
|---|---|---|---|---|
| cpuTime | 711.15 | 706.91 | ↘ 4.23 | -0.60% |
| envs-bytes | 22,909,096,216 | 22,909,132,584 | ↗ 36,368 | 0.00% |
| envs-elements | 1,214,514,607 | 1,214,516,485 | ↗ 1,878 | 0.00% |
| envs-number | 824,561,210 | 824,562,544 | ↗ 1,334 | 0.00% |
| gc-heapSize | 66,324,500,480 | 66,324,500,480 | 0 | |
| gc-totalBytes | 141,748,660,208 | 141,749,349,664 | ↗ 689,456 | 0.00% |
| list-bytes | 3,247,117,808 | 3,247,123,488 | ↗ 5,680 | 0.00% |
| list-concats | 86,815,427 | 86,815,577 | ↗ 150 | 0.00% |
| list-elements | 405,889,726 | 405,890,436 | ↗ 710 | 0.00% |
| nrAvoided | 955,521,512 | 955,523,169 | ↗ 1,657 | 0.00% |
| nrFunctionCalls | 757,082,830 | 757,084,050 | ↗ 1,220 | 0.00% |
| nrLookups | 395,422,067 | 395,422,610 | ↗ 543 | 0.00% |
| nrOpUpdateValuesCopied | 2,078,459,590 | 2,078,482,124 | ↗ 22,534 | 0.00% |
| nrOpUpdates | 94,939,528 | 94,939,671 | ↗ 143 | 0.00% |
| nrPrimOpCalls | 396,851,721 | 396,852,400 | ↗ 679 | 0.00% |
| nrThunks | 1,204,499,375 | 1,204,501,233 | ↗ 1,858 | 0.00% |
| sets-bytes | 47,134,011,424 | 47,134,423,488 | ↗ 412,064 | 0.00% |
| sets-elements | 2,768,128,202 | 2,768,153,575 | ↗ 25,373 | 0.00% |
| sets-number | 177,747,512 | 177,747,893 | ↗ 381 | 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,934,263 | 2,934,270 | ↗ 7 | 0.00% |
| symbols-number | 179,412 | 179,414 | ↗ 2 | 0.00% |
| values-bytes | 36,915,653,472 | 36,915,784,632 | ↗ 131,160 | 0.00% |
| values-number | 1,538,152,228 | 1,538,157,693 | ↗ 5,465 | 0.00% |
Loading