Campaign Summary
ID: 33ed2e9f5f7d404aaaaba620
Started: 2026-07-19 09:04:52.185535
Finished: 2026-07-19 09:05:33.129744
Duration: 40.9s
71
Workloads
284
Cases
284
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.5635
cold mean ms
0.0135
warm mean ms
0.0120
warm median ms
0.0033
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
1.9818
cold mean ms
0.0138
warm mean ms
0.0134
warm median ms
0.0008
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.0758
cold mean ms
0.6920
warm mean ms
0.6306
warm median ms
0.1286
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.4023
cold mean ms
0.7365
warm mean ms
0.7158
warm median ms
0.0609
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
3.7881
cold mean ms
0.4545
warm mean ms
0.4498
warm median ms
0.0088
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
2.2782
cold mean ms
0.0458
warm mean ms
0.0459
warm median ms
0.0004
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
1.8807
cold mean ms
0.0916
warm mean ms
0.0669
warm median ms
0.0448
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
1.2015
cold mean ms
0.7080
warm mean ms
0.6706
warm median ms
0.0738
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
2.8564
cold mean ms
0.8144
warm mean ms
0.8165
warm median ms
0.0252
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
8.8782
cold mean ms
2.0200
warm mean ms
1.9024
warm median ms
0.3875
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.0976
cold mean ms
0.7225
warm mean ms
0.7272
warm median ms
0.0538
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
6.5344
cold mean ms
0.9657
warm mean ms
0.9719
warm median ms
0.0195
warm stdev ms
100%
success rate
0
mismatches
web.url_router
2.2167
cold mean ms
0.4269
warm mean ms
0.4245
warm median ms
0.0145
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
6.4046
cold mean ms
3.0858
warm mean ms
3.1066
warm median ms
0.1118
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
12.6401
cold mean ms
7.6229
warm mean ms
7.6044
warm median ms
0.0900
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
1.0961
cold mean ms
0.5667
warm mean ms
0.5540
warm median ms
0.0514
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
3.1802
cold mean ms
0.4850
warm mean ms
0.4826
warm median ms
0.0219
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
9.4172
cold mean ms
9.4914
warm mean ms
9.2464
warm median ms
0.5094
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
2.9983
cold mean ms
1.0974
warm mean ms
1.0826
warm median ms
0.0365
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
4.6575
cold mean ms
2.1717
warm mean ms
2.1851
warm median ms
0.0572
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
26.4752
cold mean ms
18.5376
warm mean ms
18.4012
warm median ms
1.1713
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.1813
cold mean ms
0.7909
warm mean ms
0.7842
warm median ms
0.0600
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
4.0315
cold mean ms
0.6478
warm mean ms
0.6185
warm median ms
0.0657
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
2.2036
cold mean ms
0.4768
warm mean ms
0.4074
warm median ms
0.1384
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
8.2590
cold mean ms
0.5125
warm mean ms
0.5111
warm median ms
0.0086
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
2.7689
cold mean ms
0.3193
warm mean ms
0.2754
warm median ms
0.1056
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
5.0654
cold mean ms
2.0819
warm mean ms
2.0757
warm median ms
0.0995
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
3.2891
cold mean ms
2.7084
warm mean ms
2.4912
warm median ms
0.5562
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
33.8036
cold mean ms
13.9095
warm mean ms
14.0116
warm median ms
0.4420
warm stdev ms
100%
success rate
0
mismatches
text.word_count
5.5061
cold mean ms
3.3054
warm mean ms
3.2428
warm median ms
0.3750
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
4.4748
cold mean ms
1.4660
warm mean ms
1.4596
warm median ms
0.0236
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
5.3966
cold mean ms
2.8564
warm mean ms
2.6814
warm median ms
0.5552
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
4.4903
cold mean ms
2.6127
warm mean ms
2.1453
warm median ms
0.8465
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
5.6573
cold mean ms
0.5766
warm mean ms
0.6512
warm median ms
0.1394
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
4.3850
cold mean ms
0.2167
warm mean ms
0.2181
warm median ms
0.0061
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
4.3955
cold mean ms
1.3989
warm mean ms
1.3717
warm median ms
0.1503
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
1.5669
cold mean ms
0.4191
warm mean ms
0.4292
warm median ms
0.0227
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
2.3004
cold mean ms
0.2808
warm mean ms
0.2869
warm median ms
0.0107
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
218.8529
cold mean ms
231.5661
warm mean ms
228.4204
warm median ms
8.0127
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
17.3835
cold mean ms
14.0097
warm mean ms
11.3861
warm median ms
4.8309
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
1.8651
cold mean ms
0.1031
warm mean ms
0.1057
warm median ms
0.0088
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
3.4317
cold mean ms
0.7528
warm mean ms
0.7558
warm median ms
0.0121
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
5.8674
cold mean ms
0.1879
warm mean ms
0.1962
warm median ms
0.0165
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
5.2819
cold mean ms
0.3880
warm mean ms
0.3832
warm median ms
0.0296
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
3.6314
cold mean ms
0.1899
warm mean ms
0.1825
warm median ms
0.0129
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
4.5172
cold mean ms
0.2605
warm mean ms
0.2623
warm median ms
0.0064
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
14.4827
cold mean ms
9.7431
warm mean ms
9.7296
warm median ms
0.1073
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
17.2911
cold mean ms
13.9058
warm mean ms
13.9224
warm median ms
0.0413
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
2.5753
cold mean ms
0.9210
warm mean ms
0.9052
warm median ms
0.0312
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
13.9369
cold mean ms
11.8351
warm mean ms
10.6525
warm median ms
2.2623
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
3.9919
cold mean ms
2.4419
warm mean ms
2.4214
warm median ms
0.0488
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
3.7560
cold mean ms
0.6575
warm mean ms
0.6619
warm median ms
0.0153
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
2.0000
cold mean ms
0.6716
warm mean ms
0.6727
warm median ms
0.0143
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
1.2082
cold mean ms
0.4998
warm mean ms
0.5121
warm median ms
0.0345
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
23.4169
cold mean ms
12.5041
warm mean ms
12.3111
warm median ms
0.3822
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
18.0335
cold mean ms
6.9594
warm mean ms
6.9446
warm median ms
0.2110
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
3.2368
cold mean ms
1.4119
warm mean ms
1.3928
warm median ms
0.0363
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
2.4381
cold mean ms
0.0951
warm mean ms
0.0729
warm median ms
0.0391
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
3.3816
cold mean ms
0.4595
warm mean ms
0.4989
warm median ms
0.0808
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
13.5490
cold mean ms
3.3696
warm mean ms
2.9000
warm median ms
0.8533
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
8.4585
cold mean ms
0.1865
warm mean ms
0.1844
warm median ms
0.0069
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
1.7417
cold mean ms
0.5055
warm mean ms
0.5020
warm median ms
0.0204
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
1.6719
cold mean ms
0.0710
warm mean ms
0.0697
warm median ms
0.0035
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
1.9405
cold mean ms
0.7845
warm mean ms
0.7980
warm median ms
0.0419
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
2.9585
cold mean ms
0.0741
warm mean ms
0.0752
warm median ms
0.0043
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
2.4004
cold mean ms
0.3386
warm mean ms
0.3262
warm median ms
0.0527
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
26.3818
cold mean ms
20.2698
warm mean ms
19.8925
warm median ms
2.6210
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
8.2102
cold mean ms
4.2343
warm mean ms
3.9878
warm median ms
0.9372
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
7.6061
cold mean ms
3.8265
warm mean ms
3.8244
warm median ms
0.0181
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
5.9644
cold mean ms
0.8469
warm mean ms
0.6986
warm median ms
0.2844
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
6.3607
cold mean ms
2.0892
warm mean ms
2.0336
warm median ms
0.1801
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 12.6401 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 7.6044 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 7.5435 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 7.7206 | 0.00s |
| compression.run_length_encode | cold | success | match | 5.9644 | 0.00s |
| compression.run_length_encode | warm | success | match | 0.6986 | 0.00s |
| compression.run_length_encode | warm | success | match | 1.1747 | 0.00s |
| compression.run_length_encode | warm | success | match | 0.6673 | 0.00s |
| core.factorial_sum | cold | success | match | 1.6719 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0750 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0683 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0697 | 0.00s |
| core.fibonacci_sum | cold | success | match | 1.7417 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.5020 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.5274 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.4871 | 0.00s |
| core.float_reduction | cold | success | match | 1.9818 | 0.00s |
| core.float_reduction | warm | success | match | 0.0148 | 0.00s |
| core.float_reduction | warm | success | match | 0.0133 | 0.00s |
| core.float_reduction | warm | success | match | 0.0134 | 0.00s |
| core.integer_sum | cold | success | match | 0.5635 | 0.00s |
| core.integer_sum | warm | success | match | 0.0120 | 0.00s |
| core.integer_sum | warm | success | match | 0.0113 | 0.00s |
| core.integer_sum | warm | success | match | 0.0173 | 0.00s |
| core.list_filter | cold | success | match | 0.0758 | 0.00s |
| core.list_filter | warm | success | match | 0.8397 | 0.00s |
| core.list_filter | warm | success | match | 0.6306 | 0.00s |
| core.list_filter | warm | success | match | 0.6056 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 4.5172 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 0.2659 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 0.2623 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 0.2534 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 6.4046 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 2.9651 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 3.1858 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 3.1066 | 0.00s |
| crypto.simple_checksum | cold | success | match | 2.4004 | 0.00s |
| crypto.simple_checksum | warm | success | match | 0.2931 | 0.00s |
| crypto.simple_checksum | warm | success | match | 0.3964 | 0.00s |
| crypto.simple_checksum | warm | success | match | 0.3262 | 0.00s |
| crypto.xor_cipher | cold | success | match | 4.3955 | 0.00s |
| crypto.xor_cipher | warm | success | match | 1.2640 | 0.00s |
| crypto.xor_cipher | warm | success | match | 1.3717 | 0.00s |
| crypto.xor_cipher | warm | success | match | 1.5609 | 0.00s |
| data_processing.csv_parse | cold | success | match | 1.2015 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.7930 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.6706 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.6603 | 0.00s |
| data_processing.json_extract | cold | success | match | 1.9405 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.7980 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.7374 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.8179 | 0.00s |
| database.group_by_sum | cold | success | match | 5.8674 | 0.00s |
| database.group_by_sum | warm | success | match | 0.1962 | 0.00s |
| database.group_by_sum | warm | success | match | 0.1986 | 0.00s |
| database.group_by_sum | warm | success | match | 0.1689 | 0.00s |
| database.word_count_index | cold | success | match | 4.4903 | 0.00s |
| database.word_count_index | warm | success | match | 2.1453 | 0.00s |
| database.word_count_index | warm | success | match | 3.5899 | 0.00s |
| database.word_count_index | warm | success | match | 2.1030 | 0.00s |
| etl.distinct_count | cold | success | match | 6.3607 | 0.00s |
| etl.distinct_count | warm | success | match | 1.9434 | 0.00s |
| etl.distinct_count | warm | success | match | 2.2905 | 0.00s |
| etl.distinct_count | warm | success | match | 2.0336 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 3.1802 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 0.5080 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 0.4826 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 0.4644 | 0.00s |
| etl.merge_join | cold | success | match | 9.4172 | 0.00s |
| etl.merge_join | warm | success | match | 9.1508 | 0.00s |
| etl.merge_join | warm | success | match | 9.2464 | 0.00s |
| etl.merge_join | warm | success | match | 10.0770 | 0.00s |
| etl.top_n_selection | cold | success | match | 1.5669 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.3931 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.4292 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.4351 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 14.4827 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 9.8565 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 9.6433 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 9.7296 | 0.00s |
| financial.compound_interest | cold | success | match | 2.0000 | 0.00s |
| financial.compound_interest | warm | success | match | 0.6854 | 0.00s |
| financial.compound_interest | warm | success | match | 0.6727 | 0.00s |
| financial.compound_interest | warm | success | match | 0.6567 | 0.00s |
| financial.moving_average | cold | success | match | 4.0315 | 0.00s |
| financial.moving_average | warm | success | match | 0.6019 | 0.00s |
| financial.moving_average | warm | success | match | 0.6185 | 0.00s |
| financial.moving_average | warm | success | match | 0.7231 | 0.00s |
| graph.bfs | cold | success | match | 2.7689 | 0.00s |
| graph.bfs | warm | success | match | 0.4398 | 0.00s |
| graph.bfs | warm | success | match | 0.2427 | 0.00s |
| graph.bfs | warm | success | match | 0.2754 | 0.00s |
| graph.dijkstra | cold | success | match | 23.4169 | 0.00s |
| graph.dijkstra | warm | success | match | 12.2569 | 0.00s |
| graph.dijkstra | warm | success | match | 12.3111 | 0.00s |
| graph.dijkstra | warm | success | match | 12.9443 | 0.00s |
| graph.floyd_warshall | cold | success | match | 7.6061 | 0.00s |
| graph.floyd_warshall | warm | success | match | 3.8097 | 0.00s |
| graph.floyd_warshall | warm | success | match | 3.8244 | 0.00s |
| graph.floyd_warshall | warm | success | match | 3.8456 | 0.00s |
| image.box_blur | cold | success | match | 17.3835 | 0.00s |
| image.box_blur | warm | success | match | 19.5847 | 0.00s |
| image.box_blur | warm | success | match | 11.0583 | 0.00s |
| image.box_blur | warm | success | match | 11.3861 | 0.00s |
| image.convolution_1d | cold | success | match | 26.3818 | 0.00s |
| image.convolution_1d | warm | success | match | 23.0590 | 0.00s |
| image.convolution_1d | warm | success | match | 17.8580 | 0.00s |
| image.convolution_1d | warm | success | match | 19.8925 | 0.00s |
| image.grayscale_filter | cold | success | match | 1.0961 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.5229 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.5540 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.6233 | 0.00s |
| image.sobel_edge | cold | success | match | 13.9369 | 0.00s |
| image.sobel_edge | warm | success | match | 10.6525 | 0.00s |
| image.sobel_edge | warm | success | match | 10.4094 | 0.00s |
| image.sobel_edge | warm | success | match | 14.4436 | 0.00s |
| iot.rolling_average | cold | success | match | 2.8564 | 0.00s |
| iot.rolling_average | warm | success | match | 0.8165 | 0.00s |
| iot.rolling_average | warm | success | match | 0.7883 | 0.00s |
| iot.rolling_average | warm | success | match | 0.8386 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 8.4585 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.1844 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.1809 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.1942 | 0.00s |
| ml.knn_inference | cold | success | match | 0.1813 | 0.00s |
| ml.knn_inference | warm | success | match | 0.7345 | 0.00s |
| ml.knn_inference | warm | success | match | 0.8540 | 0.00s |
| ml.knn_inference | warm | success | match | 0.7842 | 0.00s |
| ml.perceptron_predict | cold | success | match | 3.7560 | 0.00s |
| ml.perceptron_predict | warm | success | match | 0.6404 | 0.00s |
| ml.perceptron_predict | warm | success | match | 0.6619 | 0.00s |
| ml.perceptron_predict | warm | success | match | 0.6701 | 0.00s |
| numerical.dot_product | cold | success | match | 0.4023 | 0.00s |
| numerical.dot_product | warm | success | match | 0.7158 | 0.00s |
| numerical.dot_product | warm | success | match | 0.8049 | 0.00s |
| numerical.dot_product | warm | success | match | 0.6886 | 0.00s |
| numerical.gcd_loop | cold | success | match | 3.9919 | 0.00s |
| numerical.gcd_loop | warm | success | match | 2.4214 | 0.00s |
| numerical.gcd_loop | warm | success | match | 2.4976 | 0.00s |
| numerical.gcd_loop | warm | success | match | 2.4067 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 3.7881 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 0.4498 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 0.4647 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 0.4489 | 0.00s |
| numerical.matrix_vector | cold | success | match | 4.4748 | 0.00s |
| numerical.matrix_vector | warm | success | match | 1.4921 | 0.00s |
| numerical.matrix_vector | warm | success | match | 1.4462 | 0.00s |
| numerical.matrix_vector | warm | success | match | 1.4596 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 2.2782 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0459 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0454 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0462 | 0.00s |
| numerical.prime_sieve | cold | success | match | 1.8807 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.1432 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.0646 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.0669 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 1.8651 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.1057 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.1104 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0933 | 0.00s |
| object.bank_account | cold | success | match | 3.2368 | 0.00s |
| object.bank_account | warm | success | match | 1.4538 | 0.00s |
| object.bank_account | warm | success | match | 1.3891 | 0.00s |
| object.bank_account | warm | success | match | 1.3928 | 0.00s |
| object.shape_area | cold | success | match | 3.2891 | 0.00s |
| object.shape_area | warm | success | match | 2.4912 | 0.00s |
| object.shape_area | warm | success | match | 2.2936 | 0.00s |
| object.shape_area | warm | success | match | 3.3405 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 2.2036 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.3868 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.6362 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.4074 | 0.00s |
| parsing.ini_parse | cold | success | match | 8.2590 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.5047 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.5111 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.5217 | 0.00s |
| parsing.log_line_parse | cold | success | match | 1.2082 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.5121 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.4608 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.5264 | 0.00s |
| regex.email_like_match | cold | success | match | 5.2819 | 0.00s |
| regex.email_like_match | warm | success | match | 0.3832 | 0.00s |
| regex.email_like_match | warm | success | match | 0.3611 | 0.00s |
| regex.email_like_match | warm | success | match | 0.4198 | 0.00s |
| regex.wildcard_match | cold | success | match | 5.6573 | 0.00s |
| regex.wildcard_match | warm | success | match | 0.4158 | 0.00s |
| regex.wildcard_match | warm | success | match | 0.6512 | 0.00s |
| regex.wildcard_match | warm | success | match | 0.6627 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 3.4317 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.7395 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.7632 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.7558 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 5.3966 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 2.4098 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 3.4781 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 2.6814 | 0.00s |
| serialization.csv_serialize | cold | success | match | 2.4381 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.0729 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.0721 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.1402 | 0.00s |
| serialization.json_serialize | cold | success | match | 33.8036 | 0.00s |
| serialization.json_serialize | warm | success | match | 14.0116 | 0.00s |
| serialization.json_serialize | warm | success | match | 13.4254 | 0.00s |
| serialization.json_serialize | warm | success | match | 14.2916 | 0.00s |
| simulation.conway_life | cold | success | match | 13.5490 | 0.00s |
| simulation.conway_life | warm | success | match | 2.9000 | 0.00s |
| simulation.conway_life | warm | success | match | 4.3546 | 0.00s |
| simulation.conway_life | warm | success | match | 2.8542 | 0.00s |
| simulation.particle_movement | cold | success | match | 26.4752 | 0.00s |
| simulation.particle_movement | warm | success | match | 17.4404 | 0.00s |
| simulation.particle_movement | warm | success | match | 19.7712 | 0.00s |
| simulation.particle_movement | warm | success | match | 18.4012 | 0.00s |
| sorting.merge_sort | cold | success | match | 5.0654 | 0.00s |
| sorting.merge_sort | warm | success | match | 2.0757 | 0.00s |
| sorting.merge_sort | warm | success | match | 1.9857 | 0.00s |
| sorting.merge_sort | warm | success | match | 2.1844 | 0.00s |
| sorting.quick_sort | cold | success | match | 18.0335 | 0.00s |
| sorting.quick_sort | warm | success | match | 7.1773 | 0.00s |
| sorting.quick_sort | warm | success | match | 6.9446 | 0.00s |
| sorting.quick_sort | warm | success | match | 6.7562 | 0.00s |
| statistics.correlation | cold | success | match | 8.2102 | 0.00s |
| statistics.correlation | warm | success | match | 5.2701 | 0.00s |
| statistics.correlation | warm | success | match | 3.4451 | 0.00s |
| statistics.correlation | warm | success | match | 3.9878 | 0.00s |
| statistics.histogram | cold | success | match | 2.3004 | 0.00s |
| statistics.histogram | warm | success | match | 0.2869 | 0.00s |
| statistics.histogram | warm | success | match | 0.2684 | 0.00s |
| statistics.histogram | warm | success | match | 0.2870 | 0.00s |
| statistics.mean_variance | cold | success | match | 17.2911 | 0.00s |
| statistics.mean_variance | warm | success | match | 13.8588 | 0.00s |
| statistics.mean_variance | warm | success | match | 13.9363 | 0.00s |
| statistics.mean_variance | warm | success | match | 13.9224 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.0976 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.6664 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.7272 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.7737 | 0.00s |
| stdlib.json_parse | cold | success | match | 8.8782 | 0.00s |
| stdlib.json_parse | warm | success | match | 1.9024 | 0.00s |
| stdlib.json_parse | warm | success | match | 1.7050 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.4526 | 0.00s |
| string.dna_count | cold | success | match | 218.8529 | 0.00s |
| string.dna_count | warm | success | match | 225.6035 | 0.00s |
| string.dna_count | warm | success | match | 228.4204 | 0.00s |
| string.dna_count | warm | success | match | 240.6743 | 0.00s |
| string.log_parser | cold | success | match | 2.9983 | 0.00s |
| string.log_parser | warm | success | match | 1.0826 | 0.00s |
| string.log_parser | warm | success | match | 1.1390 | 0.00s |
| string.log_parser | warm | success | match | 1.0706 | 0.00s |
| string.palindrome_pairs | cold | success | match | 2.5753 | 0.00s |
| string.palindrome_pairs | warm | success | match | 0.9052 | 0.00s |
| string.palindrome_pairs | warm | success | match | 0.9569 | 0.00s |
| string.palindrome_pairs | warm | success | match | 0.9008 | 0.00s |
| text.sentiment_score | cold | success | match | 3.3816 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4989 | 0.00s |
| text.sentiment_score | warm | success | match | 0.5130 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3666 | 0.00s |
| text.word_count | cold | success | match | 5.5061 | 0.00s |
| text.word_count | warm | success | match | 3.2428 | 0.00s |
| text.word_count | warm | success | match | 3.7077 | 0.00s |
| text.word_count | warm | success | match | 2.9657 | 0.00s |
| tree.bst_operations | cold | success | match | 4.6575 | 0.00s |
| tree.bst_operations | warm | success | match | 2.1090 | 0.00s |
| tree.bst_operations | warm | success | match | 2.1851 | 0.00s |
| tree.bst_operations | warm | success | match | 2.2209 | 0.00s |
| web.cookie_parse | cold | success | match | 3.6314 | 0.00s |
| web.cookie_parse | warm | success | match | 0.1824 | 0.00s |
| web.cookie_parse | warm | success | match | 0.1825 | 0.00s |
| web.cookie_parse | warm | success | match | 0.2048 | 0.00s |
| web.html_tag_count | cold | success | match | 2.9585 | 0.00s |
| web.html_tag_count | warm | success | match | 0.0694 | 0.00s |
| web.html_tag_count | warm | success | match | 0.0752 | 0.00s |
| web.html_tag_count | warm | success | match | 0.0777 | 0.00s |
| web.http_parser | cold | success | match | 6.5344 | 0.00s |
| web.http_parser | warm | success | match | 0.9719 | 0.00s |
| web.http_parser | warm | success | match | 0.9439 | 0.00s |
| web.http_parser | warm | success | match | 0.9814 | 0.00s |
| web.query_string_parse | cold | success | match | 4.3850 | 0.00s |
| web.query_string_parse | warm | success | match | 0.2181 | 0.00s |
| web.query_string_parse | warm | success | match | 0.2100 | 0.00s |
| web.query_string_parse | warm | success | match | 0.2219 | 0.00s |
| web.url_router | cold | success | match | 2.2167 | 0.00s |
| web.url_router | warm | success | match | 0.4425 | 0.00s |
| web.url_router | warm | success | match | 0.4245 | 0.00s |
| web.url_router | warm | success | match | 0.4137 | 0.00s |
Proof Packs
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7d35edae55664e74a6071e29
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/cf0fac424460496ab9e4fff6
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/590c4efc189b4386ac66de41
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/413b1a93557f458d950a2c57
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7349cfee8d20407583ce9c27
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1e1e7df8d0134bec97efa95c
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/73982f0eee984655b47ee971
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/b9bdb8246c84409f9ae910c5
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/c2ef49865fba460e9b7914bb
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/502ddef6b62449718936f377
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7bbde1b5a45f46aba682301c
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e6101c7364e84d23b97b97fa
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/931fa4af1c064b5c96cc7485
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/003da320af0645c48571a508
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/d2ac5d304eab430195ce5450
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f15a8fb64fb043da8e8e4375
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/5a2d6b3a566d41868af43a1c
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/41747896514c42cfae5a6ef7
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9a0d15def33c4be4a3f9189b
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/97e36c6a1c85481e97a6e43a
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/5fa6111426b14c78958722a3
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7eeb973ca30b4bceb2b8e123
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/6c70b817d51d492480aa6a7d
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/21f2b11ec8144435baca2b4d
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/544dab93c40a4233b3f2e715
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/587b3968ad114c9f89c61a63
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/dc657dae530d4a2aadc332b5
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/c905178f2e044cf4ae3b0218
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/158a6440cea44bc39f1d5cd2
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/88040fdf7ffb44cd8a10915b
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/4fe899e3b81e486692156da5
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/47beba4d78c240d3a1826454
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f502af82acb6493299ced024
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e768c036f3694c75b8c87b6d
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/831d1c76d78b43158ead7be3
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/732a7adc2e5c4da2a304b535
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e6a95c244655412aa53d4cea
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/63d95ad95c7841018b755c81
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/2216f184ba534a7c8f8481a8
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/a462aff83c1c4ff48efbab9a
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f64cab1133074f988e23e10f
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1c2c545b7fd2486e8d788bdb
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/2713cef5db2948198ec0e8fa
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/507a542813d243e28e82d607
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/51046b203ebb4c44bfa1ab8c
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/de98d81d8b0a4a6ea8d24460
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/b533f2f8fcd14cfb985b2ec8
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/75bc9e1040434a70861e0088
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/003f9c29a9dc41baa75375f7
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/b325ef9ce5b140ea94cd7a9c
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/8d23ac911d104b84b1d41caa
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/79fcbb04f5364a2bbeca62f6
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/a36cdf19ba574ee6ad287c7a
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/96893dd4c2414d11b58c8270
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1dc472bf288345d380653fbf
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ccbe09648e154f05ac2b0538
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/6cb7e6a90d624cdf8edec562
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/258b892b835d48418d2c714d
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/0dbfc9b1c8884901839c2e7f
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/922802a1bf2d45cb987de7fe
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/0d06a4d5142e45a3b5fe7e7c
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7b41220657ea4db397338fa9
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/525e620ea89843d19b81636c
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/232c40d5fa964ce5b608151d
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1fdcc72e68aa4413aed5f8a0
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/b89dc7a4086b488b8b2e4bd3
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/c6a3956fbf294112b8b4bd57
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/10fe3c322c27439082c0421c
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/fbcc68b018d040bdbf540c3d
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/a1a69bfbcfa74a30ae4fd75a
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e18875845eb544a4abaf54ca
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/5eec15153e2d4f33b2effa4a
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/fb5fb4bb3cfe4fb993b56ca5
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ca35ee6ab1504f9f91f2bf29
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/3b453a604c494e559a3411e0
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1bf9ec2a272244fd9935ec71
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/b57268108f7c4d98bddc9cdd
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/2569eec1ffec4d28a8c9a62f
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/03b887dd4b6e48c8af5b79fb
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/88f328ca25a64a4ab5f5be2b
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/c416e18e452a4bcabf4e9033
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/c3a727330ffb4a05a0746f34
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/23d9cad9df99468097632899
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/59ea80ac38684b8bb7fb16f3
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9a2ba4f19db94b6ba0c1e094
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f1fb43dc0db44fe6903eae54
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7609a699beb94679a9194b63
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/8543ba287f244ce3a4c1966b
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/dd8998eef468451bb636ce09
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/48b2f681f357442a99dc7bb5
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e4091df50b0a4c928c47df6d
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9cf1951f2094439886a112f6
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/3cf224033f204f03913be20a
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/8fe9f43eec5f4e1abc440075
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/eb8e7ddc8bfb40549ced2235
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/49717c3b7cdd4b4e8a51df6f
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/6385f406db884bdfbf47bfa9
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1fb9b335fdd741c09169eca3
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/03f62694422b4f7aaaa51246
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/3c855584e24d4aacb20778bb
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1ec8f01b78064b64a48de427
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/2c6c3a5b84ea41658c94d387
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7fde5b1742764ea5b57584bd
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/6257dbf9655a44198c0534b5
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/369162d78f37465d9a095291
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ff4d857a54b54303b6831cda
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/05dcf786e90f4747b6d94b2d
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/18a86c5c26284b8890dfb954
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e29b3413d0e24e3eb39a18a3
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/8442b08d7d7847dababfb1df
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f2d672de3bfb4b709a1f179d
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/eeb3b617646f4f7880cf472c
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/3bb2f34b485b4eb0b179d587
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e16fef7de70e4bd88b34c54b
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/23f59055779a4a768dbdf651
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7d91bc82d67740f188de9e8d
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e852ced476014e4bb91d426b
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/8f8536cfb7a54cffb63d5c64
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/54cf61e204b24dc9a0b35ade
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/52afecebb4ab4f67bf11e62b
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/267a9a48f5f1432d94aad535
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/8236a9e42bb4409293454a29
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9aab8e1fc61e40839543fbe4
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7abaed468285429a8abdc243
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/4dc343b8d93249c3af53ba10
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/3fbb5fe3760e4979a6fe3c61
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/bed023fd7bea4bde8b6f4edc
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/26e91bf78e134024ac9791a1
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1a66890e0c344b0c8e269623
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/0704ec72d67e4c43b6269a05
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/82cea95808334c2684d435fc
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ca51f20e1ebb4c0e9a2da022
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/239ee8d0887e4d3cb26f91a3
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/45d1f8b5b51e40bfa7ac2512
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e3cca583db134d92a348ecdb
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e5d8fc5470a14b4cbe943d53
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/5c8452813df4467a804a86aa
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/de837bb8a43b4c13bc3fc61f
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/d9e1eaf06b95405482ea491f
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/baf68b0cfdc24a2a842c7b8a
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/b2d2e24e9e4f4261b372c564
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/cb15d79a36ba4934abca8a8c
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/180a238e3a5e4067b080bedf
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/b7a87e4836004b9fbd8a1aa6
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/0c6265c6f0014f668d7495bc
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/98ead566feb647b2af0e6231
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/629a7a0a0a8e485c9bfd491a
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f3bec5d18f2b4dd09d08b5a3
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/aed8f6a9a7d2401b88267fe3
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/97e5b66303574e90bb942f69
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f1c90ebc915148e39f6a4a7d
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/38124e64b52747db9d927425
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ccccaab7e3614b7aa9f58680
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/d03fd1b9258f405ab19ca202
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9aa778a020ec404693d29911
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/a6b9e6498acf4f859b76c7e9
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/21d2e182dbd64100b21156e9
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7d970db091b54cbeae3fe0ec
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/dd91c4de6a1f4ade844cf73a
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/8ddd7faa0a8742099eb0c04a
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/35408c546e8741a7a292c02b
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/fe913abeda1448648a5117b2
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/41ffe01dfc104152a8e19e91
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/fd623117031d41a5a805367d
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/55724e47ebea4b1294815a87
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/c2bf133b2f0a489f99d18e86
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/5bcdac77664c4fa2b4ab0365
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/6d99a8a78b4b4372a8e38a3c
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/2f796cd79bdc4eacb8beb077
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e3883a0725af48f09d6fdb5e
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/53056d90b8cf4ac68b2a98e3
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ed02e6be971342d5b5bc0c42
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/bd5e4eebbd9444778fd9ff3d
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f59dab2c8d0844cbae904e49
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9bb84f6322184e9d9a635bb8
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f6f4cc2c8444488383776883
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/4e757e4e48864d62949f2959
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/4e065c819b9f4f2bb97454ce
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ec7f7a66f47445329a79a8c9
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7b5ff8f43a484e0badddaebd
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/8b4c391d62af4cdfba3624dd
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f495cb51de8e43ccb7ef898f
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/5bcb6c9631f04952b0d350c4
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1d67af5763cf41cfbb7aaafb
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/cb437de8e4754561acf54843
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/cf23466fe8024d78a61c6159
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e87bb85ea17946859436cb53
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/b6622c3da76049388ab21ef7
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/6d2adff0ab2e4712bb36a2de
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/3aba48f9cc8c4b70af4ad1b2
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/77a93e602a724b1183b27c63
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/a28661a1c6414cf095ebfa9b
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7a77b821b7684f79b5fa3a6d
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/300c5e69100c4c0fa3c73d48
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/72b8fa7a36124f02b26ebd5b
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/fc77500f05f64692b0960998
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1a691a0664414fcba0cbdbc9
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/acfed3c7f9e44a44ae5bbb98
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e9fdccc96fb2404f8d8fe9cd
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f8e3c4ff5a764e6ab592e305
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/2e4680737c4e45ccaec585e3
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/884e09665c2c49198306b3da
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9d1727993d65423580d75329
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9b7b149dfdb749d2b356999e
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/254052af773f4f1ca5c45d78
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9ac3a19d6b6d4884b816505c
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/65f72e12c7b0401e9ba3fee0
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7486d535e58b4320a72a22da
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/75f272863d5c4b6aa3054e11
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/67e24b9ff20147919ac6d801
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/d3e8d072777e4496aa8d1c44
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/39157d58b68d455289401886
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/aad94697117f4bb58aaa55b1
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/6c52040d47c44e83a23b8735
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/bb2c57892f384fe9b6c156e0
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7efd706e69424422b7cc566a
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e1349b18828c4bad8682f67f
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7aa3632a76384ced96105ac5
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/27fd434264d949ac8989e2f4
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/2afc2bbdb4874b2985448b09
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/027eb1244a84472988bba279
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/94cbba96450e4843b81fb9d4
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/6e01190341204b6188127a51
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/cca78615ede546a79b757735
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/3b69a27518b44820ac65df6e
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/d1375533c29942e5be1858b7
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/d645672416374431a75c0d58
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/26f5fc3619ed4f42a1331d14
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e69070e9cbc24863b305f685
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ee06d1a638ec4822b46259e3
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/a6624e44ac9e45b6a1332e0f
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ad9d2e5fe15b4ab38101bb1e
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/8d7ff56d0f874bda9cd12213
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/cde7ea0067f0472d81124b6c
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1c4ffe43f81b444199cf3d7f
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/dd1084366a3e4f4680f87c24
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/142ce4f75f6246a49d05a30d
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/0ab8e20e8a204f06964762f8
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/a58b52fe40a449c6a7f7650e
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ec6a36fc5ccc48eb9bf81e22
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/08c92b86679b4fa8b0ad7c8d
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/b7acedd238dd459889f2c965
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/a00f347fb4c74fccab4635d3
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/b94fe88a1d674f35a00c62ba
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/34c88bbf86014d40b8303497
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/d1596793f59d4106b1d6a89d
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f41f3da6389a4085aacd284d
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ac10703614b34ca8b6c0d45a
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/04e91b57c98f401aab4a09dc
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/4239561f281849d8be140c8f
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9ae5c03dc5c24c46938ec823
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/526ab227be8444f3a5d6c73d
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/00db23a51e4e44809b23baab
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/511b801b4f9947418d42f3dc
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/11d69847342f4754bf6f1c8c
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/c9aaaf946368466eb4801afd
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/25e4635a059f44e18977b1fa
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/5860d185386d4d5e8069bf1e
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/3cd8a03bf5154cc0a2ab705e
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/9a258e11910d4135be531300
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/2b690926519048d29a2dbf6b
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/0fce488e9fc3491dba9d5f9b
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/4df0c44e43554728b50f1a39
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e1759a88a7444b76ae406149
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/3dcaca1bcc7e4bbab6ee3768
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/4f6d583853fb42c28b22f475
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/7d5fb1a9e7f64f5ea235c9da
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/02449a46e3ec4f01aa7d22a6
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/8f9d8763abeb44cb9025dde2
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/e68c96aa3f2444cfa727030c
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/0625342ae14549868080041f
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/1ea5cdbdb9d342a2a8141315
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/f322ea27a5c4451396bff4cf
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/c1b8cfdbdb1745e0a1f52317
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/5a6299549afd44d081162f2a
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/2e7202d21e414678aaa79504
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/010073f4ec6547c5b4fd0683
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/251d084d3f9548368fb806c9
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/aa44b48e080244ce830a0218
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/ffab6c43ca264a168ad7178c
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/fef28386c0fe466b9c78ad6d
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/93c7f3045f1743119182036c
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/d0d96f5949a34784acfa24ca
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/33ed2e9f5f7d404aaaaba620/34f6f6e5aa50417aa6b380ce