harness:full_quick:pyvorin-project-venv:small

finished · pyvorin-project-venv

← All campaigns

Campaign Summary

ID: 97fdb9cd79a645cb8d85d744

Started: 2026-07-19 07:43:35.010170
Finished: 2026-07-19 07:46:57.895589
Duration: 202.9s

31
Workloads
186
Cases
168
Passed
18
Failed
6
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.1113
cold mean ms
0.0064
warm mean ms
0.0065
warm median ms
0.0002
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.0950
cold mean ms
0.0168
warm mean ms
0.0165
warm median ms
0.0009
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

1.9092
cold mean ms
0.5358
warm mean ms
0.5348
warm median ms
0.0184
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0871
cold mean ms
0.0471
warm mean ms
0.0467
warm median ms
0.0031
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.dot_product

numerical.matrix_multiply

0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
Comparison chart for numerical.matrix_multiply

numerical.monte_carlo_pi

0.0880
cold mean ms
0.0222
warm mean ms
0.0201
warm median ms
0.0050
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.monte_carlo_pi

numerical.prime_sieve

0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
Comparison chart for numerical.prime_sieve

data_processing.csv_parse

1.2773
cold mean ms
0.0968
warm mean ms
0.0951
warm median ms
0.0117
warm stdev ms
100%
success rate
6
mismatches
Comparison chart for data_processing.csv_parse

iot.rolling_average

0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
Comparison chart for iot.rolling_average

stdlib.json_parse

1.1650
cold mean ms
2.7197
warm mean ms
2.7310
warm median ms
0.0252
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.0652
cold mean ms
0.0637
warm mean ms
0.0614
warm median ms
0.0105
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

0.8478
cold mean ms
0.8496
warm mean ms
0.8385
warm median ms
0.0331
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0673
cold mean ms
0.0614
warm mean ms
0.0615
warm median ms
0.0013
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

9.9423
cold mean ms
8.9516
warm mean ms
8.9484
warm median ms
0.0505
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

71.8056
cold mean ms
75.6921
warm mean ms
74.3030
warm median ms
3.1641
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

9.8251
cold mean ms
0.1277
warm mean ms
0.1130
warm median ms
0.0320
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

2.0899
cold mean ms
1.2749
warm mean ms
1.2601
warm median ms
0.0308
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

36.5983
cold mean ms
5.2523
warm mean ms
4.6589
warm median ms
1.2241
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

4.4675
cold mean ms
2.5140
warm mean ms
2.4270
warm median ms
0.1544
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

1.2582
cold mean ms
0.8965
warm mean ms
0.8885
warm median ms
0.0178
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

1570.1633
cold mean ms
3955.7896
warm mean ms
3940.4671
warm median ms
44.1936
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.particle_movement

ml.knn_inference

2.5165
cold mean ms
0.1128
warm mean ms
0.1060
warm median ms
0.0198
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for ml.knn_inference

financial.moving_average

1.5258
cold mean ms
0.1170
warm mean ms
0.1167
warm median ms
0.0044
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for financial.moving_average

parsing.csv_tokenize

2.5231
cold mean ms
0.8535
warm mean ms
0.8590
warm median ms
0.0227
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.csv_tokenize

parsing.ini_parse

8.5428
cold mean ms
28.6075
warm mean ms
27.0812
warm median ms
3.8069
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.ini_parse

graph.bfs

1.5780
cold mean ms
0.1842
warm mean ms
0.1712
warm median ms
0.0343
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.bfs

sorting.merge_sort

1.9569
cold mean ms
0.4575
warm mean ms
0.3674
warm median ms
0.1254
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for sorting.merge_sort

object.shape_area

1.9447
cold mean ms
0.1899
warm mean ms
0.1623
warm median ms
0.0760
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for object.shape_area

serialization.json_serialize

17.8873
cold mean ms
16.5342
warm mean ms
16.5298
warm median ms
0.3940
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for serialization.json_serialize

text.word_count

