Contrib/0/rfc169 proof/out #284107
+57
−5
Draft
Contrib/0/rfc169 proof/out #284107
OfBorg / Evaluation Performance Report
succeeded
Jan 27, 2024
Evaluator Performance Report
Details
| stat | before | after | Δ | Δ% |
|---|---|---|---|---|
| cpuTime | 637.76 | 538.22 | ↘ 99.53 | -15.61% |
| envs-bytes | 18,835,658,688 | 18,992,886,432 | ↗ 157,227,744 | 0.83% |
| envs-elements | 984,328,868 | 990,911,492 | ↗ 6,582,624 | 0.67% |
| envs-number | 685,064,234 | 691,599,656 | ↗ 6,535,422 | 0.95% |
| gc-heapSize | 56,727,937,024 | 55,570,305,024 | ↘ 1,157,632,000 | -2.04% |
| gc-totalBytes | 111,691,433,152 | 112,273,125,920 | ↗ 581,692,768 | 0.52% |
| list-bytes | 2,783,865,528 | 2,817,427,384 | ↗ 33,561,856 | 1.21% |
| list-concats | 59,013,203 | 59,060,371 | ↗ 47,168 | 0.08% |
| list-elements | 347,983,191 | 352,178,423 | ↗ 4,195,232 | 1.21% |
| nrAvoided | 834,530,720 | 839,668,844 | ↗ 5,138,124 | 0.62% |
| nrFunctionCalls | 637,844,103 | 644,332,324 | ↗ 6,488,221 | 1.02% |
| nrLookups | 333,406,336 | 333,581,901 | ↗ 175,565 | 0.05% |
| nrOpUpdateValuesCopied | 1,626,478,714 | 1,626,480,072 | ↗ 1,358 | 0.00% |
| nrOpUpdates | 73,962,581 | 73,962,581 | 0 | |
| nrPrimOpCalls | 316,174,612 | 318,481,275 | ↗ 2,306,663 | 0.73% |
| nrThunks | 902,415,155 | 906,213,848 | ↗ 3,798,693 | 0.42% |
| sets-bytes | 35,934,390,224 | 35,940,823,744 | ↗ 6,433,520 | 0.02% |
| sets-elements | 2,117,515,728 | 2,117,900,305 | ↗ 384,577 | 0.02% |
| sets-number | 128,383,661 | 128,401,179 | ↗ 17,518 | 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,268,499 | 2,268,573 | ↗ 74 | 0.00% |
| symbols-number | 164,004 | 164,012 | ↗ 8 | 0.00% |
| values-bytes | 28,338,290,640 | 28,540,159,248 | ↗ 201,868,608 | 0.71% |
| values-number | 1,180,762,110 | 1,189,173,302 | ↗ 8,411,192 | 0.71% |
Loading