harness:full_quick:cpython-system:small

finished · cpython-system

← All campaigns

Campaign Summary

ID: 65fb225d62024c2fbe69606a

Started: 2026-07-18 23:51:48.776226
Finished: 2026-07-18 23:52:06.007132
Duration: 17.2s

21
Workloads
126
Cases
126
Passed
0
Failed
0
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.2129
cold mean ms
0.1916
warm mean ms
0.1963
warm median ms
0.0087
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.2891
cold mean ms
0.3023
warm mean ms
0.3054
warm median ms
0.0161
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.0564
cold mean ms
0.0262
warm mean ms
0.0249
warm median ms
0.0035
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0727
cold mean ms
0.0472
warm mean ms
0.0470
warm median ms
0.0019
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

5.0299
cold mean ms
5.3422
warm mean ms
4.9215
warm median ms
1.0408
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

0.8644
cold mean ms
0.8884
warm mean ms
0.8932
warm median ms
0.0298
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.2968
cold mean ms
0.2675
warm mean ms
0.2701
warm median ms
0.0207
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

0.4163
cold mean ms
0.3145
warm mean ms
0.3448
warm median ms
0.0727
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.1971
cold mean ms
0.1679
warm mean ms
0.1668
warm median ms
0.0046
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

0.5623
cold mean ms
0.3659
warm mean ms
0.3625
warm median ms
0.0164
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.0942
cold mean ms
0.0542
warm mean ms
0.0541
warm median ms
0.0010
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

0.8939
cold mean ms
0.8463
warm mean ms
0.8425
warm median ms
0.0295
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0644
cold mean ms
0.0657
warm mean ms
0.0677
warm median ms
0.0038
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

9.3087
cold mean ms
9.3624
warm mean ms
9.2487
warm median ms
0.2610
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

102.0305
cold mean ms
102.0435
warm mean ms
101.2810
warm median ms
3.1202
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

0.2406
cold mean ms
0.1769
warm mean ms
0.1722
warm median ms
0.0440
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

1.4977
cold mean ms
1.7471
warm mean ms
1.8758
warm median ms
0.2474
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

11.0422
cold mean ms
9.5266
warm mean ms
8.2650
warm median ms
2.0991
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

1.8092
cold mean ms
2.0621
warm mean ms
1.8960
warm median ms
0.3574
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

1.0399
cold mean ms
0.9553
warm mean ms
0.9308
warm median ms
0.0713
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

41.8813
cold mean ms
45.6093
warm mean ms
43.2507
warm median ms
6.2513
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.particle_movement

Case Runs