5.6437
cold mean ms
4.6908
warm mean ms
3.9509
warm median ms
1.5006
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for text.word_count

numerical.matrix_vector

8.3235
cold mean ms
0.3482
warm mean ms
0.3301
warm median ms
0.0523
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 71.8056 0.00s
compression.rle_roundtrip warm success match 74.3030 0.00s
compression.rle_roundtrip warm success match 77.3670 0.00s
compression.rle_roundtrip warm success match 72.2235 0.00s
compression.rle_roundtrip warm success match 74.2657 0.00s
compression.rle_roundtrip warm success match 80.3015 0.00s
core.float_reduction cold success match 0.0950 0.00s
core.float_reduction warm success match 0.0164 0.00s
core.float_reduction warm success match 0.0166 0.00s
core.float_reduction warm success match 0.0165 0.00s
core.float_reduction warm success match 0.0162 0.00s
core.float_reduction warm success match 0.0184 0.00s
core.integer_sum cold success match 0.1113 0.00s
core.integer_sum warm success match 0.0065 0.00s
core.integer_sum warm success match 0.0065 0.00s
core.integer_sum warm success match 0.0063 0.00s
core.integer_sum warm success match 0.0062 0.00s
core.integer_sum warm success match 0.0066 0.00s
core.list_filter cold success match 1.9092 0.00s
core.list_filter warm success match 0.5348 0.00s
core.list_filter warm success match 0.5624 0.00s
core.list_filter warm success match 0.5338 0.00s
core.list_filter warm success match 0.5105 0.00s
core.list_filter warm success match 0.5374 0.00s
crypto.fnv1a_hash cold success match 9.9423 0.00s
crypto.fnv1a_hash warm success match 8.9971 0.00s
crypto.fnv1a_hash warm success match 8.9484 0.00s
crypto.fnv1a_hash warm success match 8.8774 0.00s
crypto.fnv1a_hash warm success match 9.0002 0.00s
crypto.fnv1a_hash warm success match 8.9351 0.00s
data_processing.csv_parse cold success mismatch 1.2773 0.00s
data_processing.csv_parse warm success mismatch 0.0951 0.00s
data_processing.csv_parse warm success mismatch 0.0991 0.00s
data_processing.csv_parse warm success mismatch 0.0861 0.00s
data_processing.csv_parse warm success mismatch 0.0882 0.00s
data_processing.csv_parse warm success mismatch 0.1156 0.00s
etl.group_by_aggregate cold success match 2.0899 0.00s
etl.group_by_aggregate warm success match 1.2579 0.00s
etl.group_by_aggregate warm success match 1.2549 0.00s
etl.group_by_aggregate warm success match 1.3285 0.00s
etl.group_by_aggregate warm success match 1.2601 0.00s
etl.group_by_aggregate warm success match 1.2732 0.00s
etl.merge_join cold success match 36.5983 0.00s
etl.merge_join warm success match 7.2412 0.00s
etl.merge_join warm success match 4.6589 0.00s
etl.merge_join warm success match 4.3027 0.00s
etl.merge_join warm success match 5.6145 0.00s
etl.merge_join warm success match 4.4440 0.00s
financial.moving_average cold success match 1.5258 0.00s
financial.moving_average warm success match 0.1131 0.00s
financial.moving_average warm success match 0.1219 0.00s
financial.moving_average warm success match 0.1167 0.00s
financial.moving_average warm success match 0.1122 0.00s
financial.moving_average warm success match 0.1209 0.00s
graph.bfs cold success match 1.5780 0.00s
graph.bfs warm success match 0.1712 0.00s
graph.bfs warm success match 0.1536 0.00s
graph.bfs warm success match 0.2361 0.00s
graph.bfs warm success match 0.1591 0.00s
graph.bfs warm success match 0.2011 0.00s
image.grayscale_filter cold success match 9.8251 0.00s
image.grayscale_filter warm success match 0.1119 0.00s
image.grayscale_filter warm success match 0.1205 0.00s
image.grayscale_filter warm success match 0.1845 0.00s
image.grayscale_filter warm success match 0.1130 0.00s
image.grayscale_filter warm success match 0.1087 0.00s
iot.rolling_average cold failed no_result n/a 0.00s
iot.rolling_average warm failed no_result n/a 0.00s
iot.rolling_average warm failed no_result n/a 0.00s
iot.rolling_average warm failed no_result n/a 0.00s
iot.rolling_average warm failed no_result n/a 0.00s
iot.rolling_average warm failed no_result n/a 0.00s
ml.knn_inference cold success match 2.5165 0.00s
ml.knn_inference warm success match 0.0990 0.00s
ml.knn_inference warm success match 0.1060 0.00s
ml.knn_inference warm success match 0.1475 0.00s
ml.knn_inference warm success match 0.1096 0.00s
ml.knn_inference warm success match 0.1018 0.00s
numerical.dot_product cold success match 0.0871 0.00s
numerical.dot_product warm success match 0.0482 0.00s
numerical.dot_product warm success match 0.0466 0.00s
numerical.dot_product warm success match 0.0467 0.00s
numerical.dot_product warm success match 0.0512 0.00s
numerical.dot_product warm success match 0.0426 0.00s
numerical.matrix_multiply cold failed no_result n/a 0.00s
numerical.matrix_multiply warm failed no_result n/a 0.00s
numerical.matrix_multiply warm failed no_result n/a 0.00s
numerical.matrix_multiply warm failed no_result n/a 0.00s
numerical.matrix_multiply warm failed no_result n/a 0.00s
numerical.matrix_multiply warm failed no_result n/a 0.00s
numerical.matrix_vector cold success match 8.3235 0.00s
numerical.matrix_vector warm success match 0.3156 0.00s
numerical.matrix_vector warm success match 0.3352 0.00s
numerical.matrix_vector warm success match 0.3196 0.00s
numerical.matrix_vector warm success match 0.4407 0.00s
numerical.matrix_vector warm success match 0.3301 0.00s
numerical.monte_carlo_pi cold success match 0.0880 0.00s
numerical.monte_carlo_pi warm success match 0.0201 0.00s
numerical.monte_carlo_pi warm success match 0.0183 0.00s
numerical.monte_carlo_pi warm success match 0.0177 0.00s
numerical.monte_carlo_pi warm success match 0.0267 0.00s
numerical.monte_carlo_pi warm success match 0.0284 0.00s
numerical.prime_sieve cold failed no_result n/a 0.00s
numerical.prime_sieve warm failed no_result n/a 0.00s
numerical.prime_sieve warm failed no_result n/a 0.00s
numerical.prime_sieve warm failed no_result n/a 0.00s
numerical.prime_sieve warm failed no_result n/a 0.00s
numerical.prime_sieve warm failed no_result n/a 0.00s
object.shape_area cold success match 1.9447 0.00s
object.shape_area warm success match 0.1449 0.00s
object.shape_area warm success match 0.3243 0.00s
object.shape_area warm success match 0.1459 0.00s
object.shape_area warm success match 0.1720 0.00s
object.shape_area warm success match 0.1623 0.00s
parsing.csv_tokenize cold success match 2.5231 0.00s
parsing.csv_tokenize warm success match 0.8647 0.00s
parsing.csv_tokenize warm success match 0.8291 0.00s
parsing.csv_tokenize warm success match 0.8590 0.00s
parsing.csv_tokenize warm success match 0.8321 0.00s
parsing.csv_tokenize warm success match 0.8827 0.00s
parsing.ini_parse cold success match 8.5428 0.00s
parsing.ini_parse warm success match 26.6516 0.00s
parsing.ini_parse warm success match 27.0812 0.00s
parsing.ini_parse warm success match 26.6821 0.00s
parsing.ini_parse warm success match 35.4032 0.00s
parsing.ini_parse warm success match 27.2195 0.00s
serialization.json_serialize cold success match 17.8873 0.00s
serialization.json_serialize warm success match 16.5298 0.00s
serialization.json_serialize warm success match 17.1061 0.00s
serialization.json_serialize warm success match 16.6311 0.00s
serialization.json_serialize warm success match 16.0234 0.00s
serialization.json_serialize warm success match 16.3808 0.00s
simulation.particle_movement cold success match 1570.1633 0.00s
simulation.particle_movement warm success match 3909.7845 0.00s
simulation.particle_movement warm success match 3973.6217 0.00s
simulation.particle_movement warm success match 4023.3475 0.00s
simulation.particle_movement warm success match 3940.4671 0.00s
simulation.particle_movement warm success match 3931.7274 0.00s
sorting.merge_sort cold success match 1.9569 0.00s
sorting.merge_sort warm success match 0.3652 0.00s
sorting.merge_sort warm success match 0.6063 0.00s
sorting.merge_sort warm success match 0.3674 0.00s
sorting.merge_sort warm success match 0.3658 0.00s
sorting.merge_sort warm success match 0.5830 0.00s
stdlib.dict_lookup cold success match 0.0652 0.00s
stdlib.dict_lookup warm success match 0.0628 0.00s
stdlib.dict_lookup warm success match 0.0614 0.00s
stdlib.dict_lookup warm success match 0.0560 0.00s
stdlib.dict_lookup warm success match 0.0817 0.00s
stdlib.dict_lookup warm success match 0.0565 0.00s
stdlib.json_parse cold success match 1.1650 0.00s
stdlib.json_parse warm success match 2.6960 0.00s
stdlib.json_parse warm success match 2.7385 0.00s
stdlib.json_parse warm success match 2.6894 0.00s
stdlib.json_parse warm success match 2.7310 0.00s
stdlib.json_parse warm success match 2.7437 0.00s
string.log_parser cold success match 4.4675 0.00s
string.log_parser warm success match 2.4024 0.00s
string.log_parser warm success match 2.3953 0.00s
string.log_parser warm success match 2.4270 0.00s
string.log_parser warm success match 2.7464 0.00s
string.log_parser warm success match 2.5987 0.00s
text.word_count cold success match 5.6437 0.00s
text.word_count warm success match 4.3982 0.00s
text.word_count warm success match 7.3462 0.00s
text.word_count warm success match 3.9509 0.00s
text.word_count warm success match 3.8243 0.00s
text.word_count warm success match 3.9347 0.00s
tree.bst_operations cold success match 1.2582 0.00s
tree.bst_operations warm success match 0.8885 0.00s
tree.bst_operations warm success match 0.8928 0.00s
tree.bst_operations warm success match 0.8875 0.00s
tree.bst_operations warm success match 0.9280 0.00s
tree.bst_operations warm success match 0.8858 0.00s
web.http_parser cold success match 0.8478 0.00s
web.http_parser warm success match 0.8178 0.00s
web.http_parser warm success match 0.8385 0.00s
web.http_parser warm success match 0.8230 0.00s
web.http_parser warm success match 0.8923 0.00s
web.http_parser warm success match 0.8763 0.00s
web.url_router cold success match 0.0673 0.00s
web.url_router warm success match 0.0615 0.00s
web.url_router warm success match 0.0607 0.00s
web.url_router warm success match 0.0628 0.00s
web.url_router warm success match 0.0622 0.00s
web.url_router warm success match 0.0596 0.00s

