harness:full_quick:pyvorin-project-venv:small

finished · pyvorin-project-venv

← All campaigns

Campaign Summary

ID: cb7df41ec38e4cc9b0521686

Started: 2026-07-19 00:27:30.597407
Finished: 2026-07-19 00:30:43.002259
Duration: 192.4s

31
Workloads
186
Cases
168
Passed
18
Failed
6
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.0857
cold mean ms
0.0074
warm mean ms
0.0066
warm median ms
0.0013
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.0749
cold mean ms
0.0178
warm mean ms
0.0162
warm median ms
0.0046
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.7661
cold mean ms
0.6667
warm mean ms
0.6020
warm median ms
0.1922
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0617
cold mean ms
0.0521
warm mean ms
0.0476
warm median ms
0.0112
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.0901
cold mean ms
0.0226
warm mean ms
0.0182
warm median ms
0.0065
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

0.2248
cold mean ms
0.0905
warm mean ms
0.0878
warm median ms
0.0063
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.0702
cold mean ms
2.8770
warm mean ms
2.8352
warm median ms
0.0948
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.0747
cold mean ms
0.0606
warm mean ms
0.0563
warm median ms
0.0071
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

1.0596
cold mean ms
0.8507
warm mean ms
0.8468
warm median ms
0.0179
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0677
cold mean ms
0.0614
warm mean ms
0.0614
warm median ms
0.0009
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

9.0276
cold mean ms
9.1135
warm mean ms
8.9103
warm median ms
0.4236
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

58.0838
cold mean ms
74.3896
warm mean ms
73.9101
warm median ms
3.5123
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

0.2350
cold mean ms
0.1579
warm mean ms
0.1374
warm median ms
0.0398
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

1.2722
cold mean ms
1.2430
warm mean ms
1.2613
warm median ms
0.0573
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

39.1550
cold mean ms
4.7268
warm mean ms
4.4338
warm median ms
0.6383
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

3.3533
cold mean ms
5.4668
warm mean ms
5.1205
warm median ms
1.4121
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

0.9600
cold mean ms
0.8899
warm mean ms
0.8985
warm median ms
0.0375
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

1480.5888
cold mean ms
4023.9724
warm mean ms
4054.1686
warm median ms
83.6377
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.particle_movement

ml.knn_inference

0.3237
cold mean ms
0.1522
warm mean ms
0.1400
warm median ms
0.0285
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for ml.knn_inference

financial.moving_average

0.3079
cold mean ms
0.1166
warm mean ms
0.1161
warm median ms
0.0060
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for financial.moving_average

parsing.csv_tokenize

1.4358
cold mean ms
1.6646
warm mean ms
1.5553
warm median ms
0.4297
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.csv_tokenize

parsing.ini_parse

7.2763
cold mean ms
33.3205
warm mean ms
28.2685
warm median ms
7.8035
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.ini_parse

graph.bfs

0.2563
cold mean ms
0.1595
warm mean ms
0.1561
warm median ms
0.0121
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.bfs

sorting.merge_sort

0.6887
cold mean ms
0.4103
warm mean ms
0.3800
warm median ms
0.0829
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for sorting.merge_sort

object.shape_area

0.4291
cold mean ms
0.1809
warm mean ms
0.1647
warm median ms
0.0559
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for object.shape_area

serialization.json_serialize

15.9187
cold mean ms
19.3708
warm mean ms
18.6207
warm median ms
2.6650
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for serialization.json_serialize

text.word_count

5.0060
cold mean ms
6.4387
warm mean ms
5.9095
warm median ms
1.5712
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for text.word_count

numerical.matrix_vector

