harness:full_quick:pyvorin-project-venv:small

finished · pyvorin-project-venv

← All campaigns

Campaign Summary

ID: cd44753602e34db1a8c3dcdf

Started: 2026-07-18 23:52:06.059409
Finished: 2026-07-18 23:54:34.574221
Duration: 148.5s

21
Workloads
126
Cases
108
Passed
18
Failed
6
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.0692
cold mean ms
0.0089
warm mean ms
0.0067
warm median ms
0.0053
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.0642
cold mean ms
0.0242
warm mean ms
0.0165
warm median ms
0.0144
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

1.8261
cold mean ms
0.5397
warm mean ms
0.5337
warm median ms
0.0199
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0609
cold mean ms
0.0529
warm mean ms
0.0459
warm median ms
0.0162
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.0792
cold mean ms
0.0180
warm mean ms
0.0181
warm median ms
0.0004
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.3285
cold mean ms
0.1023
warm mean ms
0.0975
warm median ms
0.0120
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

0.9520
cold mean ms
3.5166
warm mean ms
3.5000
warm median ms
0.0674
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.0873
cold mean ms
0.0577
warm mean ms
0.0562
warm median ms
0.0034
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

0.9212
cold mean ms
1.0253
warm mean ms
0.8733
warm median ms
0.2984
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0800
cold mean ms
0.0709
warm mean ms
0.0614
warm median ms
0.0214
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

13.5870
cold mean ms
9.5525
warm mean ms
9.6319
warm median ms
0.4898
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

71.1886
cold mean ms
86.8878
warm mean ms
80.4186
warm median ms
15.5864
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

0.2109
cold mean ms
0.1557
warm mean ms
0.1420
warm median ms
0.0306
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

1.4328
cold mean ms
1.2761
warm mean ms
1.2790
warm median ms
0.0075
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

43.0198
cold mean ms
4.3559
warm mean ms
4.4204
warm median ms
0.1504
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

4.6061
cold mean ms
6.0470
warm mean ms
5.4006
warm median ms
1.2636
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

0.9003
cold mean ms
0.9118
warm mean ms
0.9155
warm median ms
0.0158
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

1416.7924
cold mean ms
4001.7761
warm mean ms
3990.2041
warm median ms
72.7034
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.particle_movement

Case Runs

