harness:full_quick:cpython-system:small

finished · cpython-system

← All campaigns

Campaign Summary

ID: 0c83d97818914fbca11972e3

Started: 2026-07-18 21:37:59.618956
Finished: 2026-07-18 21:38:03.131384
Duration: 3.5s

11
Workloads
33
Cases
33
Passed
0
Failed
0
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.2189
cold mean ms
0.2009
warm mean ms
0.2009
warm median ms
0.0191
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.3468
cold mean ms
0.2949
warm mean ms
0.2949
warm median ms
0.0035
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.0369
cold mean ms
0.0352
warm mean ms
0.0352
warm median ms
0.0079
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0932
cold mean ms
0.0723
warm mean ms
0.0723
warm median ms
0.0083
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

5.2177
cold mean ms
5.0723
warm mean ms
5.0723
warm median ms
0.0564
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

0.9209
cold mean ms
0.8885
warm mean ms
0.8885
warm median ms
0.0053
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.2846
cold mean ms
0.2921
warm mean ms
0.2921
warm median ms
0.0460
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

0.2641
cold mean ms
0.2256
warm mean ms
0.2256
warm median ms
0.0075
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.2000
cold mean ms
0.1741
warm mean ms
0.1741
warm median ms
0.0153
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

0.5598
cold mean ms
0.5475
warm mean ms
0.5475
warm median ms
0.2645
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.1608
cold mean ms
0.0917
warm mean ms
0.0917
warm median ms
0.0511
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.3468 0.00s
core.float_reduction warm success match 0.2924 0.00s
core.float_reduction warm success match 0.2974 0.00s
core.integer_sum cold success match 0.2189 0.00s
core.integer_sum warm success match 0.2143 0.00s
core.integer_sum warm success match 0.1874 0.00s
core.list_filter cold success match 0.0369 0.00s
core.list_filter warm success match 0.0296 0.00s
core.list_filter warm success match 0.0408 0.00s
data_processing.csv_parse cold success match 0.2641 0.00s
data_processing.csv_parse warm success match 0.2204 0.00s
data_processing.csv_parse warm success match 0.2309 0.00s
iot.rolling_average cold success match 0.2000 0.00s
iot.rolling_average warm success match 0.1849 0.00s
iot.rolling_average warm success match 0.1633 0.00s
numerical.dot_product cold success match 0.0932 0.00s
numerical.dot_product warm success match 0.0664 0.00s
numerical.dot_product warm success match 0.0782 0.00s
numerical.matrix_multiply cold success match 5.2177 0.00s
numerical.matrix_multiply warm success match 5.0324 0.00s
numerical.matrix_multiply warm success match 5.1123 0.00s
numerical.monte_carlo_pi cold success match 0.9209 0.00s
numerical.monte_carlo_pi warm success match 0.8922 0.00s
numerical.monte_carlo_pi warm success match 0.8847 0.00s
numerical.prime_sieve cold success match 0.2846 0.00s
numerical.prime_sieve warm success match 0.2595 0.00s
numerical.prime_sieve warm success match 0.3246 0.00s
stdlib.dict_lookup cold success match 0.1608 0.00s
stdlib.dict_lookup warm success match 0.1278 0.00s
stdlib.dict_lookup warm success match 0.0556 0.00s
stdlib.json_parse cold success match 0.5598 0.00s
stdlib.json_parse warm success match 0.3605 0.00s
stdlib.json_parse warm success match 0.7346 0.00s

Proof Packs

📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/c7a224acbe454263b3abdf11
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/c620de0b60fc4b9f83bcbe2e
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/6caeca1ea85b430c8da19f2f
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/f90cfe19e0cc40d3a463bf4f
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/af49123d8d734965a1fa93df
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/e194595759264373a29ef606
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/619c34d6f3b74057bffcf03e
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/7509ae07f0274d7cbc1c773d
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/1017c0dc962641fb981bb3de
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/ae987ca2914c4a849e995dff
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/527720a393bb4a9287431f09
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/d499f17d201a440ba8e92614
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/ddced04c7978406b899aa358
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/e73039080bde4274aa501dbc
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/f02c0927461c4a2996558d07
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/574515c0824c496288c6cccc
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/5ef1f62fc500483f84031cdf
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/c4e66a7ef02e4aaea3a89201
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/1a01ee2b9c2146b3a900a808
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/6eab07b6ad26403f80e4243a
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/7960ba63aaed4c98b03a6c23
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/589d37a842904ed4a232595d
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/91f1c488226946099b64d974
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/63f6032bce2e47ea832e6ebe
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/41632612db1548d386cbe80b
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/f0217cf93021427bb22d83d6
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/aa3bbb327d29447d8a756b2e
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/7b987ec990c94ce8927accf5
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/5b4db6323f344ed8b31f75f7
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/5c3fed77dd1d451c9e744cce
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/78ade4bef02947ff9fdedf6f
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/69e784bd4aaa48d7af5ceadb
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/0c83d97818914fbca11972e3/9a35b2f4a3e04c4f87b853b7

← Back to campaigns