Campaign Summary
ID: 8221506a55c24f42a9b959a3
Started: 2026-07-18 21:38:03.162578
Finished: 2026-07-18 21:38:27.048760
Duration: 23.9s
11
Workloads
33
Cases
24
Passed
9
Failed
3
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.0964
cold mean ms
0.0082
warm mean ms
0.0082
warm median ms
0.0008
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
0.0675
cold mean ms
0.0162
warm mean ms
0.0162
warm median ms
0.0001
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
1.3492
cold mean ms
0.5264
warm mean ms
0.5264
warm median ms
0.0190
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.0919
cold mean ms
0.0449
warm mean ms
0.0449
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.0716
cold mean ms
0.0212
warm mean ms
0.0212
warm median ms
0.0051
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.2207
cold mean ms
0.0900
warm mean ms
0.0900
warm median ms
0.0152
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.8997
cold mean ms
2.9417
warm mean ms
2.9417
warm median ms
0.0599
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.0778
cold mean ms
0.0574
warm mean ms
0.0574
warm median ms
0.0006
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| core.float_reduction | cold | success | match | 0.0675 | 0.00s |
| core.float_reduction | warm | success | match | 0.0161 | 0.00s |
| core.float_reduction | warm | success | match | 0.0163 | 0.00s |
| core.integer_sum | cold | success | match | 0.0964 | 0.00s |
| core.integer_sum | warm | success | match | 0.0077 | 0.00s |
| core.integer_sum | warm | success | match | 0.0088 | 0.00s |
| core.list_filter | cold | success | match | 1.3492 | 0.00s |
| core.list_filter | warm | success | match | 0.5130 | 0.00s |
| core.list_filter | warm | success | match | 0.5399 | 0.00s |
| data_processing.csv_parse | cold | success | mismatch | 0.2207 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0793 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.1008 | 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.0919 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0452 | 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.0716 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0176 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0248 | 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.0778 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0578 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0570 | 0.00s |
| stdlib.json_parse | cold | success | match | 1.8997 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.8993 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.9841 | 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/8221506a55c24f42a9b959a3/88431d07f5d84445ae9aa8bb
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/891dd15920b242698d395da9
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/dfe74aa072d140868d6158b3
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/88f3ea03dd5447758d596f91
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/a8ee2de3310d42acbd6315a8
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/8ec985be38234b5a92c5981d
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/8aa58d4f6b384269bf8fd003
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/174b6059e50d44bda1ed7f9d
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/a289103f68b242e3b23cbffc
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/f48df8048ef24111aee18b2e
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/ceab0f1005e7441aaff2b2f6
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/92f1975a4adf4067a7fbcb35
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/f2803c387b0741e99d44dbf5
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/5eaf7601ba3f456e8de4b00d
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/d9f6425d9a834caaa3208896
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/3f8389700524430f86a48dd2
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/4389b629a6ec447a8cee4c7e
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/10292ea0db3145a6abfcc1a1
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/3db7c55a710b46d09fb477f2
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/d82ac1fc4a1149dcaa83b764
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8221506a55c24f42a9b959a3/60ba2e27ed594b4ab07ba7ca