harness:full_quick:cpython-system:small

finished · cpython-system

← All campaigns

Campaign Summary

ID: db942ab73a424a7fb315f691

Started: 2026-07-19 07:43:10.677622
Finished: 2026-07-19 07:43:34.957481
Duration: 24.3s

31
Workloads
186
Cases
186
Passed
0
Failed
0
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.2231
cold mean ms
0.2524
warm mean ms
0.2200
warm median ms
0.0839
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.3362
cold mean ms
0.2914
warm mean ms
0.2926
warm median ms
0.0053
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.0530
cold mean ms
0.0261
warm mean ms
0.0245
warm median ms
0.0038
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0742
cold mean ms
0.0604
warm mean ms
0.0566
warm median ms
0.0129
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

8.2019
cold mean ms
5.0245
warm mean ms
5.0095
warm median ms
0.2026
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

0.9213
cold mean ms
0.9066
warm mean ms
0.8950
warm median ms
0.0616
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.2795
cold mean ms
0.3108
warm mean ms
0.2543
warm median ms
0.0837
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

0.2414
cold mean ms
0.2195
warm mean ms
0.2193
warm median ms
0.0046
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.2191
cold mean ms
0.1757
warm mean ms
0.1703
warm median ms
0.0117
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

0.5844
cold mean ms
0.3754
warm mean ms
0.3746
warm median ms
0.0109
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.1002
cold mean ms
0.0627
warm mean ms
0.0550
warm median ms
0.0161
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

1.0719
cold mean ms
0.8162
warm mean ms
0.8203
warm median ms
0.0092
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0674
cold mean ms
0.0769
warm mean ms
0.0606
warm median ms
0.0264
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

9.2746
cold mean ms
9.1005
warm mean ms
9.1049
warm median ms
0.2188
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

101.3158
cold mean ms
103.8259
warm mean ms
102.8597
warm median ms
4.7303
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

0.3709
cold mean ms
0.1322
warm mean ms
0.1276
warm median ms
0.0087
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

1.3067
cold mean ms
1.2396
warm mean ms
1.2289
warm median ms
0.0260
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

7.5025
cold mean ms
7.6414
warm mean ms
7.4289
warm median ms
0.6140
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

1.8601
cold mean ms
2.0787
warm mean ms
1.8708
warm median ms
0.3724
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

1.0450
cold mean ms
0.9930
warm mean ms
0.9314
warm median ms
0.1150
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

45.6459
cold mean ms
41.3502
warm mean ms
40.0773
warm median ms
2.4576
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.particle_movement

ml.knn_inference

0.2558
cold mean ms
0.1072
warm mean ms
0.1064
warm median ms
0.0044
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for ml.knn_inference

financial.moving_average

5.3406
cold mean ms
5.7261
warm mean ms
5.4324
warm median ms
1.0694
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for financial.moving_average

parsing.csv_tokenize

0.9671
cold mean ms
0.9532
warm mean ms
0.9596
warm median ms
0.0280
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.csv_tokenize

parsing.ini_parse

0.9085
cold mean ms
0.9552
warm mean ms
0.9380
warm median ms
0.0432
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.ini_parse

graph.bfs

0.2680
cold mean ms
0.1927
warm mean ms
0.1740
warm median ms
0.0448
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.bfs

sorting.merge_sort

1.0332
cold mean ms
0.9000
warm mean ms
0.9586
warm median ms
0.1717
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for sorting.merge_sort

object.shape_area

3.6972
cold mean ms
2.6289
warm mean ms
2.4346
warm median ms
0.4864
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for object.shape_area

serialization.json_serialize

19.2148
cold mean ms
22.6203
warm mean ms
23.8884
warm median ms
3.3227
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for serialization.json_serialize

text.word_count

5.7967
cold mean ms
5.8529
warm mean ms
5.7511
warm median ms
0.3989
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for text.word_count

numerical.matrix_vector

