Campaign Summary
ID: e6c566efdfb94a97a4439386
Started: 2026-07-19 09:08:41.015584
Finished: 2026-07-19 09:12:18.956570
Duration: 217.9s
71
Workloads
284
Cases
284
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.4626
cold mean ms
0.5232
warm mean ms
0.4786
warm median ms
0.2243
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
1.8825
cold mean ms
2.0834
warm mean ms
1.9935
warm median ms
0.5538
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.1132
cold mean ms
0.1007
warm mean ms
0.0992
warm median ms
0.0093
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
1.0282
cold mean ms
0.4281
warm mean ms
0.4647
warm median ms
0.1665
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
24.8352
cold mean ms
28.8553
warm mean ms
27.6984
warm median ms
2.4962
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
3.7592
cold mean ms
2.0940
warm mean ms
1.4173
warm median ms
1.1842
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
1.0173
cold mean ms
0.9260
warm mean ms
0.9004
warm median ms
0.0459
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
1.5028
cold mean ms
1.5648
warm mean ms
1.6470
warm median ms
0.2857
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
0.6731
cold mean ms
0.6541
warm mean ms
0.5564
warm median ms
0.1948
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
13.0274
cold mean ms
23.9997
warm mean ms
21.7625
warm median ms
5.0244
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.1825
cold mean ms
0.2305
warm mean ms
0.2352
warm median ms
0.0639
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
8.6758
cold mean ms
9.7191
warm mean ms
10.5811
warm median ms
1.8169
warm stdev ms
100%
success rate
0
mismatches
web.url_router
0.9954
cold mean ms
0.6186
warm mean ms
0.5877
warm median ms
0.0730
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
122.2801
cold mean ms
69.4238
warm mean ms
70.3017
warm median ms
5.4541
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
225.6511
cold mean ms
71.0598
warm mean ms
76.7868
warm median ms
16.7651
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
1.1655
cold mean ms
0.6931
warm mean ms
0.6253
warm median ms
0.1191
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
13.7466
cold mean ms
15.0241
warm mean ms
13.6560
warm median ms
4.5331
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
38.7710
cold mean ms
29.1109
warm mean ms
27.4147
warm median ms
3.0726
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
22.7598
cold mean ms
21.7471
warm mean ms
20.4977
warm median ms
2.7140
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
8.6583
cold mean ms
9.0623
warm mean ms
8.9244
warm median ms
0.5879
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
241.2746
cold mean ms
97.5376
warm mean ms
97.2894
warm median ms
18.1328
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.4811
cold mean ms
0.3056
warm mean ms
0.3422
warm median ms
0.0641
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
17.6827
cold mean ms
22.4604
warm mean ms
16.0593
warm median ms
11.2408
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
7.4393
cold mean ms
10.5738
warm mean ms
10.2213
warm median ms
0.8717
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
11.3938
cold mean ms
10.3169
warm mean ms
11.1826
warm median ms
1.6076
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
1.0280
cold mean ms
0.9397
warm mean ms
0.9198
warm median ms
0.0789
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
11.5381
cold mean ms
7.3670
warm mean ms
8.4036
warm median ms
2.1514
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
23.8343
cold mean ms
27.1603
warm mean ms
25.9905
warm median ms
2.5272
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
34.6794
cold mean ms
43.2663
warm mean ms
46.0280
warm median ms
8.8491
warm stdev ms
100%
success rate
0
mismatches
text.word_count
139.6884
cold mean ms
65.1004
warm mean ms
45.1608
warm median ms
40.7079
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
61.5690
cold mean ms
30.5789
warm mean ms
32.8980
warm median ms
11.4395
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
87.0722
cold mean ms
36.3000
warm mean ms
36.5963
warm median ms
4.5941
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
40.0388
cold mean ms
30.6347
warm mean ms
26.5733
warm median ms
7.6925
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
71.2664
cold mean ms
45.3402
warm mean ms
45.6151
warm median ms
1.2576
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
5.3659
cold mean ms
5.3444
warm mean ms
5.1933
warm median ms
0.2690
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
94.6318
cold mean ms
30.7025
warm mean ms
31.5065
warm median ms
6.3727
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
0.7858
cold mean ms
0.6767
warm mean ms
0.6564
warm median ms
0.0524
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
16.0106
cold mean ms
17.2504
warm mean ms
13.4514
warm median ms
7.3555
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
635.0023
cold mean ms
281.2063
warm mean ms
299.7943
warm median ms
55.3532
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
158.3436
cold mean ms
61.5773
warm mean ms
58.3808
warm median ms
7.4123
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
10.8599
cold mean ms
11.1542
warm mean ms
12.3568
warm median ms
2.2062
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
11.3183
cold mean ms
14.0259
warm mean ms
11.2549
warm median ms
4.9885
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
3.4054
cold mean ms
4.2124
warm mean ms
3.9661
warm median ms
0.9670
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
24.1504
cold mean ms
27.5410
warm mean ms
30.3703
warm median ms
9.5458
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
3.9349
cold mean ms
6.6990
warm mean ms
4.0074
warm median ms
5.3311
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
65.8383
cold mean ms
33.6671
warm mean ms
33.9223
warm median ms
5.6610
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
122.6934
cold mean ms
87.0289
warm mean ms
80.7407
warm median ms
11.0150
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
214.1689
cold mean ms
79.9165
warm mean ms
71.9338
warm median ms
15.5519
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
55.0215
cold mean ms
38.7261
warm mean ms
37.0980
warm median ms
8.0198
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
102.6424
cold mean ms
59.6721
warm mean ms
55.1468
warm median ms
11.1334
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
54.5140
cold mean ms
19.5270
warm mean ms
19.6916
warm median ms
4.9435
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
16.6386
cold mean ms
18.5555
warm mean ms
16.2153
warm median ms
6.9858
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
12.4972
cold mean ms
10.6825
warm mean ms
10.2225
warm median ms
1.4801
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
1.5928
cold mean ms
1.5511
warm mean ms
1.5199
warm median ms
0.0648
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
327.9979
cold mean ms
115.6166
warm mean ms
119.4673
warm median ms
28.0213
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
46.1266
cold mean ms
43.0794
warm mean ms
47.5361
warm median ms
10.3914
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
150.2246
cold mean ms
164.6328
warm mean ms
158.0073
warm median ms
14.0990
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
1.9918
cold mean ms
2.0971
warm mean ms
2.0923
warm median ms
0.0704
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
4.0519
cold mean ms
3.8558
warm mean ms
3.8339
warm median ms
0.0686
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
208.2219
cold mean ms
44.6502
warm mean ms
40.4035
warm median ms
10.6419
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
6.1718
cold mean ms
5.8629
warm mean ms
5.0685
warm median ms
1.4888
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
24.9807
cold mean ms
14.0476
warm mean ms
16.6045
warm median ms
5.1872
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.7846
cold mean ms
1.5854
warm mean ms
1.8064
warm median ms
0.5285
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
110.7311
cold mean ms
74.2659
warm mean ms
74.3806
warm median ms
0.5564
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
17.9821
cold mean ms
14.1808
warm mean ms
11.0222
warm median ms
6.0515
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
87.2861
cold mean ms
32.1833
warm mean ms
29.7994
warm median ms
7.0932
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
203.5660
cold mean ms
50.6863
warm mean ms
49.3076
warm median ms
4.7820
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
153.4034
cold mean ms
69.7216
warm mean ms
71.6765
warm median ms
6.8322
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
148.4571
cold mean ms
79.4640
warm mean ms
96.8145
warm median ms
30.2596
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
61.1807
cold mean ms
46.0668
warm mean ms
48.5092
warm median ms
11.5721
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
73.9667
cold mean ms
32.5101
warm mean ms
34.5558
warm median ms
3.8487
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 225.6511 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 84.2110 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 76.7868 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 52.1816 | 0.00s |
| compression.run_length_encode | cold | success | match | 61.1807 | 0.00s |
| compression.run_length_encode | warm | success | match | 48.5092 | 0.00s |
| compression.run_length_encode | warm | success | match | 56.2228 | 0.00s |
| compression.run_length_encode | warm | success | match | 33.4685 | 0.00s |
| core.factorial_sum | cold | success | match | 0.7846 | 0.00s |
| core.factorial_sum | warm | success | match | 1.9676 | 0.00s |
| core.factorial_sum | warm | success | match | 0.9823 | 0.00s |
| core.factorial_sum | warm | success | match | 1.8064 | 0.00s |
| core.fibonacci_sum | cold | success | match | 24.9807 | 0.00s |
| core.fibonacci_sum | warm | success | match | 8.0782 | 0.00s |
| core.fibonacci_sum | warm | success | match | 17.4599 | 0.00s |
| core.fibonacci_sum | warm | success | match | 16.6045 | 0.00s |
| core.float_reduction | cold | success | match | 1.8825 | 0.00s |
| core.float_reduction | warm | success | match | 1.9935 | 0.00s |
| core.float_reduction | warm | success | match | 1.5800 | 0.00s |
| core.float_reduction | warm | success | match | 2.6766 | 0.00s |
| core.integer_sum | cold | success | match | 0.4626 | 0.00s |
| core.integer_sum | warm | success | match | 0.7665 | 0.00s |
| core.integer_sum | warm | success | match | 0.4786 | 0.00s |
| core.integer_sum | warm | success | match | 0.3246 | 0.00s |
| core.list_filter | cold | success | match | 0.1132 | 0.00s |
| core.list_filter | warm | success | match | 0.1106 | 0.00s |
| core.list_filter | warm | success | match | 0.0992 | 0.00s |
| core.list_filter | warm | success | match | 0.0921 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 65.8383 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 27.8829 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 39.1962 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 33.9223 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 122.2801 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 70.3017 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 74.3856 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 63.5840 | 0.00s |
| crypto.simple_checksum | cold | success | match | 87.2861 | 0.00s |
| crypto.simple_checksum | warm | success | match | 40.1615 | 0.00s |
| crypto.simple_checksum | warm | success | match | 29.7994 | 0.00s |
| crypto.simple_checksum | warm | success | match | 26.5892 | 0.00s |
| crypto.xor_cipher | cold | success | match | 94.6318 | 0.00s |
| crypto.xor_cipher | warm | success | match | 23.9660 | 0.00s |
| crypto.xor_cipher | warm | success | match | 36.6350 | 0.00s |
| crypto.xor_cipher | warm | success | match | 31.5065 | 0.00s |
| data_processing.csv_parse | cold | success | match | 1.5028 | 0.00s |
| data_processing.csv_parse | warm | success | match | 1.2470 | 0.00s |
| data_processing.csv_parse | warm | success | match | 1.6470 | 0.00s |
| data_processing.csv_parse | warm | success | match | 1.8004 | 0.00s |
| data_processing.json_extract | cold | success | match | 110.7311 | 0.00s |
| data_processing.json_extract | warm | success | match | 74.7560 | 0.00s |
| data_processing.json_extract | warm | success | match | 74.3806 | 0.00s |
| data_processing.json_extract | warm | success | match | 73.6610 | 0.00s |
| database.group_by_sum | cold | success | match | 3.4054 | 0.00s |
| database.group_by_sum | warm | success | match | 3.3924 | 0.00s |
| database.group_by_sum | warm | success | match | 5.2787 | 0.00s |
| database.group_by_sum | warm | success | match | 3.9661 | 0.00s |
| database.word_count_index | cold | success | match | 40.0388 | 0.00s |
| database.word_count_index | warm | success | match | 25.8241 | 0.00s |
| database.word_count_index | warm | success | match | 26.5733 | 0.00s |
| database.word_count_index | warm | success | match | 39.5066 | 0.00s |
| etl.distinct_count | cold | success | match | 73.9667 | 0.00s |
| etl.distinct_count | warm | success | match | 34.5558 | 0.00s |
| etl.distinct_count | warm | success | match | 34.9039 | 0.00s |
| etl.distinct_count | warm | success | match | 28.0705 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 13.7466 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 13.6560 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 20.0837 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 11.3326 | 0.00s |
| etl.merge_join | cold | success | match | 38.7710 | 0.00s |
| etl.merge_join | warm | success | match | 27.2603 | 0.00s |
| etl.merge_join | warm | success | match | 27.4147 | 0.00s |
| etl.merge_join | warm | success | match | 32.6578 | 0.00s |
| etl.top_n_selection | cold | success | match | 0.7858 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.6375 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.6564 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.7362 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 122.6934 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 99.7477 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 80.7407 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 80.5983 | 0.00s |
| financial.compound_interest | cold | success | match | 12.4972 | 0.00s |
| financial.compound_interest | warm | success | match | 9.4869 | 0.00s |
| financial.compound_interest | warm | success | match | 10.2225 | 0.00s |
| financial.compound_interest | warm | success | match | 12.3380 | 0.00s |
| financial.moving_average | cold | success | match | 17.6827 | 0.00s |
| financial.moving_average | warm | success | match | 15.8822 | 0.00s |
| financial.moving_average | warm | success | match | 35.4398 | 0.00s |
| financial.moving_average | warm | success | match | 16.0593 | 0.00s |
| graph.bfs | cold | success | match | 1.0280 | 0.00s |
| graph.bfs | warm | success | match | 0.8726 | 0.00s |
| graph.bfs | warm | success | match | 0.9198 | 0.00s |
| graph.bfs | warm | success | match | 1.0266 | 0.00s |
| graph.dijkstra | cold | success | match | 327.9979 | 0.00s |
| graph.dijkstra | warm | success | match | 85.8690 | 0.00s |
| graph.dijkstra | warm | success | match | 119.4673 | 0.00s |
| graph.dijkstra | warm | success | match | 141.5134 | 0.00s |
| graph.floyd_warshall | cold | success | match | 148.4571 | 0.00s |
| graph.floyd_warshall | warm | success | match | 97.0539 | 0.00s |
| graph.floyd_warshall | warm | success | match | 44.5234 | 0.00s |
| graph.floyd_warshall | warm | success | match | 96.8145 | 0.00s |
| image.box_blur | cold | success | match | 158.3436 | 0.00s |
| image.box_blur | warm | success | match | 58.3808 | 0.00s |
| image.box_blur | warm | success | match | 70.0515 | 0.00s |
| image.box_blur | warm | success | match | 56.2996 | 0.00s |
| image.convolution_1d | cold | success | match | 203.5660 | 0.00s |
| image.convolution_1d | warm | success | match | 46.7452 | 0.00s |
| image.convolution_1d | warm | success | match | 49.3076 | 0.00s |
| image.convolution_1d | warm | success | match | 56.0062 | 0.00s |
| image.grayscale_filter | cold | success | match | 1.1655 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.6253 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.8306 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.6234 | 0.00s |
| image.sobel_edge | cold | success | match | 102.6424 | 0.00s |
| image.sobel_edge | warm | success | match | 51.5139 | 0.00s |
| image.sobel_edge | warm | success | match | 72.3556 | 0.00s |
| image.sobel_edge | warm | success | match | 55.1468 | 0.00s |
| iot.rolling_average | cold | success | match | 0.6731 | 0.00s |
| iot.rolling_average | warm | success | match | 0.5564 | 0.00s |
| iot.rolling_average | warm | success | match | 0.8784 | 0.00s |
| iot.rolling_average | warm | success | match | 0.5275 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 6.1718 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 5.0685 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 4.9399 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 7.5804 | 0.00s |
| ml.knn_inference | cold | success | match | 0.4811 | 0.00s |
| ml.knn_inference | warm | success | match | 0.3430 | 0.00s |
| ml.knn_inference | warm | success | match | 0.3422 | 0.00s |
| ml.knn_inference | warm | success | match | 0.2316 | 0.00s |
| ml.perceptron_predict | cold | success | match | 16.6386 | 0.00s |
| ml.perceptron_predict | warm | success | match | 26.4110 | 0.00s |
| ml.perceptron_predict | warm | success | match | 13.0402 | 0.00s |
| ml.perceptron_predict | warm | success | match | 16.2153 | 0.00s |
| numerical.dot_product | cold | success | match | 1.0282 | 0.00s |
| numerical.dot_product | warm | success | match | 0.4647 | 0.00s |
| numerical.dot_product | warm | success | match | 0.5733 | 0.00s |
| numerical.dot_product | warm | success | match | 0.2464 | 0.00s |
| numerical.gcd_loop | cold | success | match | 54.5140 | 0.00s |
| numerical.gcd_loop | warm | success | match | 14.5033 | 0.00s |
| numerical.gcd_loop | warm | success | match | 19.6916 | 0.00s |
| numerical.gcd_loop | warm | success | match | 24.3862 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 24.8352 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 31.7201 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 27.1474 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 27.6984 | 0.00s |
| numerical.matrix_vector | cold | success | match | 61.5690 | 0.00s |
| numerical.matrix_vector | warm | success | match | 32.8980 | 0.00s |
| numerical.matrix_vector | warm | success | match | 18.1576 | 0.00s |
| numerical.matrix_vector | warm | success | match | 40.6812 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 3.7592 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 3.4614 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 1.4033 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 1.4173 | 0.00s |
| numerical.prime_sieve | cold | success | match | 1.0173 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.9790 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.9004 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.8987 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 10.8599 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 8.6079 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 12.4978 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 12.3568 | 0.00s |
| object.bank_account | cold | success | match | 150.2246 | 0.00s |
| object.bank_account | warm | success | match | 158.0073 | 0.00s |
| object.bank_account | warm | success | match | 180.8242 | 0.00s |
| object.bank_account | warm | success | match | 155.0668 | 0.00s |
| object.shape_area | cold | success | match | 23.8343 | 0.00s |
| object.shape_area | warm | success | match | 25.4299 | 0.00s |
| object.shape_area | warm | success | match | 25.9905 | 0.00s |
| object.shape_area | warm | success | match | 30.0605 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 7.4393 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 11.5665 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 9.9334 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 10.2213 | 0.00s |
| parsing.ini_parse | cold | success | match | 11.3938 | 0.00s |
| parsing.ini_parse | warm | success | match | 11.3061 | 0.00s |
| parsing.ini_parse | warm | success | match | 11.1826 | 0.00s |
| parsing.ini_parse | warm | success | match | 8.4620 | 0.00s |
| parsing.log_line_parse | cold | success | match | 1.5928 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.6256 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.5199 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.5079 | 0.00s |
| regex.email_like_match | cold | success | match | 24.1504 | 0.00s |
| regex.email_like_match | warm | success | match | 35.3522 | 0.00s |
| regex.email_like_match | warm | success | match | 30.3703 | 0.00s |
| regex.email_like_match | warm | success | match | 16.9003 | 0.00s |
| regex.wildcard_match | cold | success | match | 71.2664 | 0.00s |
| regex.wildcard_match | warm | success | match | 45.6151 | 0.00s |
| regex.wildcard_match | warm | success | match | 46.4377 | 0.00s |
| regex.wildcard_match | warm | success | match | 43.9679 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 11.3183 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 11.0379 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 11.2549 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 19.7848 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 87.0722 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 31.5649 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 36.5963 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 40.7388 | 0.00s |
| serialization.csv_serialize | cold | success | match | 1.9918 | 0.00s |
| serialization.csv_serialize | warm | success | match | 2.0292 | 0.00s |
| serialization.csv_serialize | warm | success | match | 2.0923 | 0.00s |
| serialization.csv_serialize | warm | success | match | 2.1698 | 0.00s |
| serialization.json_serialize | cold | success | match | 34.6794 | 0.00s |
| serialization.json_serialize | warm | success | match | 33.3657 | 0.00s |
| serialization.json_serialize | warm | success | match | 46.0280 | 0.00s |
| serialization.json_serialize | warm | success | match | 50.4053 | 0.00s |
| simulation.conway_life | cold | success | match | 208.2219 | 0.00s |
| simulation.conway_life | warm | success | match | 40.4035 | 0.00s |
| simulation.conway_life | warm | success | match | 36.7873 | 0.00s |
| simulation.conway_life | warm | success | match | 56.7598 | 0.00s |
| simulation.particle_movement | cold | success | match | 241.2746 | 0.00s |
| simulation.particle_movement | warm | success | match | 79.5302 | 0.00s |
| simulation.particle_movement | warm | success | match | 115.7933 | 0.00s |
| simulation.particle_movement | warm | success | match | 97.2894 | 0.00s |
| sorting.merge_sort | cold | success | match | 11.5381 | 0.00s |
| sorting.merge_sort | warm | success | match | 8.8038 | 0.00s |
| sorting.merge_sort | warm | success | match | 4.8936 | 0.00s |
| sorting.merge_sort | warm | success | match | 8.4036 | 0.00s |
| sorting.quick_sort | cold | success | match | 46.1266 | 0.00s |
| sorting.quick_sort | warm | success | match | 47.5361 | 0.00s |
| sorting.quick_sort | warm | success | match | 50.4990 | 0.00s |
| sorting.quick_sort | warm | success | match | 31.2029 | 0.00s |
| statistics.correlation | cold | success | match | 153.4034 | 0.00s |
| statistics.correlation | warm | success | match | 71.6765 | 0.00s |
| statistics.correlation | warm | success | match | 75.3633 | 0.00s |
| statistics.correlation | warm | success | match | 62.1251 | 0.00s |
| statistics.histogram | cold | success | match | 16.0106 | 0.00s |
| statistics.histogram | warm | success | match | 12.5712 | 0.00s |
| statistics.histogram | warm | success | match | 25.7285 | 0.00s |
| statistics.histogram | warm | success | match | 13.4514 | 0.00s |
| statistics.mean_variance | cold | success | match | 214.1689 | 0.00s |
| statistics.mean_variance | warm | success | match | 97.8387 | 0.00s |
| statistics.mean_variance | warm | success | match | 69.9769 | 0.00s |
| statistics.mean_variance | warm | success | match | 71.9338 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.1825 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.1644 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.2919 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.2352 | 0.00s |
| stdlib.json_parse | cold | success | match | 13.0274 | 0.00s |
| stdlib.json_parse | warm | success | match | 20.4825 | 0.00s |
| stdlib.json_parse | warm | success | match | 21.7625 | 0.00s |
| stdlib.json_parse | warm | success | match | 29.7541 | 0.00s |
| string.dna_count | cold | success | match | 635.0023 | 0.00s |
| string.dna_count | warm | success | match | 299.7943 | 0.00s |
| string.dna_count | warm | success | match | 324.8730 | 0.00s |
| string.dna_count | warm | success | match | 218.9515 | 0.00s |
| string.log_parser | cold | success | match | 22.7598 | 0.00s |
| string.log_parser | warm | success | match | 20.4977 | 0.00s |
| string.log_parser | warm | success | match | 24.8608 | 0.00s |
| string.log_parser | warm | success | match | 19.8829 | 0.00s |
| string.palindrome_pairs | cold | success | match | 55.0215 | 0.00s |
| string.palindrome_pairs | warm | success | match | 31.6452 | 0.00s |
| string.palindrome_pairs | warm | success | match | 37.0980 | 0.00s |
| string.palindrome_pairs | warm | success | match | 47.4351 | 0.00s |
| text.sentiment_score | cold | success | match | 4.0519 | 0.00s |
| text.sentiment_score | warm | success | match | 3.8008 | 0.00s |
| text.sentiment_score | warm | success | match | 3.9326 | 0.00s |
| text.sentiment_score | warm | success | match | 3.8339 | 0.00s |
| text.word_count | cold | success | match | 139.6884 | 0.00s |
| text.word_count | warm | success | match | 111.9340 | 0.00s |
| text.word_count | warm | success | match | 45.1608 | 0.00s |
| text.word_count | warm | success | match | 38.2063 | 0.00s |
| tree.bst_operations | cold | success | match | 8.6583 | 0.00s |
| tree.bst_operations | warm | success | match | 8.9244 | 0.00s |
| tree.bst_operations | warm | success | match | 9.7069 | 0.00s |
| tree.bst_operations | warm | success | match | 8.5556 | 0.00s |
| web.cookie_parse | cold | success | match | 3.9349 | 0.00s |
| web.cookie_parse | warm | success | match | 4.0074 | 0.00s |
| web.cookie_parse | warm | success | match | 3.2503 | 0.00s |
| web.cookie_parse | warm | success | match | 12.8392 | 0.00s |
| web.html_tag_count | cold | success | match | 17.9821 | 0.00s |
| web.html_tag_count | warm | success | match | 21.1580 | 0.00s |
| web.html_tag_count | warm | success | match | 10.3621 | 0.00s |
| web.html_tag_count | warm | success | match | 11.0222 | 0.00s |
| web.http_parser | cold | success | match | 8.6758 | 0.00s |
| web.http_parser | warm | success | match | 10.9447 | 0.00s |
| web.http_parser | warm | success | match | 10.5811 | 0.00s |
| web.http_parser | warm | success | match | 7.6316 | 0.00s |
| web.query_string_parse | cold | success | match | 5.3659 | 0.00s |
| web.query_string_parse | warm | success | match | 5.6550 | 0.00s |
| web.query_string_parse | warm | success | match | 5.1849 | 0.00s |
| web.query_string_parse | warm | success | match | 5.1933 | 0.00s |
| web.url_router | cold | success | match | 0.9954 | 0.00s |
| web.url_router | warm | success | match | 0.5877 | 0.00s |
| web.url_router | warm | success | match | 0.7020 | 0.00s |
| web.url_router | warm | success | match | 0.5661 | 0.00s |
Proof Packs
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ccfdaf88a9c04e91a0a874e3
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/06c1ebfe92b5429699fb0851
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7fbe61dbd2f7478bbd3e0c68
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/71fc4737294441b8bebeeb4c
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/fbaf12f51bcf4175bc38806f
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ad20ea2e16ec46f9a576a805
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/bfe2911136c545269631bc2d
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/595938b62b1e4469aba2e971
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/8afda14ac4b544cca3c7f60b
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/9e51b23d79b14aae9821b543
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/4d76802e912443c8872b9498
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c9ca8738d81d4fdca95f0c68
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/3d21c490841445fab9caef0e
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e29b029f5f784f498ca090e8
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ee9ee25d6778495bbe30e85b
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/5d29bbd095cc450d9b7d5f2f
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/effb8b39f9844b70b8c13f72
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/881201adfa76451bb9cdbd83
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/4efe92d2a08341f7a46271e0
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7805c3ea1c1548c2947c736c
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/38b909424fe443f28c2daa62
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/a63abf8bed9b4378b4dbfd9e
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/5cae73ad9d6b4a98a709d2cb
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0cfdb5cfe66744d69975e24c
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/5390d2b1a1324157a9411d48
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/de87cc1e6e6e4b97a8a798a9
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ec0c0d89566c42f8a3348142
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1879391e804a4501b1d2b2d6
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7e8c7b30725b4988ae5a0463
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/68121e10034f467d97b87168
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/10b4cb614efc459d8b9bf5db
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c5d5667453fa4caab3930dd3
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/881a32d1c9704bae867eaf4f
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/453c80412904470d8082e052
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/36a33fc172014fa5acab0634
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c362d2d4682942ed935ee811
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7878dd971cd540a181803053
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/73e4224e8ea94e2e984c0c00
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0ce9c85aed934d6996887402
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/89b75145f3d941c3b8e48cb0
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e73cd4c9c15f4081be50cb58
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/12e80e5bb71e44e2a04a6968
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e8f5ba70cd02482a9788192e
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/a5540078c5cd435cbc95494e
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/a907c1a32cad4dac910e6cd5
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/17f5197d09e44423bdaeffcf
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c1637e4c69db45a8bc26a292
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/b1c64d6bcb6b4985bc71b9d6
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/88cbde80fcab4633b1889fbb
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/bbed5ff7b96742c69bf35648
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/677be46e47104fa7afee62e1
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/badea0174ee9493ca63b998e
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/14a5c29a97fb4c659fed19d5
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/4a14b6ad14354ca9bd06b30d
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6287f8719c9a45a4aa5d91cc
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ce000e1b5e0244a388e9f766
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/793e846a88c2480a91a48aa9
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/fe012831f3d849c5a4282830
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/203b419390ea4aef801246bd
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/efea952458d04771b96e9d47
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/39fd8366e4354743931feacb
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0368427d75544ca6a2001a36
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/667eee05190b4a068e26ac8e
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/628c87bdfa314e318871b8b0
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/90013838c283427fb42f1050
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/d903c7b1472a4328b89b06ae
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0ba4b97b49c24b3ebfe337be
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c72e793dda4547cf9c3226f6
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/958b91094dfd4084aecdbcef
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e9906aafbfbe4b85a82f8175
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/2d94ff7eaea945878d3944cd
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7cd88b4b1d4c44b8974c72ab
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/cd9b80663b184e1cbefd9cd0
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ef92c43579d74ed7a2ec5488
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/3534f0120c8c4c649e5b178a
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/548f80ae45174d9a86d7cd11
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/8dba4a283ab84427adafe439
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/2cc27c73871f4771ac63603a
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7f542e0ff0d14b089e9b3245
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/9bf95b3588e4456b8c8c412f
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6b3b68b5386545dc8853da60
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/9eaf1724d68f4c8eb39faa8d
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/269a39cba95e43fd9fef4bbe
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/42f645a7ac2a4338b81c344a
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f9cbef9fb4a343e38c3d1ec7
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/4ba4113384bb4f1e8d51875c
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/63d75c59e03a498796ab1b94
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/8be585028d7540da92ef674b
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/b54d2b761d3147789c361111
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/24a1be2b52ab418bbfa5f286
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1f6b9b6e85d54ace96fab118
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/868866c845c840c7b09c4298
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f45d4bf87f5442c8b2563b54
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e9dcb9e1b0d84bbfbbea4b14
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/bd8d8e08d8744e84be74f223
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6135794b56b74203ab327251
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7921302d2bf144b78f9d54e0
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c53f7916f1ae48bfb3a2bfd9
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/56a2e444e08440b8a36f58d8
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6037446aa85041299bb4aa36
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ff386be15ab64c8981e25140
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/40e75f59af064e3299692ebe
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6aaeb6d0562342e0b8c35350
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1a1fd575dd8e4f4ea9fa0b2f
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/acaaed0f8e9d44099532291a
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/fd651c772c644f08b77d8588
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e69e63a12e66491f924d586d
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/365d3769b67049aaa52ad973
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/9dcc3b3ce39a452cb9735c8a
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/2e5a78c487bb4cf48f0a5a2d
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/bc2073020e3546f888b4a939
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/16ba851edb834e328b6a912c
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6e692a0297514f18898481fd
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/047b9f1e56ab4e18850b3261
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/09168dd92dd940b9b65fa0bb
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0ed46411c7d049d5ac27546d
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e732dedc40554be291f38fa7
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ecfe84744c9b4e6f9891cbae
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1082f03564de40489d338ea2
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/67cb04d7a69d4e0cba00862a
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/a2487f8095f5418aa250eb6c
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/fb973b309a2f4581abedfedf
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7ab2d509b2a643f591fde62c
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0e74d155868342bca71566d5
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/d5ac464634644fbf809b76f6
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/60602705c70a4015911e6297
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/934515e0b39947bfb7b4c622
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ff0f5c396c3e472189161023
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/446594725ee14c22b476b2a7
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/b6a59da56f824397ac74d0f4
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/4a6be633aa014eeba5cdcff0
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/b1382dc15c3b493eaa775e92
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/d6e6f748b4534691a82e976f
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c7a85e8f17c14ed5b3853487
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7cfee39bcaca4637bd22a8c2
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/24ce8e93c85f4f459d218054
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c76146f013fd4762aa984d50
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/2b8d962470de4a408ed3934a
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/fe785d4dbbe143f696ad3c04
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/83395293e250400cb34ce827
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1e87687799d442c4a7ac4c8d
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/86c936c1340a4fff8a65c35b
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/b724e75d87f34fe08bf4e2a5
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c14a605c2b3c4b5588c52037
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/47ad468e950d4bab8435c6e9
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0d89947cd159495fb074bc34
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/5741fe999aa04fc792fbc5b3
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/065befb403c346e8be0bc2cb
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/3b9510510afc4e2b80a5c9a1
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/116d7ea262744503b8db6d51
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6162ebed2d81445487174ad9
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f48717e6f5d64a0d88338b9d
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/945d6912adb64408ad66a83d
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/348a1e615c7743caa7703db7
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/494b698ed8eb4e449f00692a
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/9a19731af86c4901b1edb85f
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6eb1650890ac4b3d8fe387a6
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/d2c17188b3b1404daa5196e6
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ecb0187ce1814b829b80c7d4
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/138e160dc3ef478e9f40ffbe
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/af7a2027c5c74aaba43b5662
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/24f85ff2dd7e47bd8696514f
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e41496f30f6d45b6adc5f855
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/a49fe88d21344765b9794fcb
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/def1d359f9c24891acedee89
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ee6ffcece8bb4aa6a9fea61c
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c3b386db2ad745dbba49653a
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/67bc54a8526040c1a1d1a93f
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1fe6fe6e116d4d06acc97ebf
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/3851bf9143614956adf929b4
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6c2283ea223f4fd7bb2beade
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/b89fb4f436cc4a2f992b6e2e
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/de4d92af439d4a6d9dd9c9fe
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f44a01c180a847c28712edd8
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/5d8c148cd2054e56b81447fc
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/4f4ded714bc043d9aa49fa70
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f1a16f856da9406aa4d5fb82
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/8c3fec7f66064cc7a3606081
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f69937a149d14a9c8c4b9b44
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/2bc11b2263c0418dac263828
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/648adc11d6a04861b659f3e0
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/a6c8d10457da42df95e6ede5
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/421e3db9dd01408ea75ae8b8
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/113759564a0c428eb22a473d
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/19caaf12e33248a4a7f01d2e
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c8211615e8b646288dbf0c23
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c49b4d49738540c1914269a7
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/719e10fae40b44deb6b3b4dc
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/2e6fb9adf13047b89d42343f
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/bb81597a37df455d92bea68e
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/4062512f9c5c4e76b45f1a1c
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/529b20fa52924de1be66c403
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6ba78eed49334b5f8fa2c644
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/4c0cae556877410e8d7e6074
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1f6d8fda350841aa9e8874cf
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/27801db3e7e340ab9fe6e44c
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/5ff1603ecbb34a578b8baa11
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c9c2a93d6ed949e38f54c197
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/162a272f02c841a194be6483
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/d7cc61c81fec447d82d3eab9
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/cae6b3855d1a4031a16ade9a
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/91c68f822287406c84068d3a
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/eb87df29c03346b69e2d2ae7
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/b1961c1498ed42b1a7b8f3ac
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/b702f3708d674f9c95ba2316
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/3831f59c6b114451b3e3dbcc
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0ab72d1e28a94f5a9ff9bc62
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/520643ef88c94c60a7b4407a
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7367d061194e4fa7b0ad87c0
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/9aba52a0f88848299a620d14
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/2018fd960fb94f59a4c10aad
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/75038e6d8bc1415b9cc5055e
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ac738fc9d9304793a7897f2b
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/de5ccf6ac801424fb227d5cc
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/01b386a69a4d4d98a2f79410
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f1f555d92d624dca84e44386
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e7d81a9ac3c0475d8d0e1eb1
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/35d9afc927ed4415aa13f7ab
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/32774420a0e4407296a6aa70
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/2824225fcbfa46b3831d3c59
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/af6ff8fec7d54c44b17575a9
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ea2f4725c3d8494e93e0968a
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f69507f25b124191889a56b7
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0bf5eb9ac0924e36b70f01ee
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/cd5998384cf34ac9bd5477f5
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e36b08e5426547c9ba6c986e
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/2d5152b4154841079e11b821
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/99a295fe5bbe4de384344907
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/8df4df8095f5491da4822c24
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7accbaf5a09d4508924943a2
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c935a16dfdb746cfb7ee7f85
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/38af61667ef841afb95209c5
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6b2b3933f4b949488a269fc6
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/8e0e056b3a6d487fbb73d71b
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0b9bfd102f5c4e7bb7846455
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1aee0fcd6f484a15a56ba84b
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f4e67a7de506457dbdfd801a
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7eb0c43116774619bb79954a
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/3c06ece37b8b47cb881d6216
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/41ba9f363be54c679b92f57f
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/03260dceba084506b48e7ea3
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/fc6295494d2345f8be7abe9a
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/c7e84bfa74354338b33961f8
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/34b653e6a9f64ec2839d257d
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0a3ee4cdd9474f16bdb89e98
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1e60288881f64eabbd013c12
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f912a80394f04a189b3b0caa
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1cfd233cfc694ce1acd834d0
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/fb52b55d7c8541aea199b97c
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/8e039afebc474319a52048c8
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/7635fb7f446c4614b2253bf9
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f578abece24644729a101a09
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/50447418001447d4852c6f48
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0c6c04e5c69e4bcc9fb8ffe3
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/8cc8a2cacb5946599f62ff01
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/34031cbe3f7c40c3915bbec2
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/a080dea6c5664b93b6e1ed48
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/72afd5694a964019bb0be585
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/2428a004732b495b8fa1835d
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0d40db7fd3d84b739a26189c
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/d01e51271e184338ae4a8e5c
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e4158efb793446bab088749c
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1e50d2d471064d69a1c74c9f
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/fe7f97c1b8dc47fcb31b2fc0
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/bebb5bef9bfe4d949dd96232
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/87e49041a4cb450d9c1e6b1b
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/3652cfe1106b4007a182100b
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/171e403c8a404cb1965bbcea
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/4623485f0e6f46008247e9b0
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/ea4f4c5c13f246f3a6efbe9d
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/1422a118eb8f495b981d633b
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/e4ab3065fb1e42f7abdf952d
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/5f2315c5e41a480bbca2b19d
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/0b4bdc60cb6643ba9108de9c
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/87a8ed6db321408ba8944bc1
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/f56986fdc9e247d4bbd59e83
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/3fb5c650d01d4cd087fb67cd
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/a38c5577eca944a8a34d40d3
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/b8528e6a3980471497876d51
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/83a80599988045d1b90e37fd
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/6af85befcf534ba3b3c33314
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/cfb55daebec942ee80336f22
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/eabc93cd150f4176a33af7a7
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/e6c566efdfb94a97a4439386/9906fc5695cd4defb3b4f6ca