Workload Phase Status Correctness Mean ms Duration
compression.rle_roundtrip cold success match 71.1886 0.00s
compression.rle_roundtrip warm success match 73.8071 0.00s
compression.rle_roundtrip warm success match 80.4186 0.00s
compression.rle_roundtrip warm success match 107.4887 0.00s
compression.rle_roundtrip warm success match 73.4424 0.00s
compression.rle_roundtrip warm success match 99.2819 0.00s
core.float_reduction cold success match 0.0642 0.00s
core.float_reduction warm success match 0.0165 0.00s
core.float_reduction warm success match 0.0238 0.00s
core.float_reduction warm success match 0.0491 0.00s
core.float_reduction warm success match 0.0158 0.00s
core.float_reduction warm success match 0.0158 0.00s
core.integer_sum cold success match 0.0692 0.00s
core.integer_sum warm success match 0.0065 0.00s
core.integer_sum warm success match 0.0062 0.00s
core.integer_sum warm success match 0.0067 0.00s
core.integer_sum warm success match 0.0183 0.00s
core.integer_sum warm success match 0.0067 0.00s
core.list_filter cold success match 1.8261 0.00s
core.list_filter warm success match 0.5209 0.00s
core.list_filter warm success match 0.5593 0.00s
core.list_filter warm success match 0.5224 0.00s
core.list_filter warm success match 0.5623 0.00s
core.list_filter warm success match 0.5337 0.00s
crypto.fnv1a_hash cold success match 13.5870 0.00s
crypto.fnv1a_hash warm success match 9.7920 0.00s
crypto.fnv1a_hash warm success match 9.6319 0.00s
crypto.fnv1a_hash warm success match 10.1964 0.00s
crypto.fnv1a_hash warm success match 9.1651 0.00s
crypto.fnv1a_hash warm success match 8.9770 0.00s
data_processing.csv_parse cold success mismatch 1.3285 0.00s
data_processing.csv_parse warm success mismatch 0.0963 0.00s
data_processing.csv_parse warm success mismatch 0.1017 0.00s
data_processing.csv_parse warm success mismatch 0.0975 0.00s
data_processing.csv_parse warm success mismatch 0.0929 0.00s
data_processing.csv_parse warm success mismatch 0.1230 0.00s
etl.group_by_aggregate cold success match 1.4328 0.00s
etl.group_by_aggregate warm success match 1.2701 0.00s
etl.group_by_aggregate warm success match 1.2790 0.00s
etl.group_by_aggregate warm success match 1.2835 0.00s
etl.group_by_aggregate warm success match 1.2663 0.00s
etl.group_by_aggregate warm success match 1.2814 0.00s
etl.merge_join cold success match 43.0198 0.00s
etl.merge_join warm success match 4.5330 0.00s
etl.merge_join warm success match 4.4294 0.00s
etl.merge_join warm success match 4.2003 0.00s
etl.merge_join warm success match 4.4204 0.00s
etl.merge_join warm success match 4.1966 0.00s
image.grayscale_filter cold success match 0.2109 0.00s
image.grayscale_filter warm success match 0.1420 0.00s
image.grayscale_filter warm success match 0.1373 0.00s
image.grayscale_filter warm success match 0.1344 0.00s
image.grayscale_filter warm success match 0.1567 0.00s
image.grayscale_filter warm success match 0.2083 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
numerical.dot_product cold success match 0.0609 0.00s
numerical.dot_product warm success match 0.0816 0.00s
numerical.dot_product warm success match 0.0451 0.00s
numerical.dot_product warm success match 0.0459 0.00s
numerical.dot_product warm success match 0.0489 0.00s
numerical.dot_product warm success match 0.0429 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.monte_carlo_pi cold success match 0.0792 0.00s
numerical.monte_carlo_pi warm success match 0.0181 0.00s
numerical.monte_carlo_pi warm success match 0.0174 0.00s
numerical.monte_carlo_pi warm success match 0.0178 0.00s
numerical.monte_carlo_pi warm success match 0.0184 0.00s
numerical.monte_carlo_pi warm success match 0.0181 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
simulation.particle_movement cold success match 1416.7924 0.00s
simulation.particle_movement warm success match 3990.2041 0.00s
simulation.particle_movement warm success match 3957.2238 0.00s
simulation.particle_movement warm success match 4011.4144 0.00s
simulation.particle_movement warm success match 3930.5443 0.00s
simulation.particle_movement warm success match 4119.4938 0.00s
stdlib.dict_lookup cold success match 0.0873 0.00s
stdlib.dict_lookup warm success match 0.0611 0.00s
stdlib.dict_lookup warm success match 0.0552 0.00s
stdlib.dict_lookup warm success match 0.0616 0.00s
stdlib.dict_lookup warm success match 0.0545 0.00s
stdlib.dict_lookup warm success match 0.0562 0.00s
stdlib.json_parse cold success match 0.9520 0.00s
stdlib.json_parse warm success match 3.6113 0.00s
stdlib.json_parse warm success match 3.5000 0.00s
stdlib.json_parse warm success match 3.4899 0.00s
stdlib.json_parse warm success match 3.5496 0.00s
stdlib.json_parse warm success match 3.4321 0.00s
string.log_parser cold success match 4.6061 0.00s
string.log_parser warm success match 5.4006 0.00s
string.log_parser warm success match 4.9529 0.00s
string.log_parser warm success match 7.3579 0.00s
string.log_parser warm success match 7.4785 0.00s
string.log_parser warm success match 5.0452 0.00s
tree.bst_operations cold success match 0.9003 0.00s
tree.bst_operations warm success match 0.8981 0.00s
tree.bst_operations warm success match 0.8947 0.00s
tree.bst_operations warm success match 0.9155 0.00s
tree.bst_operations warm success match 0.9335 0.00s
tree.bst_operations warm success match 0.9170 0.00s
web.http_parser cold success match 0.9212 0.00s
web.http_parser warm success match 1.0182 0.00s
web.http_parser warm success match 0.8541 0.00s
web.http_parser warm success match 1.5434 0.00s
web.http_parser warm success match 0.8733 0.00s
web.http_parser warm success match 0.8374 0.00s
web.url_router cold success match 0.0800 0.00s
web.url_router warm success match 0.0614 0.00s
web.url_router warm success match 0.1093 0.00s
web.url_router warm success match 0.0613 0.00s
web.url_router warm success match 0.0611 0.00s
web.url_router warm success match 0.0616 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 1ceef54938747239a280e74ae9613853 open
compile_error error 1ceef54938747239a280e74ae9613853 open
compile_error error 1ceef54938747239a280e74ae9613853 open
compile_error error 1ceef54938747239a280e74ae9613853 open
compile_error error 1ceef54938747239a280e74ae9613853 open
compile_error error 1ceef54938747239a280e74ae9613853 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 simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/8bd5dc6e9dce4a17b7e2507d
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/9ede23451c76481885e52a84
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/53167dc9344c4fdd8422b703
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/d14f9266a0eb4889b8569c80
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/f4f60be6e72e4ea888dd1e48
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/e6264e19f6bc4735b58cc408
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/781ef24196e246e2a660399c
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/acde383a69cf4252861c03a2
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/c453030a25df4e8a8122a384
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/799b85e1552a415e8ad4f669
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/886143ff42e64df083e8072b
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/28022121018948c6b80136f6
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/2c6011bf589d47acbcf0b511
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/10e0cd2a93da4cb2ab0bc192
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/c0b57b942c5e489b8a2b48de
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/7f85b16a48864099afbb1f55
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/9c775d38739f4abda598e4f6
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/d8a1067d56cc4a5a8bd6b51f
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/7fe4e9fa4dc64d8f8e668c35
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/2f40d84dc5714c69b5269c05
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/86f3719575b24ee0a7390776
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/434fd538131542cda26008d3
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/3b201b2ec29f4e1eb97a2514
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/7eff6c234ba54cf7911b24c2
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/6dc85acb17fa4380b9876539
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/c6c11e4099e4493091f01e76
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/3c2de5a46f374774ae8bd939
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/32eede108b384ed2a8eacad4
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/472b9de06bc841b9a0fee436
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/81d8b82aaa314898b56533e0
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/ddde7e46d7bf46439600ed4b
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/6fef7d8d8cb74718a9f12d2a
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/775b5fc6ce1c4e0fa8ca9eb6
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/6c6dbbeeb4dd4d90a5d49ecb
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/6708095db8e949d886f9db78
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/8850ba99b4344df999d95e0d
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/7f1e0df1082a41e99bd6d8fd
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/6f65eb5591f04feb982b9c23
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/137822cd3eb04f209b9dc40a
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/73181802eb7d4717ac49fbb0
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/753797587a57415b8cf8f127
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/7cec6132ee774bbebcdf75ca
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/ade059e485d3414ba7a12f62
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/009194785d854948a8785f15
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/9f3273483ebc4c00a8400c78
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/8c6141999c6342ad9ee89cab
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/501dcc693f614a85b9609365
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/b4df0cfc41104628884ddeaa
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/8f7c0f7785bd460dad059ed6
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/b4b7c95658a24d4fb4b19879
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/f5e48d8bbfd945d798d6a0a6
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/30071500654449a88518ed6c
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/d82f9890cc3148d3813a3004
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/41741d4961e3463388b78dec
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/c0cec32e1fad4d6b8bbbc624
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/ef728dc8f32447a98921b678
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/243a9f73ee72414fa224783a
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/53e6baebc88e469cb6b84687
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/4967a05a9e0847fb9bc68403
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/fcfa2b4d670c40da9ae75f6a
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/40fe4712574c4471a542a041
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/cf012d9eacdd4122a74456f9
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/6caca440336847f0b5095c98
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/8006df9f77c141e8b3845183
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/52c4a264d6304345bd159896
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/ebabaf0474d74ba3ac52b2b3
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/a3c86e3b68de4c42b5f47b1e
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/cc8f7e75bf7e49619231dd6e
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/428dc379af80431e8faa1a4f
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/28a9864957a44f2c93c5852d
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/eef1fecfd0e64c818287f9e3
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/c7b60e054ae946f3843900ca
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/5af96bb8e66b475f808a3b99
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/776fe16058df4d15999c5891
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/29b1ae943cd146509993ede1
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/a2f3e5ae85ad47308bcd3656
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/cbfa12d2a7ef45f6ac4c479a
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/ae59146d4940407c9fbe7f1b
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/e77844e7bc8b4e7a9ecffd91
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/e1b231ffdcb9433daddea5ed
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/7cf76a245d284e7c8da82a43
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/0c6b421eebb6445ca671a72b
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/c9e1094ec47e4df98fa41e62
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/68ab5bdca2ab4ea4a4b6e22b
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/8068888192d343b7be34efc2
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/b7240aae0622468ca1093484
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/9407eed4a0904364a551452e
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/b1045d3c2e904dd7a4c07735
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/6c7d35b3a9c24a9abab0d646
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/6b9e5e342a0c429485fc0b68
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/a80494d63bf14b4cbc776212
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/de822e184d83459081b4858e
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/8d40a4d386454ea7b54fe6bb
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/260c2b4608fb4b6e840ff899
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/4f7a505917204b6687062709
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/9c5f8dca6c9a49b3a6312977
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/e2fc14e6f7d74384b9b280fc
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/6707d54ac0f64343b271bcee
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/4212b9c2abc54fd39091fde9
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/52f2e0e93f684ab3b4dd396d
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/ce13a85fb66c4c4d9566d504
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/cd44753602e34db1a8c3dcdf/24c359f602b8459093da54ac

← Back to campaigns