Campaign Summary
ID: 4a72e4e9b45e43a89139d663
Started: 2026-07-19 09:07:18.862088
Finished: 2026-07-19 09:08:40.937531
Duration: 82.1s
71
Workloads
284
Cases
284
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.2269
cold mean ms
0.2460
warm mean ms
0.2163
warm median ms
0.0725
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
0.2882
cold mean ms
0.3052
warm mean ms
0.2987
warm median ms
0.0132
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.0377
cold mean ms
0.0293
warm mean ms
0.0250
warm median ms
0.0075
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.0759
cold mean ms
0.0477
warm mean ms
0.0462
warm median ms
0.0036
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
5.0718
cold mean ms
5.7327
warm mean ms
5.0570
warm median ms
1.2875
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
0.8780
cold mean ms
0.8439
warm mean ms
0.8477
warm median ms
0.0070
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
0.3095
cold mean ms
0.2597
warm mean ms
0.2588
warm median ms
0.0155
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
0.2795
cold mean ms
0.2549
warm mean ms
0.2074
warm median ms
0.0887
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
0.2163
cold mean ms
0.1816
warm mean ms
0.1823
warm median ms
0.0132
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
0.5950
cold mean ms
0.3839
warm mean ms
0.3832
warm median ms
0.0119
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.1329
cold mean ms
0.0583
warm mean ms
0.0587
warm median ms
0.0037
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
0.8653
cold mean ms
0.8329
warm mean ms
0.8306
warm median ms
0.0092
warm stdev ms
100%
success rate
0
mismatches
web.url_router
0.1276
cold mean ms
0.0621
warm mean ms
0.0620
warm median ms
0.0003
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
9.2607
cold mean ms
9.3212
warm mean ms
9.3500
warm median ms
0.5238
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
101.1486
cold mean ms
101.9368
warm mean ms
101.2014
warm median ms
3.5022
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
0.2454
cold mean ms
0.1309
warm mean ms
0.1291
warm median ms
0.0043
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
1.4962
cold mean ms
1.2751
warm mean ms
1.2928
warm median ms
0.0456
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
7.5790
cold mean ms
7.5534
warm mean ms
7.3987
warm median ms
0.3968
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
1.8118
cold mean ms
1.8834
warm mean ms
1.8580
warm median ms
0.0545
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
1.0502
cold mean ms
0.9223
warm mean ms
0.9158
warm median ms
0.0413
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
44.2527
cold mean ms
42.0776
warm mean ms
41.9667
warm median ms
1.4595
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.2456
cold mean ms
0.1025
warm mean ms
0.1037
warm median ms
0.0028
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
5.1947
cold mean ms
5.1877
warm mean ms
5.3378
warm median ms
0.2917
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
1.8441
cold mean ms
1.0349
warm mean ms
1.0448
warm median ms
0.0681
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
1.4157
cold mean ms
1.2230
warm mean ms
0.9917
warm median ms
0.4291
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
0.3021
cold mean ms
0.1772
warm mean ms
0.1790
warm median ms
0.0045
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
0.9476
cold mean ms
0.5987
warm mean ms
0.5998
warm median ms
0.0094
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
3.3315
cold mean ms
2.3115
warm mean ms
2.3037
warm median ms
0.0141
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
19.1165
cold mean ms
19.7697
warm mean ms
20.4049
warm median ms
1.2909
warm stdev ms
100%
success rate
0
mismatches
text.word_count
5.6530
cold mean ms
7.3316
warm mean ms
6.6065
warm median ms
1.6493
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
26.2526
cold mean ms
32.6488
warm mean ms
32.3706
warm median ms
6.6366
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
22.2398
cold mean ms
22.5498
warm mean ms
22.4595
warm median ms
0.1600
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
4.0230
cold mean ms
4.0391
warm mean ms
4.0179
warm median ms
0.0415
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
6.4942
cold mean ms
6.4236
warm mean ms
6.4349
warm median ms
0.0750
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
0.6054
cold mean ms
0.7470
warm mean ms
0.6140
warm median ms
0.2793
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
17.6905
cold mean ms
19.7067
warm mean ms
18.2752
warm median ms
2.7057
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
0.3900
cold mean ms
0.2532
warm mean ms
0.2486
warm median ms
0.0131
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
4.7736
cold mean ms
4.3541
warm mean ms
4.3584
warm median ms
0.1194
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
459.1094
cold mean ms
451.8625
warm mean ms
456.3383
warm median ms
34.3899
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
240.2090
cold mean ms
210.9323
warm mean ms
214.6162
warm median ms
7.4739
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
8.6418
cold mean ms
11.6654
warm mean ms
12.1034
warm median ms
2.5510
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
5.0879
cold mean ms
5.1223
warm mean ms
5.0628
warm median ms
0.1363
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
0.3358
cold mean ms
0.3278
warm mean ms
0.3295
warm median ms
0.0066
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
4.9686
cold mean ms
5.3702
warm mean ms
5.3187
warm median ms
0.1216
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
0.6081
cold mean ms
0.5107
warm mean ms
0.5115
warm median ms
0.0029
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
2.8575
cold mean ms
2.8289
warm mean ms
2.8331
warm median ms
0.0359
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
484.9898
cold mean ms
498.6011
warm mean ms
499.5000
warm median ms
7.5497
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
380.0156
cold mean ms
349.7665
warm mean ms
338.7415
warm median ms
35.7523
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
8.2968
cold mean ms
8.5079
warm mean ms
8.4069
warm median ms
0.2503
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
503.6534
cold mean ms
493.7525
warm mean ms
495.1928
warm median ms
19.9111
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
12.2045
cold mean ms
12.4475
warm mean ms
12.3518
warm median ms
0.3894
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
12.5736
cold mean ms
12.4001
warm mean ms
12.0320
warm median ms
0.6609
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
6.4251
cold mean ms
6.8117
warm mean ms
6.7409
warm median ms
0.1473
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
0.2646
cold mean ms
0.3178
warm mean ms
0.2725
warm median ms
0.0899
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
79.4903
cold mean ms
88.2589
warm mean ms
84.8122
warm median ms
9.3885
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
117.2838
cold mean ms
113.9036
warm mean ms
114.4209
warm median ms
1.9473
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
16.3825
cold mean ms
17.4279
warm mean ms
17.5387
warm median ms
0.7447
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
0.4039
cold mean ms
0.2306
warm mean ms
0.2227
warm median ms
0.0230
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
0.4794
cold mean ms
0.5163
warm mean ms
0.4600
warm median ms
0.1283
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
28.2471
cold mean ms
27.5349
warm mean ms
27.3498
warm median ms
0.3507
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
4.1400
cold mean ms
3.6135
warm mean ms
3.6068
warm median ms
0.0197
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
5.9219
cold mean ms
6.0201
warm mean ms
5.7740
warm median ms
0.4737
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.6371
cold mean ms
0.6027
warm mean ms
0.6025
warm median ms
0.0038
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
1.2823
cold mean ms
1.2680
warm mean ms
1.2781
warm median ms
0.0363
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
2.0051
cold mean ms
1.9702
warm mean ms
1.9742
warm median ms
0.0356
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
11.8645
cold mean ms
12.0568
warm mean ms
11.8787
warm median ms
0.7659
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
906.9314
cold mean ms
858.3012
warm mean ms
853.3918
warm median ms
25.5749
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
90.4403
cold mean ms
91.1724
warm mean ms
91.4461
warm median ms
1.6689
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
98.4651
cold mean ms
100.5115
warm mean ms
99.4069
warm median ms
3.2176
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
8.6229
cold mean ms
8.4895
warm mean ms
8.4459
warm median ms
0.2351
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
20.8259
cold mean ms
21.1709
warm mean ms
21.3256
warm median ms
0.7301
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 101.1486 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 98.8607 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 105.7483 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 101.2014 | 0.00s |
| compression.run_length_encode | cold | success | match | 8.6229 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.7434 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.2793 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.4459 | 0.00s |
| core.factorial_sum | cold | success | match | 0.6371 | 0.00s |
| core.factorial_sum | warm | success | match | 0.6066 | 0.00s |
| core.factorial_sum | warm | success | match | 0.5990 | 0.00s |
| core.factorial_sum | warm | success | match | 0.6025 | 0.00s |
| core.fibonacci_sum | cold | success | match | 5.9219 | 0.00s |
| core.fibonacci_sum | warm | success | match | 6.5662 | 0.00s |
| core.fibonacci_sum | warm | success | match | 5.7201 | 0.00s |
| core.fibonacci_sum | warm | success | match | 5.7740 | 0.00s |
| core.float_reduction | cold | success | match | 0.2882 | 0.00s |
| core.float_reduction | warm | success | match | 0.3204 | 0.00s |
| core.float_reduction | warm | success | match | 0.2964 | 0.00s |
| core.float_reduction | warm | success | match | 0.2987 | 0.00s |
| core.integer_sum | cold | success | match | 0.2269 | 0.00s |
| core.integer_sum | warm | success | match | 0.2163 | 0.00s |
| core.integer_sum | warm | success | match | 0.3286 | 0.00s |
| core.integer_sum | warm | success | match | 0.1931 | 0.00s |
| core.list_filter | cold | success | match | 0.0377 | 0.00s |
| core.list_filter | warm | success | match | 0.0379 | 0.00s |
| core.list_filter | warm | success | match | 0.0250 | 0.00s |
| core.list_filter | warm | success | match | 0.0249 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 2.8575 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.8331 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.8624 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.7910 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 9.2607 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.3500 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.8300 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 8.7836 | 0.00s |
| crypto.simple_checksum | cold | success | match | 11.8645 | 0.00s |
| crypto.simple_checksum | warm | success | match | 11.8787 | 0.00s |
| crypto.simple_checksum | warm | success | match | 11.3956 | 0.00s |
| crypto.simple_checksum | warm | success | match | 12.8961 | 0.00s |
| crypto.xor_cipher | cold | success | match | 17.6905 | 0.00s |
| crypto.xor_cipher | warm | success | match | 18.0174 | 0.00s |
| crypto.xor_cipher | warm | success | match | 18.2752 | 0.00s |
| crypto.xor_cipher | warm | success | match | 22.8274 | 0.00s |
| data_processing.csv_parse | cold | success | match | 0.2795 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.3572 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.2000 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.2074 | 0.00s |
| data_processing.json_extract | cold | success | match | 1.2823 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.2781 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.2278 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.2983 | 0.00s |
| database.group_by_sum | cold | success | match | 0.3358 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3205 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3333 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3295 | 0.00s |
| database.word_count_index | cold | success | match | 4.0230 | 0.00s |
| database.word_count_index | warm | success | match | 4.0869 | 0.00s |
| database.word_count_index | warm | success | match | 4.0179 | 0.00s |
| database.word_count_index | warm | success | match | 4.0125 | 0.00s |
| etl.distinct_count | cold | success | match | 20.8259 | 0.00s |
| etl.distinct_count | warm | success | match | 20.3759 | 0.00s |
| etl.distinct_count | warm | success | match | 21.3256 | 0.00s |
| etl.distinct_count | warm | success | match | 21.8113 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 1.4962 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.3093 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2928 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2234 | 0.00s |
| etl.merge_join | cold | success | match | 7.5790 | 0.00s |
| etl.merge_join | warm | success | match | 7.3987 | 0.00s |
| etl.merge_join | warm | success | match | 8.0042 | 0.00s |
| etl.merge_join | warm | success | match | 7.2573 | 0.00s |
| etl.top_n_selection | cold | success | match | 0.3900 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2679 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2429 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2486 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 484.9898 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 505.6612 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 490.6422 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 499.5000 | 0.00s |
| financial.compound_interest | cold | success | match | 6.4251 | 0.00s |
| financial.compound_interest | warm | success | match | 6.7409 | 0.00s |
| financial.compound_interest | warm | success | match | 6.7133 | 0.00s |
| financial.compound_interest | warm | success | match | 6.9810 | 0.00s |
| financial.moving_average | cold | success | match | 5.1947 | 0.00s |
| financial.moving_average | warm | success | match | 5.3378 | 0.00s |
| financial.moving_average | warm | success | match | 5.3738 | 0.00s |
| financial.moving_average | warm | success | match | 4.8515 | 0.00s |
| graph.bfs | cold | success | match | 0.3021 | 0.00s |
| graph.bfs | warm | success | match | 0.1805 | 0.00s |
| graph.bfs | warm | success | match | 0.1790 | 0.00s |
| graph.bfs | warm | success | match | 0.1720 | 0.00s |
| graph.dijkstra | cold | success | match | 79.4903 | 0.00s |
| graph.dijkstra | warm | success | match | 84.8122 | 0.00s |
| graph.dijkstra | warm | success | match | 98.8836 | 0.00s |
| graph.dijkstra | warm | success | match | 81.0808 | 0.00s |
| graph.floyd_warshall | cold | success | match | 98.4651 | 0.00s |
| graph.floyd_warshall | warm | success | match | 99.4069 | 0.00s |
| graph.floyd_warshall | warm | success | match | 97.9917 | 0.00s |
| graph.floyd_warshall | warm | success | match | 104.1359 | 0.00s |
| image.box_blur | cold | success | match | 240.2090 | 0.00s |
| image.box_blur | warm | success | match | 202.3316 | 0.00s |
| image.box_blur | warm | success | match | 215.8493 | 0.00s |
| image.box_blur | warm | success | match | 214.6162 | 0.00s |
| image.convolution_1d | cold | success | match | 906.9314 | 0.00s |
| image.convolution_1d | warm | success | match | 885.9749 | 0.00s |
| image.convolution_1d | warm | success | match | 835.5368 | 0.00s |
| image.convolution_1d | warm | success | match | 853.3918 | 0.00s |
| image.grayscale_filter | cold | success | match | 0.2454 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1291 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1278 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1358 | 0.00s |
| image.sobel_edge | cold | success | match | 503.6534 | 0.00s |
| image.sobel_edge | warm | success | match | 473.1603 | 0.00s |
| image.sobel_edge | warm | success | match | 495.1928 | 0.00s |
| image.sobel_edge | warm | success | match | 512.9043 | 0.00s |
| iot.rolling_average | cold | success | match | 0.2163 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1944 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1823 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1680 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 4.1400 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.5980 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.6357 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.6068 | 0.00s |
| ml.knn_inference | cold | success | match | 0.2456 | 0.00s |
| ml.knn_inference | warm | success | match | 0.0993 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1037 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1044 | 0.00s |
| ml.perceptron_predict | cold | success | match | 12.5736 | 0.00s |
| ml.perceptron_predict | warm | success | match | 13.1631 | 0.00s |
| ml.perceptron_predict | warm | success | match | 12.0054 | 0.00s |
| ml.perceptron_predict | warm | success | match | 12.0320 | 0.00s |
| numerical.dot_product | cold | success | match | 0.0759 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0451 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0518 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0462 | 0.00s |
| numerical.gcd_loop | cold | success | match | 12.2045 | 0.00s |
| numerical.gcd_loop | warm | success | match | 12.3518 | 0.00s |
| numerical.gcd_loop | warm | success | match | 12.1149 | 0.00s |
| numerical.gcd_loop | warm | success | match | 12.8759 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 5.0718 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 7.2174 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 4.9238 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 5.0570 | 0.00s |
| numerical.matrix_vector | cold | success | match | 26.2526 | 0.00s |
| numerical.matrix_vector | warm | success | match | 32.3706 | 0.00s |
| numerical.matrix_vector | warm | success | match | 39.4200 | 0.00s |
| numerical.matrix_vector | warm | success | match | 26.1556 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 0.8780 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8358 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8477 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8482 | 0.00s |
| numerical.prime_sieve | cold | success | match | 0.3095 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2588 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2756 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2446 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 8.6418 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 13.9691 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 12.1034 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 8.9238 | 0.00s |
| object.bank_account | cold | success | match | 16.3825 | 0.00s |
| object.bank_account | warm | success | match | 17.5387 | 0.00s |
| object.bank_account | warm | success | match | 16.6340 | 0.00s |
| object.bank_account | warm | success | match | 18.1111 | 0.00s |
| object.shape_area | cold | success | match | 3.3315 | 0.00s |
| object.shape_area | warm | success | match | 2.3037 | 0.00s |
| object.shape_area | warm | success | match | 2.3278 | 0.00s |
| object.shape_area | warm | success | match | 2.3029 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 1.8441 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.0975 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.0448 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.9625 | 0.00s |
| parsing.ini_parse | cold | success | match | 1.4157 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.9592 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.9917 | 0.00s |
| parsing.ini_parse | warm | success | match | 1.7182 | 0.00s |
| parsing.log_line_parse | cold | success | match | 0.2646 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.4213 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2595 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2725 | 0.00s |
| regex.email_like_match | cold | success | match | 4.9686 | 0.00s |
| regex.email_like_match | warm | success | match | 5.3187 | 0.00s |
| regex.email_like_match | warm | success | match | 5.2827 | 0.00s |
| regex.email_like_match | warm | success | match | 5.5090 | 0.00s |
| regex.wildcard_match | cold | success | match | 6.4942 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.3435 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.4923 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.4349 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 5.0879 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.0628 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.2782 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.0258 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 22.2398 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 22.4595 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 22.7345 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 22.4554 | 0.00s |
| serialization.csv_serialize | cold | success | match | 0.4039 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2227 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2126 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2564 | 0.00s |
| serialization.json_serialize | cold | success | match | 19.1165 | 0.00s |
| serialization.json_serialize | warm | success | match | 20.4049 | 0.00s |
| serialization.json_serialize | warm | success | match | 18.2843 | 0.00s |
| serialization.json_serialize | warm | success | match | 20.6200 | 0.00s |
| simulation.conway_life | cold | success | match | 28.2471 | 0.00s |
| simulation.conway_life | warm | success | match | 27.9394 | 0.00s |
| simulation.conway_life | warm | success | match | 27.3155 | 0.00s |
| simulation.conway_life | warm | success | match | 27.3498 | 0.00s |
| simulation.particle_movement | cold | success | match | 44.2527 | 0.00s |
| simulation.particle_movement | warm | success | match | 43.5895 | 0.00s |
| simulation.particle_movement | warm | success | match | 40.6768 | 0.00s |
| simulation.particle_movement | warm | success | match | 41.9667 | 0.00s |
| sorting.merge_sort | cold | success | match | 0.9476 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.5998 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.5888 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6075 | 0.00s |
| sorting.quick_sort | cold | success | match | 117.2838 | 0.00s |
| sorting.quick_sort | warm | success | match | 114.4209 | 0.00s |
| sorting.quick_sort | warm | success | match | 115.5401 | 0.00s |
| sorting.quick_sort | warm | success | match | 111.7499 | 0.00s |
| statistics.correlation | cold | success | match | 90.4403 | 0.00s |
| statistics.correlation | warm | success | match | 92.6875 | 0.00s |
| statistics.correlation | warm | success | match | 91.4461 | 0.00s |
| statistics.correlation | warm | success | match | 89.3836 | 0.00s |
| statistics.histogram | cold | success | match | 4.7736 | 0.00s |
| statistics.histogram | warm | success | match | 4.3584 | 0.00s |
| statistics.histogram | warm | success | match | 4.4712 | 0.00s |
| statistics.histogram | warm | success | match | 4.2326 | 0.00s |
| statistics.mean_variance | cold | success | match | 380.0156 | 0.00s |
| statistics.mean_variance | warm | success | match | 320.8252 | 0.00s |
| statistics.mean_variance | warm | success | match | 389.7329 | 0.00s |
| statistics.mean_variance | warm | success | match | 338.7415 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.1329 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0544 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0587 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0618 | 0.00s |
| stdlib.json_parse | cold | success | match | 0.5950 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.3832 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.3961 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.3723 | 0.00s |
| string.dna_count | cold | success | match | 459.1094 | 0.00s |
| string.dna_count | warm | success | match | 483.7954 | 0.00s |
| string.dna_count | warm | success | match | 415.4539 | 0.00s |
| string.dna_count | warm | success | match | 456.3383 | 0.00s |
| string.log_parser | cold | success | match | 1.8118 | 0.00s |
| string.log_parser | warm | success | match | 1.8580 | 0.00s |
| string.log_parser | warm | success | match | 1.9460 | 0.00s |
| string.log_parser | warm | success | match | 1.8461 | 0.00s |
| string.palindrome_pairs | cold | success | match | 8.2968 | 0.00s |
| string.palindrome_pairs | warm | success | match | 8.4069 | 0.00s |
| string.palindrome_pairs | warm | success | match | 8.7929 | 0.00s |
| string.palindrome_pairs | warm | success | match | 8.3238 | 0.00s |
| text.sentiment_score | cold | success | match | 0.4794 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4600 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4259 | 0.00s |
| text.sentiment_score | warm | success | match | 0.6631 | 0.00s |
| text.word_count | cold | success | match | 5.6530 | 0.00s |
| text.word_count | warm | success | match | 6.1690 | 0.00s |
| text.word_count | warm | success | match | 9.2193 | 0.00s |
| text.word_count | warm | success | match | 6.6065 | 0.00s |
| tree.bst_operations | cold | success | match | 1.0502 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8846 | 0.00s |
| tree.bst_operations | warm | success | match | 0.9664 | 0.00s |
| tree.bst_operations | warm | success | match | 0.9158 | 0.00s |
| web.cookie_parse | cold | success | match | 0.6081 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5115 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5074 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5130 | 0.00s |
| web.html_tag_count | cold | success | match | 2.0051 | 0.00s |
| web.html_tag_count | warm | success | match | 1.9327 | 0.00s |
| web.html_tag_count | warm | success | match | 2.0036 | 0.00s |
| web.html_tag_count | warm | success | match | 1.9742 | 0.00s |
| web.http_parser | cold | success | match | 0.8653 | 0.00s |
| web.http_parser | warm | success | match | 0.8431 | 0.00s |
| web.http_parser | warm | success | match | 0.8306 | 0.00s |
| web.http_parser | warm | success | match | 0.8251 | 0.00s |
| web.query_string_parse | cold | success | match | 0.6054 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5591 | 0.00s |
| web.query_string_parse | warm | success | match | 1.0679 | 0.00s |
| web.query_string_parse | warm | success | match | 0.6140 | 0.00s |
| web.url_router | cold | success | match | 0.1276 | 0.00s |
| web.url_router | warm | success | match | 0.0620 | 0.00s |
| web.url_router | warm | success | match | 0.0618 | 0.00s |
| web.url_router | warm | success | match | 0.0624 | 0.00s |
Proof Packs
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/3d41d81adfba4263bf988c7a
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4ec5f4c580ef439d81aefc65
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/0c61bb88f52d471eb48734eb
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/273d9fc93c1d4e9faa445982
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c33edff1492d4bfc9fe5b63e
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/675c679952eb4bc493bb37b3
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4415db780f97434bbf7260c7
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/a507fd76e8da421eba1081ce
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/09fd1e71242e429396772491
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/79c09801997446b69cb90a56
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/5e454ad57bc44a4fa9c53131
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/068d1b117d564ce2a5ad2ca4
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/3a0e1f4efa044d35b4ce1ae1
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/f37e61ae868c434b8698bb37
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/cd2a4ba79616406ba5f9d563
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/d45367cafb0341d982c32e1f
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/68cbc36723d84ec495482d0e
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ba5abee9a17c44cfb3137d7f
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/be14515a72e34ddf93a9f9a8
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8c082d0c41794c089100f5e9
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/578e6fb72f1a4c0795e299da
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ebf1a42dfae049a8850d30c6
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/5c3114a2a3b04af59196453d
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ad29fd07a4da49049dee342c
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2fe16183591348b98a2671e6
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/9f994cf2a42e493e8aa01b27
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8ff0f229616745e89f4454d7
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/f6f2c6ef0bb74f13a4aea172
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/db35edd39da84933a7c243d9
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/277f4829cd8d4070b798b6ff
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/51b8aa239f8146aa87b543ea
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/24feb6e0c2604fd392b60338
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/15f064f316a6464e8f49fc40
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/02e05a87f57a46fea8edc0c3
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/db7cf4840c7c45c8aa2f597b
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/87765f44fd2648e6876655b7
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/195bc48e5cc74b7381b0ea75
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4315adbb1bf848169ab47b89
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2cb5210c5467401dae5b061a
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/0dae285a49a3430b8fd4dc22
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/1009322f8564421d9510f26b
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/362c81c9f39c4b0e87d11623
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4b6ce1199b7243899c917d72
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8b99ff8cffd64534aa1fef83
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2d638b772cd44a309b808ab0
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/0e4001de55bf44bf8d848c0c
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ea00b6bb1fbc4af590f3322a
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/1018dd156452418f99d1a8ff
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/f42760672b074fad9a694c2c
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/12f05f4dd8284e3fbb312c57
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/3ccf2d6e68af475382e0ce5c
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/426c81ec646944fe8fdb6c51
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4282f21aaea44d70a1394f51
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/7161b7ac2d8f4417b5a147e4
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/7ecbb33a5a4f428791a5606d
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2d83ed2d7bf74a4381520af7
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/aa9e89772e984da392c5b7b8
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/9f34f2593d5e4c5c93ec575f
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ec231d42eba54a118dae9677
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4c33b9c2b08747ac870c2598
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/1f5b79571a4a4d9cae638f4f
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/47c674e18a6649f080d10e3b
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/5370845348b44f2f8d9464cd
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b793ab35410f4050a2d3b9a4
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2a61879c3f60410a96be5806
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/a8cb019f9edf4fb2a0b28d4c
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c1dbc8feb15d41b8b343c424
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ae0ebbf75f93499e8019b35c
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/002ef5a5d9a449b682847ab4
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b3a8dc83f98d42f0b5e1cec8
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/afa67dcac84b42eca63a56c9
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/62c1d447ac4b476d99f4a786
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8f3911d37eb448cdbf3bcf27
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/6464eb3b55834a4b8893ef95
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b5fefe336fa04ba390c6fb01
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8125f1d94fa242f98c71ba2d
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/a2c4c422a45c4d1187863032
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b0ae988b42a84814b1551b92
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/0fe6a1cf89a54ed9b8612827
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2028871f650e49e884f3522a
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/3d28c4a6f16a4983902bd986
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/7c5c952e4c04481084bd3058
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/840c5c9c5ab048c597f5f941
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/7af0d2f53d8347d9b74fb10b
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/551c7ba6ea5a49018a03e5fd
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/36501a2f0b7f4379ba4777c8
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/0acb6ccebcba43158d96dd7e
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/7e2ca2e088224072b30d4c8f
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/a1f8ffa1254141cb9893a20e
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/7fbd05e292cb4d60a3ee1c86
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/21541bc31a5d47faa5afe41d
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c053950c63a94161a012f60e
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/d2c60cec51254d21abc91caa
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/37794ecf7d67444c9ff4d127
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/60eb98eba8b64eb5882b985c
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8d8fa66cce244d7cbd5ec6e8
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/e737c5f2fb3f4ba6b3cc77da
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/9c8742e063864c2bbb6df251
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/cff088b3127d45ef8ea188db
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/80b43e6d36c0476abed3a861
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/a2775d23b35a408288fcca14
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2c48159f7cf9462588ec222c
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8814dcae89f848899d518abd
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/1eecd14f40b5439182771213
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b1ded09d3eb447eab70b1dc1
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/166ec64075de4188b81c577f
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/3209a1381a0d4a21a631e7c0
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/405cb33661aa43efbf97eca0
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/d78d0964622e4933b6153d38
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/805c98603287457c8568b29d
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/e5dfbae213cb479890089a57
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8a150f29d5324e73aa96f573
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/cb5481d961d548c2841a3f60
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/a7d1128a36f740f58f7246b5
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c993eccbbcc7468e9f55cc4d
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4c4480aad6984ae5aae1c03a
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/60b111bd77c64464afa4c693
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/59643525202e427db1a3471c
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/367a1651a191404994e43d03
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/7f67d16f8b4746219a645200
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/a6b952ad6bb24820b52141f9
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8a977994b25d4b4c8b66b39f
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/620c893ecac44f88a9db5930
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/887e0066d17d4b639b785178
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/30ff29ed46d943568655841a
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4e1c206916934aff988a5b12
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/79975aeb81144eb7a019ae5c
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/aac6d57ceedc43318b605a18
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/749902be0efd4bcd9a379cde
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/678c9fb607074ddda78199de
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/1f4f25e0e7de4983846499bd
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/fc7a7e2af4354b1389c7ab81
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/48708e5a3e5d4d43a6cca202
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/527d7cd6c4c34504b9595bd3
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/e072c7229669478c865512a8
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/866c508c15074d61a765b489
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c12031aded194d1385ca47e7
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/db6020673dd141cda1aa93f2
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8c40a553723143dd8c11df5e
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4dd02fe4befe45118eb4ad51
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/275031fa297a443c8a5e64a6
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/492e695ef8a84d518e03d7e9
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/6ce97aea41874534a68fb451
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/9f2a141e5c5b43e2bb586fe2
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/9246b459035f42c09f214b8a
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/62d15edf10e54c13845cde72
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/dc1770c05fd84816bbb96bc6
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/86c47780eb834268963809d8
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/5ac1fb569c8c43d7819ac972
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/d7942f62f293409fadd997d8
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ea17aa7d633241e491fe3375
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/d7aed087e52c4900a55429fb
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/59bfcff5cebb487483ca3f81
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/289406b2dbb04137958d1538
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c1857f57517f45789aafff4a
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/f490767ec1fa42ce93d35d15
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b2979092f7374be89950d36f
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/19840f4bbc8741b9b4efac4d
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/59e2afcb61aa4a59b9d4987e
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/15fb16ec04d24e83b649e782
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/e2000008b3cf495085449077
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2aa8b7a78c6a4bcea69050ee
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2c2f5abc691e485daeb9f176
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/fd7009a3395a4c8a9a6bd6f2
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/12707e41761e42368bb447c6
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/9c3827e2f126401c9fff39f9
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/e7e78c639bb14353ae99d067
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c6372cd5b60846d8b4a4a02b
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/6ae909d410514402a443d230
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/1532756417104bddad6538e7
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/3f4ebc3eea5b481aa3446f8d
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/5b70d00f6639470d8edc6d6c
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/1058d65ddb76484d931ac863
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/a84ca378d696434089254c49
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/cee5bfd7feb8466cbb5878f9
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/a6d24d508b7b4ad28a6c90f1
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c1bf0268eca640d4956dbc97
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/d1a94d3dc77e4ec5bcdc8247
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/0f19877753124a079e8ea59c
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/08ba6517142a48f0ad1e2bb6
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/d42ec880dddb41e0ac38d4d0
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b47937981a3a42ec81041956
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/5d011db088cb46708091f2a3
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/57fcdc2ebf624d929008dc4c
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/9202f07bc3dc488d8201be5d
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/3085cc22bde24f8aab7f6657
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4bf37c8a0efe450f8f62b837
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8135b71a3b754932bcfb76bd
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/e225c494d576405e978530bb
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ad63fc45a7ee4354b959f949
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/75d5f8240e8c4c549fd3b112
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/0e23d73f403a4222b9ec1fd7
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/56bee69636ec43f9a2ed9dd9
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/54763c0d7bdc4cdd8f78841f
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/74b907fe318c4f8093086c0d
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c6d6d1ad10384d23ad4d9165
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/11ce1eb537f143c7ab3bd212
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/41c1217d42e5472b9c5894bc
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8068eb898ec64ab0ac8726d5
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ddbe9b277b4e46bea60c9568
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/1e1efcd9d43a4a6b8e5f5f0f
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/03e7417dafe14a578f58960d
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/740730e0e56f4f40bb7327b5
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/80fe44c2a00742019b7065ac
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/441714fdcd3747b0ad63f1db
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/668e8db02ba844cab539d6e7
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/5f7b4f924f3b4e48a5384bcb
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/075dad7d9aa344ecbe9577a3
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c9f0d8d1c9704fb0aeb48f94
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/7fa3455f62014bffba6901e0
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/16c59b885b79429cbf3cdab0
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/1bde63346d7a49ad8948cbfa
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/cc637674a8e9413192526cbd
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/e219a685f0d84805bcc2b5d0
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/d68f88a82e134c9087511214
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4db5196eb48c40bda7c4cd3c
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/05544f865e5945bbabadd9f0
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/43556fc267d840ae8d0a986d
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/be20d29838e94929a38a0025
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2ba20e7366484858bb5c418b
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/3ebcac628245480a8ddc0d9e
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/66405316adb94df087b11229
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/585c1cd97bb340709c7eede6
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/6085aac6faa94e65bb54ef46
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/dd9ffd631b85437fad881b00
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/6f94953d83ac4416ab56b827
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/5d9f87286ebc414ca714ed77
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/a7c2e82f6b6844749887e0db
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/54c4225309394ca384f0a307
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/d3c848dd8fb14943b1689a8d
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/f66ff23c06d94b33af8a01ee
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/97fa2b29f8cd486880ad88a7
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b31f8426a2b74e728b94e078
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c2403e12cf6147eb91f3d8bd
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/40e0157f0f7f4f6ab7316881
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/70503ff40b8b42fc8525d1ad
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b9b781d95ee94ba7a742dece
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/34d1ccf8b6a54b608ab03b8f
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/9d2e648e2885452f8e2a5742
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/7bee1b5d5d2640549a662025
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/28fec03e63ba4185946a3a68
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/548a1fd149b14a489bc433a2
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b1f48b4801274cd98313ed6d
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4a71b28382444cc59d5ab505
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/83a14985de20442a8909e6a2
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/991f54dbfa4a49f2ade04020
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/db7611e585b04de39634f1fc
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/f48c5fb9ba7e4ae7bd43468d
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/cf08931780c845fa953c8a2a
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/67cbe14b81a14b0c90047716
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b283a431adbd4568824fd6c7
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/389cc59e370345cbb5d812ec
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b6aa9ac8958c46fcad515109
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ded831425da54edbb7f37649
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/93e09d55ad0f493aba132a58
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/8fbf2599c98540f2893fddb9
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/75078739293b47b986eb15ba
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2887fe9053324f608048ac9d
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/253cf303fdd641cd8696bf52
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ee0a2c709c344c74a5c42f09
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/20a17e9e083f4157a76687c8
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/ed353101862541bf9af0efb1
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/49c26eb43ecd439e8929fdcb
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/bcd3ff5579a143d8b93e782a
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/e7136ed83b6f476e9ef319df
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/71d659dd626f4956a58d9d56
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/42321bb016594287958357ac
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b29995f6fa5e42e79a75292d
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/05e5f21942704fb3b3ef20c7
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/7d32094567c242348b28c22d
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/d258f7421d8e4c0392910558
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c3180426191f4e31808e6ee0
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/bc966fc5187047e597fd05c2
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/b7ba0d4057d74b4a914cae08
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/4351466ddda7410cbb8c7c12
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/9dc55c1a6ff64297aad5fe15
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2f06b5bae96947cd8807731f
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/3ff0ab9aed2346beac25331a
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/2b5f59c07d114e0dabe958ea
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/bb8222c1fff040d3a0bd55f2
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/eaea62bfd1e945668c73f3d1
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/c0d0e57db0cd4d659dec2f35
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/3e82a846176c4452af7684b3
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4a72e4e9b45e43a89139d663/5619da1a0129400bb0859a8f