harness:full_quick:cpython-system:small

finished · cpython-system

← All campaigns

Campaign Summary

ID: 1eda084a1d8940c8b5591fd9

Started: 2026-07-19 00:40:04.941736
Finished: 2026-07-19 00:40:28.903189
Duration: 24.0s

31
Workloads
186
Cases
186
Passed
0
Failed
0
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.2208
cold mean ms
0.1975
warm mean ms
0.1922
warm median ms
0.0204
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.3562
cold mean ms
0.3468
warm mean ms
0.3139
warm median ms
0.0752
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.0352
cold mean ms
0.0296
warm mean ms
0.0262
warm median ms
0.0061
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0959
cold mean ms
0.0521
warm mean ms
0.0524
warm median ms
0.0051
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

5.5132
cold mean ms
5.1396
warm mean ms
5.1917
warm median ms
0.1230
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

0.8717
cold mean ms
0.8830
warm mean ms
0.8767
warm median ms
0.0302
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.5334
cold mean ms
0.2576
warm mean ms
0.2558
warm median ms
0.0102
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

0.2373
cold mean ms
0.2458
warm mean ms
0.2170
warm median ms
0.0685
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.2050
cold mean ms
0.1662
warm mean ms
0.1659
warm median ms
0.0097
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

0.5618
cold mean ms
0.4203
warm mean ms
0.3699
warm median ms
0.1243
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.1271
cold mean ms
0.0773
warm mean ms
0.0717
warm median ms
0.0204
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

1.0655
cold mean ms
0.8244
warm mean ms
0.8171
warm median ms
0.0193
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0819
cold mean ms
0.0705
warm mean ms
0.0658
warm median ms
0.0149
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

9.2884
cold mean ms
8.9489
warm mean ms
8.9872
warm median ms
0.0965
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

102.6467
cold mean ms
101.1198
warm mean ms
100.0271
warm median ms
4.3359
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

0.2399
cold mean ms
0.1266
warm mean ms
0.1245
warm median ms
0.0082
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

1.6077
cold mean ms
1.3758
warm mean ms
1.2771
warm median ms
0.2859
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

7.9677
cold mean ms
7.8498
warm mean ms
7.3539
warm median ms
1.1485
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

1.8692
cold mean ms
1.8953
warm mean ms
1.8753
warm median ms
0.0415
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

1.0262
cold mean ms
0.9175
warm mean ms
0.9209
warm median ms
0.0099
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

42.2128
cold mean ms
42.6159
warm mean ms
40.9772
warm median ms
3.5010
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.particle_movement

ml.knn_inference

0.2477
cold mean ms
0.1132
warm mean ms
0.1101
warm median ms
0.0107
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for ml.knn_inference

financial.moving_average

5.2062
cold mean ms
5.5990
warm mean ms
5.1309
warm median ms
0.8654
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for financial.moving_average

parsing.csv_tokenize

1.2104
cold mean ms
1.2896
warm mean ms
1.2184
warm median ms
0.3405
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.csv_tokenize

parsing.ini_parse

1.0090
cold mean ms
1.1861
warm mean ms
1.0228
warm median ms
0.3726
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.ini_parse

graph.bfs

0.3035
cold mean ms
0.1913
warm mean ms
0.1822
warm median ms
0.0285
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.bfs

sorting.merge_sort

0.6350
cold mean ms
0.6454
warm mean ms
0.6151
warm median ms
0.0770
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for sorting.merge_sort

object.shape_area

3.3872
cold mean ms
2.3366
warm mean ms
2.3087
warm median ms
0.0657
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for object.shape_area

serialization.json_serialize

20.6363
cold mean ms
23.1582
warm mean ms
19.6690
warm median ms
8.3284
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for serialization.json_serialize

text.word_count

6.2849
cold mean ms
6.1246
warm mean ms
5.7820
warm median ms
0.6944
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for text.word_count

numerical.matrix_vector

