harness:full_quick:pyvorin-project-venv:small

finished · pyvorin-project-venv

← All campaigns

Campaign Summary

ID: 66d102234453453cb1688aac

Started: 2026-07-19 00:50:21.269000
Finished: 2026-07-19 00:53:31.222454
Duration: 189.9s

31
Workloads
186
Cases
168
Passed
18
Failed
6
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.0689
cold mean ms
0.0099
warm mean ms
0.0065
warm median ms
0.0076
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.0804
cold mean ms
0.0170
warm mean ms
0.0157
warm median ms
0.0032
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.7723
cold mean ms
0.5339
warm mean ms
0.5400
warm median ms
0.0200
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0657
cold mean ms
0.0450
warm mean ms
0.0450
warm median ms
0.0028
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.1100
cold mean ms
0.0190
warm mean ms
0.0171
warm median ms
0.0045
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.1833
cold mean ms
0.1005
warm mean ms
0.0950
warm median ms
0.0190
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.6578
cold mean ms
2.9308
warm mean ms
2.7845
warm median ms
0.4114
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.0650
cold mean ms
0.0681
warm mean ms
0.0591
warm median ms
0.0182
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

0.8454
cold mean ms
0.8141
warm mean ms
0.8176
warm median ms
0.0331
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0681
cold mean ms
0.0647
warm mean ms
0.0649
warm median ms
0.0024
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

9.9487
cold mean ms
9.1077
warm mean ms
9.0602
warm median ms
0.2479
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

64.1578
cold mean ms
75.9074
warm mean ms
72.7720
warm median ms
4.5950
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

0.3409
cold mean ms
0.1780
warm mean ms
0.1421
warm median ms
0.0869
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

1.4964
cold mean ms
1.2322
warm mean ms
1.2190
warm median ms
0.0306
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

40.6244
cold mean ms
4.3840
warm mean ms
4.4774
warm median ms
0.1591
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

3.2668
cold mean ms
3.7749
warm mean ms
3.3024
warm median ms
1.0733
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

1.0267
cold mean ms
0.9155
warm mean ms
0.9130
warm median ms
0.0208
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

1337.1582
cold mean ms
4004.0674
warm mean ms
4006.5468
warm median ms
73.6101
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.particle_movement

ml.knn_inference

0.2354
cold mean ms
0.1497
warm mean ms
0.1360
warm median ms
0.0281
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for ml.knn_inference

financial.moving_average

0.2014
cold mean ms
0.1488
warm mean ms
0.1253
warm median ms
0.0436
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for financial.moving_average

parsing.csv_tokenize

1.5094
cold mean ms
1.2708
warm mean ms
1.2457
warm median ms
0.0940
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.csv_tokenize

parsing.ini_parse

7.0161
cold mean ms
27.7901
warm mean ms
27.7929
warm median ms
0.5666
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.ini_parse

graph.bfs

0.2547
cold mean ms
0.1682
warm mean ms
0.1625
warm median ms
0.0161
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.bfs

sorting.merge_sort

0.6561
cold mean ms
0.3594
warm mean ms
0.3531
warm median ms
0.0179
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for sorting.merge_sort

object.shape_area

0.4131
cold mean ms
0.2059
warm mean ms
0.1603
warm median ms
0.0821
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for object.shape_area

serialization.json_serialize

17.3834
cold mean ms
16.6179
warm mean ms
16.5366
warm median ms
0.9904
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for serialization.json_serialize

text.word_count

4.6364
cold mean ms
4.7700
warm mean ms
4.5797
warm median ms
0.4981
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for text.word_count

numerical.matrix_vector

