harness:full_quick:cpython-system:small

finished · cpython-system

← All campaigns

Campaign Summary

ID: 612fedfe2b23453cb96229bb

Started: 2026-07-18 23:50:36.522938
Finished: 2026-07-18 23:50:43.323654
Duration: 6.8s

11
Workloads
66
Cases
66
Passed
0
Failed
0
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.3186
cold mean ms
0.1925
warm mean ms
0.1904
warm median ms
0.0062
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.3061
cold mean ms
0.3400
warm mean ms
0.3104
warm median ms
0.0746
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.0355
cold mean ms
0.0323
warm mean ms
0.0297
warm median ms
0.0087
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0744
cold mean ms
0.0463
warm mean ms
0.0462
warm median ms
0.0009
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

5.3900
cold mean ms
4.8777
warm mean ms
4.8491
warm median ms
0.0800
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

0.8031
cold mean ms
0.8634
warm mean ms
0.8030
warm median ms
0.1193
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.2567
cold mean ms
0.2573
warm mean ms
0.2472
warm median ms
0.0354
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

0.4433
cold mean ms
0.2227
warm mean ms
0.2178
warm median ms
0.0150
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.1926
cold mean ms
0.2001
warm mean ms
0.1678
warm median ms
0.0721
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

0.5585
cold mean ms
0.3708
warm mean ms
0.3708
warm median ms
0.0147
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.1188
cold mean ms
0.0567
warm mean ms
0.0555
warm median ms
0.0032
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.3061 0.00s
core.float_reduction warm success match 0.3104 0.00s
core.float_reduction warm success match 0.3191 0.00s
core.float_reduction warm success match 0.3103 0.00s
core.float_reduction warm success match 0.2885 0.00s
core.float_reduction warm success match 0.4719 0.00s
core.integer_sum cold success match 0.3186 0.00s
core.integer_sum warm success match 0.1904 0.00s
core.integer_sum warm success match 0.1971 0.00s
core.integer_sum warm success match 0.2003 0.00s
core.integer_sum warm success match 0.1846 0.00s
core.integer_sum warm success match 0.1901 0.00s
core.list_filter cold success match 0.0355 0.00s
core.list_filter warm success match 0.0285 0.00s
core.list_filter warm success match 0.0240 0.00s
core.list_filter warm success match 0.0297 0.00s
core.list_filter warm success match 0.0325 0.00s
core.list_filter warm success match 0.0469 0.00s
data_processing.csv_parse cold success match 0.4433 0.00s
data_processing.csv_parse warm success match 0.2487 0.00s
data_processing.csv_parse warm success match 0.2146 0.00s
data_processing.csv_parse warm success match 0.2178 0.00s
data_processing.csv_parse warm success match 0.2112 0.00s
data_processing.csv_parse warm success match 0.2212 0.00s
iot.rolling_average cold success match 0.1926 0.00s
iot.rolling_average warm success match 0.1649 0.00s
iot.rolling_average warm success match 0.1678 0.00s
iot.rolling_average warm success match 0.1713 0.00s
iot.rolling_average warm success match 0.3290 0.00s
iot.rolling_average warm success match 0.1677 0.00s
numerical.dot_product cold success match 0.0744 0.00s
numerical.dot_product warm success match 0.0462 0.00s
numerical.dot_product warm success match 0.0453 0.00s
numerical.dot_product warm success match 0.0454 0.00s
numerical.dot_product warm success match 0.0473 0.00s
numerical.dot_product warm success match 0.0471 0.00s
numerical.matrix_multiply cold success match 5.3900 0.00s
numerical.matrix_multiply warm success match 4.9571 0.00s
numerical.matrix_multiply warm success match 4.8491 0.00s
numerical.matrix_multiply warm success match 4.9691 0.00s
numerical.matrix_multiply warm success match 4.8092 0.00s
numerical.matrix_multiply warm success match 4.8040 0.00s
numerical.monte_carlo_pi cold success match 0.8031 0.00s
numerical.monte_carlo_pi warm success match 0.8513 0.00s
numerical.monte_carlo_pi warm success match 0.7947 0.00s
numerical.monte_carlo_pi warm success match 1.0725 0.00s
numerical.monte_carlo_pi warm success match 0.8030 0.00s
numerical.monte_carlo_pi warm success match 0.7953 0.00s
numerical.prime_sieve cold success match 0.2567 0.00s
numerical.prime_sieve warm success match 0.3187 0.00s
numerical.prime_sieve warm success match 0.2400 0.00s
numerical.prime_sieve warm success match 0.2511 0.00s
numerical.prime_sieve warm success match 0.2472 0.00s
numerical.prime_sieve warm success match 0.2293 0.00s
stdlib.dict_lookup cold success match 0.1188 0.00s
stdlib.dict_lookup warm success match 0.0546 0.00s
stdlib.dict_lookup warm success match 0.0559 0.00s
stdlib.dict_lookup warm success match 0.0551 0.00s
stdlib.dict_lookup warm success match 0.0623 0.00s
stdlib.dict_lookup warm success match 0.0555 0.00s
stdlib.json_parse cold success match 0.5585 0.00s
stdlib.json_parse warm success match 0.3708 0.00s
stdlib.json_parse warm success match 0.3632 0.00s
stdlib.json_parse warm success match 0.3746 0.00s
stdlib.json_parse warm success match 0.3527 0.00s
stdlib.json_parse warm success match 0.3924 0.00s