0.3988
cold mean ms
0.3169
warm mean ms
0.3165
warm median ms
0.0149
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 58.0838 0.00s
compression.rle_roundtrip warm success match 76.6990 0.00s
compression.rle_roundtrip warm success match 78.8673 0.00s
compression.rle_roundtrip warm success match 72.6218 0.00s
compression.rle_roundtrip warm success match 69.8500 0.00s
compression.rle_roundtrip warm success match 73.9101 0.00s
core.float_reduction cold success match 0.0749 0.00s
core.float_reduction warm success match 0.0150 0.00s
core.float_reduction warm success match 0.0259 0.00s
core.float_reduction warm success match 0.0162 0.00s
core.float_reduction warm success match 0.0157 0.00s
core.float_reduction warm success match 0.0163 0.00s
core.integer_sum cold success match 0.0857 0.00s
core.integer_sum warm success match 0.0088 0.00s
core.integer_sum warm success match 0.0063 0.00s
core.integer_sum warm success match 0.0066 0.00s
core.integer_sum warm success match 0.0063 0.00s
core.integer_sum warm success match 0.0088 0.00s
core.list_filter cold success match 0.7661 0.00s
core.list_filter warm success match 0.6020 0.00s
core.list_filter warm success match 0.5567 0.00s
core.list_filter warm success match 1.0022 0.00s
core.list_filter warm success match 0.6406 0.00s
core.list_filter warm success match 0.5319 0.00s
crypto.fnv1a_hash cold success match 9.0276 0.00s
crypto.fnv1a_hash warm success match 8.6949 0.00s
crypto.fnv1a_hash warm success match 8.9103 0.00s
crypto.fnv1a_hash warm success match 8.8239 0.00s
crypto.fnv1a_hash warm success match 9.5402 0.00s
crypto.fnv1a_hash warm success match 9.5984 0.00s
data_processing.csv_parse cold success mismatch 0.2248 0.00s
data_processing.csv_parse warm success mismatch 0.0867 0.00s
data_processing.csv_parse warm success mismatch 0.0939 0.00s
data_processing.csv_parse warm success mismatch 0.0844 0.00s
data_processing.csv_parse warm success mismatch 0.0998 0.00s
data_processing.csv_parse warm success mismatch 0.0878 0.00s
etl.group_by_aggregate cold success match 1.2722 0.00s
etl.group_by_aggregate warm success match 1.1586 0.00s
etl.group_by_aggregate warm success match 1.2613 0.00s
etl.group_by_aggregate warm success match 1.2871 0.00s
etl.group_by_aggregate warm success match 1.2957 0.00s
etl.group_by_aggregate warm success match 1.2122 0.00s
etl.merge_join cold success match 39.1550 0.00s
etl.merge_join warm success match 4.4338 0.00s
etl.merge_join warm success match 4.3184 0.00s
etl.merge_join warm success match 5.8529 0.00s
etl.merge_join warm success match 4.6117 0.00s
etl.merge_join warm success match 4.4171 0.00s
financial.moving_average cold success match 0.3079 0.00s
financial.moving_average warm success match 0.1154 0.00s
financial.moving_average warm success match 0.1086 0.00s
financial.moving_average warm success match 0.1175 0.00s
financial.moving_average warm success match 0.1254 0.00s
financial.moving_average warm success match 0.1161 0.00s
graph.bfs cold success match 0.2563 0.00s
graph.bfs warm success match 0.1807 0.00s
graph.bfs warm success match 0.1561 0.00s
graph.bfs warm success match 0.1577 0.00s
graph.bfs warm success match 0.1505 0.00s
graph.bfs warm success match 0.1526 0.00s
image.grayscale_filter cold success match 0.2350 0.00s
image.grayscale_filter warm success match 0.1342 0.00s
image.grayscale_filter warm success match 0.1601 0.00s
image.grayscale_filter warm success match 0.2263 0.00s
image.grayscale_filter warm success match 0.1374 0.00s
image.grayscale_filter warm success match 0.1317 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 0.3237 0.00s
ml.knn_inference warm success match 0.1554 0.00s
ml.knn_inference warm success match 0.1351 0.00s
ml.knn_inference warm success match 0.1301 0.00s
ml.knn_inference warm success match 0.1400 0.00s
ml.knn_inference warm success match 0.2004 0.00s
numerical.dot_product cold success match 0.0617 0.00s
numerical.dot_product warm success match 0.0456 0.00s
numerical.dot_product warm success match 0.0476 0.00s
numerical.dot_product warm success match 0.0492 0.00s
numerical.dot_product warm success match 0.0461 0.00s
numerical.dot_product warm success match 0.0719 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 0.3988 0.00s
numerical.matrix_vector warm success match 0.2986 0.00s
numerical.matrix_vector warm success match 0.3165 0.00s
numerical.matrix_vector warm success match 0.3064 0.00s
numerical.matrix_vector warm success match 0.3280 0.00s
numerical.matrix_vector warm success match 0.3348 0.00s
numerical.monte_carlo_pi cold success match 0.0901 0.00s
numerical.monte_carlo_pi warm success match 0.0174 0.00s
numerical.monte_carlo_pi warm success match 0.0180 0.00s
numerical.monte_carlo_pi warm success match 0.0282 0.00s
numerical.monte_carlo_pi warm success match 0.0310 0.00s
numerical.monte_carlo_pi warm success match 0.0182 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 0.4291 0.00s
object.shape_area warm success match 0.1647 0.00s
object.shape_area warm success match 0.1520 0.00s
object.shape_area warm success match 0.2769 0.00s
object.shape_area warm success match 0.1763 0.00s
object.shape_area warm success match 0.1344 0.00s
parsing.csv_tokenize cold success match 1.4358 0.00s
parsing.csv_tokenize warm success match 1.3300 0.00s
parsing.csv_tokenize warm success match 1.2538 0.00s
parsing.csv_tokenize warm success match 1.8911 0.00s
parsing.csv_tokenize warm success match 2.2927 0.00s
parsing.csv_tokenize warm success match 1.5553 0.00s
parsing.ini_parse cold success match 7.2763 0.00s
parsing.ini_parse warm success match 44.7867 0.00s
parsing.ini_parse warm success match 27.8391 0.00s
parsing.ini_parse warm success match 38.1504 0.00s
parsing.ini_parse warm success match 28.2685 0.00s
parsing.ini_parse warm success match 27.5579 0.00s
serialization.json_serialize cold success match 15.9187 0.00s
serialization.json_serialize warm success match 17.4422 0.00s
serialization.json_serialize warm success match 18.6207 0.00s
serialization.json_serialize warm success match 23.5893 0.00s
serialization.json_serialize warm success match 16.9968 0.00s
serialization.json_serialize warm success match 20.2049 0.00s
simulation.particle_movement cold success match 1480.5888 0.00s
simulation.particle_movement warm success match 4054.1686 0.00s
simulation.particle_movement warm success match 4116.3601 0.00s
simulation.particle_movement warm success match 3935.2624 0.00s
simulation.particle_movement warm success match 3936.0054 0.00s
simulation.particle_movement warm success match 4078.0656 0.00s
sorting.merge_sort cold success match 0.6887 0.00s
sorting.merge_sort warm success match 0.4116 0.00s
sorting.merge_sort warm success match 0.3800 0.00s
sorting.merge_sort warm success match 0.3612 0.00s
sorting.merge_sort warm success match 0.3466 0.00s
sorting.merge_sort warm success match 0.5520 0.00s
stdlib.dict_lookup cold success match 0.0747 0.00s
stdlib.dict_lookup warm success match 0.0556 0.00s
stdlib.dict_lookup warm success match 0.0563 0.00s
stdlib.dict_lookup warm success match 0.0563 0.00s
stdlib.dict_lookup warm success match 0.0722 0.00s
stdlib.dict_lookup warm success match 0.0626 0.00s
stdlib.json_parse cold success match 1.0702 0.00s
stdlib.json_parse warm success match 2.8352 0.00s
stdlib.json_parse warm success match 2.8008 0.00s
stdlib.json_parse warm success match 2.9782 0.00s
stdlib.json_parse warm success match 2.7906 0.00s
stdlib.json_parse warm success match 2.9803 0.00s
string.log_parser cold success match 3.3533 0.00s
string.log_parser warm success match 5.1205 0.00s
string.log_parser warm success match 4.1658 0.00s
string.log_parser warm success match 4.2021 0.00s
string.log_parser warm success match 7.3255 0.00s
string.log_parser warm success match 6.5201 0.00s
text.word_count cold success match 5.0060 0.00s
text.word_count warm success match 9.1922 0.00s
text.word_count warm success match 5.9095 0.00s
text.word_count warm success match 5.5471 0.00s
text.word_count warm success match 6.1785 0.00s
text.word_count warm success match 5.3661 0.00s
tree.bst_operations cold success match 0.9600 0.00s
tree.bst_operations warm success match 0.8665 0.00s
tree.bst_operations warm success match 0.8430 0.00s
tree.bst_operations warm success match 0.8985 0.00s
tree.bst_operations warm success match 0.8995 0.00s
tree.bst_operations warm success match 0.9419 0.00s
web.http_parser cold success match 1.0596 0.00s
web.http_parser warm success match 0.8468 0.00s
web.http_parser warm success match 0.8401 0.00s
web.http_parser warm success match 0.8537 0.00s
web.http_parser warm success match 0.8797 0.00s
web.http_parser warm success match 0.8333 0.00s
web.url_router cold success match 0.0677 0.00s
web.url_router warm success match 0.0614 0.00s
web.url_router warm success match 0.0627 0.00s
web.url_router warm success match 0.0617 0.00s
web.url_router warm success match 0.0610 0.00s
web.url_router warm success match 0.0603 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/cb7df41ec38e4cc9b0521686/8614409354434ac89789d662
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/23940b319ca748a6ab36c3f8
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/49785cbdc2f14415aa4558e7
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/9840ab58dded4e7bb970a29d
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/560546b9b6d6412f914589ce
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/34738a4406a94ac98e33c21f
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/b6b65e589eb24618ac9d8f1f
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/3480d945b0654d88a19edcc3
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/a5fad4bf7a654f26a04d3620
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/d620302085564ca19e0b8477
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/23e4165635394192a785f1af
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/8c562a1c493742ada42f6e88
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/28d4b6d305be4491a91925db
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/844073ecc9204dd980ba277e
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/0918a8f429784737ae1f88b9
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/f2dce00ea3d34068a3f46cc6
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/76a90db14ccf47199113017a
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/0849665b5fad47fd9fb9f755
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/36b9cbd3221f4091babdbebd
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/060dd8421891417c825cc64d
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/165ca8d890e7485b8c67aea3
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/537f3d02d962426db029a1c8
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/32cd30febc7f4f619358eecc
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/c341e53773ce45fdba73f8ea
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/8da258ec5dfe4ac8be0a6afe
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/06a642762fb54a619d0c1aea
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/186e1269d16441cd9ab4bab5
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/8619c5754b6e4dc2aef2eba9
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/9c5e006f949f430282e6c429
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/245fb40141c74ee691d6cedc
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/d8ec11c1adf8494583f97937
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/867e5f69c3db43578fd23d88
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/b9a05233e68f42128de41b03
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/7e6710b45ed543b180ab22a6
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/28ff2629666142d285aad365
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/f72892bff0ad42cfb745cc3a
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/ac5aec8d1a2c4c79afdce898
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/6fe19d722494494e934ecd8f
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/73728e9bbc074c5ea0da89a7
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/be8e5f1de9454cabaa69ba38
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/8bc7cff7b19d4899ab7c9f03
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/51020984a1dc4b4887abbfc7
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/b24ce474abba49c4a0d4b844
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/f02f0454d55242c8ab91bfac
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/ab9c0a8520374a9ebbc98ab3
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/fad7ebd052034813aa9614ca
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/44f3807db0444d9ebd1e12fc
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/48559e9377fb41e983905904
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/c426e647a8f4401a867b28af
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/4e1629df7bb04f65b25d866f
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/0aed89231ac94c0b83bc1078
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/7e2d169f2ba84308ab2c64c0
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/6265e18ccee04f2d9a6478e8
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/93d1f05df73444d7ba4183f5
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/88ad24f38c1044f68a6eecc2
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/95d67695385a4980bf7333fa
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/2fa41f2b233c44ea875f6efe
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/5a42e0555f9243b797433b23
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/15ae92874137445db988dd8d
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/53339ae2c291443ab26b773f
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/1a1e8fa9dd36483085a285d3
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/caedeae5b7cc4c16bc4639d6
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/80ad046f537446a99a351f93
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/22534590840c4e74a2bfdeb4
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/cd1ba7f8cfd54e5db7b4ffe7
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/7915489d55994132b4f09a9f
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/be81f7ee0dbe47bba0edb076
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/90f2df374a1b4b9680c0e914
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/db144e088b554e2a9803ebfd
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/b7c73b16ead74344a56848f4
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/819891efb5394604bfed0e01
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/cb88ad55e0ea469790b0428e
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/7098bac208a0438c89622e6f
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/7b6f4b6bbc834dae8e09f857
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/5d10443cd5a0472291fff660
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/02fd44d5f0ef4674abc143f9
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/8efdb1a80a134411bec353fb
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/5b9b264fe61d4bd1bb0001aa
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/5725b8576d36477fb130b9c6
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/36396f979b264a5fbda1a3e0
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/2d6ebed59c9f43efa4083578
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/3f8ac80eb32a4223ba9f1777
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/91357277566b44e6bda5b8a4
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/dc1401a7cdf44d2f83137380
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/6ce75cec352f48499e3e29a9
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/50a8aa389bbb472cbc350a60
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/7e96eb5ac3b243e08c92b256
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/125fb12fd6904e6786d83124
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/3bb2625bffa84cd182bf7b35
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/ba659a1def3e48d1a0a46d0d
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/d12f1632b22647c790fb4fb7
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/b2593b31c26b449e90157022
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/df80dc1992d448e990f103a9
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/48e30f79a4ea452896d14dab
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/0af1e20775804953b99e23d0
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/f11cee76d73041e1811aa2c5
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/75b6728b267b4c059d9ad10b
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/4f903f5de6324cd583e06c0a
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/2a3280e99c8f4e3eaa04684d
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/aa2ca37fb9dd4cc8ad4641f7
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/c16713b0789b467699054a9f
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/56572ead1faa47cf83795af0
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/b0380b36182643ab92dd790c
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/72f12ea78488439490e012e5
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/30c5a026945c40429fda4465
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/a8e26c917d024887bd0ed9be
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/143253bee3d749d2b20419b2
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/04f4ef245c954512aaf964fd
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/8aa07a21682240b4923515ea
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/1c02f6ce49c04574aa75d85a
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/88ad776a86574ffeb5dd7a38
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/8b55775e57d74f76a06dfb7f
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/24f5629e74c649498036d170
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/ff06318f735243a5b110b745
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/58371cf160cc4c1dbbdc0d2c
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/8e04b282cc8943588da51634
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/a9ef2ff96b414286935b3b5a
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/0f7db78590a64b28a026b56b
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/ef5a680a4afb4bdfbe42a9c5
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/1115a4b38c7b4596bdec6f65
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/c4b48d0ff1e346b0a29b2b72
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/c01800deefb74d7cacb86dc3
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/cb4c44c5c9104b0cb880f576
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/eb7e6f391463424893478417
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/158abdbec3ef4b85b4a8d88a
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/f05d380c5d8a4f598176fdd3
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/2b71651327114db78c8766fd
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/b9984b660d8241acb7e23e7c
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/7fddcd00c24e417ab220a3fd
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/b848cd7e988147aa831f664c
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/727509a5e6ad46ef9ddeb276
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/43b560aece8144febeb01618
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/60e222951fac41f8a07ab05d
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/5b220b6984bf4c3a99544c7f
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/1d69161cf1a448e3bdd5550e
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/472f1ac536c744dab9248133
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/b3e40ae32aca4486abb9133b
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/b4fa0c0e8e92469683e533ce
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/8912c566a1804f94a506a9fa
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/5219ddbbf0b842c196fea4eb
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/55b446f23a00440881f36152
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/8745d40fb31c4cfc968228f8
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/a835bc25bd15474d8c81995c
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/72d18dee7f1641d887f997cd
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/531a3c1ce6ff441784d81bc7
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/63ce2d1456fb499d9866af4c
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/466214573e12497ba014e08c
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/1115b9f385ee4d0b816b8b53
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/a421f05f8ff1427b942ad3c8
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/d41bef7d2dab4df2a48a2816
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/30ebb34e622841aeb006e257
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/f162068e47a440a981477ad4
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/1dbce69492104c1bb1310217
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/3fae0705e0b44e56b047a9d0
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/2b661cf0cc884ba090e49bd7
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/e89bc3a7d9044958b345e634
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/35a74bb550cd4aefa18c225c
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/6bc015bba496489b9181b3c3
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/dae13abdd268402ab1bd2c81
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/56fa130c16e749edb722f087
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/6d09556b804a4a41b904a7d5
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cb7df41ec38e4cc9b0521686/f6d9e9c902b4411a9116944d

← Back to campaigns