25.6204
cold mean ms
26.9171
warm mean ms
27.2480
warm median ms
1.2094
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 102.6467 0.00s
compression.rle_roundtrip warm success match 96.1294 0.00s
compression.rle_roundtrip warm success match 107.5077 0.00s
compression.rle_roundtrip warm success match 100.0271 0.00s
compression.rle_roundtrip warm success match 98.9361 0.00s
compression.rle_roundtrip warm success match 102.9984 0.00s
core.float_reduction cold success match 0.3562 0.00s
core.float_reduction warm success match 0.3035 0.00s
core.float_reduction warm success match 0.2995 0.00s
core.float_reduction warm success match 0.4785 0.00s
core.float_reduction warm success match 0.3139 0.00s
core.float_reduction warm success match 0.3387 0.00s
core.integer_sum cold success match 0.2208 0.00s
core.integer_sum warm success match 0.1925 0.00s
core.integer_sum warm success match 0.1922 0.00s
core.integer_sum warm success match 0.1894 0.00s
core.integer_sum warm success match 0.1806 0.00s
core.integer_sum warm success match 0.2330 0.00s
core.list_filter cold success match 0.0352 0.00s
core.list_filter warm success match 0.0255 0.00s
core.list_filter warm success match 0.0341 0.00s
core.list_filter warm success match 0.0242 0.00s
core.list_filter warm success match 0.0381 0.00s
core.list_filter warm success match 0.0262 0.00s
crypto.fnv1a_hash cold success match 9.2884 0.00s
crypto.fnv1a_hash warm success match 8.9872 0.00s
crypto.fnv1a_hash warm success match 8.7968 0.00s
crypto.fnv1a_hash warm success match 8.9945 0.00s
crypto.fnv1a_hash warm success match 8.9188 0.00s
crypto.fnv1a_hash warm success match 9.0472 0.00s
data_processing.csv_parse cold success match 0.2373 0.00s
data_processing.csv_parse warm success match 0.2122 0.00s
data_processing.csv_parse warm success match 0.2111 0.00s
data_processing.csv_parse warm success match 0.2206 0.00s
data_processing.csv_parse warm success match 0.2170 0.00s
data_processing.csv_parse warm success match 0.3681 0.00s
etl.group_by_aggregate cold success match 1.6077 0.00s
etl.group_by_aggregate warm success match 1.2910 0.00s
etl.group_by_aggregate warm success match 1.2108 0.00s
etl.group_by_aggregate warm success match 1.2771 0.00s
etl.group_by_aggregate warm success match 1.8832 0.00s
etl.group_by_aggregate warm success match 1.2168 0.00s
etl.merge_join cold success match 7.9677 0.00s
etl.merge_join warm success match 7.5309 0.00s
etl.merge_join warm success match 7.2448 0.00s
etl.merge_join warm success match 9.8928 0.00s
etl.merge_join warm success match 7.2264 0.00s
etl.merge_join warm success match 7.3539 0.00s
financial.moving_average cold success match 5.2062 0.00s
financial.moving_average warm success match 5.1309 0.00s
financial.moving_average warm success match 7.0285 0.00s
financial.moving_average warm success match 5.1134 0.00s
financial.moving_average warm success match 4.9229 0.00s
financial.moving_average warm success match 5.7993 0.00s
graph.bfs cold success match 0.3035 0.00s
graph.bfs warm success match 0.1683 0.00s
graph.bfs warm success match 0.1890 0.00s
graph.bfs warm success match 0.1822 0.00s
graph.bfs warm success match 0.1765 0.00s
graph.bfs warm success match 0.2403 0.00s
image.grayscale_filter cold success match 0.2399 0.00s
image.grayscale_filter warm success match 0.1401 0.00s
image.grayscale_filter warm success match 0.1218 0.00s
image.grayscale_filter warm success match 0.1190 0.00s
image.grayscale_filter warm success match 0.1245 0.00s
image.grayscale_filter warm success match 0.1276 0.00s
iot.rolling_average cold success match 0.2050 0.00s
iot.rolling_average warm success match 0.1805 0.00s
iot.rolling_average warm success match 0.1659 0.00s
iot.rolling_average warm success match 0.1688 0.00s
iot.rolling_average warm success match 0.1543 0.00s
iot.rolling_average warm success match 0.1614 0.00s
ml.knn_inference cold success match 0.2477 0.00s
ml.knn_inference warm success match 0.1278 0.00s
ml.knn_inference warm success match 0.1034 0.00s
ml.knn_inference warm success match 0.1041 0.00s
ml.knn_inference warm success match 0.1101 0.00s
ml.knn_inference warm success match 0.1208 0.00s
numerical.dot_product cold success match 0.0959 0.00s
numerical.dot_product warm success match 0.0486 0.00s
numerical.dot_product warm success match 0.0524 0.00s
numerical.dot_product warm success match 0.0527 0.00s
numerical.dot_product warm success match 0.0467 0.00s
numerical.dot_product warm success match 0.0599 0.00s
numerical.matrix_multiply cold success match 5.5132 0.00s
numerical.matrix_multiply warm success match 4.9581 0.00s
numerical.matrix_multiply warm success match 5.2431 0.00s
numerical.matrix_multiply warm success match 5.2358 0.00s
numerical.matrix_multiply warm success match 5.1917 0.00s
numerical.matrix_multiply warm success match 5.0695 0.00s
numerical.matrix_vector cold success match 25.6204 0.00s
numerical.matrix_vector warm success match 25.8733 0.00s
numerical.matrix_vector warm success match 25.4872 0.00s
numerical.matrix_vector warm success match 27.5942 0.00s
numerical.matrix_vector warm success match 28.3827 0.00s
numerical.matrix_vector warm success match 27.2480 0.00s
numerical.monte_carlo_pi cold success match 0.8717 0.00s
numerical.monte_carlo_pi warm success match 0.8930 0.00s
numerical.monte_carlo_pi warm success match 0.8670 0.00s
numerical.monte_carlo_pi warm success match 0.8493 0.00s
numerical.monte_carlo_pi warm success match 0.9290 0.00s
numerical.monte_carlo_pi warm success match 0.8767 0.00s
numerical.prime_sieve cold success match 0.5334 0.00s
numerical.prime_sieve warm success match 0.2548 0.00s
numerical.prime_sieve warm success match 0.2558 0.00s
numerical.prime_sieve warm success match 0.2629 0.00s
numerical.prime_sieve warm success match 0.2709 0.00s
numerical.prime_sieve warm success match 0.2434 0.00s
object.shape_area cold success match 3.3872 0.00s
object.shape_area warm success match 2.3430 0.00s
object.shape_area warm success match 2.3058 0.00s
object.shape_area warm success match 2.4468 0.00s
object.shape_area warm success match 2.2785 0.00s
object.shape_area warm success match 2.3087 0.00s
parsing.csv_tokenize cold success match 1.2104 0.00s
parsing.csv_tokenize warm success match 1.2294 0.00s
parsing.csv_tokenize warm success match 1.2184 0.00s
parsing.csv_tokenize warm success match 1.0781 0.00s
parsing.csv_tokenize warm success match 1.8804 0.00s
parsing.csv_tokenize warm success match 1.0417 0.00s
parsing.ini_parse cold success match 1.0090 0.00s
parsing.ini_parse warm success match 1.0641 0.00s
parsing.ini_parse warm success match 1.0038 0.00s
parsing.ini_parse warm success match 1.0228 0.00s
parsing.ini_parse warm success match 1.8507 0.00s
parsing.ini_parse warm success match 0.9890 0.00s
serialization.json_serialize cold success match 20.6363 0.00s
serialization.json_serialize warm success match 18.9338 0.00s
serialization.json_serialize warm success match 38.0440 0.00s
serialization.json_serialize warm success match 19.3263 0.00s
serialization.json_serialize warm success match 19.6690 0.00s
serialization.json_serialize warm success match 19.8178 0.00s
simulation.particle_movement cold success match 42.2128 0.00s
simulation.particle_movement warm success match 40.4350 0.00s
simulation.particle_movement warm success match 48.3356 0.00s
simulation.particle_movement warm success match 39.7860 0.00s
simulation.particle_movement warm success match 43.5456 0.00s
simulation.particle_movement warm success match 40.9772 0.00s
sorting.merge_sort cold success match 0.6350 0.00s
sorting.merge_sort warm success match 0.6816 0.00s
sorting.merge_sort warm success match 0.7630 0.00s
sorting.merge_sort warm success match 0.6151 0.00s
sorting.merge_sort warm success match 0.5884 0.00s
sorting.merge_sort warm success match 0.5791 0.00s
stdlib.dict_lookup cold success match 0.1271 0.00s
stdlib.dict_lookup warm success match 0.0705 0.00s
stdlib.dict_lookup warm success match 0.0584 0.00s
stdlib.dict_lookup warm success match 0.0717 0.00s
stdlib.dict_lookup warm success match 0.0739 0.00s
stdlib.dict_lookup warm success match 0.1121 0.00s
stdlib.json_parse cold success match 0.5618 0.00s
stdlib.json_parse warm success match 0.3627 0.00s
stdlib.json_parse warm success match 0.6420 0.00s
stdlib.json_parse warm success match 0.3699 0.00s
stdlib.json_parse warm success match 0.3767 0.00s
stdlib.json_parse warm success match 0.3504 0.00s
string.log_parser cold success match 1.8692 0.00s
string.log_parser warm success match 1.8609 0.00s
string.log_parser warm success match 1.8602 0.00s
string.log_parser warm success match 1.9344 0.00s
string.log_parser warm success match 1.8753 0.00s
string.log_parser warm success match 1.9457 0.00s
text.word_count cold success match 6.2849 0.00s
text.word_count warm success match 6.1941 0.00s
text.word_count warm success match 5.6348 0.00s
text.word_count warm success match 7.3048 0.00s
text.word_count warm success match 5.7075 0.00s
text.word_count warm success match 5.7820 0.00s
tree.bst_operations cold success match 1.0262 0.00s
tree.bst_operations warm success match 0.9017 0.00s
tree.bst_operations warm success match 0.9209 0.00s
tree.bst_operations warm success match 0.9279 0.00s
tree.bst_operations warm success match 0.9156 0.00s
tree.bst_operations warm success match 0.9216 0.00s
web.http_parser cold success match 1.0655 0.00s
web.http_parser warm success match 0.8521 0.00s
web.http_parser warm success match 0.8099 0.00s
web.http_parser warm success match 0.8067 0.00s
web.http_parser warm success match 0.8362 0.00s
web.http_parser warm success match 0.8171 0.00s
web.url_router cold success match 0.0819 0.00s
web.url_router warm success match 0.0658 0.00s
web.url_router warm success match 0.0599 0.00s
web.url_router warm success match 0.0695 0.00s
web.url_router warm success match 0.0613 0.00s
web.url_router warm success match 0.0963 0.00s

