Campaign Summary
ID: 5248c09056e44d5f904eed46
Started: 2026-07-19 09:02:15.266865
Finished: 2026-07-19 09:04:52.076068
Duration: 156.8s
71
Workloads
284
Cases
284
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.6185
cold mean ms
0.5065
warm mean ms
0.5588
warm median ms
0.1271
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
1.6928
cold mean ms
3.1705
warm mean ms
3.2647
warm median ms
0.2921
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.1764
cold mean ms
0.1319
warm mean ms
0.1185
warm median ms
0.0399
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.2904
cold mean ms
0.3489
warm mean ms
0.3943
warm median ms
0.1082
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
18.8679
cold mean ms
27.5505
warm mean ms
25.7298
warm median ms
6.1905
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
1.6234
cold mean ms
1.9463
warm mean ms
1.3920
warm median ms
1.0075
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
1.0451
cold mean ms
1.0509
warm mean ms
0.8649
warm median ms
0.3315
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
1.4803
cold mean ms
1.4657
warm mean ms
1.2492
warm median ms
0.3766
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
1.0381
cold mean ms
0.6658
warm mean ms
0.6988
warm median ms
0.1349
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
13.7721
cold mean ms
14.5855
warm mean ms
14.6863
warm median ms
0.6384
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.3173
cold mean ms
0.2070
warm mean ms
0.1814
warm median ms
0.0600
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
12.6844
cold mean ms
8.0497
warm mean ms
7.9462
warm median ms
0.2957
warm stdev ms
100%
success rate
0
mismatches
web.url_router
0.7282
cold mean ms
0.6091
warm mean ms
0.6168
warm median ms
0.0165
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
86.0952
cold mean ms
90.3836
warm mean ms
85.9635
warm median ms
23.6880
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
264.6597
cold mean ms
89.9773
warm mean ms
88.4783
warm median ms
6.6681
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
1.3077
cold mean ms
0.6594
warm mean ms
0.6814
warm median ms
0.0390
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
11.6712
cold mean ms
11.0498
warm mean ms
10.9693
warm median ms
0.2145
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
22.0982
cold mean ms
27.3619
warm mean ms
26.1777
warm median ms
5.7742
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
14.7306
cold mean ms
15.4834
warm mean ms
15.1008
warm median ms
0.8648
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
7.6007
cold mean ms
7.8018
warm mean ms
7.6767
warm median ms
0.6399
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
236.0859
cold mean ms
93.0155
warm mean ms
96.2442
warm median ms
13.5691
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.3732
cold mean ms
0.2420
warm mean ms
0.2442
warm median ms
0.0100
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
16.0411
cold mean ms
16.4951
warm mean ms
15.6589
warm median ms
3.0933
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
7.1471
cold mean ms
7.0189
warm mean ms
6.8937
warm median ms
0.2534
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
8.7354
cold mean ms
9.7753
warm mean ms
8.2910
warm median ms
2.5766
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
1.5987
cold mean ms
1.1363
warm mean ms
0.8703
warm median ms
0.4780
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
8.5172
cold mean ms
5.0794
warm mean ms
4.6597
warm median ms
0.8071
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
19.4384
cold mean ms
27.8504
warm mean ms
28.3292
warm median ms
2.3624
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
27.8547
cold mean ms
43.1858
warm mean ms
43.8573
warm median ms
10.8016
warm stdev ms
100%
success rate
0
mismatches
text.word_count
130.6128
cold mean ms
40.2736
warm mean ms
41.1493
warm median ms
12.1703
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
57.1928
cold mean ms
29.6292
warm mean ms
30.8927
warm median ms
3.2113
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
62.4754
cold mean ms
14.6441
warm mean ms
16.9080
warm median ms
4.9082
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
37.0490
cold mean ms
26.5041
warm mean ms
27.7435
warm median ms
3.4547
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
42.8310
cold mean ms
36.0454
warm mean ms
35.2805
warm median ms
3.2878
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
4.0413
cold mean ms
4.7872
warm mean ms
3.8856
warm median ms
1.5652
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
138.6168
cold mean ms
26.0481
warm mean ms
28.0634
warm median ms
4.9810
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
0.7675
cold mean ms
0.8224
warm mean ms
0.6811
warm median ms
0.2521
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
15.4503
cold mean ms
19.0184
warm mean ms
18.6312
warm median ms
7.4591
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
493.5049
cold mean ms
204.0066
warm mean ms
203.9407
warm median ms
4.5554
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
142.7337
cold mean ms
50.7490
warm mean ms
50.2638
warm median ms
3.6329
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
8.3677
cold mean ms
7.6924
warm mean ms
8.4681
warm median ms
1.5205
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
11.0249
cold mean ms
12.2261
warm mean ms
10.7644
warm median ms
2.5970
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
3.4008
cold mean ms
3.4984
warm mean ms
3.5160
warm median ms
0.0944
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
35.0236
cold mean ms
18.2742
warm mean ms
16.9526
warm median ms
3.3567
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
3.2849
cold mean ms
3.8079
warm mean ms
3.9012
warm median ms
0.8202
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
32.7202
cold mean ms
31.9238
warm mean ms
28.6636
warm median ms
5.9568
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
116.4457
cold mean ms
41.4745
warm mean ms
40.4567
warm median ms
6.1162
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
208.6326
cold mean ms
101.8766
warm mean ms
103.0700
warm median ms
2.8424
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
28.1679
cold mean ms
27.8393
warm mean ms
22.4335
warm median ms
9.4076
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
104.7351
cold mean ms
40.8598
warm mean ms
41.8422
warm median ms
5.4698
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
24.8653
cold mean ms
21.7886
warm mean ms
23.2750
warm median ms
3.6563
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
15.7733
cold mean ms
16.4406
warm mean ms
16.3623
warm median ms
0.8951
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
7.1163
cold mean ms
9.2690
warm mean ms
7.3173
warm median ms
3.8139
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
1.4831
cold mean ms
1.5904
warm mean ms
1.5585
warm median ms
0.1044
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
219.8362
cold mean ms
110.2814
warm mean ms
110.5733
warm median ms
25.0087
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
60.6678
cold mean ms
29.6817
warm mean ms
25.4004
warm median ms
12.4163
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
173.0062
cold mean ms
148.7012
warm mean ms
151.2256
warm median ms
10.2021
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
2.0549
cold mean ms
2.5160
warm mean ms
2.1537
warm median ms
0.7038
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
4.4605
cold mean ms
3.7904
warm mean ms
3.7482
warm median ms
0.1394
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
138.1195
cold mean ms
55.7069
warm mean ms
67.9419
warm median ms
21.9377
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
5.1226
cold mean ms
5.0751
warm mean ms
4.9843
warm median ms
0.1810
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
12.1963
cold mean ms
14.4874
warm mean ms
13.4914
warm median ms
2.2684
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.7886
cold mean ms
1.2068
warm mean ms
0.8038
warm median ms
0.6983
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
48.0780
cold mean ms
67.0832
warm mean ms
65.6192
warm median ms
9.4990
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
10.9918
cold mean ms
13.6637
warm mean ms
10.5980
warm median ms
5.7004
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
82.2710
cold mean ms
23.2621
warm mean ms
19.8447
warm median ms
6.7858
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
205.6336
cold mean ms
56.9064
warm mean ms
57.2367
warm median ms
0.8645
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
150.7985
cold mean ms
67.0105
warm mean ms
67.4402
warm median ms
2.9301
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
180.5918
cold mean ms
77.7011
warm mean ms
93.6947
warm median ms
27.8741
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
57.8226
cold mean ms
50.0537
warm mean ms
45.7259
warm median ms
16.1698
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
113.5767
cold mean ms
28.8362
warm mean ms
28.4878
warm median ms
2.8884
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 264.6597 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 88.4783 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 97.2672 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 84.1863 | 0.00s |
| compression.run_length_encode | cold | success | match | 57.8226 | 0.00s |
| compression.run_length_encode | warm | success | match | 36.4882 | 0.00s |
| compression.run_length_encode | warm | success | match | 45.7259 | 0.00s |
| compression.run_length_encode | warm | success | match | 67.9471 | 0.00s |
| core.factorial_sum | cold | success | match | 0.7886 | 0.00s |
| core.factorial_sum | warm | success | match | 0.8036 | 0.00s |
| core.factorial_sum | warm | success | match | 0.8038 | 0.00s |
| core.factorial_sum | warm | success | match | 2.0132 | 0.00s |
| core.fibonacci_sum | cold | success | match | 12.1963 | 0.00s |
| core.fibonacci_sum | warm | success | match | 12.8875 | 0.00s |
| core.fibonacci_sum | warm | success | match | 13.4914 | 0.00s |
| core.fibonacci_sum | warm | success | match | 17.0834 | 0.00s |
| core.float_reduction | cold | success | match | 1.6928 | 0.00s |
| core.float_reduction | warm | success | match | 3.2647 | 0.00s |
| core.float_reduction | warm | success | match | 3.4039 | 0.00s |
| core.float_reduction | warm | success | match | 2.8430 | 0.00s |
| core.integer_sum | cold | success | match | 0.6185 | 0.00s |
| core.integer_sum | warm | success | match | 0.5990 | 0.00s |
| core.integer_sum | warm | success | match | 0.5588 | 0.00s |
| core.integer_sum | warm | success | match | 0.3616 | 0.00s |
| core.list_filter | cold | success | match | 0.1764 | 0.00s |
| core.list_filter | warm | success | match | 0.1005 | 0.00s |
| core.list_filter | warm | success | match | 0.1768 | 0.00s |
| core.list_filter | warm | success | match | 0.1185 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 32.7202 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 28.3087 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 38.7990 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 28.6636 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 86.0952 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 69.2170 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 115.9704 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 85.9635 | 0.00s |
| crypto.simple_checksum | cold | success | match | 82.2710 | 0.00s |
| crypto.simple_checksum | warm | success | match | 19.8447 | 0.00s |
| crypto.simple_checksum | warm | success | match | 18.8645 | 0.00s |
| crypto.simple_checksum | warm | success | match | 31.0773 | 0.00s |
| crypto.xor_cipher | cold | success | match | 138.6168 | 0.00s |
| crypto.xor_cipher | warm | success | match | 28.0634 | 0.00s |
| crypto.xor_cipher | warm | success | match | 29.7057 | 0.00s |
| crypto.xor_cipher | warm | success | match | 20.3753 | 0.00s |
| data_processing.csv_parse | cold | success | match | 1.4803 | 0.00s |
| data_processing.csv_parse | warm | success | match | 1.9005 | 0.00s |
| data_processing.csv_parse | warm | success | match | 1.2492 | 0.00s |
| data_processing.csv_parse | warm | success | match | 1.2472 | 0.00s |
| data_processing.json_extract | cold | success | match | 48.0780 | 0.00s |
| data_processing.json_extract | warm | success | match | 65.6192 | 0.00s |
| data_processing.json_extract | warm | success | match | 77.2292 | 0.00s |
| data_processing.json_extract | warm | success | match | 58.4012 | 0.00s |
| database.group_by_sum | cold | success | match | 3.4008 | 0.00s |
| database.group_by_sum | warm | success | match | 3.3964 | 0.00s |
| database.group_by_sum | warm | success | match | 3.5160 | 0.00s |
| database.group_by_sum | warm | success | match | 3.5827 | 0.00s |
| database.word_count_index | cold | success | match | 37.0490 | 0.00s |
| database.word_count_index | warm | success | match | 27.7435 | 0.00s |
| database.word_count_index | warm | success | match | 22.6006 | 0.00s |
| database.word_count_index | warm | success | match | 29.1681 | 0.00s |
| etl.distinct_count | cold | success | match | 113.5767 | 0.00s |
| etl.distinct_count | warm | success | match | 31.8829 | 0.00s |
| etl.distinct_count | warm | success | match | 28.4878 | 0.00s |
| etl.distinct_count | warm | success | match | 26.1378 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 11.6712 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 10.9693 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 10.8872 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 11.2929 | 0.00s |
| etl.merge_join | cold | success | match | 22.0982 | 0.00s |
| etl.merge_join | warm | success | match | 26.1777 | 0.00s |
| etl.merge_join | warm | success | match | 22.2715 | 0.00s |
| etl.merge_join | warm | success | match | 33.6364 | 0.00s |
| etl.top_n_selection | cold | success | match | 0.7675 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.6725 | 0.00s |
| etl.top_n_selection | warm | success | match | 1.1135 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.6811 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 116.4457 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 48.0357 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 35.9309 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 40.4567 | 0.00s |
| financial.compound_interest | cold | success | match | 7.1163 | 0.00s |
| financial.compound_interest | warm | success | match | 7.3173 | 0.00s |
| financial.compound_interest | warm | success | match | 13.6638 | 0.00s |
| financial.compound_interest | warm | success | match | 6.8259 | 0.00s |
| financial.moving_average | cold | success | match | 16.0411 | 0.00s |
| financial.moving_average | warm | success | match | 19.9205 | 0.00s |
| financial.moving_average | warm | success | match | 13.9058 | 0.00s |
| financial.moving_average | warm | success | match | 15.6589 | 0.00s |
| graph.bfs | cold | success | match | 1.5987 | 0.00s |
| graph.bfs | warm | success | match | 0.8506 | 0.00s |
| graph.bfs | warm | success | match | 1.6881 | 0.00s |
| graph.bfs | warm | success | match | 0.8703 | 0.00s |
| graph.dijkstra | cold | success | match | 219.8362 | 0.00s |
| graph.dijkstra | warm | success | match | 110.5733 | 0.00s |
| graph.dijkstra | warm | success | match | 85.1279 | 0.00s |
| graph.dijkstra | warm | success | match | 135.1428 | 0.00s |
| graph.floyd_warshall | cold | success | match | 180.5918 | 0.00s |
| graph.floyd_warshall | warm | success | match | 93.6947 | 0.00s |
| graph.floyd_warshall | warm | success | match | 45.5151 | 0.00s |
| graph.floyd_warshall | warm | success | match | 93.8934 | 0.00s |
| image.box_blur | cold | success | match | 142.7337 | 0.00s |
| image.box_blur | warm | success | match | 47.3831 | 0.00s |
| image.box_blur | warm | success | match | 54.6002 | 0.00s |
| image.box_blur | warm | success | match | 50.2638 | 0.00s |
| image.convolution_1d | cold | success | match | 205.6336 | 0.00s |
| image.convolution_1d | warm | success | match | 57.2367 | 0.00s |
| image.convolution_1d | warm | success | match | 55.9255 | 0.00s |
| image.convolution_1d | warm | success | match | 57.5570 | 0.00s |
| image.grayscale_filter | cold | success | match | 1.3077 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.6814 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.6824 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.6144 | 0.00s |
| image.sobel_edge | cold | success | match | 104.7351 | 0.00s |
| image.sobel_edge | warm | success | match | 45.7718 | 0.00s |
| image.sobel_edge | warm | success | match | 41.8422 | 0.00s |
| image.sobel_edge | warm | success | match | 34.9653 | 0.00s |
| iot.rolling_average | cold | success | match | 1.0381 | 0.00s |
| iot.rolling_average | warm | success | match | 0.5176 | 0.00s |
| iot.rolling_average | warm | success | match | 0.7812 | 0.00s |
| iot.rolling_average | warm | success | match | 0.6988 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 5.1226 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 4.9843 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 4.9574 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 5.2835 | 0.00s |
| ml.knn_inference | cold | success | match | 0.3732 | 0.00s |
| ml.knn_inference | warm | success | match | 0.2508 | 0.00s |
| ml.knn_inference | warm | success | match | 0.2442 | 0.00s |
| ml.knn_inference | warm | success | match | 0.2311 | 0.00s |
| ml.perceptron_predict | cold | success | match | 15.7733 | 0.00s |
| ml.perceptron_predict | warm | success | match | 16.3623 | 0.00s |
| ml.perceptron_predict | warm | success | match | 17.3722 | 0.00s |
| ml.perceptron_predict | warm | success | match | 15.5871 | 0.00s |
| numerical.dot_product | cold | success | match | 0.2904 | 0.00s |
| numerical.dot_product | warm | success | match | 0.2253 | 0.00s |
| numerical.dot_product | warm | success | match | 0.4269 | 0.00s |
| numerical.dot_product | warm | success | match | 0.3943 | 0.00s |
| numerical.gcd_loop | cold | success | match | 24.8653 | 0.00s |
| numerical.gcd_loop | warm | success | match | 23.2750 | 0.00s |
| numerical.gcd_loop | warm | success | match | 24.4675 | 0.00s |
| numerical.gcd_loop | warm | success | match | 17.6232 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 18.8679 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 22.4744 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 34.4472 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 25.7298 | 0.00s |
| numerical.matrix_vector | cold | success | match | 57.1928 | 0.00s |
| numerical.matrix_vector | warm | success | match | 30.8927 | 0.00s |
| numerical.matrix_vector | warm | success | match | 25.9782 | 0.00s |
| numerical.matrix_vector | warm | success | match | 32.0165 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 1.6234 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 1.3920 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 3.1093 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 1.3378 | 0.00s |
| numerical.prime_sieve | cold | success | match | 1.0451 | 0.00s |
| numerical.prime_sieve | warm | success | match | 1.4336 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.8540 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.8649 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 8.3677 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 8.6687 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 5.9405 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 8.4681 | 0.00s |
| object.bank_account | cold | success | match | 173.0062 | 0.00s |
| object.bank_account | warm | success | match | 151.2256 | 0.00s |
| object.bank_account | warm | success | match | 157.4041 | 0.00s |
| object.bank_account | warm | success | match | 137.4739 | 0.00s |
| object.shape_area | cold | success | match | 19.4384 | 0.00s |
| object.shape_area | warm | success | match | 29.9367 | 0.00s |
| object.shape_area | warm | success | match | 25.2853 | 0.00s |
| object.shape_area | warm | success | match | 28.3292 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 7.1471 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 6.8523 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 6.8937 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 7.3105 | 0.00s |
| parsing.ini_parse | cold | success | match | 8.7354 | 0.00s |
| parsing.ini_parse | warm | success | match | 12.7505 | 0.00s |
| parsing.ini_parse | warm | success | match | 8.2910 | 0.00s |
| parsing.ini_parse | warm | success | match | 8.2843 | 0.00s |
| parsing.log_line_parse | cold | success | match | 1.4831 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.5057 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.5585 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.7070 | 0.00s |
| regex.email_like_match | cold | success | match | 35.0236 | 0.00s |
| regex.email_like_match | warm | success | match | 22.0905 | 0.00s |
| regex.email_like_match | warm | success | match | 15.7794 | 0.00s |
| regex.email_like_match | warm | success | match | 16.9526 | 0.00s |
| regex.wildcard_match | cold | success | match | 42.8310 | 0.00s |
| regex.wildcard_match | warm | success | match | 35.2805 | 0.00s |
| regex.wildcard_match | warm | success | match | 39.6483 | 0.00s |
| regex.wildcard_match | warm | success | match | 33.2075 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 11.0249 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 10.6893 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 10.7644 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 15.2245 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 62.4754 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 18.0118 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 16.9080 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 9.0125 | 0.00s |
| serialization.csv_serialize | cold | success | match | 2.0549 | 0.00s |
| serialization.csv_serialize | warm | success | match | 2.0671 | 0.00s |
| serialization.csv_serialize | warm | success | match | 3.3271 | 0.00s |
| serialization.csv_serialize | warm | success | match | 2.1537 | 0.00s |
| serialization.json_serialize | cold | success | match | 27.8547 | 0.00s |
| serialization.json_serialize | warm | success | match | 32.0642 | 0.00s |
| serialization.json_serialize | warm | success | match | 53.6360 | 0.00s |
| serialization.json_serialize | warm | success | match | 43.8573 | 0.00s |
| simulation.conway_life | cold | success | match | 138.1195 | 0.00s |
| simulation.conway_life | warm | success | match | 67.9419 | 0.00s |
| simulation.conway_life | warm | success | match | 68.7985 | 0.00s |
| simulation.conway_life | warm | success | match | 30.3803 | 0.00s |
| simulation.particle_movement | cold | success | match | 236.0859 | 0.00s |
| simulation.particle_movement | warm | success | match | 96.2442 | 0.00s |
| simulation.particle_movement | warm | success | match | 78.1233 | 0.00s |
| simulation.particle_movement | warm | success | match | 104.6790 | 0.00s |
| sorting.merge_sort | cold | success | match | 8.5172 | 0.00s |
| sorting.merge_sort | warm | success | match | 6.0099 | 0.00s |
| sorting.merge_sort | warm | success | match | 4.6597 | 0.00s |
| sorting.merge_sort | warm | success | match | 4.5687 | 0.00s |
| sorting.quick_sort | cold | success | match | 60.6678 | 0.00s |
| sorting.quick_sort | warm | success | match | 43.6722 | 0.00s |
| sorting.quick_sort | warm | success | match | 19.9726 | 0.00s |
| sorting.quick_sort | warm | success | match | 25.4004 | 0.00s |
| statistics.correlation | cold | success | match | 150.7985 | 0.00s |
| statistics.correlation | warm | success | match | 63.8893 | 0.00s |
| statistics.correlation | warm | success | match | 69.7020 | 0.00s |
| statistics.correlation | warm | success | match | 67.4402 | 0.00s |
| statistics.histogram | cold | success | match | 15.4503 | 0.00s |
| statistics.histogram | warm | success | match | 26.6635 | 0.00s |
| statistics.histogram | warm | success | match | 18.6312 | 0.00s |
| statistics.histogram | warm | success | match | 11.7605 | 0.00s |
| statistics.mean_variance | cold | success | match | 208.6326 | 0.00s |
| statistics.mean_variance | warm | success | match | 103.0700 | 0.00s |
| statistics.mean_variance | warm | success | match | 103.9278 | 0.00s |
| statistics.mean_variance | warm | success | match | 98.6320 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.3173 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.2756 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.1641 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.1814 | 0.00s |
| stdlib.json_parse | cold | success | match | 13.7721 | 0.00s |
| stdlib.json_parse | warm | success | match | 15.1674 | 0.00s |
| stdlib.json_parse | warm | success | match | 13.9027 | 0.00s |
| stdlib.json_parse | warm | success | match | 14.6863 | 0.00s |
| string.dna_count | cold | success | match | 493.5049 | 0.00s |
| string.dna_count | warm | success | match | 203.9407 | 0.00s |
| string.dna_count | warm | success | match | 208.5946 | 0.00s |
| string.dna_count | warm | success | match | 199.4845 | 0.00s |
| string.log_parser | cold | success | match | 14.7306 | 0.00s |
| string.log_parser | warm | success | match | 16.4736 | 0.00s |
| string.log_parser | warm | success | match | 15.1008 | 0.00s |
| string.log_parser | warm | success | match | 14.8760 | 0.00s |
| string.palindrome_pairs | cold | success | match | 28.1679 | 0.00s |
| string.palindrome_pairs | warm | success | match | 22.3821 | 0.00s |
| string.palindrome_pairs | warm | success | match | 22.4335 | 0.00s |
| string.palindrome_pairs | warm | success | match | 38.7021 | 0.00s |
| text.sentiment_score | cold | success | match | 4.4605 | 0.00s |
| text.sentiment_score | warm | success | match | 3.9460 | 0.00s |
| text.sentiment_score | warm | success | match | 3.7482 | 0.00s |
| text.sentiment_score | warm | success | match | 3.6769 | 0.00s |
| text.word_count | cold | success | match | 130.6128 | 0.00s |
| text.word_count | warm | success | match | 41.1493 | 0.00s |
| text.word_count | warm | success | match | 51.9823 | 0.00s |
| text.word_count | warm | success | match | 27.6891 | 0.00s |
| tree.bst_operations | cold | success | match | 7.6007 | 0.00s |
| tree.bst_operations | warm | success | match | 7.6767 | 0.00s |
| tree.bst_operations | warm | success | match | 8.4951 | 0.00s |
| tree.bst_operations | warm | success | match | 7.2337 | 0.00s |
| web.cookie_parse | cold | success | match | 3.2849 | 0.00s |
| web.cookie_parse | warm | success | match | 2.9451 | 0.00s |
| web.cookie_parse | warm | success | match | 4.5776 | 0.00s |
| web.cookie_parse | warm | success | match | 3.9012 | 0.00s |
| web.html_tag_count | cold | success | match | 10.9918 | 0.00s |
| web.html_tag_count | warm | success | match | 20.2409 | 0.00s |
| web.html_tag_count | warm | success | match | 10.1521 | 0.00s |
| web.html_tag_count | warm | success | match | 10.5980 | 0.00s |
| web.http_parser | cold | success | match | 12.6844 | 0.00s |
| web.http_parser | warm | success | match | 8.3832 | 0.00s |
| web.http_parser | warm | success | match | 7.8197 | 0.00s |
| web.http_parser | warm | success | match | 7.9462 | 0.00s |
| web.query_string_parse | cold | success | match | 4.0413 | 0.00s |
| web.query_string_parse | warm | success | match | 6.5946 | 0.00s |
| web.query_string_parse | warm | success | match | 3.8856 | 0.00s |
| web.query_string_parse | warm | success | match | 3.8814 | 0.00s |
| web.url_router | cold | success | match | 0.7282 | 0.00s |
| web.url_router | warm | success | match | 0.5901 | 0.00s |
| web.url_router | warm | success | match | 0.6203 | 0.00s |
| web.url_router | warm | success | match | 0.6168 | 0.00s |
Proof Packs
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c57e6d659a814bcbb3fe9ff0
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b4ca247a82d44564a71d0756
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/01174fe14d4a464ea996d4d9
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4f365fba388d4f159ff6855e
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/529775c8b21a4196afd4afaa
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/bc684e822035451597b8d629
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c7f998eb4c464a78988676f4
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9e8780b47c3c4fb8b4ee74a3
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c5b8b6e363ab41c0aadcd1b9
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/012675efad90490ebb00a4b4
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9e42d00f1a2f47049c96e2ab
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/bf5e82bed9a946539511d1f6
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/30a36817a63640afb1585cd3
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e934adc64ffb4d6ab31e2f9f
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c69fa07b25204385858d49a1
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/05ee06ce3d4b43ea8df9dd63
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c75b53b535e04834a2b93808
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/ef9be61d48b7432a8742b83e
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9777ea50a7b7420092695717
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/49e43ef963704c0585345bf2
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/f0ea47a3a30c428698844124
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e463b5d5a4f644c184e48219
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4ae6646b5e3f4685b2129650
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c98aaa596a7a412a8c2403e2
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c5703851e56b4b5e8f78d7bb
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/62927dc242c943c19a2ddde8
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/faefee520d2345969fe9d608
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/7c302b0c9e794c218927e3cc
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/f0bae822e4914374b2d166cc
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4399800a3e79443ca357e0d0
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/5edbbbf3594e402381fd896a
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/cfebe5e7f65b4a569c345499
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/81794f2317ee439a8fa3cffa
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/3b7411872d784e18b98d282b
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/f72656d974f841599a098b47
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/5cef6c1aeebc4c6b8216f87c
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/cee50146abe14a01b3e5e114
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/d922fc501f4840b69da3ad95
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/abedd2149bc748689e685db2
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/6b9fdd5c03624b35b7101f3b
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/970f613081b346e3b4839ffe
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/0bdaea5fdfe74f48af46d266
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/14527b5814e1488d938802f9
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/7d07f38288c8464b86818c9e
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/699efdbaf474413ca07504ed
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4fd9af5cf355461c9e10966d
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/bd887c54e0e647499a6325ac
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c4509f43dca14d4fa4aaeff4
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9fc3ba6b90ba4d8bbfeeb1d8
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/6c3aeecf9adb445ba05c39f5
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/0ce2900675a64f778e32de46
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/ff3eb7aa11cd4d159a1b87d8
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/57050ce3364344e89f3ec155
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/08fe0466f29a4510911ebc1f
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/608005aff6c347aab78d215c
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/78fffa9fe68f4a149a8273db
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9cf7a2028f2b47f0a86f04de
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e5dfb8290bb9452ab0ded42a
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9f021d56bf014c9899a91e36
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/df86ba62fe7441c0a2b9bf6d
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/28a84fe39175426494a1f280
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/bd9c870ac5634538a72f32af
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/a7f967c392e6429e95c15423
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/be15a1f7d2e04475833db585
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/2912e5dfdbd0458eb7e0d9ee
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/7c2016d8549c4101ae8fb3b2
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e7ce451857ad43dcbb8dd20c
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4bda9d3d0a8a4a27825a0ac3
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/d2cf31878e694867bb8d9a52
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/141740d7b157427a976ce404
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e02392be0092456b918ca10b
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/d8b6709418be4a84ac483574
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b7b12e1b3c93443bbce16b5f
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/1bd29b1a9eef49989da66293
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/2c83943eed7c4f3a962571bd
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/7825471b8940471cb158104b
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/5aaaa9a4f48241158a6b460d
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/08c421b0bf1f43fcb7a5ddb3
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/8f67d997c8154ebdb0b04422
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/177ca06720624a688e664efc
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/07079761df554116bd94bab4
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/a100f83393cf4826b8f58309
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/240f21c7905f4beeb08a8478
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/5da9c63faa204413a16e979c
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e2c40f1bac154937ad41ba22
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/08124ece39524a1c9e00f443
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e128bef4be784e26b91a0afa
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/a5aaf37dca394e87a7b39118
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/16d319dd68294433bf3e79e6
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b2e10e0f556040e5b9cbad0b
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/299b60d7bdeb4f55811f0191
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/3e75953d15504ebf90672fa7
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/493f2de855c44e9caa230660
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/52b746410b3745e489ce202c
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4d0f4fc084424294939120fa
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/099c869451744d32ae6bdb95
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/f7f8884ce2f3480b8b1fe9a1
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/20f8c59b252f4c35ac76712d
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/3eb40fca861c4c48b48f5cbb
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/39ad1e0b6b0e4c8193a13e51
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/fb23210ed11849beb66e5065
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/bf920478a8164027acdfb62b
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/78e47873ee904095be8d4cfa
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/177ee8f1aa0b4e74b649128b
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/dc93277e25d6415ab9a3d458
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/75d2623e9ea346c0a1ac7ded
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/1076a9dca20f4d5ca94d5030
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/d96e2b6cc8ad469f88155707
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/86b8fedd531d4ed1b888ed4d
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/60e31798fa814b149db93f5d
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/a6895caf6f534120b5e770d8
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/a3c9957336494f65b6046bbf
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/8c60080ee157480ba1011d07
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/ecae011178a24fb891e9290a
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/57a89be23ccc49c79388c9a8
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e97cbf9c08e74141839fbbbf
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/35ec5d6a30824c15bd3b50e1
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/5befc6b3531d40a6bea7aafa
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/69cbc661aea84e70850e92fe
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9324af7e8a44442ebf1154be
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/cfde9c4bdc0d4448b9100278
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/cd4a9f88a4cb46d1bbf4dccd
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/24e30a4be3d94895baec6331
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e9818a7e675740aba98437a3
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/a4f145f3e9264e568abb3618
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/37ea497fc48b4827a7bb19cc
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/66c200c4439f4b939acf4a76
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/1f27eeb136f74a2db7416f0f
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/38af40adac184f30a1289008
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/046eccaf85fb4f60a403df5f
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/59b80fbe67a74f219cbf73e4
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c9f80831d2ee4f1c9703875c
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/40793c74e586497f9d6c26ca
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/063002118b254d6cb326aaba
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/6565aea484f040b39c5dadd9
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/28f1fe1a0066429599cc31d8
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b64af627ea7947cab833c0da
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/696b83aea1b84857932a496e
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/8c52a40507f44524aff2944e
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/8b5b83263f2046ae820c81e2
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/d6b4a4ee7ad946b0a54db96d
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/83eaeaba0032400fbffcf008
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/00a47c72da384eaeaa1990b6
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/0cb8766fab834a9aab97b77f
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/726f2041eef44fbc80d9dbad
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4d70b1662a92404694d30a30
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4fee5d8fdf414a7ab2f97928
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c96c12c1801c4652948a1e30
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/ee969087a6964559af99ceeb
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/6448daad40684150823a191d
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/872ed02efb574fd48cee352f
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e9d1660ba1e6428189c5014c
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b9e6d7044a04451e92322bca
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/0c7299e43c4d439faa7f2abd
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/397dbc129ae2483fb98df5d1
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/bbe4718d6ea24aaa8d9dbb05
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/ee0bb64ad9344bbd8da08b21
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/27f5ff03d15c4b828533dfe6
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/7e9c9c001b46445a85471b47
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/312b01a023864551b04b00da
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b6db6f6589a24be482a9fe30
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/d775467373ef4123be165457
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/24ac768e138b423b9ca7cfc0
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/73bb74739c08403b8b82fc57
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c08f9d247f194ccd9d6bf8fb
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/067706e289c24641bd3b04f6
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/d7bf5837a7644929ac97587c
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/f236e7b0d51e429797e48d43
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/68a33bc36bf346e7beea71ec
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/0a933637b0b0412fbc543cfb
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/ea38b2e8433f4f7e8717405e
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/219bf5219d1e446e958abbc7
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/acbc38e4100b49ac86d0c241
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4f12bf68e77048b2846108f7
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/45eee61340864f45a1fba87a
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4186d99b62fe42639e1f5686
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b5700bbfae014b3e9e3563cf
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/d3bf735b99be44de8bf26b90
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/24400e13647440f5b70c84fc
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/467a93ca937e4f05b80d912f
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/035fc5bc6c714c869b2b4a5d
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/3d44106c61274ddb97fa04fd
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/bd40701c51cf495f875bc97d
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/a2a5048a89b94f788c6bb021
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/0bad42624138417089bced50
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9e7b4a3cb121497292d00d11
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b23f013fee254fb0b6764de2
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/ced3cdb080ac4d9db8605f09
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/80754859949c452c86283cca
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/012851437a08435e964a6678
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b0f12391e99c4754a132b971
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/0b2e07ab496241df845ea987
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/ae2c365e8f2a4247a26da380
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/f4f8efa7cb7540cba4210188
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c12de99296b74414a98fd27e
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/45b2059272a84fd6a26f6090
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/ecced8708cf64c868e4956d1
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/8fb983b393904c24b03886c4
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/1d1999b478b44d2cb32d2958
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/3753ac91c563450fb809a922
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/8781b96dfdde4761a6b5a9d8
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4185ef0e3e8847c28c80d1c9
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b03d03284c5240778af8465e
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/16057d0320df41ab87046575
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/e171206f324b4bef8021dc61
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/5b5e22ce1a2648c3b455eee1
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/36d3bdc824f248b68f854046
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/f1ab858643a04de499ad59be
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/670bc9815c1149b38496d6cf
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b081bbcf619e4b03a86bcaa3
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/5b031143db5e431b9c60628c
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/df074dd0dd71458aac7f4360
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/a28eecbaa4c741e9be50b368
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/70b5918efb104b2cb4955010
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/ea4f256d12e2419cb752c25d
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/29ac690593904acfa090d61d
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/2b83a95b953f4df7a98cd8b5
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b9df23357d85442d9d7c8147
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/6d22537ac3b64f0ab24295a3
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/01d6d8792dd6483492d710bc
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b6cae9279e2642f3a9645183
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/baeb26b83eae45089327589f
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/22f4f20bbd294e1382d48b6f
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/02e6f7f11cfd4c14b532dd75
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b194b9a0613544aa8ff15e93
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/21b5d3f274df4fe5873d97b0
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/8997ca821d0f424388438b56
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/1ff37a8269b743de8a17d594
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c0e4c81f80d14d578368551f
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/a31b68774ec242a9ab2f1ed8
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/42d9e784b0374f188f33f728
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/992c7649dcf749d882465faf
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/5aae5003db5d4cf4ad172ab3
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/55652e08c4234d8c8069ea7a
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/5ace01e968a840f89855e7f9
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/118250ba5c2740158bf8a9b9
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/90529cb0cc7b444daad86484
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/a73005673f6e4ce98d9ce637
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/27b65504ac704eccb9f0064f
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/dfd2127e38e24071a05da949
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/de523c2e43bc4dad8033c6c2
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/1e31dbd7ec554921be9c21af
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c9d35ee9f09e452b841b5901
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9992770d773d4346ab017632
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/8c21cef4853545dd80ae3294
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/8667e0c4788b4c5996f85749
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/cb2bd872c1294c4691958ff8
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/2f82741ddc2a4aceb9278abc
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4f8e23c057f7449da9f81f9e
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/eaeace0618f248deb58c4bc8
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/38779c6adc57405d9885df11
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9d6197de802248ba9d79545c
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/cd3989c36f4a42b8a66bd561
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/0e86b038fec546a0b1d2b699
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/d2a375cd788c4f9996dafcb0
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/088fd39ce354433bac262eac
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/7d194a6806b0484987e3b1ab
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/85ec66290c6649438850617a
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c5b0133402434e5e96641ddd
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/0c8989e6725f410283ace92a
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/af73f05a420e4790879f0e57
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/97dd76d1e0a64d5d98af4ac5
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/bc5ddf0642aa46409b6ca8dd
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b924ee13b04d459bb9632d00
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/bf1ea1d35cba402e81ec8c08
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/f81d00a814074e509769e95e
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/4839848fde9c4cfe81402b31
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/f90e1e0816874421aab444b7
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/dbc592db41044ef1a5b2df39
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/b671caee6ac744e895a5f272
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/12e11916f06c41bcb4a16ac5
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/6ca0ca57238b4333b85bade0
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/999423bd699c4b0cb024440c
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c39df9c9c4874eb4814fe029
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/30ea482c8fd3439f962ca945
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/81f9700ba7e54798b5af9198
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/5d53ac755ea1459cbdc92a07
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/dff038c6b2cd484d9879ccf7
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/fa6a71e80610426c992d6210
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/bfb2d5d2330a4ecaa2606aaf
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/63ab9c803a704869ad8b32bb
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/9cdf59b87236439b80812f8a
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/1c6b458472b44cbbab20d69f
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/5248c09056e44d5f904eed46/c3adb466f69c4c0e8f7130f1