harness:full_quick:cpython-system:small

finished · cpython-system

← All campaigns

Campaign Summary

ID: 17b7d5c168bc4097aecac8da

Started: 2026-07-19 00:49:57.323001
Finished: 2026-07-19 00:50:21.216547
Duration: 23.9s

31
Workloads
186
Cases
186
Passed
0
Failed
0
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.2136
cold mean ms
0.2054
warm mean ms
0.1842
warm median ms
0.0467
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.2889
cold mean ms
0.2923
warm mean ms
0.2914
warm median ms
0.0128
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.0334
cold mean ms
0.0252
warm mean ms
0.0236
warm median ms
0.0024
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0714
cold mean ms
0.0449
warm mean ms
0.0439
warm median ms
0.0035
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

5.1365
cold mean ms
5.0763
warm mean ms
5.0181
warm median ms
0.2511
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

0.8275
cold mean ms
0.8569
warm mean ms
0.8527
warm median ms
0.0159
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.3040
cold mean ms
0.3551
warm mean ms
0.4000
warm median ms
0.0854
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

0.4298
cold mean ms
0.2689
warm mean ms
0.2466
warm median ms
0.0642
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.3625
cold mean ms
0.2176
warm mean ms
0.2041
warm median ms
0.0503
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

0.9192
cold mean ms
0.4067
warm mean ms
0.3958
warm median ms
0.0385
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.0965
cold mean ms
0.0779
warm mean ms
0.0712
warm median ms
0.0170
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

0.8597
cold mean ms
0.8691
warm mean ms
0.8667
warm median ms
0.0329
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0710
cold mean ms
0.0686
warm mean ms
0.0614
warm median ms
0.0165
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

8.9388
cold mean ms
9.5449
warm mean ms
9.0557
warm median ms
0.9798
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

100.3496
cold mean ms
102.2894
warm mean ms
100.8222
warm median ms
3.1065
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

0.3892
cold mean ms
0.1248
warm mean ms
0.1221
warm median ms
0.0074
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

1.8145
cold mean ms
1.5335
warm mean ms
1.2216
warm median ms
0.4931
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

7.6052
cold mean ms
7.3794
warm mean ms
7.1629
warm median ms
0.3574
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

1.8318
cold mean ms
1.8749
warm mean ms
1.8721
warm median ms
0.0373
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

1.0079
cold mean ms
0.9484
warm mean ms
0.9095
warm median ms
0.1322
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

41.2730
cold mean ms
42.2355
warm mean ms
41.2652
warm median ms
2.3489
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.particle_movement

ml.knn_inference

0.2634
cold mean ms
0.1070
warm mean ms
0.1069
warm median ms
0.0059
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for ml.knn_inference

financial.moving_average

5.3228
cold mean ms
5.0788
warm mean ms
5.0128
warm median ms
0.2613
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for financial.moving_average

parsing.csv_tokenize

1.0875
cold mean ms
1.0796
warm mean ms
1.0018
warm median ms
0.1261
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.csv_tokenize

parsing.ini_parse

0.9815
cold mean ms
0.9933
warm mean ms
0.9851
warm median ms
0.0453
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.ini_parse

graph.bfs

0.3082
cold mean ms
0.1761
warm mean ms
0.1732
warm median ms
0.0093
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.bfs

sorting.merge_sort

0.6068
cold mean ms
0.7489
warm mean ms
0.6122
warm median ms
0.2285
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for sorting.merge_sort

object.shape_area

3.9034
cold mean ms
2.5917
warm mean ms
2.3575
warm median ms
0.4073
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for object.shape_area

serialization.json_serialize

18.7443
cold mean ms
19.9942
warm mean ms
19.1838
warm median ms
1.7430
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for serialization.json_serialize

text.word_count

5.4234
cold mean ms
5.7498
warm mean ms
5.7089
warm median ms
0.1361
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for text.word_count

numerical.matrix_vector

25.8083
cold mean ms
26.4434
warm mean ms
26.1366
warm median ms
0.8107
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_vector