Proof Packs

📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/b8201aaac03f4334b17f3ddf
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/60befd6f79844b979fd886e0
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/2a96e907c687430592e07e1d
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/06536b90d3cb4610b76a07a9
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/d2bdb83957c142cab8f3a092
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/987f4c14b01742a3bb864f04
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/86cb2bc81f4a45ebb3219612
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/c8d2e72c523c481a8aeb872e
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/d41e3d38bceb471cb6b8a379
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/7e616e9134cf4e1dad063bc7
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/5dab15e97da24156bc308810
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/75ed9a468cfb4186bfde95f7
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/aa64e170cf9c4a1fb2594eca
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/6de51362578c4703b4faa57a
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/48726d448ba3427789fbc0cb
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/2e4a6eecbd944d6095c9b7c2
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/c4de14f627144baa9b3bd0bf
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/6b0eb36f5eb4427da6855d0c
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/808a662cd3ae44c783be0cce
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/0bedb76a0bcb4e159ab96379
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/de9991a85ae84b9fa5b07cb1
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/082a335479aa44f6a18c78ad
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/b1cff867326a4c0091f2a16c
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/b70195b617eb45e6a3d57afc
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/53bceba3fda94102b190448a
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/90a5e802f718427e91635146
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/9206d11e7bc24e2a9e75fced
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/6b30da627b4b451180e08ae5
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/36dea39c6546409e9114f6a1
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/7481ce0fe41247a5a1e76ed9
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/e791dc5c2b1f4c0f82ad29db
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/de7935a353ec4b1ba09691b4
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/3b1daea4df904584afce40a1
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/f8a9d1d49dc640b99e6b7e58
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/26a19ef4f2654fe891772989
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/0dda67e7491b46d195a769dc
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/ab88c3e97fcd43f3a433b476
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/53aca3cf505a491f8990d6d6
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/092b79c651584d9e8209a4c3
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/56d6a1107c244ecfb1d6ea5c
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/a3ff364a9ae1409fb77d00db
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/481729ef712d490a8d322f2e
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/a0f6f7004e694416913f1bf6
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/6484aaecdf05497eaec25e0e
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/6e738f140e684ff285917369
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/3ac4038dc5d34fc69e7ff497
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/697aad13011343d2a0161162
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/04f74eb785724a5fb3e78942
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/cf7eec4639444a73bffc3041
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/5d49d245227a46f19bce12ab
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/e7ba33f19a0a4a018d96bf67
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/4bd88ec66c584fde98e11d2b
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/357c93d6e7ca457ca1c4aa99
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/b0b15765e4b34fca90899205
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/02bf2638ccce43a280904136
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/6f8bae0ab73545b497db4015
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/490e83d6679b42b9b53fb57e
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/098a8e6ac0ab41f7aa75f929
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/3a01e8ef6bce4936905b0a8b
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/1394f405fbd848d0b8b117ae
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/126ec505bcc2460b8fc1855d
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/c836d1899dc3457cace9a12b
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/7534b55d09f944a0a2932c03
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/3a9b4ea04a5649dc975c50fe
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/5978627ffd0b4f8393a51470
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/70e05cb816b74fee98313dcf
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/2ae949838ed24dc6ac409b41
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/7a618c2279264ef2befb4cd2
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/5e2642ae5f4e4c35a231d534
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/eb88be87956e422d948601c0
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/230dbc990aab4cf89190969a
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/1631351d49fa48cca3a787e2
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/5f0282f111ba4f60b57a3e66
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/36d1ac79a7b746c8aef53492
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/983c576586d940b5a0271756
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/cf031b17de1d41c980565733
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/ecb7d1d22aff4d8fae303821
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/4cba6c64bd5d403f83e29b14
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/874aa86120094ed6a1c87666
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/248c3db6f1c74f5fa79a0337
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/8c53ac96a66e4713aeb2c08e
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/d41d97dd3438487094dd5b07
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/2c59a5d653914fd18cdbd7d3
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/c43bef158f4f4456b67b3bbc
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/517f2e0b3a1c447bb2df468e
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/a306ab59b1284d1eba62f15e
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/0e13b0ae27964120a91a44c6
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/48e0e915761240eb8974e7db
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/0203045ef7ed4d19a4377bee
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/62c666945af74159b5396738
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/13a259a539d14105aefa4967
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/0d487076b3ac461685754d41
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/5ad195b2dcfe4b948a073778
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/262ddfd19ea341b2905a3f98
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/b240081ef180444199fe2526
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/fc971d144fda4107bb0552d1
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/84f42730c00d4fb58cbf82c3
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/228029c7edc4438aaaa2e8a5
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/6dab1a8669404df3be8d3e6b
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/75a8394468a549b6a30be068
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/b9212a1c22a640ae8fa9c202
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/c21d696a519d46009c295669
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/f252eb54caa24ce28caa7803
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/1265f3071f494ce0b1aab986
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/8c00952907be4f36bff4dd18
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/c66e340e176043d088985ee9
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/d5fa97be450c490dad5fdf18
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/f2878659d24440a4bd2b4096
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/3af83c2343ab4636bbb8c72a
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/228ce641cc444f5bafbbd8b6
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/5810c2de97b14e7a92de4b09
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/856b5651cf4d4f76b001b08f
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/213943a4a19c473caf873176
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/915b622e04d44a57affdfa0e
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/e2939a6528f3473fb4180904
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/98d9c8bce4b54e04a32caed5
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/ece2014ef75c47d88b5f6c12
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/1c924c4394ad40feb7caba40
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/3de46e7df28045cea48befe7
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/8ea98fd40b1f4802a267650b
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/bf2d76e3a7454c11bbdd5d06
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/2c418cd35a2a4214991e0dba
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/c081c9b548a04a9da1bb46aa
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/86e9ca7ca5534369b0cd8e13
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/810fc7e2d7294bf9b8c66045
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/0858cba3f1314ef98015d22f
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/1d90c4624f574756a2c2c921
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/781597aaa2ec43d2ad2475c3
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/f56babadec4b456badbd840c
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/26ad808da13545d787fba1b9
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/4965732df63f41168f0b8ded
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/1f6e3ae3cd024ecea6ed667a
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/90ba56ff810a42d3ae037e66
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/aa7d620638bd446aaff2a7a8
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/1d4e7ee9551044c39af8d71a
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/884f9a1914cf4adf87f9c9fa
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/21f9f7cf069d4dc78f23c214
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/d785625f41344ea48c65746c
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/7617305b40d64167ad7a0402
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/e74326c0d2444721a0e81c5b
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/221d88ad65f748a38dc981a9
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/4ee30ea1849948db8198a590
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/3d4d71c84be1475ba6b1ad2b
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/de874824bbf94c11b16bb58e
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/66124bf516e244efbf99d666
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/90ee586934c447829fa1d46c
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/8f6031ef99d44de78d61d514
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/14ad7e7768984e7890b73abf
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/62bc5977b191486db3a646f7
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/5907469f47974a4ea46acea0
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/255790bbe73f4fb78fd2c4ee
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/12d9375c5ba34697b8953848
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/3cc36635d3a54a61bd398099
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/a56b4684377c4dc8adf66d2b
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/b7155284176042798301d2a3
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/dcd42c4243004e46abd42a35
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/b877586795f44323b5298a8a
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/46a363aefdde4c7e8757c2f1
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/45c5044c594d4a74af0b526b
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/909db1d1adbb4cb88dfc1d51
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/365fb41723644a80a82cbd3b
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/94ee643aad344161a47808ce
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/752770595d01448396009928
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/90830f71d3ca4c2faf6e7637
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/75ebc7c1905041ba86ff9c43
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/9fbe52e3645849d59b63f834
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/2b34650620af4ace872fc067
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/04971ad9544542e894729324
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/add64b2d734d44108a54b5ba
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/26c19c5250894c0a87ae4112
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/e8828697fc3d4f26a78832fc
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/86e02ce02fcd44eabb1180b0
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/f0db0f6690a94a11a34ee4b0
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/d03a3ba2a16c414f85fbcce4
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/16f78173097d484bb9e5a0ec
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/0206b52c74f444a1b928bad4
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/a9788c49c2814ae296cd371b
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/91bef8b6635843eba7dc65d1
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/61fdeabeaff246a9b5d04d23
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/24701d9a4c1c4ae9a363299a
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/5a0c54be227740b9a8600ebc
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/6721231318fd4c9981d7defe
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/479a7b6f4ed9467599eb0f8d
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/057c8d6426d945648982ba41
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/a30df8677e2641a58b279827
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/1eda084a1d8940c8b5591fd9/3449411c61c74fdeb4301538

← Back to campaigns