harness:full_quick:pyvorin-project-venv:small

finished · pyvorin-project-venv

← All campaigns

Campaign Summary

ID: 10a84a789c16453387a4cd4b

Started: 2026-07-19 07:56:44.598288
Finished: 2026-07-19 08:03:33.022161
Duration: 408.4s

71
Workloads
426
Cases
406
Passed
20
Failed
9
Mismatches

Campaign Chart

Campaign summary chart

Workload Results

core.integer_sum

0.0885
cold mean ms
0.0078
warm mean ms
0.0068
warm median ms
0.0018
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.integer_sum

core.float_reduction

0.0770
cold mean ms
0.0163
warm mean ms
0.0160
warm median ms
0.0014
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.float_reduction

core.list_filter

0.8019
cold mean ms
0.4354
warm mean ms
0.5324
warm median ms
0.2351
warm stdev ms
100%
success rate
1
mismatches
Comparison chart for core.list_filter

numerical.dot_product

0.0590
cold mean ms
0.0531
warm mean ms
0.0452
warm median ms
0.0182
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.0766
cold mean ms
0.0207
warm mean ms
0.0186
warm median ms
0.0055
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.1940
cold mean ms
0.0878
warm mean ms
0.0866
warm median ms
0.0038
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.0324
cold mean ms
4.0967
warm mean ms
4.7183
warm median ms
1.2117
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.json_parse

stdlib.dict_lookup

0.0698
cold mean ms
0.0583
warm mean ms
0.0578
warm median ms
0.0025
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for stdlib.dict_lookup

web.http_parser

0.8403
cold mean ms
0.8105
warm mean ms
0.8073
warm median ms
0.0196
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.http_parser

web.url_router

0.0984
cold mean ms
0.0670
warm mean ms
0.0683
warm median ms
0.0023
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.url_router

crypto.fnv1a_hash

9.0462
cold mean ms
10.2515
warm mean ms
8.9586
warm median ms
2.1614
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.fnv1a_hash

compression.rle_roundtrip

67.8586
cold mean ms
73.6171
warm mean ms
72.3233
warm median ms
4.7788
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.rle_roundtrip

image.grayscale_filter

0.2444
cold mean ms
0.1536
warm mean ms
0.1421
warm median ms
0.0226
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.grayscale_filter

etl.group_by_aggregate

1.3399
cold mean ms
1.3921
warm mean ms
1.2784
warm median ms
0.3059
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.group_by_aggregate

etl.merge_join

29.3449
cold mean ms
6.5593
warm mean ms
6.8168
warm median ms
1.0206
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.merge_join

string.log_parser

4.7922
cold mean ms
3.6431
warm mean ms
2.8769
warm median ms
1.4168
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.log_parser

tree.bst_operations

1.3981
cold mean ms
0.9326
warm mean ms
0.9317
warm median ms
0.0474
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for tree.bst_operations

simulation.particle_movement

1473.7628
cold mean ms
3261.0236
warm mean ms
4009.8581
warm median ms
1786.5538
warm stdev ms
100%
success rate
1
mismatches
Comparison chart for simulation.particle_movement

ml.knn_inference

0.2329
cold mean ms
0.1355
warm mean ms
0.1344
warm median ms
0.0123
warm stdev ms
83%
success rate
0
mismatches
Comparison chart for ml.knn_inference

financial.moving_average

0.0000
cold mean ms
0.1181
warm mean ms
0.1193
warm median ms
0.0048
warm stdev ms
83%
success rate
0
mismatches
Comparison chart for financial.moving_average

parsing.csv_tokenize

1.5556
cold mean ms
1.3599
warm mean ms
1.2234
warm median ms
0.4131
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.csv_tokenize

parsing.ini_parse

12.5621
cold mean ms
32.2106
warm mean ms
28.3240
warm median ms
7.6883
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.ini_parse

graph.bfs

0.3150
cold mean ms
0.1882
warm mean ms
0.1549
warm median ms
0.0554
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.bfs

sorting.merge_sort

0.6816
cold mean ms
0.3893
warm mean ms
0.3899
warm median ms
0.0259
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for sorting.merge_sort

object.shape_area

0.4311
cold mean ms
0.1870
warm mean ms
0.1526
warm median ms
0.0808
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for object.shape_area

serialization.json_serialize

16.2940
cold mean ms
17.1906
warm mean ms
16.6214
warm median ms
1.1814
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for serialization.json_serialize

text.word_count

4.9929
cold mean ms
4.1440
warm mean ms
4.1506
warm median ms
0.1237
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for text.word_count

numerical.matrix_vector

0.3876
cold mean ms
0.4039
warm mean ms
0.3201
warm median ms
0.1740
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.matrix_vector

scientific.polynomial_eval

2.8257
cold mean ms
1.3100
warm mean ms
1.5452
warm median ms
0.4638
warm stdev ms
100%
success rate
1
mismatches
Comparison chart for scientific.polynomial_eval

database.word_count_index

4.0412
cold mean ms
3.1661
warm mean ms
2.8396
warm median ms
0.7679
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for database.word_count_index

regex.wildcard_match

4.1112
cold mean ms
4.7778
warm mean ms
4.1758
warm median ms
1.5900
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for regex.wildcard_match

web.query_string_parse

3.4337
cold mean ms
6.9651
warm mean ms
6.2427
warm median ms
1.7388
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.query_string_parse

crypto.xor_cipher

7.2112
cold mean ms
5.2549
warm mean ms
5.2344
warm median ms
0.4433
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.xor_cipher

etl.top_n_selection

1.7067
cold mean ms
0.0170
warm mean ms
0.0134
warm median ms
0.0078
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.top_n_selection

statistics.histogram

8.7615
cold mean ms
1.6977
warm mean ms
1.3752
warm median ms
0.4610
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for statistics.histogram

string.dna_count

366.5418
cold mean ms
275.8187
warm mean ms
265.5132
warm median ms
23.7044
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.dna_count

image.box_blur

20.4115
cold mean ms
6.6754
warm mean ms
6.5360
warm median ms
0.5766
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.box_blur

numerical.trapezoidal_integral

0.1135
cold mean ms
0.0354
warm mean ms
0.0328
warm median ms
0.0068
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.trapezoidal_integral

scientific.newton_sqrt

0.9207
cold mean ms
0.7102
warm mean ms
0.7091
warm median ms
0.0184
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for scientific.newton_sqrt

database.group_by_sum

9.1121
cold mean ms
4.2826
warm mean ms
4.2740
warm median ms
0.1397
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for database.group_by_sum

regex.email_like_match

2.5663
cold mean ms
1.1523
warm mean ms
1.1562
warm median ms
0.0508
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for regex.email_like_match

web.cookie_parse

7.8246
cold mean ms
4.2024
warm mean ms
4.1711
warm median ms
0.2057
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.cookie_parse

crypto.caesar_cipher

2.9720
cold mean ms
1.5798
warm mean ms
1.4146
warm median ms
0.4061
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.caesar_cipher

etl.windowed_aggregate

