Campaign Summary
ID: 2a6b3ab317d2464bb1daa802
Started: 2026-07-19 09:00:49.116745
Finished: 2026-07-19 09:02:15.195207
Duration: 86.1s
71
Workloads
284
Cases
284
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.2577
cold mean ms
0.2837
warm mean ms
0.3218
warm median ms
0.0678
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
0.3059
cold mean ms
0.3533
warm mean ms
0.3048
warm median ms
0.0903
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.0352
cold mean ms
0.0294
warm mean ms
0.0244
warm median ms
0.0101
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.0557
cold mean ms
0.0446
warm mean ms
0.0442
warm median ms
0.0031
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
5.3880
cold mean ms
5.5832
warm mean ms
4.9702
warm median ms
1.1883
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
0.8485
cold mean ms
0.9609
warm mean ms
0.8693
warm median ms
0.2032
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
0.4700
cold mean ms
0.2408
warm mean ms
0.2289
warm median ms
0.0212
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
0.2436
cold mean ms
0.2677
warm mean ms
0.2295
warm median ms
0.1057
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
0.2114
cold mean ms
0.1636
warm mean ms
0.1663
warm median ms
0.0054
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
2.8212
cold mean ms
0.3852
warm mean ms
0.3762
warm median ms
0.0243
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.0979
cold mean ms
0.0587
warm mean ms
0.0558
warm median ms
0.0072
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
0.8886
cold mean ms
0.8583
warm mean ms
0.7984
warm median ms
0.1084
warm stdev ms
100%
success rate
0
mismatches
web.url_router
0.0613
cold mean ms
0.0629
warm mean ms
0.0625
warm median ms
0.0008
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
9.0936
cold mean ms
9.9109
warm mean ms
10.2798
warm median ms
0.7861
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
102.4754
cold mean ms
116.2791
warm mean ms
106.3907
warm median ms
17.3187
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
0.2572
cold mean ms
0.1273
warm mean ms
0.1265
warm median ms
0.0043
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
1.6743
cold mean ms
1.3197
warm mean ms
1.2891
warm median ms
0.0868
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
11.3687
cold mean ms
8.8265
warm mean ms
7.6229
warm median ms
2.4352
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
1.8257
cold mean ms
1.8966
warm mean ms
1.8844
warm median ms
0.0770
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
1.0003
cold mean ms
0.8854
warm mean ms
0.8806
warm median ms
0.0102
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
40.2656
cold mean ms
44.2489
warm mean ms
41.1943
warm median ms
5.8835
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.2648
cold mean ms
0.1087
warm mean ms
0.1125
warm median ms
0.0073
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
4.9802
cold mean ms
5.7985
warm mean ms
5.0114
warm median ms
1.3896
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
1.1222
cold mean ms
1.2427
warm mean ms
1.0021
warm median ms
0.4407
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
1.1338
cold mean ms
1.1868
warm mean ms
1.1151
warm median ms
0.2679
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
0.3078
cold mean ms
0.1775
warm mean ms
0.1757
warm median ms
0.0063
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
0.6582
cold mean ms
0.6060
warm mean ms
0.6123
warm median ms
0.0114
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
3.3019
cold mean ms
2.3988
warm mean ms
2.3821
warm median ms
0.0340
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
27.2899
cold mean ms
19.8996
warm mean ms
20.3955
warm median ms
1.1683
warm stdev ms
100%
success rate
0
mismatches
text.word_count
5.3376
cold mean ms
5.9628
warm mean ms
5.9614
warm median ms
0.2137
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
25.2913
cold mean ms
31.3724
warm mean ms
30.9287
warm median ms
2.5402
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
24.6075
cold mean ms
25.3066
warm mean ms
23.8329
warm median ms
4.9575
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
4.2064
cold mean ms
4.0687
warm mean ms
3.9794
warm median ms
0.1617
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
6.1216
cold mean ms
6.7771
warm mean ms
6.7230
warm median ms
0.6826
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
0.9693
cold mean ms
0.5700
warm mean ms
0.5725
warm median ms
0.0044
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
16.3746
cold mean ms
17.1480
warm mean ms
17.0753
warm median ms
0.5479
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
0.2386
cold mean ms
0.2840
warm mean ms
0.2517
warm median ms
0.0579
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
7.4044
cold mean ms
5.1736
warm mean ms
4.6447
warm median ms
1.1346
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
445.7323
cold mean ms
489.3174
warm mean ms
459.3259
warm median ms
60.5193
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
204.5917
cold mean ms
223.0600
warm mean ms
216.2234
warm median ms
13.9441
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
13.8161
cold mean ms
10.4024
warm mean ms
11.1213
warm median ms
1.2525
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
7.6304
cold mean ms
5.4377
warm mean ms
5.3288
warm median ms
0.1936
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
0.3530
cold mean ms
0.3399
warm mean ms
0.3407
warm median ms
0.0083
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
23.1047
cold mean ms
6.9516
warm mean ms
6.3297
warm median ms
1.1765
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
0.5724
cold mean ms
0.5358
warm mean ms
0.5424
warm median ms
0.0187
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
2.8717
cold mean ms
3.0369
warm mean ms
2.9834
warm median ms
0.2073
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
493.3752
cold mean ms
511.7175
warm mean ms
499.3914
warm median ms
24.7441
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
331.6821
cold mean ms
340.3993
warm mean ms
330.2551
warm median ms
19.5567
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
8.8033
cold mean ms
8.2026
warm mean ms
8.2075
warm median ms
0.0996
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
536.3328
cold mean ms
512.2795
warm mean ms
519.8998
warm median ms
23.6897
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
12.2106
cold mean ms
12.7018
warm mean ms
12.6506
warm median ms
0.6301
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
18.1538
cold mean ms
12.2201
warm mean ms
12.0525
warm median ms
0.3317
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
8.1752
cold mean ms
6.7551
warm mean ms
6.7099
warm median ms
0.2213
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
0.2822
cold mean ms
0.4448
warm mean ms
0.5263
warm median ms
0.1702
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
86.1056
cold mean ms
86.2197
warm mean ms
84.0120
warm median ms
6.9021
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
109.0899
cold mean ms
109.5232
warm mean ms
109.9581
warm median ms
1.9947
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
16.8693
cold mean ms
17.3357
warm mean ms
17.1278
warm median ms
1.4607
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
0.2364
cold mean ms
0.2254
warm mean ms
0.2289
warm median ms
0.0067
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
0.4221
cold mean ms
0.4289
warm mean ms
0.4289
warm median ms
0.0028
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
28.0146
cold mean ms
27.7958
warm mean ms
27.8487
warm median ms
0.5586
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
4.2812
cold mean ms
4.5694
warm mean ms
3.9109
warm median ms
1.2283
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
6.0965
cold mean ms
6.1602
warm mean ms
6.0992
warm median ms
0.2734
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.6505
cold mean ms
0.8655
warm mean ms
0.9118
warm median ms
0.0977
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
1.8386
cold mean ms
1.2979
warm mean ms
1.2665
warm median ms
0.0699
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
2.0351
cold mean ms
2.2477
warm mean ms
2.1124
warm median ms
0.2873
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
11.7857
cold mean ms
11.8861
warm mean ms
12.0245
warm median ms
0.3233
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
946.6873
cold mean ms
915.1061
warm mean ms
908.4917
warm median ms
30.9024
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
92.2127
cold mean ms
101.0339
warm mean ms
95.4130
warm median ms
14.9475
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
100.6271
cold mean ms
110.8914
warm mean ms
116.2533
warm median ms
10.7787
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
8.5077
cold mean ms
8.6058
warm mean ms
8.3807
warm median ms
0.7250
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
20.4898
cold mean ms
22.1995
warm mean ms
20.6562
warm median ms
2.7559
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 102.4754 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 106.1699 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 136.2766 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 106.3907 | 0.00s |
| compression.run_length_encode | cold | success | match | 8.5077 | 0.00s |
| compression.run_length_encode | warm | success | match | 9.4167 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.3807 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.0201 | 0.00s |
| core.factorial_sum | cold | success | match | 0.6505 | 0.00s |
| core.factorial_sum | warm | success | match | 0.9314 | 0.00s |
| core.factorial_sum | warm | success | match | 0.7532 | 0.00s |
| core.factorial_sum | warm | success | match | 0.9118 | 0.00s |
| core.fibonacci_sum | cold | success | match | 6.0965 | 0.00s |
| core.fibonacci_sum | warm | success | match | 5.9224 | 0.00s |
| core.fibonacci_sum | warm | success | match | 6.0992 | 0.00s |
| core.fibonacci_sum | warm | success | match | 6.4590 | 0.00s |
| core.float_reduction | cold | success | match | 0.3059 | 0.00s |
| core.float_reduction | warm | success | match | 0.2977 | 0.00s |
| core.float_reduction | warm | success | match | 0.4575 | 0.00s |
| core.float_reduction | warm | success | match | 0.3048 | 0.00s |
| core.integer_sum | cold | success | match | 0.2577 | 0.00s |
| core.integer_sum | warm | success | match | 0.2054 | 0.00s |
| core.integer_sum | warm | success | match | 0.3218 | 0.00s |
| core.integer_sum | warm | success | match | 0.3239 | 0.00s |
| core.list_filter | cold | success | match | 0.0352 | 0.00s |
| core.list_filter | warm | success | match | 0.0227 | 0.00s |
| core.list_filter | warm | success | match | 0.0410 | 0.00s |
| core.list_filter | warm | success | match | 0.0244 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 2.8717 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.8615 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.9834 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 3.2657 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 9.0936 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 10.2798 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 10.4447 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.0082 | 0.00s |
| crypto.simple_checksum | cold | success | match | 11.7857 | 0.00s |
| crypto.simple_checksum | warm | success | match | 12.1171 | 0.00s |
| crypto.simple_checksum | warm | success | match | 12.0245 | 0.00s |
| crypto.simple_checksum | warm | success | match | 11.5166 | 0.00s |
| crypto.xor_cipher | cold | success | match | 16.3746 | 0.00s |
| crypto.xor_cipher | warm | success | match | 16.6400 | 0.00s |
| crypto.xor_cipher | warm | success | match | 17.0753 | 0.00s |
| crypto.xor_cipher | warm | success | match | 17.7286 | 0.00s |
| data_processing.csv_parse | cold | success | match | 0.2436 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.2295 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.1865 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.3872 | 0.00s |
| data_processing.json_extract | cold | success | match | 1.8386 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.2492 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.2665 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.3781 | 0.00s |
| database.group_by_sum | cold | success | match | 0.3530 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3478 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3312 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3407 | 0.00s |
| database.word_count_index | cold | success | match | 4.2064 | 0.00s |
| database.word_count_index | warm | success | match | 4.2553 | 0.00s |
| database.word_count_index | warm | success | match | 3.9794 | 0.00s |
| database.word_count_index | warm | success | match | 3.9712 | 0.00s |
| etl.distinct_count | cold | success | match | 20.4898 | 0.00s |
| etl.distinct_count | warm | success | match | 20.6562 | 0.00s |
| etl.distinct_count | warm | success | match | 25.3813 | 0.00s |
| etl.distinct_count | warm | success | match | 20.5611 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 1.6743 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2523 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2891 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.4177 | 0.00s |
| etl.merge_join | cold | success | match | 11.3687 | 0.00s |
| etl.merge_join | warm | success | match | 7.6229 | 0.00s |
| etl.merge_join | warm | success | match | 11.6291 | 0.00s |
| etl.merge_join | warm | success | match | 7.2274 | 0.00s |
| etl.top_n_selection | cold | success | match | 0.2386 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2517 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.3509 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2495 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 493.3752 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 495.5574 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 499.3914 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 540.2037 | 0.00s |
| financial.compound_interest | cold | success | match | 8.1752 | 0.00s |
| financial.compound_interest | warm | success | match | 6.7099 | 0.00s |
| financial.compound_interest | warm | success | match | 6.9955 | 0.00s |
| financial.compound_interest | warm | success | match | 6.5599 | 0.00s |
| financial.moving_average | cold | success | match | 4.9802 | 0.00s |
| financial.moving_average | warm | success | match | 4.9811 | 0.00s |
| financial.moving_average | warm | success | match | 5.0114 | 0.00s |
| financial.moving_average | warm | success | match | 7.4029 | 0.00s |
| graph.bfs | cold | success | match | 0.3078 | 0.00s |
| graph.bfs | warm | success | match | 0.1846 | 0.00s |
| graph.bfs | warm | success | match | 0.1723 | 0.00s |
| graph.bfs | warm | success | match | 0.1757 | 0.00s |
| graph.dijkstra | cold | success | match | 86.1056 | 0.00s |
| graph.dijkstra | warm | success | match | 93.9555 | 0.00s |
| graph.dijkstra | warm | success | match | 84.0120 | 0.00s |
| graph.dijkstra | warm | success | match | 80.6916 | 0.00s |
| graph.floyd_warshall | cold | success | match | 100.6271 | 0.00s |
| graph.floyd_warshall | warm | success | match | 116.2533 | 0.00s |
| graph.floyd_warshall | warm | success | match | 117.9378 | 0.00s |
| graph.floyd_warshall | warm | success | match | 98.4833 | 0.00s |
| image.box_blur | cold | success | match | 204.5917 | 0.00s |
| image.box_blur | warm | success | match | 216.2234 | 0.00s |
| image.box_blur | warm | success | match | 213.8535 | 0.00s |
| image.box_blur | warm | success | match | 239.1030 | 0.00s |
| image.convolution_1d | cold | success | match | 946.6873 | 0.00s |
| image.convolution_1d | warm | success | match | 948.7802 | 0.00s |
| image.convolution_1d | warm | success | match | 888.0465 | 0.00s |
| image.convolution_1d | warm | success | match | 908.4917 | 0.00s |
| image.grayscale_filter | cold | success | match | 0.2572 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1265 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1320 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1234 | 0.00s |
| image.sobel_edge | cold | success | match | 536.3328 | 0.00s |
| image.sobel_edge | warm | success | match | 519.8998 | 0.00s |
| image.sobel_edge | warm | success | match | 485.7175 | 0.00s |
| image.sobel_edge | warm | success | match | 531.2213 | 0.00s |
| iot.rolling_average | cold | success | match | 0.2114 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1671 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1663 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1573 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 4.2812 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.9109 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.8107 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 5.9865 | 0.00s |
| ml.knn_inference | cold | success | match | 0.2648 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1125 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1132 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1003 | 0.00s |
| ml.perceptron_predict | cold | success | match | 18.1538 | 0.00s |
| ml.perceptron_predict | warm | success | match | 12.6021 | 0.00s |
| ml.perceptron_predict | warm | success | match | 12.0525 | 0.00s |
| ml.perceptron_predict | warm | success | match | 12.0057 | 0.00s |
| numerical.dot_product | cold | success | match | 0.0557 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0479 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0442 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0418 | 0.00s |
| numerical.gcd_loop | cold | success | match | 12.2106 | 0.00s |
| numerical.gcd_loop | warm | success | match | 12.0988 | 0.00s |
| numerical.gcd_loop | warm | success | match | 12.6506 | 0.00s |
| numerical.gcd_loop | warm | success | match | 13.3559 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 5.3880 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 6.9529 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 4.8266 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 4.9702 | 0.00s |
| numerical.matrix_vector | cold | success | match | 25.2913 | 0.00s |
| numerical.matrix_vector | warm | success | match | 29.0834 | 0.00s |
| numerical.matrix_vector | warm | success | match | 34.1053 | 0.00s |
| numerical.matrix_vector | warm | success | match | 30.9287 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 0.8485 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8693 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8196 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 1.1937 | 0.00s |
| numerical.prime_sieve | cold | success | match | 0.4700 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2653 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2283 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2289 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 13.8161 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 11.1213 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 11.1297 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 8.9561 | 0.00s |
| object.bank_account | cold | success | match | 16.8693 | 0.00s |
| object.bank_account | warm | success | match | 18.8893 | 0.00s |
| object.bank_account | warm | success | match | 15.9902 | 0.00s |
| object.bank_account | warm | success | match | 17.1278 | 0.00s |
| object.shape_area | cold | success | match | 3.3019 | 0.00s |
| object.shape_area | warm | success | match | 2.3763 | 0.00s |
| object.shape_area | warm | success | match | 2.3821 | 0.00s |
| object.shape_area | warm | success | match | 2.4379 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 1.1222 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.7513 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.0021 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.9747 | 0.00s |
| parsing.ini_parse | cold | success | match | 1.1338 | 0.00s |
| parsing.ini_parse | warm | success | match | 1.4833 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.9619 | 0.00s |
| parsing.ini_parse | warm | success | match | 1.1151 | 0.00s |
| parsing.log_line_parse | cold | success | match | 0.2822 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.5263 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.5591 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2492 | 0.00s |
| regex.email_like_match | cold | success | match | 23.1047 | 0.00s |
| regex.email_like_match | warm | success | match | 6.2166 | 0.00s |
| regex.email_like_match | warm | success | match | 8.3085 | 0.00s |
| regex.email_like_match | warm | success | match | 6.3297 | 0.00s |
| regex.wildcard_match | cold | success | match | 6.1216 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.7230 | 0.00s |
| regex.wildcard_match | warm | success | match | 7.4852 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.1232 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 7.6304 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.3288 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.3232 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.6612 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 24.6075 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 30.8339 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 23.8329 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 21.2531 | 0.00s |
| serialization.csv_serialize | cold | success | match | 0.2364 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2176 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2295 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2289 | 0.00s |
| serialization.json_serialize | cold | success | match | 27.2899 | 0.00s |
| serialization.json_serialize | warm | success | match | 20.3955 | 0.00s |
| serialization.json_serialize | warm | success | match | 18.5651 | 0.00s |
| serialization.json_serialize | warm | success | match | 20.7382 | 0.00s |
| simulation.conway_life | cold | success | match | 28.0146 | 0.00s |
| simulation.conway_life | warm | success | match | 28.3261 | 0.00s |
| simulation.conway_life | warm | success | match | 27.8487 | 0.00s |
| simulation.conway_life | warm | success | match | 27.2126 | 0.00s |
| simulation.particle_movement | cold | success | match | 40.2656 | 0.00s |
| simulation.particle_movement | warm | success | match | 40.5210 | 0.00s |
| simulation.particle_movement | warm | success | match | 41.1943 | 0.00s |
| simulation.particle_movement | warm | success | match | 51.0315 | 0.00s |
| sorting.merge_sort | cold | success | match | 0.6582 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.5929 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6123 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6130 | 0.00s |
| sorting.quick_sort | cold | success | match | 109.0899 | 0.00s |
| sorting.quick_sort | warm | success | match | 107.3469 | 0.00s |
| sorting.quick_sort | warm | success | match | 109.9581 | 0.00s |
| sorting.quick_sort | warm | success | match | 111.2647 | 0.00s |
| statistics.correlation | cold | success | match | 92.2127 | 0.00s |
| statistics.correlation | warm | success | match | 95.4130 | 0.00s |
| statistics.correlation | warm | success | match | 117.9771 | 0.00s |
| statistics.correlation | warm | success | match | 89.7117 | 0.00s |
| statistics.histogram | cold | success | match | 7.4044 | 0.00s |
| statistics.histogram | warm | success | match | 6.4761 | 0.00s |
| statistics.histogram | warm | success | match | 4.6447 | 0.00s |
| statistics.histogram | warm | success | match | 4.4000 | 0.00s |
| statistics.mean_variance | cold | success | match | 331.6821 | 0.00s |
| statistics.mean_variance | warm | success | match | 330.2551 | 0.00s |
| statistics.mean_variance | warm | success | match | 327.9991 | 0.00s |
| statistics.mean_variance | warm | success | match | 362.9438 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.0979 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0669 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0535 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0558 | 0.00s |
| stdlib.json_parse | cold | success | match | 2.8212 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.3667 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.4126 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.3762 | 0.00s |
| string.dna_count | cold | success | match | 445.7323 | 0.00s |
| string.dna_count | warm | success | match | 459.3259 | 0.00s |
| string.dna_count | warm | success | match | 558.9755 | 0.00s |
| string.dna_count | warm | success | match | 449.6508 | 0.00s |
| string.log_parser | cold | success | match | 1.8257 | 0.00s |
| string.log_parser | warm | success | match | 1.8844 | 0.00s |
| string.log_parser | warm | success | match | 1.8264 | 0.00s |
| string.log_parser | warm | success | match | 1.9790 | 0.00s |
| string.palindrome_pairs | cold | success | match | 8.8033 | 0.00s |
| string.palindrome_pairs | warm | success | match | 8.1006 | 0.00s |
| string.palindrome_pairs | warm | success | match | 8.2075 | 0.00s |
| string.palindrome_pairs | warm | success | match | 8.2997 | 0.00s |
| text.sentiment_score | cold | success | match | 0.4221 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4262 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4289 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4317 | 0.00s |
| text.word_count | cold | success | match | 5.3376 | 0.00s |
| text.word_count | warm | success | match | 5.9614 | 0.00s |
| text.word_count | warm | success | match | 6.1772 | 0.00s |
| text.word_count | warm | success | match | 5.7499 | 0.00s |
| tree.bst_operations | cold | success | match | 1.0003 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8971 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8806 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8785 | 0.00s |
| web.cookie_parse | cold | success | match | 0.5724 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5503 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5424 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5148 | 0.00s |
| web.html_tag_count | cold | success | match | 2.0351 | 0.00s |
| web.html_tag_count | warm | success | match | 2.5777 | 0.00s |
| web.html_tag_count | warm | success | match | 2.1124 | 0.00s |
| web.html_tag_count | warm | success | match | 2.0530 | 0.00s |
| web.http_parser | cold | success | match | 0.8886 | 0.00s |
| web.http_parser | warm | success | match | 0.9835 | 0.00s |
| web.http_parser | warm | success | match | 0.7931 | 0.00s |
| web.http_parser | warm | success | match | 0.7984 | 0.00s |
| web.query_string_parse | cold | success | match | 0.9693 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5727 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5725 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5649 | 0.00s |
| web.url_router | cold | success | match | 0.0613 | 0.00s |
| web.url_router | warm | success | match | 0.0638 | 0.00s |
| web.url_router | warm | success | match | 0.0623 | 0.00s |
| web.url_router | warm | success | match | 0.0625 | 0.00s |
Proof Packs
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/450c0678a3f04d43875fdf6e
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/af15dbf551b740d8be573243
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/94d5c98f86994835bf587949
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/9391f5d760f34c128dbb5e62
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/4be9fc9b7603488e8f7591da
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/378d1cc4fd494f21a17fb289
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/8878f265dc4146a59cd8de7c
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/4cdc96994a424180a76973bb
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/04ab8518ac33469abf224a9b
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/934b1b6479da45e0a817a777
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f1789a8f1e0a447a905fcdab
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/a9129e8231764f74b8d3d4e0
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/de9bae7c8196415dafa03a12
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f613b6259fdc4329b75bd077
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/0bf2529ee83c453d9fc98742
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/d0cf7b6e11cd462faff3a61d
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7e16d60826e740eea607d13e
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e2a529b70c5a4857a3b86989
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/21c4cf21fcdc4ee7ae5b11bb
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7f266bf7d88a4ff3a214ce7c
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/494705fd8c454e9586805913
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/86e818fc944a4864b7cde86c
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/23dd0e56d7134cf0a9be9b95
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/a66f8513ac5640288379d716
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/5877da1c61c74af2b15cfcd8
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/a3be0383dd884bf88174fdf8
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/c59e30414dff4fa9aaae59c7
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/79aab41a3e394d17b625f39b
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/2bf964d82e8b4de18963150e
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/b3f40a36a44f44d3ae5f1ccb
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e4dfb4ed74714befafa1b758
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/54d056f61c07427dbc8073fe
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/45d89c819f6f454aa238479f
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/eef4e121dd0b4d4abaf2fa13
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/677923a00e11428d984225a0
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7e3c76c552054084895456ce
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/8eba4451093e46c7a28ff1ad
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/916f5618246b4a288fd767a3
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/9d3b0888df4f48288179f811
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/c89f19737f7c495e8b3480ee
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/fd2be5d04e0c4805803981ea
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/84800e64968a481f866cb22d
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/546d9aeb8cdf42e6854e1722
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/79ab4451e9274269acee4d7e
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/cd8a2eeef0934cd2b36776b6
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/b9b3b361a65a4df79ef8c693
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/88d19f7f39884fa7b11b493d
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/8ba55ef602594bcc93b8102f
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f635ca00c74048b59dbd6280
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/0e50091448a04dd1abc2b3b8
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/a5e2ffcbc8ec45439660476f
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f13eb3a85ffd4346a3cbe729
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/33c58d5b1dc147929bc9a45a
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7233a318da844b458d7fedb3
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/a493436f1f6942119a5d9d5a
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/5b5a6dfdd59e41f2bc1a7891
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e3cfc0354b034d5880beb7b8
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7287e3ac97b8403b9f0ab4b9
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/cd343a0c383a4587b78fec0e
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/1748bcff25fe485c99342112
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/0af424c3e1804925a6065e65
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/4cfe3c0508fd4c9abfd2051e
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ff4951da4c5b490a85a33ef4
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ab8dfcafaa2e4d3fa2928475
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/1ccb6802929844a99ae41c93
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/71dfdb813d64413a9daf57b8
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/9d574fc07f4c4086bd741ea6
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ae492165418a47a79dcf697b
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/3baf5eb4367b4e03a0717c8b
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/651e93b14fc24b4aa19624fb
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/264a98b1b94e4ea788f84973
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ac9b44f3dd654d679060c61c
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/084a4f4f5370489a8d5fb072
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/0ee248c92b2b483eb1d4b47e
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/680661cc7d414646ba0ab669
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f3222cd0b0864a18ac7558f5
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/2f65f86ab1e74737a3d5dde3
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/5bd88f992d904e3689990240
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e7ab5c61904043988d61a050
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/04ee802e44ad4761b81d2a6b
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/170d741b20bf4ddfa28d8890
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/3bce766dfe16481b9258c731
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/305ace9688e24cdb951edf8a
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f0f2964157aa4dd2a3b91614
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/8c1c951608e449ca91b7e673
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/9012d22bbb934e6bb95c541c
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/016f0d9f4a69475f8c0b56ae
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e8498f7da2314d49addd287b
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/24b820902c784a9fb3a799c3
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/57d5921e43c645249bbc5178
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/62ce6b2a006344d89bfd5c9d
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/11577f69083b4cae8873a969
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ea37112d10b6425488ceb52b
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/6f09810687f44769bd916f11
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/6bdcb8b009ac4715aad20769
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/81404a27dcfd4cc6b9e32b8d
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7fdd4d4b6b8b450496a23686
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ea811c62e53d4b04992b0b18
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/0cb1495b8cfc4502bda1b2a1
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f7a2952f5c464f5289a95749
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/fbfdf8445e144d34be96c7e2
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/300fa549a6464fedaa98fd5a
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/336b907936bc41b59f64970a
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/b5a1c0d90a42484eb8dd9b81
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/d29feca6e6bd401caad78cc1
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/3422780f61e648a4940172b0
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e015d3394aad45219a824d17
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/3b6797c9c610493088172c3c
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/180f581b9c874dff810a29ab
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/b72306a7bd314a979acf4ec2
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f577a8fb01994b6385fc0efe
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/71b42e35a0dc472aac41663a
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/052d162760294abcb4d60ae9
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/411fdd5ddfbe4c6eb58a12b5
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/51fe55fb58f7410788ed4303
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/4ab650d38c9141a0909c6687
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f804a6af902c4b2aab55956e
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e868da60364c48f0a9601242
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/c81dabb67d914e50833ae4ac
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/50d128312c254643a5c89ace
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/911d22a1a71e498884234521
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/65bcad8f65dd494c93237902
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/8ad9fb44c6ca44aaace37877
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/9392587bfbd146c4bb2eb1ef
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/d645b926a65843309193d9a7
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/5215b070585f453a8796cc38
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/2b568f7382004de99dae8079
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f7335845586b4b869d15ea50
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e98bab54d9cd40ecb07fc311
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/203fc2c09d964854936a364a
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/9ed50460cdb24d9c81b10987
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/38ca221ec6974f36b629dadb
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/694985bf98914d9b852cdd4f
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ba1bb8f383724d55946b02d6
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/321b6da51de34becbb9e19b3
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/8bd275e4df9b40e4bc595493
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/bf27bfdfd52341b29ddf1253
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/1d93e0bf50004caaa7d77f32
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ca88154a7513441694351c17
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/307b51dbe7284e9fb56e0e00
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/c232f7a54ee443c2b858ab69
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/099051d3756a4c549326a75d
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/bd054ac4548241d399f2250f
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/265b268d443248efa057d967
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/108c660cf8ca43f88736f921
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/68f41977188f4d379f4651c9
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/cf98ff6a0f00464ea381309b
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7a1274ecf9824a4cb379755c
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/b909fff284dd40c7bee82fdf
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e953b90510ef4c20a9d61d77
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/64b331b700ee43598c25467e
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/1a51029890e744d095413c80
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/064ba4a563fc4c1b850e8042
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/33dedab15d384f109ad9a265
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ce9c955bac8f4beaaa5d3899
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/53d791aa95dc40deb1876c7d
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/bf30ac9a620f48ab92236dba
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/54830d0b2af845c2a0c1e567
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/c8510e5e3b9444dab162fd94
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/3da3dfb3ccff496e875a36a3
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7b51593800e749059855febf
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/809a05437085474da07767ec
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f9c6ec5f3ce946f5b5b0a0db
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/16b89344512a47ce841d50e5
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/fd7e504a892e468e9fb5537a
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/bfd3e298a71f4dfe88277057
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/df4b49bb7ac245c2bcc112ba
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/55bbf63863a5420e837e595f
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/16b95387cd18464c9f41c518
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/98e971adf9f5481690f25eed
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/99b1719299f849babbf9bc01
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/3af46251b934432db5446e24
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/89078936951144d4870819b5
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/139fdfb2532945c29ca1ac37
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/1430806475ec4ea48ee330ae
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/68e5e146ff2748e7b490a898
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/00d54b4563434dc0ae3f57c8
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ff3745fc6abd4237b4f7fc82
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/cfc8ac5731644cf28a6b78ea
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/3b87fa174c7d479d87c6f0d2
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/2b3a1f46738d4ff9a8deb009
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/146fd8264c274b588faa806b
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/9e8cbafc333f4127acd9dc68
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/cc840e7d8d084033a9ee2397
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/0380f807b5874ab6ae5bb411
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/57bba5e9ff184e678cc3fd0b
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/17b462fe244f4423a70b3d19
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/3a4cc91d71a344f0a82a4257
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/29053f9e8d4c4971bdc8e4a0
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/916aed9e85cd425298f3a3e8
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/32bf450fc2eb4084a9eac684
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/bb929c46a70f4e799af3a4e4
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/6baff330540d46ee958bc5b4
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/452df414fee349168336d4da
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/0ca506732ff840f599144b3b
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/4fdd9ee34c58466aa29c81b5
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/82b54cb4fb934f67b4f2cb91
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ee8a5ee9a66e41c2a50c1f17
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/c7922f81f99d4a2fadffcaf1
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/29fc772c8a3d47cd99d686bc
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/8851c9d40ded427dac5d24f2
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/56b486f231f5411db51a8307
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f8176f67512f4386840065c0
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/0cfd2ff9d86946d2b5f8afc8
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/dcb0be5afda04c9ead954136
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e7698a747afc465880ca8d58
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/54ea9a9c641149ed8600a362
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/c8d36b1b04714b7b8406a2a2
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/db0996dea6944b178a841941
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/cdc7fdfccf03456dbc9bf11f
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/321de73b57734b47ab1ef66d
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/dca1ce05fc6f4fbdb0377a2a
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7d5c8e227320459d84057f40
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/6dd60272b84b40f79e44521b
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/abc5db43b0f64432a9e73b24
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/bcc970705e4e41b1bcd3a32e
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/989b69a1f43d475eb0278343
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f46b5b77ebd7459087b1ba28
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/cb5b2bd73efb42b499c05e5e
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/eed6cf38a72140e485f761cf
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/16083ba0552041669ccb9c81
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/db3c38e4661b4715842adb8b
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/8fc08eac52d749f4841c7289
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/adf52d0853f8490aa66549cc
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/6f3816d4d01b4f2ebe0f1c38
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/5bd21769c6c1426bb84d07ff
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f9f578320b1b44ba8a6e4ae0
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/2c24a54bdaae42a594ac1365
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/834c58c4499c4599a80d5926
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/54190e488a0243e0b0b05067
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/dc119e75cf8b498eb85b371e
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/4b2c417d89424a4ab082a1d4
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/706c8fbc1bde40ca9b3414fd
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/d576372c921b4ff194d38b4b
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/1e4dd19c8f754ba98b65c01f
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/39ce59c1634b4cc88ddfd080
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e26bfc45be8943c6b964174d
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/dc7142960e144019b8e31b7a
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7b4ebcd41b4146e1bcb9c204
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/0f490562ae9e4691a8a9cb40
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/5e666dca92184abc9bde19ec
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/47f1f72746d1486bbf32e5c3
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/b0209729f2454f7988585f3d
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/60f29a0ab7a14787ab052b24
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/c2d7d466b79f44478708ecb9
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/aaf03e97fedc4dcaafe66a17
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/d3b187e822d34bf5a004980c
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f8d8773810914899a82fa043
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ed26255adbeb47f18b4a0447
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/979f735746b34c74b088ac7b
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f2ff491ce6114e8896780a15
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/4ffcd00bd6d8448c808c43e1
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/1d0160c8a20d40b09e2dfaa7
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/da8818f53dbc43e495aae735
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/f50c1af1c297444ea0aba269
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/8f64caf304e042d6900f024b
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/07343ee1afc747db81affd43
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/48b7e479361f4fda8357c794
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/13185ee683214aa4b7ef5b4e
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/0ffcc1b676204449abaf6084
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/7b8f2d18cf1148cb835c6ee9
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/165f876747c2483b8b46e545
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/4a773288d02840d3b82a35c0
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/44d53ed733ad4212a7c3c6e4
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/2f6345587d29416093128fc1
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/4453943087e447b3b9e74c71
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/a45d8126ff0e40a0b3251863
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/5c303fb423014e858da940f7
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/457fc8c74e124dc895ad27c9
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/cf15e54c7e5c414792a73e61
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/b987a146c29e40ac950cb439
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/9354536cd48048f089b5fb54
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/18303a11de094c34806f7374
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/c348685f6da8460e870d7b77
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/ffea41c70b584a44a552ad7b
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/e3a9e61d085843e194cb2b96
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/2e54ce0de9c1465da55de36a
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/6f2d92b3db6d4310ba9e3d9e
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/8a78bbd9786544619f375ede
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/096edec6ad6f4ed5a6d33fce
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/6f95f2067c3c4c3fb9cd1438
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/66e6e57b2afe478593cc7115
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/244d935731e8429088f0a857
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/2a6b3ab317d2464bb1daa802/45b6addddddf4e9784c212da