28.5278
cold mean ms
27.5675
warm mean ms
27.0194
warm median ms
1.8295
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 101.3158 0.00s
compression.rle_roundtrip warm success match 99.1847 0.00s
compression.rle_roundtrip warm success match 102.8597 0.00s
compression.rle_roundtrip warm success match 100.4068 0.00s
compression.rle_roundtrip warm success match 111.0409 0.00s
compression.rle_roundtrip warm success match 105.6375 0.00s
core.float_reduction cold success match 0.3362 0.00s
core.float_reduction warm success match 0.2926 0.00s
core.float_reduction warm success match 0.2941 0.00s
core.float_reduction warm success match 0.2864 0.00s
core.float_reduction warm success match 0.2982 0.00s
core.float_reduction warm success match 0.2858 0.00s
core.integer_sum cold success match 0.2231 0.00s
core.integer_sum warm success match 0.2200 0.00s
core.integer_sum warm success match 0.3936 0.00s
core.integer_sum warm success match 0.1955 0.00s
core.integer_sum warm success match 0.2623 0.00s
core.integer_sum warm success match 0.1906 0.00s
core.list_filter cold success match 0.0530 0.00s
core.list_filter warm success match 0.0245 0.00s
core.list_filter warm success match 0.0250 0.00s
core.list_filter warm success match 0.0242 0.00s
core.list_filter warm success match 0.0238 0.00s
core.list_filter warm success match 0.0329 0.00s
crypto.fnv1a_hash cold success match 9.2746 0.00s
crypto.fnv1a_hash warm success match 9.1637 0.00s
crypto.fnv1a_hash warm success match 9.1049 0.00s
crypto.fnv1a_hash warm success match 8.8984 0.00s
crypto.fnv1a_hash warm success match 9.4301 0.00s
crypto.fnv1a_hash warm success match 8.9056 0.00s
data_processing.csv_parse cold success match 0.2414 0.00s
data_processing.csv_parse warm success match 0.2152 0.00s
data_processing.csv_parse warm success match 0.2245 0.00s
data_processing.csv_parse warm success match 0.2238 0.00s
data_processing.csv_parse warm success match 0.2193 0.00s
data_processing.csv_parse warm success match 0.2146 0.00s
etl.group_by_aggregate cold success match 1.3067 0.00s
etl.group_by_aggregate warm success match 1.2257 0.00s
etl.group_by_aggregate warm success match 1.2178 0.00s
etl.group_by_aggregate warm success match 1.2289 0.00s
etl.group_by_aggregate warm success match 1.2834 0.00s
etl.group_by_aggregate warm success match 1.2421 0.00s
etl.merge_join cold success match 7.5025 0.00s
etl.merge_join warm success match 7.8298 0.00s
etl.merge_join warm success match 7.4289 0.00s
etl.merge_join warm success match 8.6045 0.00s
etl.merge_join warm success match 7.3433 0.00s
etl.merge_join warm success match 7.0002 0.00s
financial.moving_average cold success match 5.3406 0.00s
financial.moving_average warm success match 5.4324 0.00s
financial.moving_average warm success match 4.7462 0.00s
financial.moving_average warm success match 7.4039 0.00s
financial.moving_average warm success match 4.9623 0.00s
financial.moving_average warm success match 6.0858 0.00s
graph.bfs cold success match 0.2680 0.00s
graph.bfs warm success match 0.1783 0.00s
graph.bfs warm success match 0.1663 0.00s
graph.bfs warm success match 0.1740 0.00s
graph.bfs warm success match 0.2723 0.00s
graph.bfs warm success match 0.1724 0.00s
image.grayscale_filter cold success match 0.3709 0.00s
image.grayscale_filter warm success match 0.1386 0.00s
image.grayscale_filter warm success match 0.1272 0.00s
image.grayscale_filter warm success match 0.1441 0.00s
image.grayscale_filter warm success match 0.1236 0.00s
image.grayscale_filter warm success match 0.1276 0.00s
iot.rolling_average cold success match 0.2191 0.00s
iot.rolling_average warm success match 0.1832 0.00s
iot.rolling_average warm success match 0.1924 0.00s
iot.rolling_average warm success match 0.1703 0.00s
iot.rolling_average warm success match 0.1677 0.00s
iot.rolling_average warm success match 0.1647 0.00s
ml.knn_inference cold success match 0.2558 0.00s
ml.knn_inference warm success match 0.1064 0.00s
ml.knn_inference warm success match 0.1117 0.00s
ml.knn_inference warm success match 0.1037 0.00s
ml.knn_inference warm success match 0.1024 0.00s
ml.knn_inference warm success match 0.1118 0.00s
numerical.dot_product cold success match 0.0742 0.00s
numerical.dot_product warm success match 0.0566 0.00s
numerical.dot_product warm success match 0.0515 0.00s
numerical.dot_product warm success match 0.0774 0.00s
numerical.dot_product warm success match 0.0465 0.00s
numerical.dot_product warm success match 0.0700 0.00s
numerical.matrix_multiply cold success match 8.2019 0.00s
numerical.matrix_multiply warm success match 4.9302 0.00s
numerical.matrix_multiply warm success match 4.7928 0.00s
numerical.matrix_multiply warm success match 5.0475 0.00s
numerical.matrix_multiply warm success match 5.3422 0.00s
numerical.matrix_multiply warm success match 5.0095 0.00s
numerical.matrix_vector cold success match 28.5278 0.00s
numerical.matrix_vector warm success match 27.0194 0.00s
numerical.matrix_vector warm success match 30.6844 0.00s
numerical.matrix_vector warm success match 25.8721 0.00s
numerical.matrix_vector warm success match 27.3727 0.00s
numerical.matrix_vector warm success match 26.8886 0.00s
numerical.monte_carlo_pi cold success match 0.9213 0.00s
numerical.monte_carlo_pi warm success match 0.8950 0.00s
numerical.monte_carlo_pi warm success match 0.8996 0.00s
numerical.monte_carlo_pi warm success match 0.8936 0.00s
numerical.monte_carlo_pi warm success match 1.0069 0.00s
numerical.monte_carlo_pi warm success match 0.8377 0.00s
numerical.prime_sieve cold success match 0.2795 0.00s
numerical.prime_sieve warm success match 0.2435 0.00s
numerical.prime_sieve warm success match 0.2514 0.00s
numerical.prime_sieve warm success match 0.4000 0.00s
numerical.prime_sieve warm success match 0.2543 0.00s
numerical.prime_sieve warm success match 0.4049 0.00s
object.shape_area cold success match 3.6972 0.00s
object.shape_area warm success match 2.3744 0.00s
object.shape_area warm success match 2.3811 0.00s
object.shape_area warm success match 2.4577 0.00s
object.shape_area warm success match 2.4346 0.00s
object.shape_area warm success match 3.4966 0.00s
parsing.csv_tokenize cold success match 0.9671 0.00s
parsing.csv_tokenize warm success match 0.9370 0.00s
parsing.csv_tokenize warm success match 0.9842 0.00s
parsing.csv_tokenize warm success match 0.9596 0.00s
parsing.csv_tokenize warm success match 0.9140 0.00s
parsing.csv_tokenize warm success match 0.9712 0.00s
parsing.ini_parse cold success match 0.9085 0.00s
parsing.ini_parse warm success match 0.9064 0.00s
parsing.ini_parse warm success match 0.9302 0.00s
parsing.ini_parse warm success match 0.9380 0.00s
parsing.ini_parse warm success match 1.0053 0.00s
parsing.ini_parse warm success match 0.9961 0.00s
serialization.json_serialize cold success match 19.2148 0.00s
serialization.json_serialize warm success match 19.2758 0.00s
serialization.json_serialize warm success match 23.8884 0.00s
serialization.json_serialize warm success match 26.2948 0.00s
serialization.json_serialize warm success match 24.7013 0.00s
serialization.json_serialize warm success match 18.9413 0.00s
simulation.particle_movement cold success match 45.6459 0.00s
simulation.particle_movement warm success match 42.4681 0.00s
simulation.particle_movement warm success match 40.0773 0.00s
simulation.particle_movement warm success match 45.1612 0.00s
simulation.particle_movement warm success match 39.3195 0.00s
simulation.particle_movement warm success match 39.7250 0.00s
sorting.merge_sort cold success match 1.0332 0.00s
sorting.merge_sort warm success match 0.9586 0.00s
sorting.merge_sort warm success match 0.9444 0.00s
sorting.merge_sort warm success match 0.9650 0.00s
sorting.merge_sort warm success match 0.5991 0.00s
sorting.merge_sort warm success match 1.0330 0.00s
stdlib.dict_lookup cold success match 0.1002 0.00s
stdlib.dict_lookup warm success match 0.0548 0.00s
stdlib.dict_lookup warm success match 0.0603 0.00s
stdlib.dict_lookup warm success match 0.0550 0.00s
stdlib.dict_lookup warm success match 0.0910 0.00s
stdlib.dict_lookup warm success match 0.0521 0.00s
stdlib.json_parse cold success match 0.5844 0.00s
stdlib.json_parse warm success match 0.3877 0.00s
stdlib.json_parse warm success match 0.3832 0.00s
stdlib.json_parse warm success match 0.3746 0.00s
stdlib.json_parse warm success match 0.3595 0.00s
stdlib.json_parse warm success match 0.3721 0.00s
string.log_parser cold success match 1.8601 0.00s
string.log_parser warm success match 1.8459 0.00s
string.log_parser warm success match 1.8239 0.00s
string.log_parser warm success match 2.1522 0.00s
string.log_parser warm success match 2.7006 0.00s
string.log_parser warm success match 1.8708 0.00s
text.word_count cold success match 5.7967 0.00s
text.word_count warm success match 5.6343 0.00s
text.word_count warm success match 5.7553 0.00s
text.word_count warm success match 5.5712 0.00s
text.word_count warm success match 5.7511 0.00s
text.word_count warm success match 6.5525 0.00s
tree.bst_operations cold success match 1.0450 0.00s
tree.bst_operations warm success match 0.9025 0.00s
tree.bst_operations warm success match 1.1075 0.00s
tree.bst_operations warm success match 1.1283 0.00s
tree.bst_operations warm success match 0.9314 0.00s
tree.bst_operations warm success match 0.8953 0.00s
web.http_parser cold success match 1.0719 0.00s
web.http_parser warm success match 0.8213 0.00s
web.http_parser warm success match 0.8109 0.00s
web.http_parser warm success match 0.8203 0.00s
web.http_parser warm success match 0.8257 0.00s
web.http_parser warm success match 0.8027 0.00s
web.url_router cold success match 0.0674 0.00s
web.url_router warm success match 0.0822 0.00s
web.url_router warm success match 0.1211 0.00s
web.url_router warm success match 0.0606 0.00s
web.url_router warm success match 0.0602 0.00s
web.url_router warm success match 0.0606 0.00s