4.8816
cold mean ms
3.7653
warm mean ms
3.2371
warm median ms
0.8485
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.windowed_aggregate

statistics.mean_variance

10.3023
cold mean ms
8.0612
warm mean ms
8.1016
warm median ms
0.1964
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for statistics.mean_variance

string.palindrome_pairs

3.5999
cold mean ms
4.5414
warm mean ms
4.1541
warm median ms
1.1476
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for string.palindrome_pairs

image.sobel_edge

5.1345
cold mean ms
3.6141
warm mean ms
3.6091
warm median ms
0.1012
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.sobel_edge

numerical.gcd_loop

1.8501
cold mean ms
1.6957
warm mean ms
1.6996
warm median ms
0.0254
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for numerical.gcd_loop

ml.perceptron_predict

2.7467
cold mean ms
1.4164
warm mean ms
1.2759
warm median ms
0.3651
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for ml.perceptron_predict

financial.compound_interest

0.8445
cold mean ms
0.7786
warm mean ms
0.7727
warm median ms
0.0140
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for financial.compound_interest

parsing.log_line_parse

1.7195
cold mean ms
0.3285
warm mean ms
0.3212
warm median ms
0.0183
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for parsing.log_line_parse

graph.dijkstra

6.8830
cold mean ms
2.9039
warm mean ms
2.9005
warm median ms
0.0563
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.dijkstra

sorting.quick_sort

103.2359
cold mean ms
104.7328
warm mean ms
104.3437
warm median ms
1.4637
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for sorting.quick_sort

object.bank_account

0.1749
cold mean ms
0.0994
warm mean ms
0.0990
warm median ms
0.0074
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for object.bank_account

serialization.csv_serialize

7.0789
cold mean ms
0.3083
warm mean ms
0.3142
warm median ms
0.0161
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for serialization.csv_serialize

text.sentiment_score

8.2063
cold mean ms
0.3910
warm mean ms
0.3598
warm median ms
0.0957
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for text.sentiment_score

simulation.conway_life

1.1514
cold mean ms
0.1648
warm mean ms
0.1626
warm median ms
0.0053
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for simulation.conway_life

iot.sensor_anomaly

0.1305
cold mean ms
0.0671
warm mean ms
0.0629
warm median ms
0.0086
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for iot.sensor_anomaly

core.fibonacci_sum

0.3050
cold mean ms
0.2663
warm mean ms
0.2532
warm median ms
0.0300
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.fibonacci_sum

core.factorial_sum

0.0927
cold mean ms
0.0341
warm mean ms
0.0340
warm median ms
0.0009
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for core.factorial_sum

data_processing.json_extract

2.0743
cold mean ms
0.3937
warm mean ms
0.3850
warm median ms
0.0270
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for data_processing.json_extract

web.html_tag_count

2.0391
cold mean ms
1.6179
warm mean ms
1.6071
warm median ms
0.0620
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for web.html_tag_count

crypto.simple_checksum

1.4912
cold mean ms
1.5391
warm mean ms
1.5533
warm median ms
0.0415
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for crypto.simple_checksum

image.convolution_1d

132.5036
cold mean ms
127.1239
warm mean ms
128.1590
warm median ms
2.6593
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for image.convolution_1d

statistics.correlation

3.2136
cold mean ms
1.6648
warm mean ms
1.6933
warm median ms
0.0575
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for statistics.correlation

graph.floyd_warshall

24.4230
cold mean ms
24.7752
warm mean ms
23.8455
warm median ms
3.0310
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for graph.floyd_warshall

compression.run_length_encode

7.7646
cold mean ms
3.2290
warm mean ms
3.2112
warm median ms
0.0317
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for compression.run_length_encode

etl.distinct_count

7.3156
cold mean ms
6.7736
warm mean ms
5.9439
warm median ms
1.8050
warm stdev ms
100%
success rate
0
mismatches
Comparison chart for etl.distinct_count

Case Runs

