harness:full_quick:cpython-system:small

finished · cpython-system

← All campaigns

Campaign Summary

ID: 1f2289715ea148a383d2e26e

Started: 2026-07-19 01:05:04.547510
Finished: 2026-07-19 01:05:29.246029
Duration: 24.7s

31
Workloads
186
Cases
186
Passed
0
Failed
0
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.3448
cold mean ms
0.2506
warm mean ms
0.2912
warm median ms
0.0602
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.3483
cold mean ms
0.2728
warm mean ms
0.2692
warm median ms
0.0076
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.0351
cold mean ms
0.0281
warm mean ms
0.0254
warm median ms
0.0069
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0966
cold mean ms
0.0713
warm mean ms
0.0702
warm median ms
0.0196
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

5.1692
cold mean ms
5.2676
warm mean ms
5.0189
warm median ms
0.5037
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

0.8618
cold mean ms
0.8929
warm mean ms
0.9084
warm median ms
0.0311
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.3487
cold mean ms
0.2613
warm mean ms
0.2584
warm median ms
0.0088
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

0.3946
cold mean ms
0.2972
warm mean ms
0.2267
warm median ms
0.1099
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.2018
cold mean ms
0.1715
warm mean ms
0.1724
warm median ms
0.0044
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

0.6348
cold mean ms
0.4427
warm mean ms
0.3911
warm median ms
0.1089
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.0991
cold mean ms
0.0628
warm mean ms
0.0568
warm median ms
0.0158
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

0.9109
cold mean ms
0.9402
warm mean ms
0.8839
warm median ms
0.1398
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0658
cold mean ms
0.0722
warm mean ms
0.0643
warm median ms
0.0187
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

9.2252
cold mean ms
9.2574
warm mean ms
9.2376
warm median ms
0.1343
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

105.3178
cold mean ms
104.3725
warm mean ms
105.0197
warm median ms
2.9829
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

0.2614
cold mean ms
0.1656
warm mean ms
0.1396
warm median ms
0.0459
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

1.4979
cold mean ms
1.3047
warm mean ms
1.2504
warm median ms
0.0925
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

8.0099
cold mean ms
8.9528
warm mean ms
7.6643
warm median ms
2.7784
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

1.9375
cold mean ms
1.9517
warm mean ms
1.8924
warm median ms
0.1338
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

1.0820
cold mean ms
0.9557
warm mean ms
0.9344
warm median ms
0.1044
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

48.5521
cold mean ms
45.1280
warm mean ms
45.1841
warm median ms
3.5062
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.particle_movement

ml.knn_inference

0.4315
cold mean ms
0.1337
warm mean ms
0.1034
warm median ms
0.0509
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for ml.knn_inference

financial.moving_average

6.4447
cold mean ms
4.9105
warm mean ms
4.9141
warm median ms
0.0756
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for financial.moving_average

parsing.csv_tokenize

1.0409
cold mean ms
1.2125
warm mean ms
1.0330
warm median ms
0.4265
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.csv_tokenize

parsing.ini_parse

1.0950
cold mean ms
0.9908
warm mean ms
0.9918
warm median ms
0.0282
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.ini_parse

graph.bfs

0.2958
cold mean ms
0.2174
warm mean ms
0.2005
warm median ms
0.0367
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.bfs

sorting.merge_sort

0.6230
cold mean ms
0.7102
warm mean ms
0.7064
warm median ms
0.1157
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for sorting.merge_sort

object.shape_area

3.4113
cold mean ms
2.3816
warm mean ms
2.3562
warm median ms
0.0752
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for object.shape_area

serialization.json_serialize

19.4326
cold mean ms
19.5164
warm mean ms
19.7786
warm median ms
0.5877
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for serialization.json_serialize

text.word_count

5.6832
cold mean ms
6.6041
warm mean ms
5.9197
warm median ms
1.7523
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for text.word_count

numerical.matrix_vector

