harness:full_quick:cpython-system:small

finished · cpython-system

← All campaigns

Campaign Summary

ID: 84b29ae5648244a08a7bac57

Started: 2026-07-18 21:37:26.660908
Finished: 2026-07-18 21:37:30.197763
Duration: 3.5s

11
Workloads
33
Cases
33
Passed
0
Failed
0
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.2415
cold mean ms
0.3822
warm mean ms
0.3822
warm median ms
0.0240
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.3091
cold mean ms
0.3010
warm mean ms
0.3010
warm median ms
0.0013
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.0360
cold mean ms
0.0254
warm mean ms
0.0254
warm median ms
0.0001
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0764
cold mean ms
0.0489
warm mean ms
0.0489
warm median ms
0.0034
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

5.0693
cold mean ms
5.0010
warm mean ms
5.0010
warm median ms
0.0338
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

1.3815
cold mean ms
0.8680
warm mean ms
0.8680
warm median ms
0.0242
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.3064
cold mean ms
0.2572
warm mean ms
0.2572
warm median ms
0.0197
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

0.2397
cold mean ms
0.2190
warm mean ms
0.2190
warm median ms
0.0158
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.2137
cold mean ms
0.1690
warm mean ms
0.1690
warm median ms
0.0014
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

0.6096
cold mean ms
0.3709
warm mean ms
0.3709
warm median ms
0.0035
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.1139
cold mean ms
0.0813
warm mean ms
0.0813
warm median ms
0.0284
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

Case Runs

Workload Phase Status Correctness Mean ms Duration
core.float_reduction cold success match 0.3091 0.00s
core.float_reduction warm success match 0.3020 0.00s
core.float_reduction warm success match 0.3001 0.00s
core.integer_sum cold success match 0.2415 0.00s
core.integer_sum warm success match 0.3992 0.00s
core.integer_sum warm success match 0.3652 0.00s
core.list_filter cold success match 0.0360 0.00s
core.list_filter warm success match 0.0253 0.00s
core.list_filter warm success match 0.0255 0.00s
data_processing.csv_parse cold success match 0.2397 0.00s
data_processing.csv_parse warm success match 0.2301 0.00s
data_processing.csv_parse warm success match 0.2078 0.00s
iot.rolling_average cold success match 0.2137 0.00s
iot.rolling_average warm success match 0.1700 0.00s
iot.rolling_average warm success match 0.1680 0.00s
numerical.dot_product cold success match 0.0764 0.00s
numerical.dot_product warm success match 0.0512 0.00s
numerical.dot_product warm success match 0.0465 0.00s
numerical.matrix_multiply cold success match 5.0693 0.00s
numerical.matrix_multiply warm success match 4.9770 0.00s
numerical.matrix_multiply warm success match 5.0249 0.00s
numerical.monte_carlo_pi cold success match 1.3815 0.00s
numerical.monte_carlo_pi warm success match 0.8509 0.00s
numerical.monte_carlo_pi warm success match 0.8851 0.00s
numerical.prime_sieve cold success match 0.3064 0.00s
numerical.prime_sieve warm success match 0.2433 0.00s
numerical.prime_sieve warm success match 0.2712 0.00s
stdlib.dict_lookup cold success match 0.1139 0.00s
stdlib.dict_lookup warm success match 0.1014 0.00s
stdlib.dict_lookup warm success match 0.0613 0.00s
stdlib.json_parse cold success match 0.6096 0.00s
stdlib.json_parse warm success match 0.3734 0.00s
stdlib.json_parse warm success match 0.3684 0.00s

Proof Packs

📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/6db065ffa0cc4bb6919764b6
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/1fed80bea3044305bf3b7dc9
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/85824d3fd1ec49e884022694
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/53ac9adb195743babb955ce1
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/48502e7a04084e86877153f6
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/e739a8c7ec21481cae6a11e4
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/c46d3a61e6c54235be104f71
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/341fcc153f4a43009b8c30ec
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/daf9a95df6f94ac2b65c09be
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/105d2a9d1c114b47abfe775b
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/ede664ec79574771af96a6f1
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/11982a3a8f7b44f1ad9b8b40
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/b545a8d9bcc34f6883203588
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/2be8ea5430844001aa2a28eb
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/74addae5e1814c45b4093994
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/9acb010ba1ad4772bbf6c862
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/22476d391a9a44b2809c3dda
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/a5f43eb245ad41e5bed2da45
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/81e2cec053064102b4137873
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/5ee1cc54174f41f29afb3a3b
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/1486c52cd12e4bcf9df36558
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/6bcbc79ab978449dae7ed5e1
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/c89fc3b996e747438856a78e
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/ec1d39b2262d4783826c4c2f
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/66e0f1694b1042a78ec31fea
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/7ca4e297071a41a2979ab892
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/0a24eda91438457485d59b47
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/7b9ef089fa2a4b2998cf722a
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/e92d8e3f70e549a3ab0cf9dc
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/c311ff6628784cbbb08637b9
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/e3f3a4de72d3460fb98ef6e0
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/153be341176a492685654f1d
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/84b29ae5648244a08a7bac57/df1ef1b8db2d4018ae5f96f3

← Back to campaigns