Workload Phase Status Correctness Mean ms Duration
compression.rle_roundtrip cold success match 102.0305 0.00s
compression.rle_roundtrip warm success match 98.7301 0.00s
compression.rle_roundtrip warm success match 104.4114 0.00s
compression.rle_roundtrip warm success match 99.7102 0.00s
compression.rle_roundtrip warm success match 101.2810 0.00s
compression.rle_roundtrip warm success match 106.0848 0.00s
core.float_reduction cold success match 0.2891 0.00s
core.float_reduction warm success match 0.2804 0.00s
core.float_reduction warm success match 0.3069 0.00s
core.float_reduction warm success match 0.3054 0.00s
core.float_reduction warm success match 0.2947 0.00s
core.float_reduction warm success match 0.3239 0.00s
core.integer_sum cold success match 0.2129 0.00s
core.integer_sum warm success match 0.1963 0.00s
core.integer_sum warm success match 0.1783 0.00s
core.integer_sum warm success match 0.1988 0.00s
core.integer_sum warm success match 0.1971 0.00s
core.integer_sum warm success match 0.1875 0.00s
core.list_filter cold success match 0.0564 0.00s
core.list_filter warm success match 0.0242 0.00s
core.list_filter warm success match 0.0252 0.00s
core.list_filter warm success match 0.0244 0.00s
core.list_filter warm success match 0.0325 0.00s
core.list_filter warm success match 0.0249 0.00s
crypto.fnv1a_hash cold success match 9.3087 0.00s
crypto.fnv1a_hash warm success match 9.5204 0.00s
crypto.fnv1a_hash warm success match 9.1321 0.00s
crypto.fnv1a_hash warm success match 9.7421 0.00s
crypto.fnv1a_hash warm success match 9.2487 0.00s
crypto.fnv1a_hash warm success match 9.1688 0.00s
data_processing.csv_parse cold success match 0.4163 0.00s
data_processing.csv_parse warm success match 0.3448 0.00s
data_processing.csv_parse warm success match 0.3738 0.00s
data_processing.csv_parse warm success match 0.2194 0.00s
data_processing.csv_parse warm success match 0.2554 0.00s
data_processing.csv_parse warm success match 0.3791 0.00s
etl.group_by_aggregate cold success match 1.4977 0.00s
etl.group_by_aggregate warm success match 1.4862 0.00s
etl.group_by_aggregate warm success match 1.9668 0.00s
etl.group_by_aggregate warm success match 1.8758 0.00s
etl.group_by_aggregate warm success match 1.9358 0.00s
etl.group_by_aggregate warm success match 1.4710 0.00s
etl.merge_join cold success match 11.0422 0.00s
etl.merge_join warm success match 11.2797 0.00s
etl.merge_join warm success match 7.7090 0.00s
etl.merge_join warm success match 8.0945 0.00s
etl.merge_join warm success match 12.2845 0.00s
etl.merge_join warm success match 8.2650 0.00s
image.grayscale_filter cold success match 0.2406 0.00s
image.grayscale_filter warm success match 0.2261 0.00s
image.grayscale_filter warm success match 0.1262 0.00s
image.grayscale_filter warm success match 0.1722 0.00s
image.grayscale_filter warm success match 0.2168 0.00s
image.grayscale_filter warm success match 0.1430 0.00s
iot.rolling_average cold success match 0.1971 0.00s
iot.rolling_average warm success match 0.1633 0.00s
iot.rolling_average warm success match 0.1640 0.00s
iot.rolling_average warm success match 0.1668 0.00s
iot.rolling_average warm success match 0.1724 0.00s
iot.rolling_average warm success match 0.1730 0.00s
numerical.dot_product cold success match 0.0727 0.00s
numerical.dot_product warm success match 0.0459 0.00s
numerical.dot_product warm success match 0.0449 0.00s
numerical.dot_product warm success match 0.0492 0.00s
numerical.dot_product warm success match 0.0491 0.00s
numerical.dot_product warm success match 0.0470 0.00s
numerical.matrix_multiply cold success match 5.0299 0.00s
numerical.matrix_multiply warm success match 4.9215 0.00s
numerical.matrix_multiply warm success match 4.7815 0.00s
numerical.matrix_multiply warm success match 7.1928 0.00s
numerical.matrix_multiply warm success match 4.7671 0.00s
numerical.matrix_multiply warm success match 5.0480 0.00s
numerical.monte_carlo_pi cold success match 0.8644 0.00s
numerical.monte_carlo_pi warm success match 0.8932 0.00s
numerical.monte_carlo_pi warm success match 0.8766 0.00s
numerical.monte_carlo_pi warm success match 0.9018 0.00s
numerical.monte_carlo_pi warm success match 0.9250 0.00s
numerical.monte_carlo_pi warm success match 0.8453 0.00s
numerical.prime_sieve cold success match 0.2968 0.00s
numerical.prime_sieve warm success match 0.2471 0.00s
numerical.prime_sieve warm success match 0.2984 0.00s
numerical.prime_sieve warm success match 0.2701 0.00s
numerical.prime_sieve warm success match 0.2499 0.00s
numerical.prime_sieve warm success match 0.2720 0.00s
simulation.particle_movement cold success match 41.8813 0.00s
simulation.particle_movement warm success match 43.2507 0.00s
simulation.particle_movement warm success match 41.0712 0.00s
simulation.particle_movement warm success match 39.3310 0.00s
simulation.particle_movement warm success match 53.6023 0.00s
simulation.particle_movement warm success match 50.7912 0.00s
stdlib.dict_lookup cold success match 0.0942 0.00s
stdlib.dict_lookup warm success match 0.0555 0.00s
stdlib.dict_lookup warm success match 0.0534 0.00s
stdlib.dict_lookup warm success match 0.0541 0.00s
stdlib.dict_lookup warm success match 0.0548 0.00s
stdlib.dict_lookup warm success match 0.0532 0.00s
stdlib.json_parse cold success match 0.5623 0.00s
stdlib.json_parse warm success match 0.3546 0.00s
stdlib.json_parse warm success match 0.3625 0.00s
stdlib.json_parse warm success match 0.3938 0.00s
stdlib.json_parse warm success match 0.3530 0.00s
stdlib.json_parse warm success match 0.3657 0.00s
string.log_parser cold success match 1.8092 0.00s
string.log_parser warm success match 1.8737 0.00s
string.log_parser warm success match 1.8960 0.00s
string.log_parser warm success match 1.9743 0.00s
string.log_parser warm success match 2.6970 0.00s
string.log_parser warm success match 1.8696 0.00s
tree.bst_operations cold success match 1.0399 0.00s
tree.bst_operations warm success match 0.9308 0.00s
tree.bst_operations warm success match 0.9305 0.00s
tree.bst_operations warm success match 0.9330 0.00s
tree.bst_operations warm success match 0.9014 0.00s
tree.bst_operations warm success match 1.0808 0.00s
web.http_parser cold success match 0.8939 0.00s
web.http_parser warm success match 0.8073 0.00s
web.http_parser warm success match 0.8812 0.00s
web.http_parser warm success match 0.8425 0.00s
web.http_parser warm success match 0.8316 0.00s
web.http_parser warm success match 0.8688 0.00s
web.url_router cold success match 0.0644 0.00s
web.url_router warm success match 0.0610 0.00s
web.url_router warm success match 0.0677 0.00s
web.url_router warm success match 0.0623 0.00s
web.url_router warm success match 0.0692 0.00s
web.url_router warm success match 0.0682 0.00s