31.1913
cold mean ms
26.9886
warm mean ms
26.9018
warm median ms
0.7761
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 105.3178 0.00s
compression.rle_roundtrip warm success match 108.0397 0.00s
compression.rle_roundtrip warm success match 106.0617 0.00s
compression.rle_roundtrip warm success match 102.0227 0.00s
compression.rle_roundtrip warm success match 100.7189 0.00s
compression.rle_roundtrip warm success match 105.0197 0.00s
core.float_reduction cold success match 0.3483 0.00s
core.float_reduction warm success match 0.2683 0.00s
core.float_reduction warm success match 0.2659 0.00s
core.float_reduction warm success match 0.2848 0.00s
core.float_reduction warm success match 0.2692 0.00s
core.float_reduction warm success match 0.2757 0.00s
core.integer_sum cold success match 0.3448 0.00s
core.integer_sum warm success match 0.3005 0.00s
core.integer_sum warm success match 0.1816 0.00s
core.integer_sum warm success match 0.1881 0.00s
core.integer_sum warm success match 0.2912 0.00s
core.integer_sum warm success match 0.2915 0.00s
core.list_filter cold success match 0.0351 0.00s
core.list_filter warm success match 0.0393 0.00s
core.list_filter warm success match 0.0302 0.00s
core.list_filter warm success match 0.0227 0.00s
core.list_filter warm success match 0.0230 0.00s
core.list_filter warm success match 0.0254 0.00s
crypto.fnv1a_hash cold success match 9.2252 0.00s
crypto.fnv1a_hash warm success match 9.0771 0.00s
crypto.fnv1a_hash warm success match 9.2138 0.00s
crypto.fnv1a_hash warm success match 9.4413 0.00s
crypto.fnv1a_hash warm success match 9.2376 0.00s
crypto.fnv1a_hash warm success match 9.3169 0.00s
data_processing.csv_parse cold success match 0.3946 0.00s
data_processing.csv_parse warm success match 0.4050 0.00s
data_processing.csv_parse warm success match 0.4285 0.00s
data_processing.csv_parse warm success match 0.2267 0.00s
data_processing.csv_parse warm success match 0.2247 0.00s
data_processing.csv_parse warm success match 0.2011 0.00s
etl.group_by_aggregate cold success match 1.4979 0.00s
etl.group_by_aggregate warm success match 1.2504 0.00s
etl.group_by_aggregate warm success match 1.3625 0.00s
etl.group_by_aggregate warm success match 1.2444 0.00s
etl.group_by_aggregate warm success match 1.4396 0.00s
etl.group_by_aggregate warm success match 1.2268 0.00s
etl.merge_join cold success match 8.0099 0.00s
etl.merge_join warm success match 7.6643 0.00s
etl.merge_join warm success match 13.8826 0.00s
etl.merge_join warm success match 7.3942 0.00s
etl.merge_join warm success match 7.5137 0.00s
etl.merge_join warm success match 8.3091 0.00s
financial.moving_average cold success match 6.4447 0.00s
financial.moving_average warm success match 4.8157 0.00s
financial.moving_average warm success match 5.0153 0.00s
financial.moving_average warm success match 4.9141 0.00s
financial.moving_average warm success match 4.8663 0.00s
financial.moving_average warm success match 4.9412 0.00s
graph.bfs cold success match 0.2958 0.00s
graph.bfs warm success match 0.2005 0.00s
graph.bfs warm success match 0.1894 0.00s
graph.bfs warm success match 0.1885 0.00s
graph.bfs warm success match 0.2349 0.00s
graph.bfs warm success match 0.2736 0.00s
image.grayscale_filter cold success match 0.2614 0.00s
image.grayscale_filter warm success match 0.1396 0.00s
image.grayscale_filter warm success match 0.2050 0.00s
image.grayscale_filter warm success match 0.2250 0.00s
image.grayscale_filter warm success match 0.1250 0.00s
image.grayscale_filter warm success match 0.1335 0.00s
iot.rolling_average cold success match 0.2018 0.00s
iot.rolling_average warm success match 0.1647 0.00s
iot.rolling_average warm success match 0.1755 0.00s
iot.rolling_average warm success match 0.1724 0.00s
iot.rolling_average warm success match 0.1749 0.00s
iot.rolling_average warm success match 0.1701 0.00s
ml.knn_inference cold success match 0.4315 0.00s
ml.knn_inference warm success match 0.2133 0.00s
ml.knn_inference warm success match 0.0970 0.00s
ml.knn_inference warm success match 0.1566 0.00s
ml.knn_inference warm success match 0.1034 0.00s
ml.knn_inference warm success match 0.0983 0.00s
numerical.dot_product cold success match 0.0966 0.00s
numerical.dot_product warm success match 0.0901 0.00s
numerical.dot_product warm success match 0.0702 0.00s
numerical.dot_product warm success match 0.0917 0.00s
numerical.dot_product warm success match 0.0570 0.00s
numerical.dot_product warm success match 0.0475 0.00s
numerical.matrix_multiply cold success match 5.1692 0.00s
numerical.matrix_multiply warm success match 5.2093 0.00s
numerical.matrix_multiply warm success match 4.9631 0.00s
numerical.matrix_multiply warm success match 5.0189 0.00s
numerical.matrix_multiply warm success match 6.1521 0.00s
numerical.matrix_multiply warm success match 4.9945 0.00s
numerical.matrix_vector cold success match 31.1913 0.00s
numerical.matrix_vector warm success match 26.3301 0.00s
numerical.matrix_vector warm success match 26.5049 0.00s
numerical.matrix_vector warm success match 26.9037 0.00s
numerical.matrix_vector warm success match 28.3027 0.00s
numerical.matrix_vector warm success match 26.9018 0.00s
numerical.monte_carlo_pi cold success match 0.8618 0.00s
numerical.monte_carlo_pi warm success match 0.8487 0.00s
numerical.monte_carlo_pi warm success match 0.9138 0.00s
numerical.monte_carlo_pi warm success match 0.8722 0.00s
numerical.monte_carlo_pi warm success match 0.9084 0.00s
numerical.monte_carlo_pi warm success match 0.9213 0.00s
numerical.prime_sieve cold success match 0.3487 0.00s
numerical.prime_sieve warm success match 0.2584 0.00s
numerical.prime_sieve warm success match 0.2547 0.00s
numerical.prime_sieve warm success match 0.2727 0.00s
numerical.prime_sieve warm success match 0.2685 0.00s
numerical.prime_sieve warm success match 0.2524 0.00s
object.shape_area cold success match 3.4113 0.00s
object.shape_area warm success match 2.5075 0.00s
object.shape_area warm success match 2.3436 0.00s
object.shape_area warm success match 2.3134 0.00s
object.shape_area warm success match 2.3874 0.00s
object.shape_area warm success match 2.3562 0.00s
parsing.csv_tokenize cold success match 1.0409 0.00s
parsing.csv_tokenize warm success match 0.9916 0.00s
parsing.csv_tokenize warm success match 1.0828 0.00s
parsing.csv_tokenize warm success match 1.0330 0.00s
parsing.csv_tokenize warm success match 1.9721 0.00s
parsing.csv_tokenize warm success match 0.9826 0.00s
parsing.ini_parse cold success match 1.0950 0.00s
parsing.ini_parse warm success match 0.9918 0.00s
parsing.ini_parse warm success match 1.0007 0.00s
parsing.ini_parse warm success match 1.0310 0.00s
parsing.ini_parse warm success match 0.9746 0.00s
parsing.ini_parse warm success match 0.9562 0.00s
serialization.json_serialize cold success match 19.4326 0.00s
serialization.json_serialize warm success match 18.7807 0.00s
serialization.json_serialize warm success match 18.9926 0.00s
serialization.json_serialize warm success match 19.7786 0.00s
serialization.json_serialize warm success match 20.0126 0.00s
serialization.json_serialize warm success match 20.0175 0.00s
simulation.particle_movement cold success match 48.5521 0.00s
simulation.particle_movement warm success match 45.6321 0.00s
simulation.particle_movement warm success match 45.1841 0.00s
simulation.particle_movement warm success match 44.2043 0.00s
simulation.particle_movement warm success match 50.2087 0.00s
simulation.particle_movement warm success match 40.4110 0.00s
sorting.merge_sort cold success match 0.6230 0.00s
sorting.merge_sort warm success match 0.7064 0.00s
sorting.merge_sort warm success match 0.8997 0.00s
sorting.merge_sort warm success match 0.6198 0.00s
sorting.merge_sort warm success match 0.7122 0.00s
sorting.merge_sort warm success match 0.6130 0.00s
stdlib.dict_lookup cold success match 0.0991 0.00s
stdlib.dict_lookup warm success match 0.0568 0.00s
stdlib.dict_lookup warm success match 0.0910 0.00s
stdlib.dict_lookup warm success match 0.0540 0.00s
stdlib.dict_lookup warm success match 0.0575 0.00s
stdlib.dict_lookup warm success match 0.0548 0.00s
stdlib.json_parse cold success match 0.6348 0.00s
stdlib.json_parse warm success match 0.6309 0.00s
stdlib.json_parse warm success match 0.3893 0.00s
stdlib.json_parse warm success match 0.4402 0.00s
stdlib.json_parse warm success match 0.3911 0.00s
stdlib.json_parse warm success match 0.3623 0.00s
string.log_parser cold success match 1.9375 0.00s
string.log_parser warm success match 2.1874 0.00s
string.log_parser warm success match 1.9289 0.00s
string.log_parser warm success match 1.8655 0.00s
string.log_parser warm success match 1.8924 0.00s
string.log_parser warm success match 1.8842 0.00s
text.word_count cold success match 5.6832 0.00s
text.word_count warm success match 5.6095 0.00s
text.word_count warm success match 6.0215 0.00s
text.word_count warm success match 5.9197 0.00s
text.word_count warm success match 5.7440 0.00s
text.word_count warm success match 9.7257 0.00s
tree.bst_operations cold success match 1.0820 0.00s
tree.bst_operations warm success match 0.9344 0.00s
tree.bst_operations warm success match 0.9617 0.00s
tree.bst_operations warm success match 0.8789 0.00s
tree.bst_operations warm success match 0.8733 0.00s
tree.bst_operations warm success match 1.1302 0.00s
web.http_parser cold success match 0.9109 0.00s
web.http_parser warm success match 0.8839 0.00s
web.http_parser warm success match 0.8720 0.00s
web.http_parser warm success match 0.9106 0.00s
web.http_parser warm success match 1.1870 0.00s
web.http_parser warm success match 0.8476 0.00s
web.url_router cold success match 0.0658 0.00s
web.url_router warm success match 0.0635 0.00s
web.url_router warm success match 0.1055 0.00s
web.url_router warm success match 0.0625 0.00s
web.url_router warm success match 0.0651 0.00s
web.url_router warm success match 0.0643 0.00s

