Campaign Summary
ID: 8d9370f1ce2e4454bd0dc4b7
Started: 2026-07-18 21:36:56.312365
Finished: 2026-07-18 21:37:05.658194
Duration: 9.3s
4
Workloads
12
Cases
12
Passed
0
Failed
3
Mismatches
Campaign Chart
Workload Results
core.list_filter
0.9023
cold mean ms
0.5391
warm mean ms
0.5391
warm median ms
0.0612
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.0766
cold mean ms
0.0573
warm mean ms
0.0573
warm median ms
0.0005
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
8.5363
cold mean ms
3.2477
warm mean ms
3.2477
warm median ms
0.3911
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
2.1559
cold mean ms
0.0890
warm mean ms
0.0890
warm median ms
0.0005
warm stdev ms
100%
success rate
3
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| core.list_filter | cold | success | match | 0.9023 | 0.00s |
| core.list_filter | warm | success | match | 0.5823 | 0.00s |
| core.list_filter | warm | success | match | 0.4958 | 0.00s |
| data_processing.csv_parse | cold | success | mismatch | 2.1559 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0893 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0886 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.0766 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0569 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0576 | 0.00s |
| stdlib.json_parse | cold | success | match | 8.5363 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.9711 | 0.00s |
| stdlib.json_parse | warm | success | match | 3.5242 | 0.00s |
Failures
| Class | Severity | Signature | Status |
|---|---|---|---|
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
Proof Packs
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8d9370f1ce2e4454bd0dc4b7/c56f4b39a631430ba6c1d9c0
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8d9370f1ce2e4454bd0dc4b7/e702571cc43d4db095b970d9
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8d9370f1ce2e4454bd0dc4b7/b83c28bf45b941f4bb3d3241
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8d9370f1ce2e4454bd0dc4b7/786beafcc68745679eeaa110
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8d9370f1ce2e4454bd0dc4b7/014f227c438c47ba96150bf3
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8d9370f1ce2e4454bd0dc4b7/c11a99d109ba43a3b625c98e
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8d9370f1ce2e4454bd0dc4b7/82e7d02e61484d8ea0b80d58
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8d9370f1ce2e4454bd0dc4b7/87424551a4284b5592d7ba47
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/8d9370f1ce2e4454bd0dc4b7/fbdc793841af45e492805a42