Proof Packs

📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/0af85a7c29804aceaf4aad4e
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/e78eaffce6df4e06983c76c6
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/688268f5277740cfb4b39839
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/b1b75fbb6d774cceab52b76a
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/50963efbed734c5eba989921
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/37a12e4a15524352b828ff54
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/41ea60e3f093416a9a6f3f7b
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/f66bc8d4945b4d788d027e0d
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/3e115e1a32814f30a22531e5
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/fbecffd252cd4413bc0ccacd
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/01ec5b15871f47c8801a6a93
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/67f4416e9c3444dca18cb884
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/20e5dfc094324dddb5d38f32
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/c00a0028906c46b495b0f034
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/4854c70943e54c958d1c99de
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/2fa60af8a8484c018dc3be7e
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/140e0a3b43b745798f0034b8
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/74a7ce095afa4d4aba606e2e
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/c6b7d8989aaf4e7891a19b6f
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/5309dfab004f4b96821eeee7
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/02c9c25e15384e86b135314c
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/eb2e2dab8c9e43d5bdc95d52
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/fecffa50744f45cab3b651b8
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/8fc8b4ec78114c4b888b0846
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/d58ea0969c2b4e3cac790322
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/8954353ac26f4f75b75a58ca
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/c8f20a943b4b46c7a61cc2b5
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/ee5edbf795bd485d94054b83
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/0d7f28f075b046e5a77fe996
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/acd48b0457934378bd6f75e1
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/5752cfe56ed54bf092f8102f
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/8ef38aaa0ef443ea8282a3d8
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/33b7e9a2797949c18b0ccbb8
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/c91cdde3d9da4f7f87b7ea41
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/23ec9fb806554ab19864c64b
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/e7d9f094af264672b4da7af3
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/683aa76f88f545f196a2ea03
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/999acc1cbd714772812bc51a
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/98af4ad8040041b792a81eaf
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/1a336fb77a7445caa5d44ce5
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/4571c3bb66fa400694af051d
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/bc802127e9b44ae988eba042
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/056b386642ad487f91bf7062
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/9e4c4bc101124127a222b91a
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/d216c82565f64ff1b36bad1d
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/585589ca9bf74f00991d8a6e
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/f116cacc245b4af4a5c872d8
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/ed304d4da33742c6a6b8f616
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/9bb7ee299d5d4d35b599e018
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/7cfad07354b8481fbd96eb4f
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/b6a9b1fa26e1488fb1679e03
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/913c9d5298d7467992a4300d
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/f04dfc285b9e42569a48dca0
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/7510cdb94acf4fa1af2b22b1
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/33e6af2d79494431b2cda5cc
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/979b284003c94d0eb2ff0bf5
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/4a968be4b069489ea6edd993
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/dce36f18423c4ca5a01c4f57
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/965647d95e204afebb0c3c3c
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/11c4e1a033d84d18a46cf2d2
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/19b107fcb53d4d499c94b386
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/890d12729ad346c594914d3a
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/be645ede58ca400b9df9cd8f
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/d2d417428aa444cb8099e7fb
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/05f54ed3533948c2a902da3a
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/46fac8b60d514b77a02e1c12
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/a913104681d8405eb5bc1196
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/5d5e2e6ca4ad445d89ec0748
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/f61f8b657dbd40deb886aa38
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/2791ccf5f0d047eb921590c7
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/fe212fe2a6874fac9c48329d
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/b53cdc15611b447f9bff6143
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/a335898efd7c47d5a0f874ac
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/c58d2a1081d44214948bede5
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/4d39bca2c1c94ca8887df493
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/362731e8a009475886fce0e3
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/1a350db7febe48748424516b
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/d9dbdeb4376744fba1ac1822
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/7441e5bc4b3a45ffb09f0b08
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/7e430c4892f04a6a9dd642c6
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/de1d99faf35f4486b6aedf8a
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/d33fb92763f14e76a1e2d289
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/ab79b1288c8b499cadbea41d
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/016ab85b732547b4b50ce8ee
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/d7c02e2538174be7adc44120
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/3c6f49d3b5bc452d9bbb37aa
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/cd9b9cc2ed3e45d793c97220
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/7a22d76492de4ef7af99da84
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/e72b367637d54a5c80eed0d3
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/f5abb3010f4745e58d427661
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/3645e3018e3f46b5a2756b45
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/88cde6335fc24720a32e936f
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/de0f33048a8b4fd5afe702e9
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/0f8c61cebe63495594fb7967
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/bd05882795294220a2507e1f
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/0b78bb5979144a718ba3db3b
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/93aa207756bc434fa38953d4
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/476fad51341048789e75e62f
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/b61537d8d19647f1988f62b2
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/5ac9b71bc2054feab4458b07
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/2b926cd4b831422eb01a14da
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/2fb146afd057432c8e838b30
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/bfc88a9810f8432bbe668396
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/dfbade57b9844030824ca74c
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/f9bf836e818f4a2d97cf504a
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/66be9ea572eb456a959c5d5b
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/04cd29746a0e497f8533166d
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/c2831b15dc0b47e0b5247da2
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/e0d99f067d8347afb7870390
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/f8bf8025a7254dc38361bae0
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/9a6c764e99214c8e9b1b024d
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/cd9ec4ca77bb4f63a14cf770
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/4302d7ea119b4c7fba7a52fa
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/6260f5fd0f894980ad1c2014
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/ad4cc0c311fe4392af66c2e2
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/741991def33643aea2e6669a
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/0f0265e9abd84e70be717f31
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/dd784b7bec2340f9b47540ab
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/12d99c8dc0764d8c94fda815
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/23fd457964c149a983fd4246
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/e759117300364a87944c4058
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/c781879c62224f66b402d5e5
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/74a6f81b602e4a5ca2ddca08
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/e5ea4113ad8144f5a5ccb3be
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/d14f03f68bc2492288fc976b
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/65fb225d62024c2fbe69606a/8651415a718941469eecb5f0

← Back to campaigns