Campaign Summary
ID: 778c2b1a3210453087408fc1
Started: 2026-07-18 21:37:05.722208
Finished: 2026-07-18 21:37:07.133771
Duration: 1.4s
4
Workloads
12
Cases
12
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
numerical.dot_product
0.1249
cold mean ms
0.0586
warm mean ms
0.0586
warm median ms
0.0179
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
9.2924
cold mean ms
5.3824
warm mean ms
5.3824
warm median ms
0.2611
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
0.9174
cold mean ms
0.8819
warm mean ms
0.8819
warm median ms
0.0040
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
0.2879
cold mean ms
0.4535
warm mean ms
0.4535
warm median ms
0.0944
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| numerical.dot_product | cold | success | match | 0.1249 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0459 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0713 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 9.2924 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 5.5671 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 5.1978 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 0.9174 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8848 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8791 | 0.00s |
| numerical.prime_sieve | cold | success | match | 0.2879 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.5202 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.3868 | 0.00s |
Proof Packs
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/dd2c9a0948fd4bc9967be765
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/eb456c0e2dcc49d9a691f273
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/d3d999c8bc7a45dfa56fed73
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/878d4f916a69436cbde5683a
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/8d0d1c219cb34d5c813d72de
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/be6c93da78c54decae526a34
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/18d1c9c25b9b4833abfae02a
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/8c29d00164724d46be3e09b0
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/0cbb2078254f4b29baecdc7b
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/03fd2273dfa04ef4835cdb83
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/a24b2ba51c964fd1931aa8b3
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/778c2b1a3210453087408fc1/595da5ef2159401799ff2647