Campaign Summary
ID: 0afd62abe4064d0d9138dcbb
Started: 2026-07-19 12:18:55.057607
Finished: 2026-07-19 12:19:17.370089
Duration: 22.3s
5
Workloads
10
Cases
10
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.0029
cold mean ms
0.0058
warm mean ms
0.0058
warm median ms
0.0000
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.1726
cold mean ms
0.1418
warm mean ms
0.1418
warm median ms
0.0000
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.0501
cold mean ms
0.0181
warm mean ms
0.0181
warm median ms
0.0000
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
5.2533
cold mean ms
2.3041
warm mean ms
2.3041
warm median ms
0.0000
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
4.6036
cold mean ms
2.9047
warm mean ms
2.9047
warm median ms
0.0000
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| core.integer_sum | cold | success | match | 0.0029 | 0.00s |
| core.integer_sum | warm | success | match | 0.0058 | 0.00s |
| core.list_filter | cold | success | match | 0.0501 | 0.00s |
| core.list_filter | warm | success | match | 0.0181 | 0.00s |
| numerical.dot_product | cold | success | match | 0.1726 | 0.00s |
| numerical.dot_product | warm | success | match | 0.1418 | 0.00s |
| object.bank_account | cold | success | match | 5.2533 | 0.00s |
| object.bank_account | warm | success | match | 2.3041 | 0.00s |
| simulation.conway_life | cold | success | match | 4.6036 | 0.00s |
| simulation.conway_life | warm | success | match | 2.9047 | 0.00s |
Proof Packs
Proof pack for simulation.conway_life on codon-system
/var/www/pyvorin-bench/data/proofpacks/0afd62abe4064d0d9138dcbb/4555065944ff470ebc83b4e7
Proof pack for simulation.conway_life on codon-system
/var/www/pyvorin-bench/data/proofpacks/0afd62abe4064d0d9138dcbb/ea94d4720dea4caf86eda181
Proof pack for object.bank_account on codon-system
/var/www/pyvorin-bench/data/proofpacks/0afd62abe4064d0d9138dcbb/b6d3907abd4e4e4b995b987d
Proof pack for object.bank_account on codon-system
/var/www/pyvorin-bench/data/proofpacks/0afd62abe4064d0d9138dcbb/1ababfcd40c84bd8943c5f19
Proof pack for core.list_filter on codon-system
/var/www/pyvorin-bench/data/proofpacks/0afd62abe4064d0d9138dcbb/fcab5389ac034b37a3b8dffe
Proof pack for core.list_filter on codon-system
/var/www/pyvorin-bench/data/proofpacks/0afd62abe4064d0d9138dcbb/c0be2240f06e4679aab85500
Proof pack for numerical.dot_product on codon-system
/var/www/pyvorin-bench/data/proofpacks/0afd62abe4064d0d9138dcbb/fe76e067291d46c4bfc53bbe
Proof pack for numerical.dot_product on codon-system
/var/www/pyvorin-bench/data/proofpacks/0afd62abe4064d0d9138dcbb/4c9d690b191f437c8b73dfe6
Proof pack for core.integer_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/0afd62abe4064d0d9138dcbb/d91c9ba5ba7a450b9253b36d
Proof pack for core.integer_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/0afd62abe4064d0d9138dcbb/19ff3543f3774138a2c7372f