Proof Packs

📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/566ef5e20c82405bb5736d42
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/506acc2b8f244cfaaf3621ae
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/6d72b16e4cf049b3a6da16e3
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/613e1f445426431ab05440a1
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/30e43aa66df04fbb861e5c72
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/2b70c32e9a844b818bba892c
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/09e48ec6b6594d658e4da245
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/3c9e5060c33f40d3a42ce623
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/cc01c6139bca403d9e1e7140
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b65cc2366156441f990616ff
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/d20a77ae15124833adea0d21
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/ceb50ae3ac4643728495de23
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/1cb2f6c01835462492260935
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/e1cde57e620346f6bfcceb63
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/98bb6da2ee80446991668651
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b13576c1e3ff4c61b66fa4ce
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/5a2ff58de2624fceb5f6b7c9
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/48efb18236e340999bc9eeed
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/9f3311550d0047258f6860ff
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/686f3015aae9447a89a920dc
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/7475b1252454470bba5ea191
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/2caa1791186e4d8cb460a75a
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/72c777a4884242ce839950f2
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/be581ab28668481d898dfa74
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b5bd1518de564401a3705210
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/1c272eb95d0a40dd93170dd5
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/55e767de006a4f049f9baa62
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/1cbcdd1aed55480ba7484c7e
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/4df3397440ff4a96a33a352c
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/7148bceba6144cfd94b064e5
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/15763dfeede34b1996f99077
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/080cc7ae22e5457dbd624fe0
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/16b345ff55a84505a5e39805
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/6927278b5deb4caabb2f0dfa
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/be03f56d7e6f4048b86963a8
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/88629ae2d8024ac7a31493c9
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/0292d61868cc4c209f4f6cdb
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/7d63cb39f9d04cfb83358be7
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/70532a75bdf14f749f4dfa25
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/fd01a8654f4f43b886190286
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/8ddfd46084b74f06ac8e6987
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/5e33d8669120439a813cab71
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/3e32b8e1230f4c0d8ef6c48d
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/7980f2f6bb17400ba4050bc1
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/d7738b04782e4796bce92bf2
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/6911d338977c41f9aa07b273
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/4a01ffc2b8524dbf85a38960
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/64206e96f8944c439228db85
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/5f76780278d34608b7b822de
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/84376e316ebb4beb8e342040
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/a9150dc7d7864377ba1fedcb
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/e720b55b4ed74f0b8371b4af
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/78fbf2191fd94aa7be3e6364
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/8e5e2ba23f5d4fa69cabc195
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/ec429d6860a745e3852132b9
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/9ca464f0debb4738b8f5dc05
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/83f2060f7c3843a1a7d65244
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/2766fa72428e4e0db9c1ca35
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/52238186881e421bb78375e7
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/9381cbb044344f8c925e194d
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/112b91a935aa4448868a27a0
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/cbf82c24fd634e98bc9560bd
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/e2bf5d8b94114d7d86d443e3
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/067124b4f267448eafb51c39
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b11645e0a86a4411b1895f0f
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/481a8fc0b8d2405c8bceb0a5
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/4b96b77348774fa1b257aa14
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/e7a34c02513144c297203f0c
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/f600626aa0534167b67722ac
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/c9502e5e27bb4c76a9b97bb7
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/595af86ebe7543ac862c49e2
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/e5ab1256cd5c491dbc15652f
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/a9fcc27fca244102ae6603cd
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/91a33ec1f5ef4f42b0e5ee65
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/eb3a9cdccec44b658e2028e6
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/2f2e0193ee294ca09d02e30d
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/e15e6640c0194240af98aaea
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/32d3bd6e03434af4adff0a3b
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/890ea13589a64b88b19670a7
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/80564c661d974e1d9826a64a
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/2abd590bfaab4c3d8bbed23e
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/75409083de7c4e15973f53ec
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b99bb51e053049cdb2a77b0c
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/6df43303bbdd4746be5fcd67
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/369708bb621548088a12d831
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/6d5825a9d33b45fbaf81f248
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/261c537cdfea4cf3b2f1c90d
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/2fa49a64280d4480a5cdcff6
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/d57f8ea103f9462e8e56f225
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/88b2f6eea3c14be681b74ddc
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/6588c2d33fd94690a09207f5
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/02f5dc0bf24f488d85f8ce89
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/02a13c53444a4b54af1f0155
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/c72e025936404895885a8df0
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/7d48f07111c44f3d9521d71f
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/3dfc572c1b99457c953ce2a7
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/74fa2e809cc949ab8f2c9aa2
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/138804c22f384cb398c57130
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b890093e363242a184ca1aae
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/538969d1ae644ae8b2c5ca62
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/3206484fd5e946329d2e2ef7
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/2886a10d92a54b2a992717d7
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/8561bb77ff7c448fabe287d2
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/bc41bc8c12574dde9774a01a
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/3cfd0bbe520f49d98c65fa4e
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/6d89c528965244da82f0782e
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/833fb298bda74af480f1a3f6
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/775453abd2c74c4ba2f1c040
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/5238b2b168a84d60a226d559
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/944977751f24449384865318
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/99dc761635854ebb91db734f
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/284dbb36520d49828ca07f8f
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/ad91db445e0947698dc3e5d8
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/d7c8e81e9af049fc9573c512
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/017082282a8d4da28343ac6e
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/bd27e2fe5007472fb6269065
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/26d0e18563c8449ca349d7e2
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/c1c8cbfcceb048c3b00b1cd9
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/96cca288c104493e972c731a
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/2a6714e8a16b43a3a48ef921
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/04ee1c8fd87947f3aa8eeb4b
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/855ec3c129214aaf8f28053b
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/ed5c2523ccea434c92280a32
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/177b935d1eec4373bed59a10
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/79a3f4944a3642ea8ad92791
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/20306ac84fde4392847f1487
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/80942d1dd04d471c95c4d593
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/adb8f5473d824c8abac44cb5
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/5201479672b84661aca80d1c
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/c9f1fcc0fd0b482f848d3fae
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/7266bdb5ce7b46008c583cda
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/9266993b92df4502910bfc52
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/7cde5ea975ff4423bd3dbbb5
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/204d1c72bbd9457c9917227c
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/8fa59f83e54d4993b1deb6e5
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b078763cae094b73a56a4dbe
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/11c1376a902d4d1e920d6293
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b49f9cc90f964f4093b61f9b
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/7d999a455e8d4f1994eb2d97
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/4de82e99b0cc4698a4e73887
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/6cd9f76fe34442f0b5c90c13
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/5f2aa109375c49c4883402da
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/c84838d095074c46bd3d6374
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/87ff6f5cec7943fb88ff0963
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/9901b33e7f7f4664ae62bf0d
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b488333a671c46a69351ec52
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/6a645edd40c64a68b689eaae
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/40cd91a7715b4edd9b0231f4
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/95b9f16877e84a549b5326ea
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/7fadb8a0373d43e296dd8f33
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/69186b90986040f2af40a907
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/dae12ba19a7745499bf6ad75
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/4d52b08ccd084206b0abd09d
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/513c2828eb3347ce80f2922c
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/3c45d9c94bb342bba79e350c
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/628e22894d34460dad8e5e11
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b035a63fe7cc4c58b9a3b111
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/106f734723014cfda6a17d14
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/811ba5db3bf046178c5d3631
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/0c8d8578bd3747ec87261884
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/cdafa46784c34d0cb584a330
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/24bc2689702747f6aa5a2448
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/ac892000959144cbabb23604
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/6b1ba855afae4972a13b9274
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/68c016dcca8540d68a2ef57d
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/2e4428c6659a4ae592151731
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/ec2d6325a6bd43c7b6e27957
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/5bdb854791f847269669a334
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/68db59e91c194ee08cba4c61
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/f7c99403ca1744198fb82963
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/46d2c689f3ed4874af4da5ef
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/db8e93b540e747328b38c2f6
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/1244f66b99bf449697ff0549
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/1ead548d22bf410cafcc2c4d
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/b5691d6c15b842f4bd97451d
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/78ad159e829b4bfbaa1f88f4
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/205432c00e2b4fdcb5e1bb93
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/493942808e714acda4495ba0
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/76a93fe4b1a24eb8a5385d0f
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/d2bcac966f964eb981468a3a
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/378a91adae8f48028f47e3e5
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/1bd962549cee41998522fe1b
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/f5dc74f86a90486ab7a36841
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/7619877c37e2435398ee784a
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/3b6207b6b66242a38dd4684c
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1f2289715ea148a383d2e26e/57637bb4a33b4edca2af4d0f

← Back to campaigns