Campaign Summary
ID: a7e6c846b36b497f87da25b2
Started: 2026-07-18 21:37:15.747998
Finished: 2026-07-18 21:37:16.031289
Duration: 0.3s
1
Workloads
3
Cases
3
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
iot.rolling_average
0.1995
cold mean ms
0.1660
warm mean ms
0.1660
warm median ms
0.0025
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| iot.rolling_average | cold | success | match | 0.1995 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1678 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1642 | 0.00s |
Proof Packs
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/a7e6c846b36b497f87da25b2/f45066c5e98a420688b0c153
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/a7e6c846b36b497f87da25b2/b202979cc4b64634a3ed458a
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/a7e6c846b36b497f87da25b2/c337c9fde21149f894d2f47d