Proof Packs

📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/0f638b2177174c17a168fb56
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/f3ef169847024259b54069a7
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/d630853c2b074ac8a8ff6a9a
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/b7d6a006777244679312c3d2
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/25f53d0cd2b148ac93e096f8
📦
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/93073b1f56374824aefa7c0e
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9ec5d64fad854318a333c319
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/37f442b3649d4d2cbf370889
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/88376577e38a47bbb2c22a09
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7dc67a4adc1d4638a7cc7c6b
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/a8b48f36e2cd4127b09a97b3
📦
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/151a9047cfea4429bfcb2a36
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/e6fb77525fed408198d8c274
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/de92509facdf4682b7cdd6e8
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/f850a095ecd346eeb6398ac7
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/07aa58ecfe884a248f68da6e
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7f80bafd6da44c9781f508a4
📦
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/813bb0a1c5594105948f6c98
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/28efff663077499bb9e70ac3
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/68c6f57d344746de9112ccdf
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/49200a85144c40eaad7a3de1
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/0e6fd735adc740f3b9d65796
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/3ed15fad05d54fc990e3313e
📦
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/f20718c29db7471e96edef74
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9d0b58876956492e83f3aca4
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/514005c886ea4dafa1d711d1
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/b71268e52af444c4ab59a554
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/bacd9dc3a08d41ff851dfdd5
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9a0b71a28f21494c9c4494a4
📦
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/de03a02704df439394f76f6a
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7a45feea00d24136b7e59ad9
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/e9ad0aa5b6454f9882a8e5cd
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/2df502896d03489cbaf08f1b
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/53ac4882125144d0a109a6f4
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/a040e979231e47d88f523381
📦
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/aa9b8d2b29d94ee898fcb350
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/0d9b6ef3d3db427bbae13b2d
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9f702f6fb8a84c4faf6a71d4
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/0740607df5b4427fbfde1b67
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/25e1e9d41cc74bd18f0d752f
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/a592efaa22ef4ff3ad606d33
📦
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7f0c4b566e2d4f62bf09066f
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/cda4dcf2cb9649cbbef6631b
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/b78ae5c329b24c878922ce1e
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/dc3d72a6be084641a26e79ce
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7d392e9aec174499982ff0fc
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/30795ce62d4941fdaa34d322
📦
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/6c41a47903b54c0ba46d8907
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/c5eff0b710474ab58e05880d
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7b63db72cb8443de8cdfc467
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/8546b619e93143028eb164eb
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/18a85d5ea62a48e296632b94
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/90a52458f0374b5791d7b23e
📦
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9b4c02b8a9024a57b7069d7f
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/ba3344ef2e964626916746d8
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/a5b147a65f394f32ab80d437
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/e0067a4d49e74419b0b7f373
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/b7648ea676834de8a7d353b4
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/093f604aac734ccfb108726f
📦
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/a119d2186d244618b5659e16
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/afc3e855e2df4ccbb3176ceb
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/ea05b3041c904841804bb310
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/fb1cbeb78d684b37a358c7f6
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/71b1cbdc5c874f5b8e0a3fb5
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/a18bea355ae14c9082bca236
📦
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/290a0f9b5b2b4ccfbc1ae966
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/423c05d69e6d4e038ef45614
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/80d6f90a971844869c827cb7
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/db324c7c1c8847c7a4b1f763
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/d69f55de0d9c4d16b9b97f51
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/d11409e72a374c42a90de732
📦
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/30fd35d1d56a4194b035f3a3
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/ca93a539bd6d4732a88c2917
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/160f59acd4054dddb957cc2b
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/5f806872f09c49ebbd50e2e4
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/1e1a2a66092f469da678ba5f
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7022d62c494042a2b78ce6ab
📦
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/29ff416379a4421592937457
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/950b267873e4437096087f67
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/0e8ffadd11e74f3ebca460d3
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/07c99cc90cfb4bb2b3e55b8d
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/f4a85460b8ce4b04a7285421
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/261f963e402740b9abeab7a3
📦
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/2a1e6d4b6fd941e3b535b510
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/d37508d3e9f0483189dab875
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/ae33d57a6eaf408faa3d2a16
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/d8f51ace4a534acbad4fca57
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/2885ecee5d5c4859a49b1ceb
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/a59c552dbc994dea86837930
📦
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/ad738d07068846a196e216bb
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/a19c7d4d5e6948b6942b2e20
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/38332fc996ea492980698c3b
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9b7cdab9fe6e4c20b6b3644c
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9454f2d2481e40bc8ba5929e
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/c0a8d88976f64f7eb2258d9e
📦
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/fedfa78089e74fb0aeb11c29
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7ddafe62dacd4c469049508e
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/1a6f5d239d4b4a41915c401b
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/b73f2142a7f34d0fb62cd1eb
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/b0239c1404d94e29964837f8
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/fbd8106c42994b2c95aa450b
📦
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/6895995e86af41cbbbb88b2c
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/d31568c6f51f44e990d1ec53
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/5cfdc9e8765e4e478bc6366a
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/61c37ffa89bb4a498bb89f5e
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/63bd1a90b5104029809b5bd2
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/e5529a1133ca40ec84bf42a3
📦
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/3f06260c7439479a934741b3
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/5a5f7fc3b29c43489ff1d6d6
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/fd3c4bef846547f6b89236da
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/51dfd159407d4706b11876fe
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/e94c815e366a4c068140895c
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/806215d338a640cf81c48a9b
📦
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/71c3dfaee98048d49b555f67
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/5a94a8d1ac29499ba1c00cf7
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/506c04b03afd41a2ac668686
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/66e0380021644f168450107c
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/e968c9e4e9b946c5bb8ccae4
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/98010d7c96604d25aef4dba4
📦
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/07d4841f8318403994b42280
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/719f761d5ae043d99a279f62
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/b34b883394a54001a0c1e9a6
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/42f60dbfd10a487083aecf9c
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/aa50ee69b5af45aaa73db755
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/67d1932404824b3eab903f21
📦
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/e104aa1002824277bf4de93e
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7819c696cdbe4a378983cac5
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/c7bd0b57a41b4a499840649a
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/20505ff5f3004da19d8fe51e
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/4f623c4e4948441eb0ba686f
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/213c9ef031cb467591eee582
📦
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/0e1a8df4bf374f53ae38b071
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/1d92d2ba3e994d59b1159d24
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/bc387667f3c54c67bda9b43b
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/043b8d2f80a04b00ac773c60
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/4ffef382b60440daa9268d74
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/1e90e24c7fab45f6bd09fb1d
📦
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9921300e26a14dac9ec242bf
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/4a22bfdf8a2d44f8b66bafa1
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/88e9f8b2070a4eac96cc024e
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/bfa2c28006d342ba9fa00e25
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/4a4819c898324116ab98d05d
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/1bbaa92df8204af993409e14
📦
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7b6edad829c84e51b0bddd31
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/43374ee3768540008db46c29
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9c5677f0aeaf4a4baab64739
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/3506ca173dec4b45849785b0
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/39424607aa8e43178e6ceebf
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/da27a96adb7a4923952224f2
📦
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7b24608881554be2b2d75b77
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/4494e9c87f1e4ef9ac4e51ee
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/e591cbe0038e48a6b4894f70
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/efb5ee00f6d54a45bd617662
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/96b16cad5aa9437295e0bd0c
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9b671f549fd64042b7579d3c
📦
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/ae23ab58d89d4194b0473590
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/800193adef8f41608514936b
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/75ba9228e1314d799358196a
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/9f3eb5142df64365a37dfc3f
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/08a6daf05e944c4cb834d808
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/17c33d28512d42169c5b9374
📦
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/5a0736917a5b4c41b67cd4f0
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/c7f001dd6dc64c29bf40b9aa
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/afa3ee6755c143768218d28d
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/68d8134817014c54b515c33f
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/2a3f2a12fe3a4b99beb745df
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/0a8661f68fcb4b0aa40c5ee1
📦
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/3f336f31b2534e5084732904
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/3bd01a6c65b24a27bf744350
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/ec90dd94f97e457e8d0e42ac
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/b698fc6549bd492d8afc0d04
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/69e8dcae5c3c4fc9ac569dbf
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/ce1db1145b39432782f4fc2d
📦
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/f3eddc9213ce47fc8daba565
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/a17f719dda724b0188dc1527
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/7a4d2589e101426797637dfd
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/03695f02d7b44c82adc0b38f
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/d8dbb10c4c40402694face15
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/03bdfba291464df195e8fd39
📦
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/e80e190922864b56a0fba499
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/066a9e392b504d6a9ae53a2a
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/c60db938db774db1bc9d9e35
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/914ccd7b58f345ff9ba02ec1
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/4a170e76b06442dc95f79385
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/001d94604a914ce9a112d5d3
📦
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/db942ab73a424a7fb315f691/a8dcaf28c1884b18a708a521

← Back to campaigns