Workload Phase Status Correctness Mean ms Duration
compression.rle_roundtrip cold success match 67.8586 0.00s
compression.rle_roundtrip warm success match 81.6664 0.00s
compression.rle_roundtrip warm success match 72.3233 0.00s
compression.rle_roundtrip warm success match 68.8632 0.00s
compression.rle_roundtrip warm success match 72.9897 0.00s
compression.rle_roundtrip warm success match 72.2427 0.00s
compression.run_length_encode cold success match 7.7646 0.00s
compression.run_length_encode warm success match 3.2740 0.00s
compression.run_length_encode warm success match 3.1996 0.00s
compression.run_length_encode warm success match 3.2100 0.00s
compression.run_length_encode warm success match 3.2112 0.00s
compression.run_length_encode warm success match 3.2501 0.00s
core.factorial_sum cold success match 0.0927 0.00s
core.factorial_sum warm success match 0.0330 0.00s
core.factorial_sum warm success match 0.0340 0.00s
core.factorial_sum warm success match 0.0352 0.00s
core.factorial_sum warm success match 0.0333 0.00s
core.factorial_sum warm success match 0.0348 0.00s
core.fibonacci_sum cold success match 0.3050 0.00s
core.fibonacci_sum warm success match 0.2610 0.00s
core.fibonacci_sum warm success match 0.3192 0.00s
core.fibonacci_sum warm success match 0.2489 0.00s
core.fibonacci_sum warm success match 0.2493 0.00s
core.fibonacci_sum warm success match 0.2532 0.00s
core.float_reduction cold success match 0.0770 0.00s
core.float_reduction warm success match 0.0160 0.00s
core.float_reduction warm success match 0.0156 0.00s
core.float_reduction warm success match 0.0153 0.00s
core.float_reduction warm success match 0.0187 0.00s
core.float_reduction warm success match 0.0161 0.00s
core.integer_sum cold success match 0.0885 0.00s
core.integer_sum warm success match 0.0084 0.00s
core.integer_sum warm success match 0.0068 0.00s
core.integer_sum warm success match 0.0066 0.00s
core.integer_sum warm success match 0.0107 0.00s
core.integer_sum warm success match 0.0064 0.00s
core.list_filter cold success match 0.8019 0.00s
core.list_filter warm success match 0.5332 0.00s
core.list_filter warm success match 0.5324 0.00s
core.list_filter warm success match 0.5721 0.00s
core.list_filter warm success match 0.5230 0.00s
core.list_filter warm success mismatch 0.0162 0.00s
crypto.caesar_cipher cold success match 2.9720 0.00s
crypto.caesar_cipher warm success match 1.4146 0.00s
crypto.caesar_cipher warm success match 1.3556 0.00s
crypto.caesar_cipher warm success match 2.3047 0.00s
crypto.caesar_cipher warm success match 1.4040 0.00s
crypto.caesar_cipher warm success match 1.4198 0.00s
crypto.fnv1a_hash cold success match 9.0462 0.00s
crypto.fnv1a_hash warm success match 8.7272 0.00s
crypto.fnv1a_hash warm success match 8.9586 0.00s
crypto.fnv1a_hash warm success match 8.7629 0.00s
crypto.fnv1a_hash warm success match 13.6703 0.00s
crypto.fnv1a_hash warm success match 11.1387 0.00s
crypto.simple_checksum cold success match 1.4912 0.00s
crypto.simple_checksum warm success match 1.4907 0.00s
crypto.simple_checksum warm success match 1.5000 0.00s
crypto.simple_checksum warm success match 1.5842 0.00s
crypto.simple_checksum warm success match 1.5533 0.00s
crypto.simple_checksum warm success match 1.5672 0.00s
crypto.xor_cipher cold success match 7.2112 0.00s
crypto.xor_cipher warm success match 5.2344 0.00s
crypto.xor_cipher warm success match 4.9072 0.00s
crypto.xor_cipher warm success match 4.8196 0.00s
crypto.xor_cipher warm success match 5.3804 0.00s
crypto.xor_cipher warm success match 5.9327 0.00s
data_processing.csv_parse cold success mismatch 0.1940 0.00s
data_processing.csv_parse warm success mismatch 0.0859 0.00s
data_processing.csv_parse warm success mismatch 0.0917 0.00s
data_processing.csv_parse warm success mismatch 0.0830 0.00s
data_processing.csv_parse warm success mismatch 0.0916 0.00s
data_processing.csv_parse warm success mismatch 0.0866 0.00s
data_processing.json_extract cold success match 2.0743 0.00s
data_processing.json_extract warm success match 0.4408 0.00s
data_processing.json_extract warm success match 0.3850 0.00s
data_processing.json_extract warm success match 0.3895 0.00s
data_processing.json_extract warm success match 0.3731 0.00s
data_processing.json_extract warm success match 0.3801 0.00s
database.group_by_sum cold success match 9.1121 0.00s
database.group_by_sum warm success match 4.2048 0.00s
database.group_by_sum warm success match 4.4239 0.00s
database.group_by_sum warm success match 4.0963 0.00s
database.group_by_sum warm success match 4.2740 0.00s
database.group_by_sum warm success match 4.4142 0.00s
database.word_count_index cold success match 4.0412 0.00s
database.word_count_index warm success match 4.4997 0.00s
database.word_count_index warm success match 2.7149 0.00s
database.word_count_index warm success match 2.6483 0.00s
database.word_count_index warm success match 3.1281 0.00s
database.word_count_index warm success match 2.8396 0.00s
etl.distinct_count cold success match 7.3156 0.00s
etl.distinct_count warm success match 5.8948 0.00s
etl.distinct_count warm success match 5.8064 0.00s
etl.distinct_count warm success match 9.9899 0.00s
etl.distinct_count warm success match 6.2330 0.00s
etl.distinct_count warm success match 5.9439 0.00s
etl.group_by_aggregate cold success match 1.3399 0.00s
etl.group_by_aggregate warm success match 1.3110 0.00s
etl.group_by_aggregate warm success match 1.2784 0.00s
etl.group_by_aggregate warm success match 1.9336 0.00s
etl.group_by_aggregate warm success match 1.2449 0.00s
etl.group_by_aggregate warm success match 1.1923 0.00s
etl.merge_join cold success match 29.3449 0.00s
etl.merge_join warm success match 7.4318 0.00s
etl.merge_join warm success match 6.5774 0.00s
etl.merge_join warm success match 7.1427 0.00s
etl.merge_join warm success match 4.8277 0.00s
etl.merge_join warm success match 6.8168 0.00s
etl.top_n_selection cold success match 1.7067 0.00s
etl.top_n_selection warm success match 0.0133 0.00s
etl.top_n_selection warm success match 0.0143 0.00s
etl.top_n_selection warm success match 0.0310 0.00s
etl.top_n_selection warm success match 0.0133 0.00s
etl.top_n_selection warm success match 0.0134 0.00s
etl.windowed_aggregate cold success match 4.8816 0.00s
etl.windowed_aggregate warm success match 5.0495 0.00s
etl.windowed_aggregate warm success match 4.2241 0.00s
etl.windowed_aggregate warm success match 3.1193 0.00s
etl.windowed_aggregate warm success match 3.1964 0.00s
etl.windowed_aggregate warm success match 3.2371 0.00s
financial.compound_interest cold success match 0.8445 0.00s
financial.compound_interest warm success match 0.7686 0.00s
financial.compound_interest warm success match 0.7880 0.00s
financial.compound_interest warm success match 0.7727 0.00s
financial.compound_interest warm success match 0.7654 0.00s
financial.compound_interest warm success match 0.7983 0.00s
financial.moving_average cold failed no_result n/a 0.00s
financial.moving_average warm success match 0.1111 0.00s
financial.moving_average warm success match 0.1193 0.00s
financial.moving_average warm success match 0.1198 0.00s
financial.moving_average warm success match 0.1240 0.00s
financial.moving_average warm success match 0.1162 0.00s
graph.bfs cold success match 0.3150 0.00s
graph.bfs warm success match 0.1497 0.00s
graph.bfs warm success match 0.1549 0.00s
graph.bfs warm success match 0.2151 0.00s
graph.bfs warm success match 0.2737 0.00s
graph.bfs warm success match 0.1474 0.00s
graph.dijkstra cold success match 6.8830 0.00s
graph.dijkstra warm success match 2.9962 0.00s
graph.dijkstra warm success match 2.9005 0.00s
graph.dijkstra warm success match 2.8537 0.00s
graph.dijkstra warm success match 2.8635 0.00s
graph.dijkstra warm success match 2.9057 0.00s
graph.floyd_warshall cold success match 24.4230 0.00s
graph.floyd_warshall warm success match 22.4528 0.00s
graph.floyd_warshall warm success match 23.2102 0.00s
graph.floyd_warshall warm success match 23.8455 0.00s
graph.floyd_warshall warm success match 24.3171 0.00s
graph.floyd_warshall warm success match 30.0506 0.00s
image.box_blur cold success match 20.4115 0.00s
image.box_blur warm success match 6.5360 0.00s
image.box_blur warm success match 6.1984 0.00s
image.box_blur warm success match 7.6544 0.00s
image.box_blur warm success match 6.3226 0.00s
image.box_blur warm success match 6.6657 0.00s
image.convolution_1d cold success match 132.5036 0.00s
image.convolution_1d warm success match 129.9265 0.00s
image.convolution_1d warm success match 123.1003 0.00s
image.convolution_1d warm success match 128.4729 0.00s
image.convolution_1d warm success match 125.9607 0.00s
image.convolution_1d warm success match 128.1590 0.00s
image.grayscale_filter cold success match 0.2444 0.00s
image.grayscale_filter warm success match 0.1421 0.00s
image.grayscale_filter warm success match 0.1573 0.00s
image.grayscale_filter warm success match 0.1358 0.00s
image.grayscale_filter warm success match 0.1413 0.00s
image.grayscale_filter warm success match 0.1915 0.00s
image.sobel_edge cold success match 5.1345 0.00s
image.sobel_edge warm success match 3.5204 0.00s
image.sobel_edge warm success match 3.5151 0.00s
image.sobel_edge warm success match 3.6091 0.00s
image.sobel_edge warm success match 3.6753 0.00s
image.sobel_edge warm success match 3.7506 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
iot.sensor_anomaly cold success match 0.1305 0.00s
iot.sensor_anomaly warm success match 0.0629 0.00s
iot.sensor_anomaly warm success match 0.0583 0.00s
iot.sensor_anomaly warm success match 0.0622 0.00s
iot.sensor_anomaly warm success match 0.0794 0.00s
iot.sensor_anomaly warm success match 0.0725 0.00s
ml.knn_inference cold success match 0.2329 0.00s
ml.knn_inference warm success match 0.1424 0.00s
ml.knn_inference warm success match 0.1241 0.00s
ml.knn_inference warm success match 0.1492 0.00s
ml.knn_inference warm success match 0.1263 0.00s
ml.knn_inference warm failed no_result n/a 0.00s
ml.perceptron_predict cold success match 2.7467 0.00s
ml.perceptron_predict warm success match 1.2759 0.00s
ml.perceptron_predict warm success match 1.3110 0.00s
ml.perceptron_predict warm success match 2.0651 0.00s
ml.perceptron_predict warm success match 1.2002 0.00s
ml.perceptron_predict warm success match 1.2296 0.00s
numerical.dot_product cold success match 0.0590 0.00s
numerical.dot_product warm success match 0.0422 0.00s
numerical.dot_product warm success match 0.0452 0.00s
numerical.dot_product warm success match 0.0487 0.00s
numerical.dot_product warm success match 0.0854 0.00s
numerical.dot_product warm success match 0.0442 0.00s
numerical.gcd_loop cold success match 1.8501 0.00s
numerical.gcd_loop warm success match 1.6972 0.00s
numerical.gcd_loop warm success match 1.6996 0.00s
numerical.gcd_loop warm success match 1.7176 0.00s
numerical.gcd_loop warm success match 1.6528 0.00s
numerical.gcd_loop warm success match 1.7114 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.3876 0.00s
numerical.matrix_vector warm success match 0.3132 0.00s
numerical.matrix_vector warm success match 0.2948 0.00s
numerical.matrix_vector warm success match 0.3201 0.00s
numerical.matrix_vector warm success match 0.7096 0.00s
numerical.matrix_vector warm success match 0.3818 0.00s
numerical.monte_carlo_pi cold success match 0.0766 0.00s
numerical.monte_carlo_pi warm success match 0.0195 0.00s
numerical.monte_carlo_pi warm success match 0.0304 0.00s
numerical.monte_carlo_pi warm success match 0.0186 0.00s
numerical.monte_carlo_pi warm success match 0.0176 0.00s
numerical.monte_carlo_pi warm success match 0.0172 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
numerical.trapezoidal_integral cold success match 0.1135 0.00s
numerical.trapezoidal_integral warm success match 0.0329 0.00s
numerical.trapezoidal_integral warm success match 0.0314 0.00s
numerical.trapezoidal_integral warm success match 0.0328 0.00s
numerical.trapezoidal_integral warm success match 0.0474 0.00s
numerical.trapezoidal_integral warm success match 0.0326 0.00s
object.bank_account cold success match 0.1749 0.00s
object.bank_account warm success match 0.0898 0.00s
object.bank_account warm success match 0.1065 0.00s
object.bank_account warm success match 0.0990 0.00s
object.bank_account warm success match 0.0947 0.00s
object.bank_account warm success match 0.1068 0.00s
object.shape_area cold success match 0.4311 0.00s
object.shape_area warm success match 0.1480 0.00s
object.shape_area warm success match 0.1526 0.00s
object.shape_area warm success match 0.3313 0.00s
object.shape_area warm success match 0.1584 0.00s
object.shape_area warm success match 0.1447 0.00s
parsing.csv_tokenize cold success match 1.5556 0.00s
parsing.csv_tokenize warm success match 2.0927 0.00s
parsing.csv_tokenize warm success match 1.1079 0.00s
parsing.csv_tokenize warm success match 1.2234 0.00s
parsing.csv_tokenize warm success match 1.1424 0.00s
parsing.csv_tokenize warm success match 1.2328 0.00s
parsing.ini_parse cold success match 12.5621 0.00s
parsing.ini_parse warm success match 26.9384 0.00s
parsing.ini_parse warm success match 45.2640 0.00s
parsing.ini_parse warm success match 28.3240 0.00s
parsing.ini_parse warm success match 27.4736 0.00s
parsing.ini_parse warm success match 33.0528 0.00s
parsing.log_line_parse cold success match 1.7195 0.00s
parsing.log_line_parse warm success match 0.3142 0.00s
parsing.log_line_parse warm success match 0.3549 0.00s
parsing.log_line_parse warm success match 0.3397 0.00s
parsing.log_line_parse warm success match 0.3212 0.00s
parsing.log_line_parse warm success match 0.3123 0.00s
regex.email_like_match cold success match 2.5663 0.00s
regex.email_like_match warm success match 1.1562 0.00s
regex.email_like_match warm success match 1.0717 0.00s
regex.email_like_match warm success match 1.1462 0.00s
regex.email_like_match warm success match 1.1814 0.00s
regex.email_like_match warm success match 1.2062 0.00s
regex.wildcard_match cold success match 4.1112 0.00s
regex.wildcard_match warm success match 3.4449 0.00s
regex.wildcard_match warm success match 4.1758 0.00s
regex.wildcard_match warm success match 3.4766 0.00s
regex.wildcard_match warm success match 7.1183 0.00s
regex.wildcard_match warm success match 5.6734 0.00s
scientific.newton_sqrt cold success match 0.9207 0.00s
scientific.newton_sqrt warm success match 0.7261 0.00s
scientific.newton_sqrt warm success match 0.7091 0.00s
scientific.newton_sqrt warm success match 0.6936 0.00s
scientific.newton_sqrt warm success match 0.7314 0.00s
scientific.newton_sqrt warm success match 0.6908 0.00s
scientific.polynomial_eval cold success match 2.8257 0.00s
scientific.polynomial_eval warm success match 1.5452 0.00s
scientific.polynomial_eval warm success match 1.4199 0.00s
scientific.polynomial_eval warm success match 1.5497 0.00s
scientific.polynomial_eval warm success mismatch 0.4862 0.00s
scientific.polynomial_eval warm success match 1.5490 0.00s
serialization.csv_serialize cold success match 7.0789 0.00s
serialization.csv_serialize warm success match 0.3246 0.00s
serialization.csv_serialize warm success match 0.2938 0.00s
serialization.csv_serialize warm success match 0.3202 0.00s
serialization.csv_serialize warm success match 0.2886 0.00s
serialization.csv_serialize warm success match 0.3142 0.00s
serialization.json_serialize cold success match 16.2940 0.00s
serialization.json_serialize warm success match 19.0588 0.00s
serialization.json_serialize warm success match 16.5647 0.00s
serialization.json_serialize warm success match 16.6214 0.00s
serialization.json_serialize warm success match 16.0956 0.00s
serialization.json_serialize warm success match 17.6123 0.00s
simulation.conway_life cold success match 1.1514 0.00s
simulation.conway_life warm success match 0.1612 0.00s
simulation.conway_life warm success match 0.1639 0.00s
simulation.conway_life warm success match 0.1620 0.00s
simulation.conway_life warm success match 0.1626 0.00s
simulation.conway_life warm success match 0.1740 0.00s
simulation.particle_movement cold success match 1473.7628 0.00s
simulation.particle_movement warm success match 4079.9121 0.00s
simulation.particle_movement warm success mismatch 68.8970 0.00s
simulation.particle_movement warm success match 4188.8765 0.00s
simulation.particle_movement warm success match 3957.5744 0.00s
simulation.particle_movement warm success match 4009.8581 0.00s
sorting.merge_sort cold success match 0.6816 0.00s
sorting.merge_sort warm success match 0.4238 0.00s
sorting.merge_sort warm success match 0.3899 0.00s
sorting.merge_sort warm success match 0.3528 0.00s
sorting.merge_sort warm success match 0.3813 0.00s
sorting.merge_sort warm success match 0.3987 0.00s
sorting.quick_sort cold success match 103.2359 0.00s
sorting.quick_sort warm success match 103.7584 0.00s
sorting.quick_sort warm success match 107.2499 0.00s
sorting.quick_sort warm success match 104.6400 0.00s
sorting.quick_sort warm success match 103.6722 0.00s
sorting.quick_sort warm success match 104.3437 0.00s
statistics.correlation cold success match 3.2136 0.00s
statistics.correlation warm success match 1.6028 0.00s
statistics.correlation warm success match 1.7273 0.00s
statistics.correlation warm success match 1.6042 0.00s
statistics.correlation warm success match 1.6965 0.00s
statistics.correlation warm success match 1.6933 0.00s
statistics.histogram cold success match 8.7615 0.00s
statistics.histogram warm success match 2.2940 0.00s
statistics.histogram warm success match 1.3752 0.00s
statistics.histogram warm success match 2.1000 0.00s
statistics.histogram warm success match 1.3675 0.00s
statistics.histogram warm success match 1.3520 0.00s
statistics.mean_variance cold success match 10.3023 0.00s
statistics.mean_variance warm success match 8.0004 0.00s
statistics.mean_variance warm success match 7.7701 0.00s
statistics.mean_variance warm success match 8.3055 0.00s
statistics.mean_variance warm success match 8.1283 0.00s
statistics.mean_variance warm success match 8.1016 0.00s
stdlib.dict_lookup cold success match 0.0698 0.00s
stdlib.dict_lookup warm success match 0.0563 0.00s
stdlib.dict_lookup warm success match 0.0584 0.00s
stdlib.dict_lookup warm success match 0.0626 0.00s
stdlib.dict_lookup warm success match 0.0565 0.00s
stdlib.dict_lookup warm success match 0.0578 0.00s
stdlib.json_parse cold success match 1.0324 0.00s
stdlib.json_parse warm success match 4.7183 0.00s
stdlib.json_parse warm success match 2.6461 0.00s
stdlib.json_parse warm success match 5.1910 0.00s
stdlib.json_parse warm success match 5.0006 0.00s
stdlib.json_parse warm success match 2.9274 0.00s
string.dna_count cold success match 366.5418 0.00s
string.dna_count warm success match 262.0049 0.00s
string.dna_count warm success match 275.3732 0.00s
string.dna_count warm success match 259.3899 0.00s
string.dna_count warm success match 265.5132 0.00s
string.dna_count warm success match 316.8121 0.00s
string.log_parser cold success match 4.7922 0.00s
string.log_parser warm success match 6.0321 0.00s
string.log_parser warm success match 2.6133 0.00s
string.log_parser warm success match 3.8464 0.00s
string.log_parser warm success match 2.8470 0.00s
string.log_parser warm success match 2.8769 0.00s
string.palindrome_pairs cold success match 3.5999 0.00s
string.palindrome_pairs warm success match 4.0290 0.00s
string.palindrome_pairs warm success match 3.7480 0.00s
string.palindrome_pairs warm success match 4.2062 0.00s
string.palindrome_pairs warm success match 6.5697 0.00s
string.palindrome_pairs warm success match 4.1541 0.00s
text.sentiment_score cold success match 8.2063 0.00s
text.sentiment_score warm success match 0.5589 0.00s
text.sentiment_score warm success match 0.3683 0.00s
text.sentiment_score warm success match 0.3598 0.00s
text.sentiment_score warm success match 0.3192 0.00s
text.sentiment_score warm success match 0.3488 0.00s
text.word_count cold success match 4.9929 0.00s
text.word_count warm success match 4.2311 0.00s
text.word_count warm success match 4.0417 0.00s
text.word_count warm success match 4.2950 0.00s
text.word_count warm success match 4.1506 0.00s
text.word_count warm success match 4.0016 0.00s
tree.bst_operations cold success match 1.3981 0.00s
tree.bst_operations warm success match 0.9087 0.00s
tree.bst_operations warm success match 0.9402 0.00s
tree.bst_operations warm success match 0.8770 0.00s
tree.bst_operations warm success match 1.0052 0.00s
tree.bst_operations warm success match 0.9317 0.00s
web.cookie_parse cold success match 7.8246 0.00s
web.cookie_parse warm success match 4.0000 0.00s
web.cookie_parse warm success match 4.1169 0.00s
web.cookie_parse warm success match 4.1761 0.00s
web.cookie_parse warm success match 4.1711 0.00s
web.cookie_parse warm success match 4.5479 0.00s
web.html_tag_count cold success match 2.0391 0.00s
web.html_tag_count warm success match 1.7084 0.00s
web.html_tag_count warm success match 1.6489 0.00s
web.html_tag_count warm success match 1.5600 0.00s
web.html_tag_count warm success match 1.5652 0.00s
web.html_tag_count warm success match 1.6071 0.00s
web.http_parser cold success match 0.8403 0.00s
web.http_parser warm success match 0.8073 0.00s
web.http_parser warm success match 0.8270 0.00s
web.http_parser warm success match 0.8343 0.00s
web.http_parser warm success match 0.7910 0.00s
web.http_parser warm success match 0.7929 0.00s
web.query_string_parse cold success match 3.4337 0.00s
web.query_string_parse warm success match 10.0173 0.00s
web.query_string_parse warm success match 6.2427 0.00s
web.query_string_parse warm success match 5.8350 0.00s
web.query_string_parse warm success match 6.0056 0.00s
web.query_string_parse warm success match 6.7248 0.00s
web.url_router cold success match 0.0984 0.00s
web.url_router warm success match 0.0684 0.00s
web.url_router warm success match 0.0683 0.00s
web.url_router warm success match 0.0637 0.00s
web.url_router warm success match 0.0689 0.00s
web.url_router warm success match 0.0655 0.00s