Case Runs

Workload Phase Status Correctness Mean ms Duration
compression.rle_roundtrip cold success match 100.3496 0.00s
compression.rle_roundtrip warm success match 99.5728 0.00s
compression.rle_roundtrip warm success match 100.8222 0.00s
compression.rle_roundtrip warm success match 104.0006 0.00s
compression.rle_roundtrip warm success match 106.9229 0.00s
compression.rle_roundtrip warm success match 100.1282 0.00s
core.float_reduction cold success match 0.2889 0.00s
core.float_reduction warm success match 0.2833 0.00s
core.float_reduction warm success match 0.3132 0.00s
core.float_reduction warm success match 0.2930 0.00s
core.float_reduction warm success match 0.2914 0.00s
core.float_reduction warm success match 0.2804 0.00s
core.integer_sum cold success match 0.2136 0.00s
core.integer_sum warm success match 0.1808 0.00s
core.integer_sum warm success match 0.1923 0.00s
core.integer_sum warm success match 0.2885 0.00s
core.integer_sum warm success match 0.1842 0.00s
core.integer_sum warm success match 0.1814 0.00s
core.list_filter cold success match 0.0334 0.00s
core.list_filter warm success match 0.0234 0.00s
core.list_filter warm success match 0.0270 0.00s
core.list_filter warm success match 0.0236 0.00s
core.list_filter warm success match 0.0233 0.00s
core.list_filter warm success match 0.0285 0.00s
crypto.fnv1a_hash cold success match 8.9388 0.00s
crypto.fnv1a_hash warm success match 9.0557 0.00s
crypto.fnv1a_hash warm success match 9.3556 0.00s
crypto.fnv1a_hash warm success match 9.0164 0.00s
crypto.fnv1a_hash warm success match 11.2791 0.00s
crypto.fnv1a_hash warm success match 9.0176 0.00s
data_processing.csv_parse cold success match 0.4298 0.00s
data_processing.csv_parse warm success match 0.3817 0.00s
data_processing.csv_parse warm success match 0.2466 0.00s
data_processing.csv_parse warm success match 0.2568 0.00s
data_processing.csv_parse warm success match 0.2343 0.00s
data_processing.csv_parse warm success match 0.2248 0.00s
etl.group_by_aggregate cold success match 1.8145 0.00s
etl.group_by_aggregate warm success match 1.1986 0.00s
etl.group_by_aggregate warm success match 1.2216 0.00s
etl.group_by_aggregate warm success match 1.1451 0.00s
etl.group_by_aggregate warm success match 1.8557 0.00s
etl.group_by_aggregate warm success match 2.2467 0.00s
etl.merge_join cold success match 7.6052 0.00s
etl.merge_join warm success match 7.7916 0.00s
etl.merge_join warm success match 7.0886 0.00s
etl.merge_join warm success match 7.1629 0.00s
etl.merge_join warm success match 7.7471 0.00s
etl.merge_join warm success match 7.1067 0.00s
financial.moving_average cold success match 5.3228 0.00s
financial.moving_average warm success match 4.8762 0.00s
financial.moving_average warm success match 4.8373 0.00s
financial.moving_average warm success match 5.0128 0.00s
financial.moving_average warm success match 5.4738 0.00s
financial.moving_average warm success match 5.1940 0.00s
graph.bfs cold success match 0.3082 0.00s
graph.bfs warm success match 0.1732 0.00s
graph.bfs warm success match 0.1923 0.00s
graph.bfs warm success match 0.1686 0.00s
graph.bfs warm success match 0.1745 0.00s
graph.bfs warm success match 0.1718 0.00s
image.grayscale_filter cold success match 0.3892 0.00s
image.grayscale_filter warm success match 0.1359 0.00s
image.grayscale_filter warm success match 0.1213 0.00s
image.grayscale_filter warm success match 0.1279 0.00s
image.grayscale_filter warm success match 0.1221 0.00s
image.grayscale_filter warm success match 0.1167 0.00s
iot.rolling_average cold success match 0.3625 0.00s
iot.rolling_average warm success match 0.2041 0.00s
iot.rolling_average warm success match 0.2501 0.00s
iot.rolling_average warm success match 0.1654 0.00s
iot.rolling_average warm success match 0.2871 0.00s
iot.rolling_average warm success match 0.1811 0.00s
ml.knn_inference cold success match 0.2634 0.00s
ml.knn_inference warm success match 0.1028 0.00s
ml.knn_inference warm success match 0.1003 0.00s
ml.knn_inference warm success match 0.1069 0.00s
ml.knn_inference warm success match 0.1153 0.00s
ml.knn_inference warm success match 0.1096 0.00s
numerical.dot_product cold success match 0.0714 0.00s
numerical.dot_product warm success match 0.0510 0.00s
numerical.dot_product warm success match 0.0418 0.00s
numerical.dot_product warm success match 0.0439 0.00s
numerical.dot_product warm success match 0.0439 0.00s
numerical.dot_product warm success match 0.0441 0.00s
numerical.matrix_multiply cold success match 5.1365 0.00s
numerical.matrix_multiply warm success match 5.0371 0.00s
numerical.matrix_multiply warm success match 5.5044 0.00s
numerical.matrix_multiply warm success match 4.9794 0.00s
numerical.matrix_multiply warm success match 4.8426 0.00s
numerical.matrix_multiply warm success match 5.0181 0.00s
numerical.matrix_vector cold success match 25.8083 0.00s
numerical.matrix_vector warm success match 25.9277 0.00s
numerical.matrix_vector warm success match 26.1552 0.00s
numerical.matrix_vector warm success match 26.1132 0.00s
numerical.matrix_vector warm success match 27.8845 0.00s
numerical.matrix_vector warm success match 26.1366 0.00s
numerical.monte_carlo_pi cold success match 0.8275 0.00s
numerical.monte_carlo_pi warm success match 0.8522 0.00s
numerical.monte_carlo_pi warm success match 0.8589 0.00s
numerical.monte_carlo_pi warm success match 0.8821 0.00s
numerical.monte_carlo_pi warm success match 0.8527 0.00s
numerical.monte_carlo_pi warm success match 0.8386 0.00s
numerical.prime_sieve cold success match 0.3040 0.00s
numerical.prime_sieve warm success match 0.2714 0.00s
numerical.prime_sieve warm success match 0.2538 0.00s
numerical.prime_sieve warm success match 0.4188 0.00s
numerical.prime_sieve warm success match 0.4000 0.00s
numerical.prime_sieve warm success match 0.4315 0.00s
object.shape_area cold success match 3.9034 0.00s
object.shape_area warm success match 3.2610 0.00s
object.shape_area warm success match 2.3575 0.00s
object.shape_area warm success match 2.3281 0.00s
object.shape_area warm success match 2.7017 0.00s
object.shape_area warm success match 2.3103 0.00s
parsing.csv_tokenize cold success match 1.0875 0.00s
parsing.csv_tokenize warm success match 1.2702 0.00s
parsing.csv_tokenize warm success match 1.1475 0.00s
parsing.csv_tokenize warm success match 1.0018 0.00s
parsing.csv_tokenize warm success match 1.0016 0.00s
parsing.csv_tokenize warm success match 0.9769 0.00s
parsing.ini_parse cold success match 0.9815 0.00s
parsing.ini_parse warm success match 0.9551 0.00s
parsing.ini_parse warm success match 0.9851 0.00s
parsing.ini_parse warm success match 0.9545 0.00s
parsing.ini_parse warm success match 1.0079 0.00s
parsing.ini_parse warm success match 1.0639 0.00s
serialization.json_serialize cold success match 18.7443 0.00s
serialization.json_serialize warm success match 18.8438 0.00s
serialization.json_serialize warm success match 19.1838 0.00s
serialization.json_serialize warm success match 23.0578 0.00s
serialization.json_serialize warm success match 19.7413 0.00s
serialization.json_serialize warm success match 19.1444 0.00s
simulation.particle_movement cold success match 41.2730 0.00s
simulation.particle_movement warm success match 41.2652 0.00s
simulation.particle_movement warm success match 40.8855 0.00s
simulation.particle_movement warm success match 41.3924 0.00s
simulation.particle_movement warm success match 41.2104 0.00s
simulation.particle_movement warm success match 46.4239 0.00s
sorting.merge_sort cold success match 0.6068 0.00s
sorting.merge_sort warm success match 0.6122 0.00s
sorting.merge_sort warm success match 0.9725 0.00s
sorting.merge_sort warm success match 1.0226 0.00s
sorting.merge_sort warm success match 0.5552 0.00s
sorting.merge_sort warm success match 0.5821 0.00s
stdlib.dict_lookup cold success match 0.0965 0.00s
stdlib.dict_lookup warm success match 0.0565 0.00s
stdlib.dict_lookup warm success match 0.0712 0.00s
stdlib.dict_lookup warm success match 0.0712 0.00s
stdlib.dict_lookup warm success match 0.0953 0.00s
stdlib.dict_lookup warm success match 0.0955 0.00s
stdlib.json_parse cold success match 0.9192 0.00s
stdlib.json_parse warm success match 0.4694 0.00s
stdlib.json_parse warm success match 0.3958 0.00s
stdlib.json_parse warm success match 0.4145 0.00s
stdlib.json_parse warm success match 0.3818 0.00s
stdlib.json_parse warm success match 0.3721 0.00s
string.log_parser cold success match 1.8318 0.00s
string.log_parser warm success match 1.8425 0.00s
string.log_parser warm success match 1.8813 0.00s
string.log_parser warm success match 1.8443 0.00s
string.log_parser warm success match 1.8721 0.00s
string.log_parser warm success match 1.9344 0.00s
text.word_count cold success match 5.4234 0.00s
text.word_count warm success match 5.6387 0.00s
text.word_count warm success match 5.8532 0.00s
text.word_count warm success match 5.6190 0.00s
text.word_count warm success match 5.9295 0.00s
text.word_count warm success match 5.7089 0.00s
tree.bst_operations cold success match 1.0079 0.00s
tree.bst_operations warm success match 0.9188 0.00s
tree.bst_operations warm success match 0.9095 0.00s
tree.bst_operations warm success match 0.8856 0.00s
tree.bst_operations warm success match 0.8481 0.00s
tree.bst_operations warm success match 1.1798 0.00s
web.http_parser cold success match 0.8597 0.00s
web.http_parser warm success match 0.8974 0.00s
web.http_parser warm success match 0.8412 0.00s
web.http_parser warm success match 0.9069 0.00s
web.http_parser warm success match 0.8330 0.00s
web.http_parser warm success match 0.8667 0.00s
web.url_router cold success match 0.0710 0.00s
web.url_router warm success match 0.0601 0.00s
web.url_router warm success match 0.0981 0.00s
web.url_router warm success match 0.0614 0.00s
web.url_router warm success match 0.0609 0.00s
web.url_router warm success match 0.0627 0.00s

