Campaign Summary
ID: cf136d441cf44e3790f88c45
Started: 2026-07-18 21:37:07.164763
Finished: 2026-07-18 21:37:15.717582
Duration: 8.6s
4
Workloads
12
Cases
6
Passed
6
Failed
0
Mismatches
Campaign Chart
Workload Results
numerical.dot_product
0.0735
cold mean ms
0.0450
warm mean ms
0.0450
warm median ms
0.0004
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
numerical.monte_carlo_pi
0.0846
cold mean ms
0.0362
warm mean ms
0.0362
warm median ms
0.0014
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| numerical.dot_product | cold | success | match | 0.0735 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0453 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0447 | 0.00s |
| numerical.matrix_multiply | cold | failed | no_result | n/a | 0.00s |
| numerical.matrix_multiply | warm | failed | no_result | n/a | 0.00s |
| numerical.matrix_multiply | warm | failed | no_result | n/a | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 0.0846 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0352 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0371 | 0.00s |
| numerical.prime_sieve | cold | failed | no_result | n/a | 0.00s |
| numerical.prime_sieve | warm | failed | no_result | n/a | 0.00s |
| numerical.prime_sieve | warm | failed | no_result | n/a | 0.00s |
Failures
| Class | Severity | Signature | Status |
|---|---|---|---|
| compile_error | error | 3d9b90f21aade38e0b7867479872f121 |
open |
| compile_error | error | 3d9b90f21aade38e0b7867479872f121 |
open |
| compile_error | error | 3d9b90f21aade38e0b7867479872f121 |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
Proof Packs
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cf136d441cf44e3790f88c45/3c9977b91f2244349bac3a35
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cf136d441cf44e3790f88c45/3355249f4847402288ace3c1
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cf136d441cf44e3790f88c45/298783546d9443c0abe11de9
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cf136d441cf44e3790f88c45/f0ff141fe9ce423d9a273997
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cf136d441cf44e3790f88c45/fd032a27eebc44d5b7ab2674
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cf136d441cf44e3790f88c45/149d90a5db964ecbbf753663