Campaign Summary
ID: d70e87ec1eff4b8aa62fa74b
Started: 2026-07-19 12:30:56.623046
Finished: 2026-07-19 12:33:39.148816
Duration: 162.5s
71
Workloads
284
Cases
284
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.3245
cold mean ms
0.3444
warm mean ms
0.3232
warm median ms
0.0408
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
1.8179
cold mean ms
2.6661
warm mean ms
3.0591
warm median ms
1.0457
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.1191
cold mean ms
0.1168
warm mean ms
0.1197
warm median ms
0.0058
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.3065
cold mean ms
0.2365
warm mean ms
0.2357
warm median ms
0.0028
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
21.6924
cold mean ms
24.2190
warm mean ms
23.5363
warm median ms
2.5706
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
1.4790
cold mean ms
1.3683
warm mean ms
1.3718
warm median ms
0.0281
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
1.2921
cold mean ms
0.8516
warm mean ms
0.8608
warm median ms
0.0216
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
1.3730
cold mean ms
1.3041
warm mean ms
1.2412
warm median ms
0.1414
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
0.8602
cold mean ms
0.6247
warm mean ms
0.6338
warm median ms
0.0799
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
15.4298
cold mean ms
20.9844
warm mean ms
20.1672
warm median ms
2.7372
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.2100
cold mean ms
0.2082
warm mean ms
0.1730
warm median ms
0.0667
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
8.4224
cold mean ms
13.3556
warm mean ms
10.9209
warm median ms
7.2132
warm stdev ms
100%
success rate
0
mismatches
web.url_router
0.6262
cold mean ms
0.5638
warm mean ms
0.5619
warm median ms
0.0078
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
84.5506
cold mean ms
89.0347
warm mean ms
99.7884
warm median ms
18.8135
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
249.9050
cold mean ms
101.0747
warm mean ms
110.9475
warm median ms
21.8405
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
0.7469
cold mean ms
0.8108
warm mean ms
0.6670
warm median ms
0.2706
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
13.4137
cold mean ms
11.4650
warm mean ms
11.4473
warm median ms
0.2257
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
30.5373
cold mean ms
28.3059
warm mean ms
29.4876
warm median ms
6.1573
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
22.9148
cold mean ms
14.5782
warm mean ms
14.6622
warm median ms
0.1814
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
7.5115
cold mean ms
8.1074
warm mean ms
8.0925
warm median ms
0.0473
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
218.8878
cold mean ms
97.3635
warm mean ms
99.1906
warm median ms
7.9928
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.3082
cold mean ms
0.3156
warm mean ms
0.2657
warm median ms
0.1070
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
18.7120
cold mean ms
21.8070
warm mean ms
14.6610
warm median ms
12.6828
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
17.7909
cold mean ms
7.0132
warm mean ms
7.0657
warm median ms
0.1277
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
10.7655
cold mean ms
9.0325
warm mean ms
7.7374
warm median ms
2.3330
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
1.0200
cold mean ms
1.0686
warm mean ms
0.8935
warm median ms
0.3249
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
5.5202
cold mean ms
7.0543
warm mean ms
7.4188
warm median ms
1.1722
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
20.1948
cold mean ms
25.5311
warm mean ms
27.5168
warm median ms
3.5233
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
31.7433
cold mean ms
41.2678
warm mean ms
40.7511
warm median ms
3.1256
warm stdev ms
100%
success rate
0
mismatches
text.word_count
48.2255
cold mean ms
55.8416
warm mean ms
49.4478
warm median ms
22.1122
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
60.7890
cold mean ms
31.2943
warm mean ms
26.9172
warm median ms
9.2628
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
144.5733
cold mean ms
34.1695
warm mean ms
40.8589
warm median ms
14.4790
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
41.5240
cold mean ms
43.6586
warm mean ms
40.2163
warm median ms
13.4794
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
67.6839
cold mean ms
43.0440
warm mean ms
37.6343
warm median ms
12.0433
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
5.6812
cold mean ms
4.7061
warm mean ms
4.0223
warm median ms
1.2465
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
158.3055
cold mean ms
32.2188
warm mean ms
33.7030
warm median ms
2.7942
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
0.7325
cold mean ms
0.9433
warm mean ms
1.0814
warm median ms
0.2503
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
29.8320
cold mean ms
15.6695
warm mean ms
14.2531
warm median ms
4.9017
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
626.6875
cold mean ms
225.9904
warm mean ms
215.4398
warm median ms
20.5033
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
201.6873
cold mean ms
58.4699
warm mean ms
55.0349
warm median ms
11.8276
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
8.2652
cold mean ms
9.6625
warm mean ms
10.2208
warm median ms
1.0022
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
10.6338
cold mean ms
12.4539
warm mean ms
12.0400
warm median ms
5.2837
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
5.7675
cold mean ms
4.4792
warm mean ms
4.4490
warm median ms
0.9922
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
37.4704
cold mean ms
15.7573
warm mean ms
15.4397
warm median ms
0.8922
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
3.2579
cold mean ms
3.5628
warm mean ms
3.1832
warm median ms
0.7598
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
35.4405
cold mean ms
31.4015
warm mean ms
28.7659
warm median ms
9.9519
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
133.7395
cold mean ms
41.9018
warm mean ms
39.1555
warm median ms
6.1081
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
143.7993
cold mean ms
102.1222
warm mean ms
101.9136
warm median ms
6.1567
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
23.3697
cold mean ms
26.5076
warm mean ms
22.8649
warm median ms
7.2006
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
117.4357
cold mean ms
37.7702
warm mean ms
34.1187
warm median ms
6.4519
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
24.6808
cold mean ms
19.9072
warm mean ms
18.9962
warm median ms
4.5967
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
15.7993
cold mean ms
13.8201
warm mean ms
12.1592
warm median ms
3.3911
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
12.5849
cold mean ms
7.8854
warm mean ms
7.8504
warm median ms
0.7168
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
1.6489
cold mean ms
1.4977
warm mean ms
1.4590
warm median ms
0.1202
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
230.7115
cold mean ms
115.9255
warm mean ms
107.0663
warm median ms
23.3340
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
49.7023
cold mean ms
28.7228
warm mean ms
25.3500
warm median ms
6.1662
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
162.9479
cold mean ms
157.4912
warm mean ms
159.3706
warm median ms
23.3477
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
2.0817
cold mean ms
2.8301
warm mean ms
2.7656
warm median ms
0.5382
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
4.3374
cold mean ms
5.8257
warm mean ms
6.3116
warm median ms
0.9858
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
124.9248
cold mean ms
45.7833
warm mean ms
40.8493
warm median ms
10.4194
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
5.4657
cold mean ms
6.3566
warm mean ms
5.4472
warm median ms
1.9409
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
21.1456
cold mean ms
19.3554
warm mean ms
18.5209
warm median ms
1.6111
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.8638
cold mean ms
1.3997
warm mean ms
1.3821
warm median ms
0.0711
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
45.7446
cold mean ms
71.4462
warm mean ms
78.8024
warm median ms
14.0543
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
11.2219
cold mean ms
11.7284
warm mean ms
10.5901
warm median ms
2.6802
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
41.6103
cold mean ms
23.9667
warm mean ms
25.6932
warm median ms
6.8598
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
171.8242
cold mean ms
59.4981
warm mean ms
51.7108
warm median ms
16.3012
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
181.5362
cold mean ms
65.6026
warm mean ms
64.4887
warm median ms
5.3212
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
202.9867
cold mean ms
70.9002
warm mean ms
64.9230
warm median ms
30.6428
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
64.7072
cold mean ms
49.7244
warm mean ms
44.3486
warm median ms
25.9421
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
73.6735
cold mean ms
38.8667
warm mean ms
35.3606
warm median ms
13.2059
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 249.9050 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 110.9475 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 116.2356 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 76.0409 | 0.00s |
| compression.run_length_encode | cold | success | match | 64.7072 | 0.00s |
| compression.run_length_encode | warm | success | match | 26.8913 | 0.00s |
| compression.run_length_encode | warm | success | match | 77.9332 | 0.00s |
| compression.run_length_encode | warm | success | match | 44.3486 | 0.00s |
| core.factorial_sum | cold | success | match | 0.8638 | 0.00s |
| core.factorial_sum | warm | success | match | 1.3821 | 0.00s |
| core.factorial_sum | warm | success | match | 1.3391 | 0.00s |
| core.factorial_sum | warm | success | match | 1.4779 | 0.00s |
| core.fibonacci_sum | cold | success | match | 21.1456 | 0.00s |
| core.fibonacci_sum | warm | success | match | 18.5209 | 0.00s |
| core.fibonacci_sum | warm | success | match | 21.2126 | 0.00s |
| core.fibonacci_sum | warm | success | match | 18.3328 | 0.00s |
| core.float_reduction | cold | success | match | 1.8179 | 0.00s |
| core.float_reduction | warm | success | match | 3.0591 | 0.00s |
| core.float_reduction | warm | success | match | 1.4808 | 0.00s |
| core.float_reduction | warm | success | match | 3.4585 | 0.00s |
| core.integer_sum | cold | success | match | 0.3245 | 0.00s |
| core.integer_sum | warm | success | match | 0.3185 | 0.00s |
| core.integer_sum | warm | success | match | 0.3232 | 0.00s |
| core.integer_sum | warm | success | match | 0.3915 | 0.00s |
| core.list_filter | cold | success | match | 0.1191 | 0.00s |
| core.list_filter | warm | success | match | 0.1197 | 0.00s |
| core.list_filter | warm | success | match | 0.1101 | 0.00s |
| core.list_filter | warm | success | match | 0.1206 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 35.4405 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 23.0327 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 28.7659 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 42.4059 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 84.5506 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 100.0046 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 99.7884 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 67.3111 | 0.00s |
| crypto.simple_checksum | cold | success | match | 41.6103 | 0.00s |
| crypto.simple_checksum | warm | success | match | 29.7983 | 0.00s |
| crypto.simple_checksum | warm | success | match | 16.4085 | 0.00s |
| crypto.simple_checksum | warm | success | match | 25.6932 | 0.00s |
| crypto.xor_cipher | cold | success | match | 158.3055 | 0.00s |
| crypto.xor_cipher | warm | success | match | 33.7030 | 0.00s |
| crypto.xor_cipher | warm | success | match | 28.9957 | 0.00s |
| crypto.xor_cipher | warm | success | match | 33.9577 | 0.00s |
| data_processing.csv_parse | cold | success | match | 1.3730 | 0.00s |
| data_processing.csv_parse | warm | success | match | 1.2051 | 0.00s |
| data_processing.csv_parse | warm | success | match | 1.4660 | 0.00s |
| data_processing.csv_parse | warm | success | match | 1.2412 | 0.00s |
| data_processing.json_extract | cold | success | match | 45.7446 | 0.00s |
| data_processing.json_extract | warm | success | match | 80.2955 | 0.00s |
| data_processing.json_extract | warm | success | match | 78.8024 | 0.00s |
| data_processing.json_extract | warm | success | match | 55.2406 | 0.00s |
| database.group_by_sum | cold | success | match | 5.7675 | 0.00s |
| database.group_by_sum | warm | success | match | 3.5024 | 0.00s |
| database.group_by_sum | warm | success | match | 5.4861 | 0.00s |
| database.group_by_sum | warm | success | match | 4.4490 | 0.00s |
| database.word_count_index | cold | success | match | 41.5240 | 0.00s |
| database.word_count_index | warm | success | match | 58.5253 | 0.00s |
| database.word_count_index | warm | success | match | 32.2341 | 0.00s |
| database.word_count_index | warm | success | match | 40.2163 | 0.00s |
| etl.distinct_count | cold | success | match | 73.6735 | 0.00s |
| etl.distinct_count | warm | success | match | 27.7676 | 0.00s |
| etl.distinct_count | warm | success | match | 53.4717 | 0.00s |
| etl.distinct_count | warm | success | match | 35.3606 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 13.4137 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 11.4473 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 11.2487 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 11.6991 | 0.00s |
| etl.merge_join | cold | success | match | 30.5373 | 0.00s |
| etl.merge_join | warm | success | match | 33.7866 | 0.00s |
| etl.merge_join | warm | success | match | 21.6434 | 0.00s |
| etl.merge_join | warm | success | match | 29.4876 | 0.00s |
| etl.top_n_selection | cold | success | match | 0.7325 | 0.00s |
| etl.top_n_selection | warm | success | match | 1.0942 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.6543 | 0.00s |
| etl.top_n_selection | warm | success | match | 1.0814 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 133.7395 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 48.9010 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 37.6490 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 39.1555 | 0.00s |
| financial.compound_interest | cold | success | match | 12.5849 | 0.00s |
| financial.compound_interest | warm | success | match | 7.8504 | 0.00s |
| financial.compound_interest | warm | success | match | 8.6190 | 0.00s |
| financial.compound_interest | warm | success | match | 7.1867 | 0.00s |
| financial.moving_average | cold | success | match | 18.7120 | 0.00s |
| financial.moving_average | warm | success | match | 14.3095 | 0.00s |
| financial.moving_average | warm | success | match | 14.6610 | 0.00s |
| financial.moving_average | warm | success | match | 36.4504 | 0.00s |
| graph.bfs | cold | success | match | 1.0200 | 0.00s |
| graph.bfs | warm | success | match | 1.4435 | 0.00s |
| graph.bfs | warm | success | match | 0.8688 | 0.00s |
| graph.bfs | warm | success | match | 0.8935 | 0.00s |
| graph.dijkstra | cold | success | match | 230.7115 | 0.00s |
| graph.dijkstra | warm | success | match | 107.0663 | 0.00s |
| graph.dijkstra | warm | success | match | 142.3917 | 0.00s |
| graph.dijkstra | warm | success | match | 98.3185 | 0.00s |
| graph.floyd_warshall | cold | success | match | 202.9867 | 0.00s |
| graph.floyd_warshall | warm | success | match | 104.0912 | 0.00s |
| graph.floyd_warshall | warm | success | match | 64.9230 | 0.00s |
| graph.floyd_warshall | warm | success | match | 43.6864 | 0.00s |
| image.box_blur | cold | success | match | 201.6873 | 0.00s |
| image.box_blur | warm | success | match | 48.7399 | 0.00s |
| image.box_blur | warm | success | match | 71.6348 | 0.00s |
| image.box_blur | warm | success | match | 55.0349 | 0.00s |
| image.convolution_1d | cold | success | match | 171.8242 | 0.00s |
| image.convolution_1d | warm | success | match | 48.5510 | 0.00s |
| image.convolution_1d | warm | success | match | 51.7108 | 0.00s |
| image.convolution_1d | warm | success | match | 78.2324 | 0.00s |
| image.grayscale_filter | cold | success | match | 0.7469 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.6425 | 0.00s |
| image.grayscale_filter | warm | success | match | 1.1229 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.6670 | 0.00s |
| image.sobel_edge | cold | success | match | 117.4357 | 0.00s |
| image.sobel_edge | warm | success | match | 33.9722 | 0.00s |
| image.sobel_edge | warm | success | match | 34.1187 | 0.00s |
| image.sobel_edge | warm | success | match | 45.2198 | 0.00s |
| iot.rolling_average | cold | success | match | 0.8602 | 0.00s |
| iot.rolling_average | warm | success | match | 0.6996 | 0.00s |
| iot.rolling_average | warm | success | match | 0.5407 | 0.00s |
| iot.rolling_average | warm | success | match | 0.6338 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 5.4657 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 5.0373 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 5.4472 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 8.5852 | 0.00s |
| ml.knn_inference | cold | success | match | 0.3082 | 0.00s |
| ml.knn_inference | warm | success | match | 0.2657 | 0.00s |
| ml.knn_inference | warm | success | match | 0.2426 | 0.00s |
| ml.knn_inference | warm | success | match | 0.4385 | 0.00s |
| ml.perceptron_predict | cold | success | match | 15.7993 | 0.00s |
| ml.perceptron_predict | warm | success | match | 11.5797 | 0.00s |
| ml.perceptron_predict | warm | success | match | 17.7216 | 0.00s |
| ml.perceptron_predict | warm | success | match | 12.1592 | 0.00s |
| numerical.dot_product | cold | success | match | 0.3065 | 0.00s |
| numerical.dot_product | warm | success | match | 0.2341 | 0.00s |
| numerical.dot_product | warm | success | match | 0.2397 | 0.00s |
| numerical.dot_product | warm | success | match | 0.2357 | 0.00s |
| numerical.gcd_loop | cold | success | match | 24.6808 | 0.00s |
| numerical.gcd_loop | warm | success | match | 24.8913 | 0.00s |
| numerical.gcd_loop | warm | success | match | 18.9962 | 0.00s |
| numerical.gcd_loop | warm | success | match | 15.8342 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 21.6924 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 27.0620 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 23.5363 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 22.0585 | 0.00s |
| numerical.matrix_vector | cold | success | match | 60.7890 | 0.00s |
| numerical.matrix_vector | warm | success | match | 26.9172 | 0.00s |
| numerical.matrix_vector | warm | success | match | 41.9345 | 0.00s |
| numerical.matrix_vector | warm | success | match | 25.0312 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 1.4790 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 1.3386 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 1.3945 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 1.3718 | 0.00s |
| numerical.prime_sieve | cold | success | match | 1.2921 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.8608 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.8269 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.8671 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 8.2652 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 8.5054 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 10.2612 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 10.2208 | 0.00s |
| object.bank_account | cold | success | match | 162.9479 | 0.00s |
| object.bank_account | warm | success | match | 159.3706 | 0.00s |
| object.bank_account | warm | success | match | 179.8424 | 0.00s |
| object.bank_account | warm | success | match | 133.2606 | 0.00s |
| object.shape_area | cold | success | match | 20.1948 | 0.00s |
| object.shape_area | warm | success | match | 27.5168 | 0.00s |
| object.shape_area | warm | success | match | 21.4632 | 0.00s |
| object.shape_area | warm | success | match | 27.6135 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 17.7909 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 6.8676 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 7.1062 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 7.0657 | 0.00s |
| parsing.ini_parse | cold | success | match | 10.7655 | 0.00s |
| parsing.ini_parse | warm | success | match | 7.7374 | 0.00s |
| parsing.ini_parse | warm | success | match | 7.6343 | 0.00s |
| parsing.ini_parse | warm | success | match | 11.7257 | 0.00s |
| parsing.log_line_parse | cold | success | match | 1.6489 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.4016 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.6325 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.4590 | 0.00s |
| regex.email_like_match | cold | success | match | 37.4704 | 0.00s |
| regex.email_like_match | warm | success | match | 15.4397 | 0.00s |
| regex.email_like_match | warm | success | match | 16.7649 | 0.00s |
| regex.email_like_match | warm | success | match | 15.0674 | 0.00s |
| regex.wildcard_match | cold | success | match | 67.6839 | 0.00s |
| regex.wildcard_match | warm | success | match | 34.6541 | 0.00s |
| regex.wildcard_match | warm | success | match | 37.6343 | 0.00s |
| regex.wildcard_match | warm | success | match | 56.8435 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 10.6338 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 12.0400 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 17.9324 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 7.3894 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 144.5733 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 40.8589 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 44.0944 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 17.5553 | 0.00s |
| serialization.csv_serialize | cold | success | match | 2.0817 | 0.00s |
| serialization.csv_serialize | warm | success | match | 2.3271 | 0.00s |
| serialization.csv_serialize | warm | success | match | 2.7656 | 0.00s |
| serialization.csv_serialize | warm | success | match | 3.3976 | 0.00s |
| serialization.json_serialize | cold | success | match | 31.7433 | 0.00s |
| serialization.json_serialize | warm | success | match | 40.7511 | 0.00s |
| serialization.json_serialize | warm | success | match | 38.4327 | 0.00s |
| serialization.json_serialize | warm | success | match | 44.6195 | 0.00s |
| simulation.conway_life | cold | success | match | 124.9248 | 0.00s |
| simulation.conway_life | warm | success | match | 57.7533 | 0.00s |
| simulation.conway_life | warm | success | match | 40.8493 | 0.00s |
| simulation.conway_life | warm | success | match | 38.7474 | 0.00s |
| simulation.particle_movement | cold | success | match | 218.8878 | 0.00s |
| simulation.particle_movement | warm | success | match | 88.6154 | 0.00s |
| simulation.particle_movement | warm | success | match | 104.2846 | 0.00s |
| simulation.particle_movement | warm | success | match | 99.1906 | 0.00s |
| sorting.merge_sort | cold | success | match | 5.5202 | 0.00s |
| sorting.merge_sort | warm | success | match | 7.4188 | 0.00s |
| sorting.merge_sort | warm | success | match | 8.0008 | 0.00s |
| sorting.merge_sort | warm | success | match | 5.7431 | 0.00s |
| sorting.quick_sort | cold | success | match | 49.7023 | 0.00s |
| sorting.quick_sort | warm | success | match | 24.9787 | 0.00s |
| sorting.quick_sort | warm | success | match | 25.3500 | 0.00s |
| sorting.quick_sort | warm | success | match | 35.8397 | 0.00s |
| statistics.correlation | cold | success | match | 181.5362 | 0.00s |
| statistics.correlation | warm | success | match | 64.4887 | 0.00s |
| statistics.correlation | warm | success | match | 60.9266 | 0.00s |
| statistics.correlation | warm | success | match | 71.3926 | 0.00s |
| statistics.histogram | cold | success | match | 29.8320 | 0.00s |
| statistics.histogram | warm | success | match | 14.2531 | 0.00s |
| statistics.histogram | warm | success | match | 21.1235 | 0.00s |
| statistics.histogram | warm | success | match | 11.6320 | 0.00s |
| statistics.mean_variance | cold | success | match | 143.7993 | 0.00s |
| statistics.mean_variance | warm | success | match | 96.0724 | 0.00s |
| statistics.mean_variance | warm | success | match | 108.3806 | 0.00s |
| statistics.mean_variance | warm | success | match | 101.9136 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.2100 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.1730 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.2851 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.1665 | 0.00s |
| stdlib.json_parse | cold | success | match | 15.4298 | 0.00s |
| stdlib.json_parse | warm | success | match | 24.0371 | 0.00s |
| stdlib.json_parse | warm | success | match | 20.1672 | 0.00s |
| stdlib.json_parse | warm | success | match | 18.7488 | 0.00s |
| string.dna_count | cold | success | match | 626.6875 | 0.00s |
| string.dna_count | warm | success | match | 212.9109 | 0.00s |
| string.dna_count | warm | success | match | 215.4398 | 0.00s |
| string.dna_count | warm | success | match | 249.6205 | 0.00s |
| string.log_parser | cold | success | match | 22.9148 | 0.00s |
| string.log_parser | warm | success | match | 14.3700 | 0.00s |
| string.log_parser | warm | success | match | 14.7023 | 0.00s |
| string.log_parser | warm | success | match | 14.6622 | 0.00s |
| string.palindrome_pairs | cold | success | match | 23.3697 | 0.00s |
| string.palindrome_pairs | warm | success | match | 21.8561 | 0.00s |
| string.palindrome_pairs | warm | success | match | 34.8017 | 0.00s |
| string.palindrome_pairs | warm | success | match | 22.8649 | 0.00s |
| text.sentiment_score | cold | success | match | 4.3374 | 0.00s |
| text.sentiment_score | warm | success | match | 6.3116 | 0.00s |
| text.sentiment_score | warm | success | match | 6.4741 | 0.00s |
| text.sentiment_score | warm | success | match | 4.6913 | 0.00s |
| text.word_count | cold | success | match | 48.2255 | 0.00s |
| text.word_count | warm | success | match | 49.4478 | 0.00s |
| text.word_count | warm | success | match | 37.6308 | 0.00s |
| text.word_count | warm | success | match | 80.4462 | 0.00s |
| tree.bst_operations | cold | success | match | 7.5115 | 0.00s |
| tree.bst_operations | warm | success | match | 8.0693 | 0.00s |
| tree.bst_operations | warm | success | match | 8.0925 | 0.00s |
| tree.bst_operations | warm | success | match | 8.1603 | 0.00s |
| web.cookie_parse | cold | success | match | 3.2579 | 0.00s |
| web.cookie_parse | warm | success | match | 4.4375 | 0.00s |
| web.cookie_parse | warm | success | match | 3.0676 | 0.00s |
| web.cookie_parse | warm | success | match | 3.1832 | 0.00s |
| web.html_tag_count | cold | success | match | 11.2219 | 0.00s |
| web.html_tag_count | warm | success | match | 9.8052 | 0.00s |
| web.html_tag_count | warm | success | match | 14.7899 | 0.00s |
| web.html_tag_count | warm | success | match | 10.5901 | 0.00s |
| web.http_parser | cold | success | match | 8.4224 | 0.00s |
| web.http_parser | warm | success | match | 10.9209 | 0.00s |
| web.http_parser | warm | success | match | 7.6747 | 0.00s |
| web.http_parser | warm | success | match | 21.4711 | 0.00s |
| web.query_string_parse | cold | success | match | 5.6812 | 0.00s |
| web.query_string_parse | warm | success | match | 6.1449 | 0.00s |
| web.query_string_parse | warm | success | match | 3.9512 | 0.00s |
| web.query_string_parse | warm | success | match | 4.0223 | 0.00s |
| web.url_router | cold | success | match | 0.6262 | 0.00s |
| web.url_router | warm | success | match | 0.5619 | 0.00s |
| web.url_router | warm | success | match | 0.5724 | 0.00s |
| web.url_router | warm | success | match | 0.5570 | 0.00s |
Proof Packs
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/ded4643b445a4b0a94b3c4a6
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/4f8ed90b325f486f8daeb923
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/53a6b89c7adc499f958f284c
Proof pack for etl.distinct_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/34b2a1b8a5b745bcbf49e067
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/600fde8bfe804dcdafc81b32
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/54f4992e1b9943bda195ea28
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/499bb041a60643c1a81de043
Proof pack for compression.run_length_encode on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/73c82eb9563642d8aebe8800
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9b389f7d1bc741e688594071
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9f1c4a8dad5f4eefa848b990
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/ad7587161b0541cf858af2ea
Proof pack for graph.floyd_warshall on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/1dace3a4f9d741d9a2a66f35
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/25479dbcf0f943ca97422f43
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/b0b5b76083624ef98e3595b2
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/efa719d8eeda4d85b0e8d641
Proof pack for statistics.correlation on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/595af3191a304f918f767540
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/983909ab8d454a4b90a3d73f
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/281bcdf7aff24b61a78ef389
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/aa809cbec64741cb80b72875
Proof pack for image.convolution_1d on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/cb0e610a05fc4369852509d5
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0eb13ce6700f48eeac517151
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f78d5fde64384fe7837a2f67
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/26cf35e39d4046c2a9290af0
Proof pack for crypto.simple_checksum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f518c7a1f276476f9b0c82d4
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/40ccea157bad44609d7159c3
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/d99e61c6a9e548e392eb4e24
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/db19804e070d480ba73c2b8e
Proof pack for web.html_tag_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/abac837dbed8448cb15f4a12
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/7b6335af8bb1441da46fbc19
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/95c3586d59394756be96b320
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/d936c73e7da748bb984d3fed
Proof pack for data_processing.json_extract on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/2b57c7bbaa5c404db34c98bb
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f0cb430bc3c64273a5445812
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0d2d574fe4994cf1bf8208d6
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/febb7390c86d4eeda43b2fdb
Proof pack for core.factorial_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/cafc3b32a7e04d09a7a77207
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/b89ac5c6b45c416aa23acb0d
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/a4d024671a5d48d683ce275e
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9e6e917431fc498d87e2d172
Proof pack for core.fibonacci_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/dab4beb7580b4b5ca0304131
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/82d32107660443338cad5abe
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/51b36f04f88442f08d6375e6
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/fb78b3747aa24fe28b6855dc
Proof pack for iot.sensor_anomaly on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/60ef9601330e48ed9d760d48
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/274a875550a341a9af82d084
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/58403a9bb66848ee80e9c708
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/eade3d595009428cbf3c9b7d
Proof pack for simulation.conway_life on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/76eab7b029034c8d94bd58fc
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/b38719207cae481597b1483d
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/93d77c8aa5b2498dab1d058d
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/80789c1ae60c4f2ca7ac9423
Proof pack for text.sentiment_score on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/50431cff830c4ecc8b9f772d
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0b86d4bbed274874a42b8b7e
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/854a73574299470182bd9d29
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/7b802d35f95d43ddbae643bf
Proof pack for serialization.csv_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/d0e6dc6f4bd54785be7f5daa
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/e5816721f3c8483eb18f10cd
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/23408dfe715648cc8913a84e
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0ee531cd8af7472f87df67c1
Proof pack for object.bank_account on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/ad2bf40204f5455eb9e9b10a
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f74602099edb44df8f239540
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/78421aa7311740b4af4f778a
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/e59cb0effa374008a5b5a18f
Proof pack for sorting.quick_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/cb88f515d02c455ab0c485fb
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/b04d0d8fd6bd4e6390db2341
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/5d91fa8a12e9406ab89d38b7
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/fa4fd0790dd04be3a2b82949
Proof pack for graph.dijkstra on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/7408ff0fd0a94f54a9ba151a
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/5d06a51d0e8349b888225ad9
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0d91b3ea3de14438b6d08964
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/13771f76d23e434e93f31bee
Proof pack for parsing.log_line_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/42e1c122b552496e9c9e7cea
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9d80e38e2eab4f03aff42bae
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/476c7cdf29b44e52b386f386
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/51dece8495314133b9e77247
Proof pack for financial.compound_interest on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/40acc21d0aa14428b591ad5f
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8562bedd586b48cab0f920cd
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/379c44039a24405b865a429c
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/6f4636d7fedb4530a062fefe
Proof pack for ml.perceptron_predict on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/1c6f07163d84450481017166
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/4ac761c9871d4baea2420e25
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/1aca6281bf0c4bbd84a4e6b7
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/68e8d66c51cb4f95beb64bc5
Proof pack for numerical.gcd_loop on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/4de84f4586a34e54870fe035
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/7d941b33aebf4ea7a529fa7f
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/5d65cca71fb44cb3bd0c1a50
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/45d947a1492346fb82c2a690
Proof pack for image.sobel_edge on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/59185eda1fc7462f912ad744
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/111268605c9c4867bdb1950d
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/275ea602b575416593221bfb
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9ec580acae8e4cfc96bf4bd0
Proof pack for string.palindrome_pairs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/4833116494494a6083774c36
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/1cad767ed53a48cdac142863
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/20961dda9db4494588859442
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3644a46dc7e547cc8253d2fd
Proof pack for statistics.mean_variance on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0069bbace0a74087a0caeab1
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/e4e9ff052b85494b9aefb175
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/c1540796ae4d4fc9a738abda
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/39da3ee8cda7460b98fb1b1b
Proof pack for etl.windowed_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/dcb4325f731f4d2491143846
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/6028027f22bd41e2b32170fe
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/483a95d067ef4c09894c45d2
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/91f18b30615a45579e905370
Proof pack for crypto.caesar_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/232b2bc17fd241f687bf75ac
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/ed506c1b33064626b8afd49c
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/86d57becb5454c11b9874b48
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/448ff78cd6264c14856bcbc9
Proof pack for web.cookie_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/bfe55f8a5dd24a9b87e0b1bc
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f5632090b7634a5989b63843
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8f68dba62d8c47e591ea6029
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/ede7a7ee2f8946ae84e31b96
Proof pack for regex.email_like_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3edea12f61c544a8af3461ef
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/6e393828ba0c4d999515a537
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0367dac3309f400e9c327073
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/d7b279a56b1849b887813e66
Proof pack for database.group_by_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/6b7a4b236f2642c7b97e1a23
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/1268061a18eb44d495955a8b
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/dbe5a0b155b140ec985231e3
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/b0c036441fa74c28ab10f89d
Proof pack for scientific.newton_sqrt on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3c368c28cc4a45e699031d27
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/371941b2d17c49d4b09c5521
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9b99ecaf7dc24eb282bb4b78
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/5b8d4852ee1841ec832bb2eb
Proof pack for numerical.trapezoidal_integral on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3f4a1bce3d3848d2a612c1c9
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0468284897a4471d9fca4b7d
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/50820d2dbaf14b488f94df7b
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/665c575bf8f14bec87eaf7e9
Proof pack for image.box_blur on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3b0d8be0ca0045a680248167
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/419506db2cf34e6583906dbe
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/7a65165bfa4a4cc9b3152b34
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/b2b602cd0bcd40da8c588910
Proof pack for string.dna_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/2aecb84db77b49819a177a55
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/2ef43b95131e481c994ca847
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/41c53389966e4fedac666e49
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/1b1e57355e304ca4a60c6aa6
Proof pack for statistics.histogram on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8cdb9989bc3f4872ae80c03d
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/80e1d5a65b314c7cb2e6dcf0
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/e27a9bac058e4695abcc05d9
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/a98d14f43e8747deb071e914
Proof pack for etl.top_n_selection on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/1d62573c8ea844df8bc552e4
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/5e54f8172177401591345bdb
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/c786e6c99f9846dd83ce080a
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/5572caf0d2c4482abf7caea9
Proof pack for crypto.xor_cipher on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/37c51e3e552c4ea0b44ecc85
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/14892c9a487b41c3a9026fbd
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f5d29d22adf340359626ab54
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/25305440c7f1440e942c8c76
Proof pack for web.query_string_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9b66374ab7da441e8d8ea239
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f3f4ed350d8d4a3e95f35912
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/31fff3124df34f8c8db361b5
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f76d9eacc4a947c795bdc1aa
Proof pack for regex.wildcard_match on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8658535876e441838b027792
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/fe9b4eb6da4c4ad09cfb3a3e
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8b9076cc415d4a9a80650eac
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/abb4e9e8f8c04d18b24c0fd7
Proof pack for database.word_count_index on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/caf38722ea4e4b8db52f5d03
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/e1c12442f5a044c987dfb337
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/18c6ec9b93724ab7a104bb63
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/aaad3da09b6a47599d0ff75c
Proof pack for scientific.polynomial_eval on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9add90b980c1443da45d0e1c
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/53892fb615074a94aeb4c2f2
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/4348ea0461cd467e9f52d94e
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/bc9048d8536b4333b0b21973
Proof pack for numerical.matrix_vector on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/68a827d830e5469f8873f38b
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/fd71fbc2c0e2488ca896f91c
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/df83236497184baf948173f5
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/6d18b30aab2f4de48182d1b7
Proof pack for text.word_count on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3bcd69b6f7b442c39322f856
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8e9d1db75832425b8a5bf42d
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/d241d3922632463b9e6127ba
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/45403844c58d49dfbb9f0d52
Proof pack for serialization.json_serialize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/4d35587f90f149cdae6e4f46
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/1132d578bcc5486da3b5a3e6
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/dac6b25a0eef4a05ad081306
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/6e2e0b8fd29a416ea98d1592
Proof pack for object.shape_area on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/bba34746e70544e59ed030ea
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8b3ab42e57e1478aa994e2d7
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/a6ac2dcbd28a460f95d40d33
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/761168b0673f47f6aedcb7d4
Proof pack for sorting.merge_sort on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/e3ea117aa92d42179cb8ee93
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/feba99412c294aab88f401ee
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/b0116388b653429599c3cfa2
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/51a91f2c2a0b4c5d8b5cdee8
Proof pack for graph.bfs on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f88c52a316364db3bdbe8fe5
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8494255d4ec64908a7467d4e
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/222c6c1e0cfc4a7ba991f3ac
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0e7e806f7baf423b99c315d1
Proof pack for parsing.ini_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/31df566096ff408e999efcd9
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/cc414e7a8d014c87befb94d2
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9b5f00ce7377432ab0e7ae57
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8d5b4799359d445ab9cbfdd6
Proof pack for parsing.csv_tokenize on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/fd269bc9b7ea4d6ba047f2ba
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/2de1a4a7a2f141f9b74e1a2a
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/48a5d3ccf25f4656b545758b
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/273c4995f9f64b9386cd64a0
Proof pack for financial.moving_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9b66e92aa0bc4dbfbc023e81
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/b0ae4bffab2445f7b09652af
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/687ee8101ed049d79414c054
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/7539c997860b4d83a3081883
Proof pack for ml.knn_inference on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/10e67c6244144887a3694057
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/7b153293dacb4cb8b8271d81
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/78d619273b654dba9ab67642
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/a0e04d4a13004b65b0735f4c
Proof pack for simulation.particle_movement on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/ec55515441254fa59439aec2
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/d026815658ee4cffac86026d
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/bfb730f47b9e42f68d99c72f
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/4ed686865f414d5fb09de518
Proof pack for tree.bst_operations on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3589e2c1e06f4c96aee7f3a3
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/32fed90a40e9400bb757db15
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/61ceaa9ac50748ef804cadcc
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0d156616cd494a40ad1cac7d
Proof pack for string.log_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/5e23535eb6b54e8daba031d4
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/a52234400f864faeb5b392bd
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/c44917fb07194206a4236ee2
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/7a66a87103e641b5a5bed087
Proof pack for etl.merge_join on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f6ea1eac94c5475ba8fc72c1
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/d5e31016ff1848669254c3ca
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/076e359456f94dd08c8872bc
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3ea165f1d49f4bc987dc146b
Proof pack for etl.group_by_aggregate on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/09162566630a4b25b56201fb
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/61652b290f8e43f682f05c57
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f137869b34754911836d7b0f
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/19baa38c3fcb4664bb6dd0f5
Proof pack for image.grayscale_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3f12370b746440978c374204
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3ed1a26c1cd04ac4b2f2adb3
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/66ceb9c84feb46e8b28b8382
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/c39c32a1fb6e4105bd7bf7de
Proof pack for compression.rle_roundtrip on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/bdfaf1fddd794e95b22988e2
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/b9ba668f31b344139e8e9aa2
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f96c89432e164a3dacb3335a
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8da93a75fad344f59cdc6d70
Proof pack for crypto.fnv1a_hash on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/ac3d8b409f774b568ce81d7d
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/bb264a144c0e4f5eaffa5d68
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/87da033a11e4456499b2f870
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/1ca662d4e5d34d65bf4a832c
Proof pack for web.url_router on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/70d0c61af0bf4393bf5f98d0
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/ba829e1be09a48a58d070444
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/778b400aa968493ba21d84b6
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/a389637804a24c45b7985631
Proof pack for web.http_parser on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/9c02e5fc25454d70b191281f
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/a044aef6744f40b5a50df251
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8b43771a54134491aed70e8c
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/034ec2952cc645599c5b284a
Proof pack for stdlib.dict_lookup on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0e8038cd4f214ca8acb4bb24
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/c47c46d7d4144f16b6bce22b
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/5913706f93b449698135c728
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/a3941269ee944837b44eb07b
Proof pack for stdlib.json_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/ebbe6e0e58eb4a2f8c304969
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/6d10987bb12344e182e14a58
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/fef89e012ed840de9b9633dc
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0077185c96384624b09913a4
Proof pack for iot.rolling_average on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/30a9fcc3128d461ba0e38701
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/932e6491b3574ae7b1a86287
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/bcbccc1c500349a1a87f7992
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0ff4d662263f41b2b16bbd47
Proof pack for data_processing.csv_parse on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/47316b0fde1241e480f07b95
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/5c36a61f19754adaa7263ac4
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/81e0bac7e3674d908011c9c9
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/8f50fb190cc04fb8b4f56922
Proof pack for numerical.prime_sieve on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/a9f57cccbb9646209bc59b8c
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/7432f4dc5a254007a711ac1b
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/73c6076550414a269be413ee
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/0aff05d73f55453ea920f937
Proof pack for numerical.monte_carlo_pi on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/2afd9acb994345759acfba0f
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/50d1ae31a2424a46bfcaaf7e
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/380d63e4b826413a8279ba83
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/90955e864cc74ef0a944c970
Proof pack for numerical.matrix_multiply on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3af1bbe89c294546ad4e0778
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/75b5cc0af36e428999ae34ce
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/176ab9f0e7c048308688d42b
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/f99a1f40ec524c26bd66bdef
Proof pack for numerical.dot_product on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/526a6d257d4d4a2289a2e556
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/4de0b64bc86a4fdb924f600c
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/cb18b50801a9484e8193802e
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3a446da325574f57b1b9ef81
Proof pack for core.list_filter on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/3621a7417a4045e0a0ddc3f7
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/a969c1b33b6c4b66a558f2b5
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/e6a86e529842440eb4e18085
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/4f0cad489b09468b9a8b6261
Proof pack for core.float_reduction on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/635fef7979c94c6f8c577752
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/d38cb7208df24233aa376778
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/1219750685dc4036afc73fbc
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/dadaeb16b2034f2ca54008f8
Proof pack for core.integer_sum on graalpy-system
/var/www/pyvorin-bench/data/proofpacks/d70e87ec1eff4b8aa62fa74b/355e8aca43184bafacb41f99