Proof Packs

📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/b17d0fb502e640c38e734b62
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/ac6bb02eb69a49a1b180ccf7
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/f6a8500880f04e1d85a07852
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/56a5097b04c74757b2760b7b
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/8d34a3d317f144e9a0fbcc82
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/85f34830f0d645abaa05ce7e
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/e7ae66771d844315871d3b26
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/6ef897886536447692d6a428
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/8a7de52a504e4acea6ef3e10
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/160b24fd997a49e88f1546f3
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/7b1e3031ada748a4b302af82
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/7542547abd50426188eff054
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/afeffefa11b346749a39a2a0
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/eecad4fdf76044ee8e81da7c
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/8cd8440d721b470ea5587328
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/1ab154969c404ab7b1e8768d
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/865ed8020075453487224c5a
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/69799353935f40bb9eb2c957
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/8e8aeb73c0e344c3b0e242d1
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/fb8c8806295f4423aa4035ee
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/1307756dbf0144eb8e0be439
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/016b20f218af4a5ab3622525
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/e69ae2be66ec45399a948e61
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/8d5da82350bf4b48b5c8a554
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/eb250e96efd54b0ea1e1b6a9
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/aa35982a16944588bec2ef3c
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/296e6b02a20f452bba6793e8
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/e4f1d53816ee407d8a005746
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/d990261a279a4532a7872ef2
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/9c5f43ce65fd46a6933bbf69
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/fbd748c3c0204bfa8844a808
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/dd63a5863351403faa21a36d
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/2a6d7c5af6db49ce84fe0b8b
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/44f115709e954eb3bce5298f
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/88043fa06201428fb6c207b8
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/5dc07c23de314e70b8fcca22
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/288547bedf314786a187c64e
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/44c4fee4753145bab1a46128
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/9a30ae83f6e04a3ba3f34236
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/0428d6b194d043c6a4abb4db
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/95f88c70659b4804a2e242bd
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/571ab9d0c5724f4d80e16a5d
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/0d9e5ef1fc5f4aa7aaed12c6
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/68b1e7f40ab241358ea86690
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/301d179b49df42e193b050eb
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/d641986561224d48b919ccd8
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/96b2eac01ee14b21b1cdffd5
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/9fed3468a6e44a7d89578dff
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/a79fc3e933104ec9878ec66b
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/f2dab6baa5a44b05a25eb35d
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/f4c5b216caba48e89011e54e
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/bc68e92866f34705ba454b1b
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/c9e908a690b54179b04efaff
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/62e4387196e84daf8dbc7498
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/87ab0eaca32f4aafb778d3ea
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/03fe678be6b747cf8a8ca355
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/f3e51cee1b794ccfbd78f5a3
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/f844dc4499064479be5f7234
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/52b92fbad3f94faeb545e228
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/6a3e82df924b44a0bfef894b
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/a44c6bdcb84444888b6b8ba6
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/470d1145b61f443c9c3ffb04
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/2d2b67946ae647eab12791f4
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/5fbd92ffb0d44eb091e203f3
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/cb7078ca550940a895d50cf0
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/612fedfe2b23453cb96229bb/3ab8a6f4133e48dba455875e

← Back to campaigns