Proof Packs

📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/303ee78ec0a14455bf567d71
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/bc3bb1dae39a4b16bd6f0aa9
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a5647faa489d4b149ce9f615
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/10cf3df64bdb4ceca024ff59
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/9ea6739db39f4f86a2b83c0b
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/c3f6d40515044e47a1f2c398
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1ff4a20398b245dfbe627a92
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/f3c190e08bc241dcb73a6726
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a2d8b3b974be44a3a32e0551
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/75a35e5f316c4bfb979b976a
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/9ee11289be954200812749fa
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/196a154b94a1448ab9f60259
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/74931799c544427d8c1ba9e7
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/250cae585a8342999a75165e
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/e41062a9cfa346ff8c1b2bbe
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1cd8673844a14e43acbd98cd
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/49f2ebc26df3445aa3f90def
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/7aa7154c797d4b319b6fd22b
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1b15a48fdadb41b0ae761017
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/c31eadaf1607414a9f2dddec
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1b4d0c3a1bd3498cb0e051ef
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/0589999fec084f8aa5869736
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/04072ca8cd7848a5b2124538
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/fa82ac265ef14b639b66d90f
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1d2a3c07c287483e862bed51
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/c6c4229c84ee479bae74728d
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/62aa7af4747143539ef26271
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/b12142f5147a4996b809060f
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/edb57d3769ff4d8eb795fa98
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/9cd2e5650d2740a8a2901652
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/4751f4dfd16e46a2b425807e
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/e63207f3dd30430ca809a0eb
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a97ed7609eff49f4a3598048
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/9a666b343980494e9e72ead2
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/3d472ee2c66f453392d30228
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/59861f05762d4a8c8837369b
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/70611989f16a4b51bb523889
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/b9f1315a47b54a1a9b03be15
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/52aedfdce4cf47fda2e9e7ae
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/feb2c5ac7d044970a2ff9603
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/f68c41c5cefa4cbe902fcff4
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/4da22342575b44739aa6aa68
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1e11905ac9e04b0c9af92509
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/f5d9cc0e75e74ffe8f0c7a10
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/4b7bef903b2444cfad5249b6
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/21b88d75bd794b2a822b148c
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/6a4e0839782443b5867fcf07
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/bda962d3a47a4e09976ab52e
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/9b7975d270864c74bb58a052
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/da8c76967f9b44eca72ba413
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/ea7e869a8ce84fd08ef83d13
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/6af8a369d39d42bcabebe37a
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/5b5a8b5dfdad4de8b66f4b7c
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/65792eac2c3144de8c1828bc
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/fe0c34d716c14af6b87530b8
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/61676bda7c0442848506e532
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/ba6a92c8a16b41cfbdce2574
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/92709f677cb04b9fa7d4aa96
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/7e80a7dbdfa8409998b7a785
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/4807f70df1ad4fceb7b79a53
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/dd9e490cc297459ab208b909
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1ad0dd546c6c48428af2ceac
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/fb0b3a1cff1c4fbc95801e7e
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/7703ebd1dd204cb3b8627ae9
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/ee8fe8d8be0247ae988da94b
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/80bcdfc4e7ed4fc39ad88960
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/de54a6211b8747edaebc9342
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/77954130062a45698f97a823
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/339eb62b187a4b35afaefd38
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/578bf75ffd054a1791e69d40
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/2cbec9755a424c078c0ed717
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/7b4a602344f44b9388381580
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/9a29da90f9cb4286b719d558
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/81ba0ef5a84a43eba89a0ce8
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/dabbe1cacde040f3b315cb89
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/992d77dc9313408c81ede772
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/58aa71bd124243a28ae4c8d4
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/3005fa0b39354941abfec763
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/002b7423417241d79ab25027
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/5fd0c197adc34406adb8e25a
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/2f660c3ceb32403a8b2d15ee
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/22b2b3eb97724c398b726095
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/43cc04b4c2004f8e84270491
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/ed7b84b556494a6cadc88a47
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/ab8ac29e05a84e1494f18402
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/cd05813337a848c99537acd8
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/287055dadfe94d5281e23ac4
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/2d134a8cbecb4ae289a7e6e5
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/751113e92ca545eeaf9fc856
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/61c8ec6acd09414bb9f246de
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/25e4f215717d4846bbd56d00
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/2ff2e742e5354bd2996cdc23
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/9265455cd1c34a15a0ecffa0
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/8b3d83171c40484aaeca3ac9
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/58a7174d36ec4b4ba55ae8b9
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/0f52bd75f02d4b9585e28a4c
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/38a47f5351d14a16a526353d
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/ab84a0964ec94343b21c68db
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/4b0a43d96b81480fa037b245
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a2bc6768c3e7474a820018be
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/cc429ec42b184ea7bf2c30e9
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/3739b9427d284e56972aef91
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/65513fecfe844c26a4295454
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/27ba224bb24b4e0ab371244e
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/ec1a982729ea4848bc26e25b
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/d811917334b44823b112dff9
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a7a7a2ed75fe41edaf4cd655
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/6ee83668392c453ca20ce468
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a3e3f7db5e6748c68e1d6d83
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/4d7a2cea63aa47268bcac394
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/d768f1eeac4142a5bdf63f3b
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1b0f43b218584e6bb459b56b
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/f7fa204d5cfb4f77956787d8
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a15b1b3d3e9342f98b8dcf79
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/bc99c5d9f65145cd89193125
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/e98aedd18dfe40138c8b7bf7
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/f7fe0fce074f407cbf86cd24
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/152c9a4107634fb39f48352f
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/fb4d82bd5aa84ceab7735b0c
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/ebe021a4c83c4879b13c64b4
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/fdc45a62a2c849e38f7394ac
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/0911881cc0134dccaa4707f3
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/f9f868cf34e24aacb20954b5
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/740ce67a50b1435ca1938cef
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/38f33e80ac1f4f608f534548
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/3b83455d84b04019b407bcb5
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a0a3c675f3334004a7770ffd
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/890ee98bd5e34cdaae2d1756
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/34ca54255aa44b60bbc10fc9
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/c9a846f7006d4ea1a4f57d84
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/b975f51de57f45a7a860c8f4
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/b12bb7c2334b46b385ed5c84
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/826d23901f1f475ebb087334
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/6eb389e4403d46b58311e289
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/e4d4c198c5c947509938389d
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/c197dd8535624b12a6f71d75
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/50f466132fd34fad84028ad6
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/b70fee81a87b40c6b1c6b256
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/f26e30f680ba44009112783c
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/684b16eeee10429ea367af5b
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/adedd5ece221467c9fe3d21d
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/6140dceb8cbd4040b5b0c3aa
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/d892c98e18e143ebb9c08260
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/7dc28907f4f14ef3880c1a1d
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/573ccb9638bf4372bcd31966
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/0c38de4fa79e493494799c0a
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/995bde3a7fea4467a6f73cc4
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/77c8b6d416ae4cfba08a3beb
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/24b1b5333eee40dabeb948ca
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/012716efbb814badb6a0b0be
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/88b6e190e15b4b17b4c11f5d
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a7f0fa5785eb4cafbf8556d7
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/eeaf4f88e7aa49a8b7fc91dd
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/5dc257831c734ff5b31772f6
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/95eb169e0eff4c45a76717a5
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/f3a8ded8d07947179f5741a9
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/33b476414d5240abbe0bc835
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/e5ed0bec3b8d4322b7fcc40d
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/eff1d6fca0894e598b925396
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/5d6590e9dff14145acb69e9c
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1d23ede72e1848aaa3adae7c
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/00208ac0b5154801a55d1c00
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/f2106ef98aa145869d8b3229
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/5d1d1c84cfe543829fb76fd7
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/2ce89ea7cabb459b86d86411
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/75962e27749e410f9c2a2ad6
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/07fafaa2fb8f417e8892740a
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/9dfed4e9c1194839b5a72abd
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/dc11f958f2f54fa286098760
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/365a0dc30ed14b9eb3cd0e95
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1f595c5a93b14b8ba3af5cad
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/d74f318eda384732a5345671
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/b68d5c59313a4dad9a6f9565
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/1d21d606de6e4da7aebbcd0f
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/8553f8f2c9cf4de09c84a350
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/fb0e07cb2bfe4f4aacb5cc00
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a7bf20f7e0a2478ab0b26cd8
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/a10cbff9a4c44b3789fc595b
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/3b4b54c3c7be4e76862358ee
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/06ffdb12a9e84b5cb23ec99f
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/14143b6a57284173a322e2f3
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/c6fa229955394af4aa509b47
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/0b23736ed80a4d1bb34ad26b
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/68afec38f412438e9d463f08
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/0c4c7d36cc434075836934de
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/17b7d5c168bc4097aecac8da/451dc8da472f4745a38a6d3f

← Back to campaigns