Campaign Summary
ID: 9320105fbe354a6fb6c21b98
Started: 2026-07-18 21:37:30.228758
Finished: 2026-07-18 21:37:52.717648
Duration: 22.5s
11
Workloads
33
Cases
24
Passed
9
Failed
3
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.0732
cold mean ms
0.0072
warm mean ms
0.0072
warm median ms
0.0010
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
0.0981
cold mean ms
0.0166
warm mean ms
0.0166
warm median ms
0.0007
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
1.4416
cold mean ms
0.4995
warm mean ms
0.4995
warm median ms
0.0041
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.0593
cold mean ms
0.0483
warm mean ms
0.0483
warm median ms
0.0050
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.0894
cold mean ms
0.0250
warm mean ms
0.0250
warm median ms
0.0107
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
data_processing.csv_parse
0.2316
cold mean ms
0.0929
warm mean ms
0.0929
warm median ms
0.0136
warm stdev ms
100%
success rate
3
mismatches
iot.rolling_average
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
stdlib.json_parse
1.0219
cold mean ms
2.6809
warm mean ms
2.6809
warm median ms
0.1094
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.0763
cold mean ms
0.0753
warm mean ms
0.0753
warm median ms
0.0277
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| core.float_reduction | cold | success | match | 0.0981 | 0.00s |
| core.float_reduction | warm | success | match | 0.0171 | 0.00s |
| core.float_reduction | warm | success | match | 0.0161 | 0.00s |
| core.integer_sum | cold | success | match | 0.0732 | 0.00s |
| core.integer_sum | warm | success | match | 0.0065 | 0.00s |
| core.integer_sum | warm | success | match | 0.0079 | 0.00s |
| core.list_filter | cold | success | match | 1.4416 | 0.00s |
| core.list_filter | warm | success | match | 0.5025 | 0.00s |
| core.list_filter | warm | success | match | 0.4966 | 0.00s |
| data_processing.csv_parse | cold | success | mismatch | 0.2316 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0832 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.1025 | 0.00s |
| iot.rolling_average | cold | failed | no_result | n/a | 0.00s |
| iot.rolling_average | warm | failed | no_result | n/a | 0.00s |
| iot.rolling_average | warm | failed | no_result | n/a | 0.00s |
| numerical.dot_product | cold | success | match | 0.0593 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0448 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0518 | 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.0894 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0174 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0326 | 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 |
| stdlib.dict_lookup | cold | success | match | 0.0763 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0557 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0950 | 0.00s |
| stdlib.json_parse | cold | success | match | 1.0219 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.7582 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.6035 | 0.00s |
Failures
| Class | Severity | Signature | Status |
|---|---|---|---|
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| 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 stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/44446de29a424ac09865b00c
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/e3320b5e2ea240faaf9473d2
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/57f40f77276d467e90b6eaf9
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/2fc27d0dfb7a47cfaaadddfb
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/91dc64b6200d4f169aa37294
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/2aa9b3cd8aa544718bfae1a4
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/f4edb8989e2e43149220c19f
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/d1121456790849cb9a9bace0
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/fb55651866df4040bcc0823c
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/25dbb3bbd63145a1acf33b8e
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/aa22b837bef842f09483227f
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/1ac70bc408834846ad094c0b
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/a6c232e4478149ae93637f01
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/04ad34716e3747da81d0e70b
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/328056b888f8403db6e55009
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/ac7a27b1aab2436489d16fdf
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/005b28e7d9404fae93e2a8ec
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/58c8ef485de2408eb429125d
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/8f244c7fdc784008916886a5
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/d0cc6da16cad4949a62a95bc
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/9320105fbe354a6fb6c21b98/2edad92e9be543e5a400ad47