Failures

Class Severity Signature Status
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
compile_error error 3e4968084912d335bc168fc79ce88ac3 open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
correctness_mismatch error eec71191b1a79d065c7b8292395b47df open
compile_error error f33ede116adae2078baad3e94ba750aa open
compile_error error f33ede116adae2078baad3e94ba750aa open
compile_error error f33ede116adae2078baad3e94ba750aa open
compile_error error f33ede116adae2078baad3e94ba750aa open
compile_error error f33ede116adae2078baad3e94ba750aa open
compile_error error f33ede116adae2078baad3e94ba750aa open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open
runtime_error error 2a9d94bde8830e7de3295d78c980bfa5 open

Proof Packs

📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/ee200fb310c347c089cbbdc0
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/ca5cf2572ea847689757b385
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0f92de7dc3004ec9ac700aab
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/adb57228783f40919b87f58d
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/099e6d1242084acead083cc5
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/1cd1e53350494a27803a06dd
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/4ec602916ba448a0a1536216
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/098d3fb3699a4a04a041568f
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/3778e7cde8204118977f5c93
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/1656110c89d046f69c1d33d2
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/b98b04945e1a46f189967471
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/df6c5972a1bb4e77b013a906
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/38f1653388fe4edb874fb3a4
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/567ec9471eae4927a87475c0
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/8dec1fbcf0924689931af7c7
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/f9f59d8416964453bc594182
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/1aed58c60cd64b4a93eba00f
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/a096fac0d04f4cde9b43f24c
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/69457491eb914047ac8341d1
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/8f353ff62eb94410bce9305f
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/85bff428bde444739b692837
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/63071332484846b48bc13d7e
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/90c1b9f0bb984615be92e016
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/faa43299092c40799cbca14e
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/a625271bf77d4f0fa248fd0f
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/b87f6a4b16f947458b4e0ce9
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/dd70d47d68de4bb2a850ebdf
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/fe1ffad46e6b40a5a61621c8
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/873ab1604aa242e3a9088333
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/9a57f15a82464e6fba2e2f9f
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/18c5da37faef4d5d84e050ff
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/5e602b4773c94e409c6c13e3
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/76f961a4ad8a4df6b7c588e6
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/978c33a668de4cfe8c4094c1
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0055b95cd0aa460aa168bd16
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/367bfe7a7a98435bb7f13abc
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/1a5b99f173f0478f947c390b
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/f1f6605aad4d4b5fa799dd42
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/50151f34b0d1428f92ac2e59
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/474a0fe4ec994f7abe2708ca
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/8116a099ed574da3b0af3a93
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/713c6b5e27994f2b85ff0744
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0081fa3ac55c4c76a7b6909a
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/d29c1bd6f4cd48cbae258fce
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/238fb4d06a594fc68ab0e7ed
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/27c5f928e91c44129e81f14d
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0a0e680add144cabbddf1b3c
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/bed5061022d14cb8a2cecd38
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/81f1db28f878438baf941eab
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/abb39a28eee74742857f4aaf
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/68f5a6e738354a0aaf771644
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/40c0e319e4ad44e1a46ccdfa
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/3bad9fbed9204dafa07acf85
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/660683c4c71743159eee643e
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/da1c5df2e4bf47a49a97126f
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/3a38fec009bb4c0a828f36ea
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/5b5eaeebef8c4337ac4c0da0
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/e6d778c0b378454bbf4e9a1f
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/5df71b3866ae4048a59662db
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/7424803e481b420db069bc44
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/7ef8e4cd9d0342c2bfbdc650
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/176956a33cce41d584c48ced
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/52f6e77b729c4ed7ba635574
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/7e725b47df734aa581519a49
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/712bfe18e6e34e90884810b2
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/ff48239bd4354768a45c6759
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/33114ec26bbb4d7ba2439ff2
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0a0b3da86765439c8ab711d3
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/3d3bcc7a245545f1a8b9f82e
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/c1608753f54643f0ad63a08f
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/e2cee2b0721a474ca07fa53c
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/26bd45ccb2ad4ea4abfc124c
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0a043cd4416048e6b7a6228d
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/859e4984fbc749dca15ab164
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/5ad39d0dff004588a82dc3d4
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/f8bf30d01e454cfdb24ab923
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/924d8636e21f4da887acbeba
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/e4427b9663a5409db9caf5dc
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/7ba7560d99384f92a9a56c26
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/54aa8da52190440486ab2f49
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/9c50c09e0f854c7b8899b9e0
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/e672a5610c304c309c846ab6
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/b6f566232f564babbbbe54e4
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/b5d8557ddb2a4537a1c2489b
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0ee4e15926ff410bbd6c3b19
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/25fbea5729b641f18fd3edb8
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/d349393796654530bd8f58c2
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/c423541361c14cd7bf9bdc5b
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/ca9290d1ef7f4b5189b5696d
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/aec6f28e724a4d3c81600527
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/2686e553601e4384ace04e0c
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/e522e4f7df434818aaed5f7e
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/5edd862b1ae5419a86ed4fbd
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/74ec6c0598f84162a5d0fc79
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0e4e85c08b664296bedb5c5d
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/3c978cd02c2e4a4ba4f400fe
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/e09e5498cc204050bdaa2a1e
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/7e7d60e8099d46dbab989f9b
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/df9b81f2b8564ea98b7d3825
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/c63851bb6b5f4d44a1032bc5
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/9e82ebce64934949978a82c0
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/a32b53ecb22f4b2e88d24802
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/de13810415634eeaa5dcb833
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/4e535440dabd4b64b4de2b83
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/b0d6632ad4b746908b31ecdd
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/db88c6de93a94917a523e06a
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/61c6fd25304341c198f7f42a
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/d5446c0f380241f9ba0090d2
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/6ffdca61d138426eb5036a10
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/5d48e26312164017abd99917
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/a4025f4c760d4fa0b9c3fdee
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/48d6e23f7992439cbd64a537
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/47b5d91a35104d7f9b60f36a
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/cbe142090fa94270a9be1f72
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/d8ea18e254bb4c9d994c6135
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/d5943e4bf7854647a87f6a38
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0821115ee25341ddbdbb9d40
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/7895018b017545a18f085a16
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/ec0166e8e94d4b1197ca345e
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/d92d4c736cb34bfca2e38139
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/1dc4c5709ba74dcabd4b660a
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0730e0f178e44db8a993ace8
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/e35b06d2ea1140f48bb6d8c3
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0e34d291e27d478c8fd02f9b
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/a4049a93f54b441790d81298
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/3640c3f9830c48938966c489
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/2dc801aa445d4955a1c8690b
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/8a7900d237ce4038978d9f31
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/6d8dda8c9a3e4591bfc81823
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/4da1913caba046a38c29ca22
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/aeb82d69908549d9be999704
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/3c28b9bfc5a84e4994ca561c
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/1947906b8aec44f6a44a923a
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/fcb6e6e292244579ba051834
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/b69659285c734e6baea3851c
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/a977f9cfb97a4e1e9a59b742
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0202496e3b424296933c0ef9
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/169631e13c5046619186a621
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/f2f2a4bc7f4b455185889197
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/9bfa63d91b0b40e8a55afc33
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/6c032f3acbf24cbb9afbe71e
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/0f65afce7d734cdf99c58833
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/874367fc07c24a198b9db4bd
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/c64eb5d3763f4b2a85ba03e8
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/b64e757e53834c1daa4128f8
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/c44bb6e0ab704c0f9990620f
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/01bde62f21ed4e4ebc890d0b
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/38680d56cf114a9998a3667c
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/645848cd167b4ce388e8d007
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/d85e2dab109940d19c0c2dd5
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/c07080e3e46f4443ae51e235
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/f7dc22cd7e554fbbaefdbbf6
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/9c952acf20634d148213f562
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/ccd0f041130a4ad3ac0bb7fd
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/5676bae681a24668a6e7ed4d
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/da0749862d0e4cbb8e6a7cf0
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/a97e50c3671b482cb98bb424
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/4d49750cd80c459e94ac8afe
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/a313d0b31bac4cd38cfda9c0
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/a7d6b46df7594abf8fd48624
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/71297ae3708f4841b657fd7a
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/97fdb9cd79a645cb8d85d744/dafaf1da3ee349bb808028cc

← Back to campaigns