0.3845
cold mean ms
0.4017
warm mean ms
0.3410
warm median ms
0.1277
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 64.1578 0.00s
compression.rle_roundtrip warm success match 82.0758 0.00s
compression.rle_roundtrip warm success match 72.7671 0.00s
compression.rle_roundtrip warm success match 79.6152 0.00s
compression.rle_roundtrip warm success match 72.7720 0.00s
compression.rle_roundtrip warm success match 72.3067 0.00s
core.float_reduction cold success match 0.0804 0.00s
core.float_reduction warm success match 0.0155 0.00s
core.float_reduction warm success match 0.0157 0.00s
core.float_reduction warm success match 0.0156 0.00s
core.float_reduction warm success match 0.0157 0.00s
core.float_reduction warm success match 0.0227 0.00s
core.integer_sum cold success match 0.0689 0.00s
core.integer_sum warm success match 0.0235 0.00s
core.integer_sum warm success match 0.0064 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.0066 0.00s
core.list_filter cold success match 0.7723 0.00s
core.list_filter warm success match 0.5541 0.00s
core.list_filter warm success match 0.5243 0.00s
core.list_filter warm success match 0.5040 0.00s
core.list_filter warm success match 0.5400 0.00s
core.list_filter warm success match 0.5469 0.00s
crypto.fnv1a_hash cold success match 9.9487 0.00s
crypto.fnv1a_hash warm success match 9.4296 0.00s
crypto.fnv1a_hash warm success match 8.7892 0.00s
crypto.fnv1a_hash warm success match 9.0602 0.00s
crypto.fnv1a_hash warm success match 9.2668 0.00s
crypto.fnv1a_hash warm success match 8.9925 0.00s
data_processing.csv_parse cold success mismatch 0.1833 0.00s
data_processing.csv_parse warm success mismatch 0.0950 0.00s
data_processing.csv_parse warm success mismatch 0.0969 0.00s
data_processing.csv_parse warm success mismatch 0.0911 0.00s
data_processing.csv_parse warm success mismatch 0.1336 0.00s
data_processing.csv_parse warm success mismatch 0.0859 0.00s
etl.group_by_aggregate cold success match 1.4964 0.00s
etl.group_by_aggregate warm success match 1.2190 0.00s
etl.group_by_aggregate warm success match 1.2696 0.00s
etl.group_by_aggregate warm success match 1.1987 0.00s
etl.group_by_aggregate warm success match 1.2593 0.00s
etl.group_by_aggregate warm success match 1.2146 0.00s
etl.merge_join cold success match 40.6244 0.00s
etl.merge_join warm success match 4.2143 0.00s
etl.merge_join warm success match 4.4774 0.00s
etl.merge_join warm success match 4.5046 0.00s
etl.merge_join warm success match 4.5171 0.00s
etl.merge_join warm success match 4.2067 0.00s
financial.moving_average cold success match 0.2014 0.00s
financial.moving_average warm success match 0.2030 0.00s
financial.moving_average warm success match 0.1253 0.00s
financial.moving_average warm success match 0.1889 0.00s
financial.moving_average warm success match 0.1147 0.00s
financial.moving_average warm success match 0.1121 0.00s
graph.bfs cold success match 0.2547 0.00s
graph.bfs warm success match 0.1894 0.00s
graph.bfs warm success match 0.1798 0.00s
graph.bfs warm success match 0.1495 0.00s
graph.bfs warm success match 0.1625 0.00s
graph.bfs warm success match 0.1599 0.00s
image.grayscale_filter cold success match 0.3409 0.00s
image.grayscale_filter warm success match 0.1346 0.00s
image.grayscale_filter warm success match 0.1421 0.00s
image.grayscale_filter warm success match 0.1434 0.00s
image.grayscale_filter warm success match 0.1367 0.00s
image.grayscale_filter warm success match 0.3334 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.2354 0.00s
ml.knn_inference warm success match 0.1295 0.00s
ml.knn_inference warm success match 0.1309 0.00s
ml.knn_inference warm success match 0.1360 0.00s
ml.knn_inference warm success match 0.1963 0.00s
ml.knn_inference warm success match 0.1557 0.00s
numerical.dot_product cold success match 0.0657 0.00s
numerical.dot_product warm success match 0.0445 0.00s
numerical.dot_product warm success match 0.0453 0.00s
numerical.dot_product warm success match 0.0491 0.00s
numerical.dot_product warm success match 0.0450 0.00s
numerical.dot_product warm success match 0.0413 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.3845 0.00s
numerical.matrix_vector warm success match 0.3410 0.00s
numerical.matrix_vector warm success match 0.3382 0.00s
numerical.matrix_vector warm success match 0.3213 0.00s
numerical.matrix_vector warm success match 0.3812 0.00s
numerical.matrix_vector warm success match 0.6267 0.00s
numerical.monte_carlo_pi cold success match 0.1100 0.00s
numerical.monte_carlo_pi warm success match 0.0271 0.00s
numerical.monte_carlo_pi warm success match 0.0173 0.00s
numerical.monte_carlo_pi warm success match 0.0171 0.00s
numerical.monte_carlo_pi warm success match 0.0169 0.00s
numerical.monte_carlo_pi warm success match 0.0167 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.4131 0.00s
object.shape_area warm success match 0.1454 0.00s
object.shape_area warm success match 0.1603 0.00s
object.shape_area warm success match 0.3178 0.00s
object.shape_area warm success match 0.2689 0.00s
object.shape_area warm success match 0.1372 0.00s
parsing.csv_tokenize cold success match 1.5094 0.00s
parsing.csv_tokenize warm success match 1.2550 0.00s
parsing.csv_tokenize warm success match 1.2457 0.00s
parsing.csv_tokenize warm success match 1.2264 0.00s
parsing.csv_tokenize warm success match 1.4336 0.00s
parsing.csv_tokenize warm success match 1.1934 0.00s
parsing.ini_parse cold success match 7.0161 0.00s
parsing.ini_parse warm success match 27.0011 0.00s
parsing.ini_parse warm success match 28.2157 0.00s
parsing.ini_parse warm success match 27.5145 0.00s
parsing.ini_parse warm success match 27.7929 0.00s
parsing.ini_parse warm success match 28.4261 0.00s
serialization.json_serialize cold success match 17.3834 0.00s
serialization.json_serialize warm success match 17.0462 0.00s
serialization.json_serialize warm success match 16.5366 0.00s
serialization.json_serialize warm success match 18.0706 0.00s
serialization.json_serialize warm success match 15.6736 0.00s
serialization.json_serialize warm success match 15.7626 0.00s
simulation.particle_movement cold success match 1337.1582 0.00s
simulation.particle_movement warm success match 3923.3555 0.00s
simulation.particle_movement warm success match 4111.3033 0.00s
simulation.particle_movement warm success match 4029.7719 0.00s
simulation.particle_movement warm success match 4006.5468 0.00s
simulation.particle_movement warm success match 3949.3596 0.00s
sorting.merge_sort cold success match 0.6561 0.00s
sorting.merge_sort warm success match 0.3654 0.00s
sorting.merge_sort warm success match 0.3393 0.00s
sorting.merge_sort warm success match 0.3870 0.00s
sorting.merge_sort warm success match 0.3524 0.00s
sorting.merge_sort warm success match 0.3531 0.00s
stdlib.dict_lookup cold success match 0.0650 0.00s
stdlib.dict_lookup warm success match 0.0565 0.00s
stdlib.dict_lookup warm success match 0.0675 0.00s
stdlib.dict_lookup warm success match 0.0997 0.00s
stdlib.dict_lookup warm success match 0.0591 0.00s
stdlib.dict_lookup warm success match 0.0578 0.00s
stdlib.json_parse cold success match 1.6578 0.00s
stdlib.json_parse warm success match 2.7499 0.00s
stdlib.json_parse warm success match 2.8822 0.00s
stdlib.json_parse warm success match 2.7845 0.00s
stdlib.json_parse warm success match 3.6432 0.00s
stdlib.json_parse warm success match 2.5943 0.00s
string.log_parser cold success match 3.2668 0.00s
string.log_parser warm success match 5.4899 0.00s
string.log_parser warm success match 2.9889 0.00s
string.log_parser warm success match 2.9461 0.00s
string.log_parser warm success match 3.3024 0.00s
string.log_parser warm success match 4.1474 0.00s
text.word_count cold success match 4.6364 0.00s
text.word_count warm success match 4.5022 0.00s
text.word_count warm success match 5.6500 0.00s
text.word_count warm success match 4.4567 0.00s
text.word_count warm success match 4.5797 0.00s
text.word_count warm success match 4.6612 0.00s
tree.bst_operations cold success match 1.0267 0.00s
tree.bst_operations warm success match 0.8928 0.00s
tree.bst_operations warm success match 0.9444 0.00s
tree.bst_operations warm success match 0.9130 0.00s
tree.bst_operations warm success match 0.9269 0.00s
tree.bst_operations warm success match 0.9002 0.00s
web.http_parser cold success match 0.8454 0.00s
web.http_parser warm success match 0.8297 0.00s
web.http_parser warm success match 0.8577 0.00s
web.http_parser warm success match 0.8176 0.00s
web.http_parser warm success match 0.7716 0.00s
web.http_parser warm success match 0.7938 0.00s
web.url_router cold success match 0.0681 0.00s
web.url_router warm success match 0.0649 0.00s
web.url_router warm success match 0.0659 0.00s
web.url_router warm success match 0.0625 0.00s
web.url_router warm success match 0.0623 0.00s
web.url_router warm success match 0.0679 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/66d102234453453cb1688aac/ab898e8a006e46d19c7e5d3c
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/e4dbe9316e1348c8b2a128e6
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/bfb825511db1412f9804970e
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/07eae272a45b428494f520bb
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/59a224e9843742d0ba14f393
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/113b323da4e24b6daf64b32a
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/394011684cfa4700881cd344
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/690a3263dc0143b6a1a3e19d
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/a33a1d7559084055b5812e64
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/6bd3be137c1442a9918a6bf6
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c482d6ec0dcc4ba587718612
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/d14a01a1abf64423803a0bb7
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/0eca594335b64f5596dc01d8
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/38e15630ce864d3db2578320
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/db7914dadc3946e594f91356
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/31e82de49a524dccbdd79a17
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/e16a5ab7d66d4b50aee911cd
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/3d697e9f4784492da2f1f037
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/a84440cd8e3748d9aca6a324
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/fc9127e49bb64f3a8575aee8
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/f1e856ef2e4343959a225cf0
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/cec102f230ac4fe4ae9fef43
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/54f875acb55f47e2878ece51
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/800893f081a540e3a5efd8f0
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/24cc1f4c7e3c4442bc5290a3
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c91493992efa4ed3850bc9c2
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/2cb8156ec66a41a5aeffe88d
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/144daa76f8064019bbc7b747
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/63b1bdc10f5b4b94ba671ee2
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c6a38a58ba3c422395c1c4a7
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/31017effeb31420b9b36692f
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/4afff925b70f41efb5db44c1
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/ff8006cf5c654f79b36ac40f
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c6a38543a71e4f4684991913
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/9eb1d824a8bf4dcca95ab6f9
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/a868d284fb074d34aec13fa2
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/0eaaebb3b7964779948efa39
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/957a7edccab346f19f027825
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/4dbea7f1375c45c6ab496687
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/5e851db146164e9ab6716ebd
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/86fc0a013369445ca5bef516
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/8e96334eccd84ed1a9f3d3cc
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/25996fc21cd1428787170791
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/6fd617fa0a764f33ae98ab67
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/485510eee9fe46c788c867e4
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/95ccce44059e4846b9a7c3f0
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/a5d3b0e7d32741edb4efec23
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/f9e3ad48d43c4806b93e4a81
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c75e9f1a3da4473c9122b5d7
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/9fd445ae556e4b69a59460ec
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/f08e4897eee4499790ef6e57
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/bf28b2f402804624b2c88869
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/6405dd0eba9a4f788cbeb8e9
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/1ad9618f33704556adec3aad
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/b7f4f53d37e84044951d961e
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/765b6231a9234140bc7ddd09
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/23ebd10d60ec47efa4b51bcf
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/42cba651dc3e4943ad94f542
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/6ee527ec962b4232a0b3cb34
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/9b9e0cb2f61844639ac34da4
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/578f0249c6c049928501a370
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/5d2c3c404fc94953b90d56c9
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/fa68e44dbcdd4001aa2c1e5f
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/131384bd1ec54f7d8866117b
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/4a4a434566174efab2011bb3
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/7d93d746ef9f4151a1cdc8ce
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/e9b272f8c38243a0860a5857
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/b7013319c902485d8c29a7d3
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/90fe49bd11d0442b91747cbd
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/a346f88424c8418590c3bd89
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/51b2a375631344628bfa777d
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/f93c928e336944d8b90cccf0
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/3cc786d502434402b96dbc4e
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/0f08039745f8444a8ef84484
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/a17fda7a0f314ccdbcafcc2c
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/07323f72499640af9b80d9c1
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/39506f38c1a841469ec83c07
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/ea62a7c0cfde41c883db4dd8
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/9001ef45cbb44be780c61d20
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/b2c65028a98147aa9d86cbf7
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/3b32b58441ff46a7927aa6e5
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/97c83b2ff25d4b0eb5715dde
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/448218eab1c64de0a5a382f5
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/447256c2fbb64a458985a58f
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/fb3a603457964d4d8c90b36f
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c0a86c8902ad4fcf8ec8b8d8
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/40f68a22404f43e68df1ecd0
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/4261c9170ff548e181b99514
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c3f109a6fce6412b8cfb9cc9
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/71d494f421484f899fa5b958
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/a83a5d37740c430f9c0e0b4c
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/20c41501b00d4a2990e14852
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/ce72ad38395f4698b571fc72
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/150760c03565435d9f42da01
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/f7223b858b1d4197aad89d65
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/18e830d7e9ee49d682791b3f
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/d4da80f5e6ce49a2a69e0c47
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/d9a307bc8a6d462ca04704f2
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/783ad8a02a04459f9b38701f
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/64b30415901d4693ac949e23
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/e633001c322143a2a16dcf50
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/654aa03039354e93b8e9fc26
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/1016d03cb81e4d67a78a3fbc
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/d59de635ef3a426081caac91
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/1d3b379444f74877ae5d22e8
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/08919f2b4f5c42919361dade
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/16a8b222f2a5436996e9deb6
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/3cce6ef6cd8c4f0799f7196f
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/272482a1ca454709b7781758
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/738cb05b1b1242daa6c4e1a9
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/32150f26ced44c36a2b55d1d
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/d4597916e1c647b78d4bb4f4
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c5f3d75ed6fe4ff289e1117b
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/7bc34d4c3b04437f80bb0515
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/7dfbc1700a254147b162ddea
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/5d27da05449a4060a0c79d4f
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/115d2c31eef44d81904e7b00
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c7077d089cdb4686b6c40885
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/b194e056a4c749289630bd16
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/fdd3c67974974e788839de97
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/cabf5d27a02b47e1b2a6c3c2
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/f7a1a71e97794740867671bc
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/8afc5754d1334020a50b1c64
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/81039eda0512408696cd68f5
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/ef935eeb810a48cf99785235
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/eb64e04993a24d37be7d337d
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/9a122fb4c8a64eb585443d4f
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/362c6c919bf34318b4f2593d
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/978a5ea3591245e9b96a01df
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/faaca43fdd9e41029f6cdb64
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/32abb979545d4dc1b0b38367
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/2d1afc81e06b44cf89a3ba42
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/b0fdcfdd512148c5a16e9d31
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/4b744b8a51154924a00d56fe
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/311dfad9124c4b798298c43f
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/5b2d9117a6df492e8e9de22b
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/b222b1433ecb48499e955d9b
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c0932a462aa447f191a95c28
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/020351b27ed24fdf828b5e15
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/67b2140ff9ec412f8081a668
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/7bfe477b0fc249a99aff3086
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/fba35e82c1514cce9374aa2a
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/e92222cca9934744a6d195a0
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/2df684d252ad4a5aa0fdd0b9
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/f043f19da4a34ce1b2c587cf
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/f80a8df691c548b68b328aa8
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c46215835b794933ba6883c1
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/0c2909bdd4214448bab18c8c
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/82faff0333754684a951f5ba
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/60bd1db0f32a4c3480c87c02
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/514a946a3d704b3296ea0e0f
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/17c9391a87cc488fbd096473
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/9af43528883a481a9f97e9f0
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/932cf165640643beb1e616e8
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/f6daf9fb1b8848eda8c22a02
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/8f0a972de87b44e09738c058
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/c46a632fa4014efe850e4f74
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/483912f05fa0423bbae33ec8
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/5e45925ec0af4783a0f98f99
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/1c6a483da1a64cdf85022c5d
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/694d1f0579164861aaa9d577
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/66d102234453453cb1688aac/ad9e5a47d9234f51bf551802

← Back to campaigns