Failures

Class Severity Signature Status
correctness_mismatch error 4f97d83cae3ed2536c30abc4c86e69a1 open
runtime_error error 2c14188e3f6533e3f6b37f3b0da50a97 open
compile_error error 7e61010bf4a4e9dbf70fcbde6e9527ca open
correctness_mismatch error de5f46266daf4c315b2d27b029def91f 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
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 95ddfcaa4b98a8b960bcfd1254f05852 open
compile_error error 95ddfcaa4b98a8b960bcfd1254f05852 open
compile_error error 95ddfcaa4b98a8b960bcfd1254f05852 open
compile_error error 95ddfcaa4b98a8b960bcfd1254f05852 open
compile_error error 95ddfcaa4b98a8b960bcfd1254f05852 open
compile_error error 95ddfcaa4b98a8b960bcfd1254f05852 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
correctness_mismatch error d2e96cf45ba3f89c33003f4cd002e514 open

Proof Packs

📦
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/79c25dc7fcf5484191c78067
📦
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/13815309d2a14d0cbfc1ef2f
📦
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4a4c51e4992b4af4a4ae6721
📦
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2b01e06884ad4008b33d9327
📦
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d30e647cbb444b829c7ee1ad
📦
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2e28356bca6644bb861587f9
📦
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/abd1fa47f25d42638db2332b
📦
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/067b6488d75c4ac2a0f33df1
📦
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3b76b4fe39cf4d3eb5c84425
📦
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/31e4ca0637764f4888e3fe51
📦
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/537fcfd05d8848d5a6c38211
📦
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3639e6adeebc40eea2d76b73
📦
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4af01dc93eb74725bf10e900
📦
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d7717f004e5c436da85849e2
📦
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/908cabcdc1e44f48b6b6b419
📦
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/25f7f7a9b6b7496eb7917ea8
📦
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f7d6599741c442889da26eef
📦
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1c29b1d31db84f2b9b027516
📦
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/7a5169a4b7f441759928b149
📦
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/dda4dc78184249859baff953
📦
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/fec0d48c7cad4db08ce653b9
📦
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c16747065f2140d8911de868
📦
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6d5a5a3ac73c4e229290884c
📦
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e74877aa62504d839ce2780a
📦
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b643e7303fb04c00bc244a88
📦
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6cc15b49ef4841248d774c9a
📦
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/65e5c80e37884c82bb9e24f6
📦
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/32c2f6433408478285eb7ff0
📦
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/572466c102b44060a0e125bc
📦
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2ecb8f70e0024abca8b23d59
📦
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/52084921908a4957af842bdb
📦
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/fd12c0e8edf24f878284e6b5
📦
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b59e194dd4f64898a3c5c5e1
📦
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/24695c7626bf48d68bed08e9
📦
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/eb58827be37345e0b31e1c1a
📦
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2e0eb886ca334b2ea09ed2d4
📦
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5ff869e994dd4199a3fbc1be
📦
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/fef0a5a055db4bf581ffdea5
📦
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2476bdd362764b8488709de5
📦
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/dcedcd4eb3c54a51bc7d40a2
📦
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/89cfddb324fb48f7be85ecde
📦
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/293dbad29c4641cf9535811c
📦
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3bf302e661a14709b0e56f82
📦
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/394de719b3e8420b856aad90
📦
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d8918d0d08e748d6a312af6e
📦
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4ebcd67a63f64f42b4c85d53
📦
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9f9be8b47b424aef9b5fb738
📦
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b32ae129dd3548a4a6d6be24
📦
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3ea440c2698c4e8884e1712a
📦
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3c6a44ee2e2549e7b39c3977
📦
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/928fb3f4f44b441da3f5c1e6
📦
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/df8f1900c4904b1d959f61c5
📦
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/398b9df0510f4849934e9850
📦
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/31233cd9ae4c4978b1c85aa4
📦
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/45e2643a395a44ac9d7bdcc4
📦
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/bcd1147429da48fca623a7fc
📦
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ef3ebfc515114124a4abd78b
📦
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/62ff98a77eb943db8678b519
📦
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6a232436abdf4d14a5a747ad
📦
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/43bc44995b0a4543b4b59afd
📦
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b8106ba3cdfb4e20b8a2fd42
📦
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4506700dfad545b2b0be99fa
📦
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/33b73d89199445959dab1237
📦
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9c74c295816c43408c516570
📦
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/61e6094481944ffd98a24402
📦
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/566a27343a864f919e232e98
📦
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/07152b602d174c359c25cd57
📦
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/32f12770d08445108f349431
📦
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a715bf5328c949d3abb123e8
📦
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/bdabcab235f24f6b9a7da92d
📦
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1338bbbea07947288a7ddbe1
📦
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9f95d416e2734e8e87c83564
📦
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/387e001e0adb4366a886977c
📦
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e38b77624ad04eb2a22b61db
📦
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a47f5cb88f0846a2b4eb6d51
📦
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/dffbc533c3cc4c22a8e8b495
📦
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/95eaea1871044fb3b6ebb172
📦
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/01a31e344feb47078fbc77c9
📦
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/38014d54106641099ff2d024
📦
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/da68c2a519a74a42b223a5ab
📦
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/32a3c8f474944f56b7d99cde
📦
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9e628f0621ad4d6bbd5877c1
📦
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b20c48b9267e4ca79e7b49c3
📦
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8b1c42957b934b4e832e70dd
📦
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f6ad0169e57e4964be9395d0
📦
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a49c145bdb714a8f9c3c0677
📦
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d14864b6ca2f4fea8d2f2066
📦
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b0d306ca2cab44efa52e5d51
📦
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/740ef2f1005f4c5594607b42
📦
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1e0093ac1e9e4c7ba34d061a
📦
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/54f72d44f3e44ea29fc32fe7
📦
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/90c9365f7c8a4a4a88a9fb06
📦
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c079d4a7c9854512af406fd2
📦
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/02b660ee4d06408c8df10d44
📦
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e6de116318a049719d773ba0
📦
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/0b284ca10f3340a780b5c138
📦
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2ea96458302848f5bfdc9a03
📦
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/dd968bbc332848ac979fd0f7
📦
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/335402de864f484faf906e76
📦
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/bcd8aa6ac2c34e57a3aac810
📦
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/60b4a72b0c8b4fefa0ad06ff
📦
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d1cedce1847746608d1893cb
📦
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1a481ad3c1994ee5883d3292
📦
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2841c7ee262e4bdbb2c972d7
📦
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ef0eb3e9096b4e90a5148aee
📦
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/25234d7b7b544b10b68873b5
📦
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/112f82975fd343bcbe123107
📦
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/7e7cf7ffbb344ba2811ec8a4
📦
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/52a54c92e58c45c0b373033f
📦
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9b3ab2337ea24a358d2af24a
📦
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/49303ce2ba2e4a8c90de4b01
📦
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e345592e5ede4a8dacd67453
📦
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2c585d774e8c49d7bb0c90a6
📦
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/63a8330d282e43d096f2fcfb
📦
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4e26ffc94b4f4171874259bd
📦
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b55ac7b564a3470283425a6d
📦
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b0242ee0455e468a9b5a46f7
📦
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/42d50b9d63f44c23aff08d23
📦
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/88ab0b02a97748628390414e
📦
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e3dc4da81d47404880adf19d
📦
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/0aafe6f4aa414c3e9f9a55f0
📦
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/59ff1a9ddbfb420b9de130b4
📦
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ea71065fbabe4544993415ff
📦
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3d280514a99c49a3acc86c3a
📦
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/bf63ce9c133d499fb2a3b14a
📦
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/eac13db9c74c49b780882901
📦
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/bef6512ff1d14f58a792b115
📦
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8a8d464c10614770b6052109
📦
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6c03f6fbce44407281bc6dcc
📦
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/96fcb81a5ccf4e7aa761d501
📦
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/cbac3d39450f48d9b9e6b15d
📦
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2500fdbfb6d641649c54e999
📦
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/46b6ea0aaf9440e89a53cee1
📦
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f808ca747cce4fe1b4d3d6cb
📦
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/aa6d475ef3d140a1ab86c036
📦
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/73b6cb246c3b494e988d1130
📦
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4392d3fb05ea472498851037
📦
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d31ed36f73d245c284ee0938
📦
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8b4463ff98144d87bb08a629
📦
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1fc7ea82d4b048c895e1dc09
📦
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e297b2335e8a4b52b448b6b8
📦
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/bc6fa289f9504c5f817e4049
📦
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/65256f0895c746659af9958e
📦
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3d4f50b404424513b58e2460
📦
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/7ffe8ac56d39429e81f9099c
📦
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f93781e876e5426fb02ee90b
📦
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6b48c9a688934208afc09460
📦
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e9816c03bf3a4407afa749c4
📦
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/0112fbf302384f0ab8031c0c
📦
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3146de61ca5a439d8e15a827
📦
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/7f83d711583a4452a654fd8b
📦
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2f483e380fac4f819dec3717
📦
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/64e0b3d374f745e0a2ee1fcb
📦
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6bd36881f89649bfb181187a
📦
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/0354c0120a39457cbabc8447
📦
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ba2445d0788e4ae88fbba368
📦
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/50c51dc77e3e401c958ba8ca
📦
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5a67c19b2dc8487e855d8646
📦
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4ae28c086860494dbf7c6505
📦
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/955a9d16ea2947faad0dabb0
📦
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/fbbe82fd6e10468d9eacc050
📦
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/692f682bbea54b608f23fa7f
📦
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/366c1f2adac14490b0f1420c
📦
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b2ecb08a817349218fcf0417
📦
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2ad908e34b2c4a7f9aa211de
📦
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f81abfa4e58d43bf84cf3e14
📦
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/be493fcb9f08468b8637f815
📦
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/86eefccd001b428da892adeb
📦
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/aade2837c41f41988d33b0d2
📦
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e335aaaadf624fc89a311fdb
📦
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1e5f965da239456aafb5ac58
📦
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e27bf1cdf8c24b859d018ea8
📦
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/12bf84af629443daa9e51e2e
📦
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6c79ca69befe40a0914a7c09
📦
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/29fb2cba082b4afda32c8e55
📦
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/356bb1670fd244b391ff4095
📦
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/df62ceea0aff4cda99d45221
📦
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/81a7603e9d3c4cdca3f8f1e1
📦
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/0252175f2dbb46ff8de0ecae
📦
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/7eb4de2cc58348a7a98fcbcc
📦
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2aad6717f19647f8b0a9f2fb
📦
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a70e67bfe023470dae6b3845
📦
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2823b84cb98245bdab1c7229
📦
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/fb99666ecb56470ea47bf0fb
📦
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/75c957e851d94b018b7fc6fb
📦
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/7b516e99a6774f01bacb8685
📦
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f1d1f12bbe5c409485aa3f3e
📦
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9185171f494a498181b0ce50
📦
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/97d60eac53114cf8877b693d
📦
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/0e7ee74ed145464c8e16dcfd
📦
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/705a6e138656470aa6d2c699
📦
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2652d3aee7ed4b6d985848bc
📦
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3443116ca1994ce484d8e453
📦
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/0436462a910d4c158656551c
📦
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f8298052362a492b8683d318
📦
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f7b2382b77254999a4c33d4e
📦
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b1ffdc0de0c9413ba7a01d49
📦
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/08fd45f88ad1406fbeb646d2
📦
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d1f42f76145b4260bfd29d17
📦
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f5da75ea9b434a939733c817
📦
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/7c77c8b5bc2047eab31b8910
📦
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3441a87cee0b41f79a29c80a
📦
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/44a31570d8134eb4b9ee090a
📦
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5117b6329f964c578f067108
📦
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c3e0b9b34d8642aab6602c0c
📦
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9b3de5b5b1ea452cb975acab
📦
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/49903bac901b43c3a9b1e139
📦
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a8273d354572423e97859852
📦
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4412c15ac72848638470dacc
📦
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/39f1c8f7d46a47f5809a4b59
📦
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b932833d7dde466e8310c4f6
📦
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f1377aa792084ad683055377
📦
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e8edbdc8b4b6430298601570
📦
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2d480b74603141d68ab391a3
📦
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e51b8b8916114a489616de37
📦
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/86d860748b214d0284673530
📦
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1447809786684a0ca2a231f3
📦
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3d0a518056f84796b29b188e
📦
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9c50f8943d2e476db5fc480c
📦
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2e799b4a873d48cd870c3cea
📦
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/05de280d07494296886cd10f
📦
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a23ad0227f034d2a9eaef269
📦
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e830d30c12bb4e028520e650
📦
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9c76d9642867451684a4a7dd
📦
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/903112ffd73c48f0b37bf21c
📦
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c7901206877b4784a6b37698
📦
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8f108f2e3189459280bfc4cc
📦
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/cea4e994c6004ec388190dea
📦
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/21b3cfc9f57a4efe810134da
📦
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8fd1e8aaa1d8428da64c1874
📦
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/cc2d7cd54f0a40d9990f9df0
📦
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d571d44486ec4513b18b4618
📦
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c87872daa55c42a7a79d343b
📦
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1f86ba4a2b054611af613f3b
📦
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2c5404fd27c54f0a9f74689b
📦
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/47142b90b8d54fe3b1bb1498
📦
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ff8c229febf04db4beced3fe
📦
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/682817643b9840e48b59e07d
📦
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/12036bd7dfe44225aefb0143
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c688f6e5233048b79aa215ac
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e430043b89814525ab64e6e0
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b8ff129b9c08424ab3280826
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c356f96c49bd4fac8256a845
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2a2000610a93430dac2f6e5b
📦
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5715ce025f7b4447bd4f492f
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f0a6a578465341159a73ed12
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/22396a4a4bfb41f782ab135d
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b705e23b590c4214ab45724f
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8b7ac58b1d974ce1ba5dbbfa
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/92dcfca1f0aa42328dd66fc9
📦
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a02de2e49066404eb36d33a0
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/83fe4bdb0c844619bae3673f
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2fa820739b344d67af6213db
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c416fe25bc26406a8be86eee
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b9808cba2e1c4d909d79469d
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a6349fd6bdee4c23885d63b9
📦
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5acc944ff539406fa8c000e2
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4727a7b7a57649c8ac382b53
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6ac522382c384d4781f91ff3
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e8da691c8ece4e24b091d8ed
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/03a39aee5907484386efde62
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c36fe5537858494c85e60c0c
📦
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/dee6fc51ec1549abbb7ae95a
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ef7d9275d9194a23aff94188
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6f795bfe05ef4312bcc2c289
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/fd89383aeab249df960c70c9
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/fa2f796b0d214077bf7a9cf6
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/38edafe017cc4bd98f2ec216
📦
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b093fb69ffc34d26a24e7916
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/099ca082f80d47be9bdb82cb
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/bbee6860f6ab4ac9b67d538d
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/114ab4567cd0499faa3e3b0f
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f57d29aaa27649f78098c29b
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/633ef3d5cce945febf1e7d13
📦
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/74392db884c641fb9f602479
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8506d284403f4da69be7334e
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4eb2743f80104d23bce78827
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/894b28d7f42744df9e9caac7
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c572c3031f9e415bab8cae83
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4d7ea527a3a54ee69f57dca2
📦
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/de62d91e9c5d4cef863eb9b7
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e889f7e3c0e7494591fc38f5
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/34bcd23c01af45ba82c86fd0
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2c24824d33d34a06b7a6e8d9
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ff9a3b5e6c864864ad8d3d78
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/39b6ce41add245ca87a4a195
📦
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c8d7757b38fe4d9a8ec0b807
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/daccac9dfb4744119b172498
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3ba29b54f35f4307a16cc57a
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/51eb1d633eb345ec911eb8f9
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6cbd6bcf9fe742dcb8310d98
📦
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e45d1290953e4254b740a0cf
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5b8089f93d914814ac5f7b76
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/feb0b985187542aa922d6e96
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/7b761945345e42c1a015a286
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d1c37ca7078046c9a3bff034
📦
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/737aebb4986d4261b46dd9cf
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6a9e07bddc104fadae548989
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/91dbeac8cf664aee8eccedb2
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/42054aa582754140a199bb84
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/2fd89235607b46d8acfb7d8d
📦
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/186b09ae49f94aec926ab8a0
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a1f20167bbee4a498add9d04
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5cab9b21b4f847a687a09365
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1804cb4829c7435caf8111da
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/bc4d478c182d4266949e34ab
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1d21ba8f89c649d087b17913
📦
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b3557af07d07463385ae445a
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3f2dbfda6a2241e998fc8f25
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c00f79cd3f034f5ebd46aa4f
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3d51b72a37034a3189f5d750
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/62df7e36c3f4449c9afd5d23
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/85108e4171314b7d88bdafde
📦
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/56d5630138e8453c81664d64
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5ada7023a8474101b2941df3
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b8b2f3b5df4c4e0789382a4f
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6f592017d397463aa936aad7
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/325d12fe475044558fbde16f
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d2dcfea77112447cb3b47a57
📦
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1aa754dd56534d80a91938c5
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8fc2ca8775df4f508070b7b7
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1741638683b14545be4a4619
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/0b3b765b220549b5913c6763
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a0d9a87bcc2341428ab92013
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/3e4c78bcea9d40958459d8bb
📦
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/10adfe162c4d498581164704
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/fcc4d87ca42c4533ae120756
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/86d98fd618d343b0a4f1b640
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8bad110d2891448898109be8
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4d1c9a15057447ef8f839ac2
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/4ebb865113a44d37b218172e
📦
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/57893656b7054007a8a79a3a
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/dc431a0361f14d06a5b3d9a4
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/0c2ef31d2233431d8fb4599a
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8c4f7c82aece4dea91e7948e
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/93a4630123c84f10836c3a0e
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/7c8e81a9c3984e1687f8c38e
📦
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/90a24fe35fbd4611bee588fb
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/96158d657247414fafeb65b8
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/15b389dcae8f4d0ca6366ce3
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8c5f86dd387c416d85e2ce82
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f1309d9ac9e54f3fbdba5bd4
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/21e1c86e85464824895407e3
📦
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6e65c7a93e6a4a28910cd228
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8c1f97f8adac461687c5ebeb
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8b51326c50f34388971803c2
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/12aabeee71754c3f8e7357bb
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ee2e327475f44f249c844d3e
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/aaf0545cc11949ce8542b9bb
📦
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ae42e9355c9c4b5aabdc1d96
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/af2819aad8bd4ddb993c1a0e
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b888f195b65441c8a59b1e9d
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9e474d08a3fb4147b5507815
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/256fe7d7159e451dac8d0e04
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/8d729eab2fd7417bada75b6c
📦
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f35426dd0fed40259415b349
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a703c774fae8498a86d46d22
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/782a237f0ad94871af44327a
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/bc4d9d8588474e52b3dcd9f4
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9dcc62d549d64b5bb267c756
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b89479b230da4a679abeb0d2
📦
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5420bf35a72c4fd8b2291371
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5644a9aeda5d40c29ae94e0f
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b0db6bfae92d43efab565e93
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/228d8362fc3141ef8f0a2a9e
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a2606b5122274861bfdaf799
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f99c71b9de5841f4b2a0e583
📦
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/401c7223c1974c40aa7ba109
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ad04a366e90241cd84d059ab
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/0edbba23ded9494b85b9e40a
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/77c134e73bac42a1ac23477e
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/11d40c6b716d47c0a3adf241
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/e9d6316e85a74cc7b308c021
📦
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/368ca99c3eca40d2846654bc
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/a23ed786a8fd4499ae567765
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/963a71b28e494a59883b7008
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ce3a4cf7c03849699d29f331
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/076e17b309bb4ba7b0334377
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/ab017670ace349e9873ccbc2
📦
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/5be72289062342bcbb52be3c
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/84ee2fed622248369109672c
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/70d902088a1b41c88a71bb54
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/1e1b3cf073bb4ab0b050f2f2
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c230070740d64d7eaafb1bac
📦
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/108ea908df04472c9128b8e4
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/700248a7be4f4a7582338e4b
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9c2f851f6a064e7789189c6b
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f1c92706fac14911915f2121
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9d04db706bd14adc9e06137e
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/6475628f75474029818b438d
📦
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/77072008b16f4a74974320fa
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/17c5592debe14813a515aec2
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/f742c743f161499a9e89e9ca
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/b9659510e1d04e70a450b794
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/c056fc5fa41147c2943fec01
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/d7edc0f5ac5b4748a99780cf
📦
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/10a84a789c16453387a4cd4b/9b10bac4379e40499b68efe9

← Back to campaigns