Campaign Summary
ID: 759f6ff6f2f04c70aa44fb38
Started: 2026-07-19 09:12:19.078478
Finished: 2026-07-19 09:12:59.252672
Duration: 40.2s
71
Workloads
284
Cases
284
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.4189
cold mean ms
0.0123
warm mean ms
0.0106
warm median ms
0.0055
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
1.9639
cold mean ms
0.0160
warm mean ms
0.0172
warm median ms
0.0028
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.0936
cold mean ms
0.6522
warm mean ms
0.6026
warm median ms
0.0902
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.4849
cold mean ms
0.6749
warm mean ms
0.6731
warm median ms
0.0144
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
3.5927
cold mean ms
0.4576
warm mean ms
0.4607
warm median ms
0.0084
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
2.1951
cold mean ms
0.0507
warm mean ms
0.0525
warm median ms
0.0038
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
2.3039
cold mean ms
0.0754
warm mean ms
0.0681
warm median ms
0.0153
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
1.1638
cold mean ms
0.8961
warm mean ms
0.9872
warm median ms
0.1682
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
2.9776
cold mean ms
0.7849
warm mean ms
0.7726
warm median ms
0.0583
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
7.6292
cold mean ms
1.6759
warm mean ms
1.6861
warm median ms
0.0332
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.0885
cold mean ms
0.5915
warm mean ms
0.5842
warm median ms
0.0172
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
6.3571
cold mean ms
0.9312
warm mean ms
0.9222
warm median ms
0.0173
warm stdev ms
100%
success rate
0
mismatches
web.url_router
1.4206
cold mean ms
0.4696
warm mean ms
0.4051
warm median ms
0.1129
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
5.3278
cold mean ms
3.1179
warm mean ms
3.1300
warm median ms
0.0617
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
12.8679
cold mean ms
8.3049
warm mean ms
7.8659
warm median ms
1.0688
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
1.1372
cold mean ms
0.5633
warm mean ms
0.5501
warm median ms
0.0240
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
2.9353
cold mean ms
0.4582
warm mean ms
0.4503
warm median ms
0.0215
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
9.5907
cold mean ms
8.7768
warm mean ms
8.7400
warm median ms
0.0858
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
2.7228
cold mean ms
1.0720
warm mean ms
1.0419
warm median ms
0.0852
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
4.4670
cold mean ms
2.0732
warm mean ms
2.0829
warm median ms
0.0838
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
20.5302
cold mean ms
16.8725
warm mean ms
16.8491
warm median ms
0.1920
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.1950
cold mean ms
0.7245
warm mean ms
0.7436
warm median ms
0.1156
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
3.5873
cold mean ms
0.5605
warm mean ms
0.5586
warm median ms
0.0055
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
2.2951
cold mean ms
0.4913
warm mean ms
0.4073
warm median ms
0.1584
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
8.1987
cold mean ms
0.5174
warm mean ms
0.5248
warm median ms
0.0204
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
2.4889
cold mean ms
0.2340
warm mean ms
0.2415
warm median ms
0.0165
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
4.7432
cold mean ms
2.2991
warm mean ms
1.9677
warm median ms
0.6420
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
3.1695
cold mean ms
2.4070
warm mean ms
2.3790
warm median ms
0.0610
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
34.3207
cold mean ms
15.7403
warm mean ms
13.8166
warm median ms
3.5076
warm stdev ms
100%
success rate
0
mismatches
text.word_count
5.5541
cold mean ms
3.0659
warm mean ms
3.0714
warm median ms
0.0255
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
4.2605
cold mean ms
1.4413
warm mean ms
1.4445
warm median ms
0.0220
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
4.5711
cold mean ms
3.0077
warm mean ms
2.4640
warm median ms
0.9947
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
4.2061
cold mean ms
2.1697
warm mean ms
2.1719
warm median ms
0.0798
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
5.8783
cold mean ms
0.4350
warm mean ms
0.4098
warm median ms
0.0503
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
4.2509
cold mean ms
0.2359
warm mean ms
0.2087
warm median ms
0.0631
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
4.5276
cold mean ms
1.3646
warm mean ms
1.3376
warm median ms
0.0609
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
0.6839
cold mean ms
0.4966
warm mean ms
0.4946
warm median ms
0.0711
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
2.1454
cold mean ms
0.2846
warm mean ms
0.2844
warm median ms
0.0237
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
245.3291
cold mean ms
226.0134
warm mean ms
223.9493
warm median ms
9.5665
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
16.3277
cold mean ms
11.1633
warm mean ms
11.1836
warm median ms
0.8376
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
0.9874
cold mean ms
0.0936
warm mean ms
0.0942
warm median ms
0.0113
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
4.7265
cold mean ms
1.0373
warm mean ms
1.1247
warm median ms
0.2338
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
4.9308
cold mean ms
0.1642
warm mean ms
0.1659
warm median ms
0.0063
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
5.2553
cold mean ms
0.3980
warm mean ms
0.3710
warm median ms
0.0537
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
3.5369
cold mean ms
0.1724
warm mean ms
0.1737
warm median ms
0.0037
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
4.8184
cold mean ms
0.2666
warm mean ms
0.2640
warm median ms
0.0046
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
13.4172
cold mean ms
10.0300
warm mean ms
10.2648
warm median ms
0.5979
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
17.0729
cold mean ms
14.0951
warm mean ms
14.1526
warm median ms
0.1953
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
2.4931
cold mean ms
0.9465
warm mean ms
0.9345
warm median ms
0.0485
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
13.1170
cold mean ms
10.9704
warm mean ms
10.5232
warm median ms
0.8966
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
4.1678
cold mean ms
2.5854
warm mean ms
2.4230
warm median ms
0.2861
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
4.0428
cold mean ms
0.6856
warm mean ms
0.6701
warm median ms
0.0335
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
1.3890
cold mean ms
0.6636
warm mean ms
0.6792
warm median ms
0.0336
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
1.2829
cold mean ms
0.4825
warm mean ms
0.4851
warm median ms
0.0350
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
24.1725
cold mean ms
13.8856
warm mean ms
11.8343
warm median ms
3.7980
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
17.7449
cold mean ms
7.3047
warm mean ms
6.4986
warm median ms
1.5367
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
2.1707
cold mean ms
1.3502
warm mean ms
1.3489
warm median ms
0.0326
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
2.2174
cold mean ms
0.0685
warm mean ms
0.0685
warm median ms
0.0002
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
3.1909
cold mean ms
0.3113
warm mean ms
0.3149
warm median ms
0.0163
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
12.9847
cold mean ms
2.7408
warm mean ms
2.6929
warm median ms
0.0975
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
2.3279
cold mean ms
0.1870
warm mean ms
0.1894
warm median ms
0.0066
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
1.8212
cold mean ms
0.4874
warm mean ms
0.4796
warm median ms
0.0176
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.7438
cold mean ms
0.0620
warm mean ms
0.0621
warm median ms
0.0003
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
2.1869
cold mean ms
0.7459
warm mean ms
0.7512
warm median ms
0.0341
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
2.9577
cold mean ms
0.0744
warm mean ms
0.0769
warm median ms
0.0045
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
2.4349
cold mean ms
0.3418
warm mean ms
0.3540
warm median ms
0.0299
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
19.9084
cold mean ms
16.9154
warm mean ms
16.8664
warm median ms
0.2286
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
7.9389
cold mean ms
3.6899
warm mean ms
3.7314
warm median ms
0.2121
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
10.5129
cold mean ms
3.8660
warm mean ms
3.8315
warm median ms
0.0823
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
5.1777
cold mean ms
0.6709
warm mean ms
0.6826
warm median ms
0.0295
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
10.0417
cold mean ms
2.2466
warm mean ms
2.0229
warm median ms
0.4196
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 12.8679 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 7.8659 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 9.5232 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 7.5255 | 0.00s |
| compression.run_length_encode | cold | success | match | 5.1777 | 0.00s |
| compression.run_length_encode | warm | success | match | 0.6826 | 0.00s |
| compression.run_length_encode | warm | success | match | 0.6374 | 0.00s |
| compression.run_length_encode | warm | success | match | 0.6927 | 0.00s |
| core.factorial_sum | cold | success | match | 0.7438 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0621 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0617 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0623 | 0.00s |
| core.fibonacci_sum | cold | success | match | 1.8212 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.4796 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.4750 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.5075 | 0.00s |
| core.float_reduction | cold | success | match | 1.9639 | 0.00s |
| core.float_reduction | warm | success | match | 0.0172 | 0.00s |
| core.float_reduction | warm | success | match | 0.0128 | 0.00s |
| core.float_reduction | warm | success | match | 0.0179 | 0.00s |
| core.integer_sum | cold | success | match | 0.4189 | 0.00s |
| core.integer_sum | warm | success | match | 0.0079 | 0.00s |
| core.integer_sum | warm | success | match | 0.0185 | 0.00s |
| core.integer_sum | warm | success | match | 0.0106 | 0.00s |
| core.list_filter | cold | success | match | 0.0936 | 0.00s |
| core.list_filter | warm | success | match | 0.7563 | 0.00s |
| core.list_filter | warm | success | match | 0.6026 | 0.00s |
| core.list_filter | warm | success | match | 0.5978 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 4.8184 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 0.2640 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 0.2719 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 0.2639 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 5.3278 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 3.0510 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 3.1300 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 3.1727 | 0.00s |
| crypto.simple_checksum | cold | success | match | 2.4349 | 0.00s |
| crypto.simple_checksum | warm | success | match | 0.3077 | 0.00s |
| crypto.simple_checksum | warm | success | match | 0.3540 | 0.00s |
| crypto.simple_checksum | warm | success | match | 0.3637 | 0.00s |
| crypto.xor_cipher | cold | success | match | 4.5276 | 0.00s |
| crypto.xor_cipher | warm | success | match | 1.4344 | 0.00s |
| crypto.xor_cipher | warm | success | match | 1.3218 | 0.00s |
| crypto.xor_cipher | warm | success | match | 1.3376 | 0.00s |
| data_processing.csv_parse | cold | success | match | 1.1638 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.9872 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.9991 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.7020 | 0.00s |
| data_processing.json_extract | cold | success | match | 2.1869 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.7095 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.7770 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.7512 | 0.00s |
| database.group_by_sum | cold | success | match | 4.9308 | 0.00s |
| database.group_by_sum | warm | success | match | 0.1659 | 0.00s |
| database.group_by_sum | warm | success | match | 0.1573 | 0.00s |
| database.group_by_sum | warm | success | match | 0.1695 | 0.00s |
| database.word_count_index | cold | success | match | 4.2061 | 0.00s |
| database.word_count_index | warm | success | match | 2.2484 | 0.00s |
| database.word_count_index | warm | success | match | 2.0888 | 0.00s |
| database.word_count_index | warm | success | match | 2.1719 | 0.00s |
| etl.distinct_count | cold | success | match | 10.0417 | 0.00s |
| etl.distinct_count | warm | success | match | 2.7306 | 0.00s |
| etl.distinct_count | warm | success | match | 1.9862 | 0.00s |
| etl.distinct_count | warm | success | match | 2.0229 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 2.9353 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 0.4503 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 0.4825 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 0.4419 | 0.00s |
| etl.merge_join | cold | success | match | 9.5907 | 0.00s |
| etl.merge_join | warm | success | match | 8.7400 | 0.00s |
| etl.merge_join | warm | success | match | 8.7155 | 0.00s |
| etl.merge_join | warm | success | match | 8.8748 | 0.00s |
| etl.top_n_selection | cold | success | match | 0.6839 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.4946 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.4265 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.5686 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 13.4172 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 9.3503 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 10.4750 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 10.2648 | 0.00s |
| financial.compound_interest | cold | success | match | 1.3890 | 0.00s |
| financial.compound_interest | warm | success | match | 0.6792 | 0.00s |
| financial.compound_interest | warm | success | match | 0.6865 | 0.00s |
| financial.compound_interest | warm | success | match | 0.6250 | 0.00s |
| financial.moving_average | cold | success | match | 3.5873 | 0.00s |
| financial.moving_average | warm | success | match | 0.5586 | 0.00s |
| financial.moving_average | warm | success | match | 0.5563 | 0.00s |
| financial.moving_average | warm | success | match | 0.5667 | 0.00s |
| graph.bfs | cold | success | match | 2.4889 | 0.00s |
| graph.bfs | warm | success | match | 0.2454 | 0.00s |
| graph.bfs | warm | success | match | 0.2151 | 0.00s |
| graph.bfs | warm | success | match | 0.2415 | 0.00s |
| graph.dijkstra | cold | success | match | 24.1725 | 0.00s |
| graph.dijkstra | warm | success | match | 11.8343 | 0.00s |
| graph.dijkstra | warm | success | match | 11.5543 | 0.00s |
| graph.dijkstra | warm | success | match | 18.2683 | 0.00s |
| graph.floyd_warshall | cold | success | match | 10.5129 | 0.00s |
| graph.floyd_warshall | warm | success | match | 3.9600 | 0.00s |
| graph.floyd_warshall | warm | success | match | 3.8066 | 0.00s |
| graph.floyd_warshall | warm | success | match | 3.8315 | 0.00s |
| image.box_blur | cold | success | match | 16.3277 | 0.00s |
| image.box_blur | warm | success | match | 10.3157 | 0.00s |
| image.box_blur | warm | success | match | 11.1836 | 0.00s |
| image.box_blur | warm | success | match | 11.9905 | 0.00s |
| image.convolution_1d | cold | success | match | 19.9084 | 0.00s |
| image.convolution_1d | warm | success | match | 17.1644 | 0.00s |
| image.convolution_1d | warm | success | match | 16.7152 | 0.00s |
| image.convolution_1d | warm | success | match | 16.8664 | 0.00s |
| image.grayscale_filter | cold | success | match | 1.1372 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.5910 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.5501 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.5489 | 0.00s |
| image.sobel_edge | cold | success | match | 13.1170 | 0.00s |
| image.sobel_edge | warm | success | match | 10.3853 | 0.00s |
| image.sobel_edge | warm | success | match | 12.0026 | 0.00s |
| image.sobel_edge | warm | success | match | 10.5232 | 0.00s |
| iot.rolling_average | cold | success | match | 2.9776 | 0.00s |
| iot.rolling_average | warm | success | match | 0.7338 | 0.00s |
| iot.rolling_average | warm | success | match | 0.7726 | 0.00s |
| iot.rolling_average | warm | success | match | 0.8483 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 2.3279 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.1921 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.1894 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.1796 | 0.00s |
| ml.knn_inference | cold | success | match | 0.1950 | 0.00s |
| ml.knn_inference | warm | success | match | 0.7436 | 0.00s |
| ml.knn_inference | warm | success | match | 0.8295 | 0.00s |
| ml.knn_inference | warm | success | match | 0.6006 | 0.00s |
| ml.perceptron_predict | cold | success | match | 4.0428 | 0.00s |
| ml.perceptron_predict | warm | success | match | 0.6701 | 0.00s |
| ml.perceptron_predict | warm | success | match | 0.6626 | 0.00s |
| ml.perceptron_predict | warm | success | match | 0.7240 | 0.00s |
| numerical.dot_product | cold | success | match | 0.4849 | 0.00s |
| numerical.dot_product | warm | success | match | 0.6615 | 0.00s |
| numerical.dot_product | warm | success | match | 0.6902 | 0.00s |
| numerical.dot_product | warm | success | match | 0.6731 | 0.00s |
| numerical.gcd_loop | cold | success | match | 4.1678 | 0.00s |
| numerical.gcd_loop | warm | success | match | 2.9158 | 0.00s |
| numerical.gcd_loop | warm | success | match | 2.4230 | 0.00s |
| numerical.gcd_loop | warm | success | match | 2.4175 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 3.5927 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 0.4607 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 0.4481 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 0.4640 | 0.00s |
| numerical.matrix_vector | cold | success | match | 4.2605 | 0.00s |
| numerical.matrix_vector | warm | success | match | 1.4179 | 0.00s |
| numerical.matrix_vector | warm | success | match | 1.4616 | 0.00s |
| numerical.matrix_vector | warm | success | match | 1.4445 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 2.1951 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0463 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0532 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0525 | 0.00s |
| numerical.prime_sieve | cold | success | match | 2.3039 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.0930 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.0681 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.0651 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 0.9874 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.1046 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0821 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0942 | 0.00s |
| object.bank_account | cold | success | match | 2.1707 | 0.00s |
| object.bank_account | warm | success | match | 1.3489 | 0.00s |
| object.bank_account | warm | success | match | 1.3835 | 0.00s |
| object.bank_account | warm | success | match | 1.3183 | 0.00s |
| object.shape_area | cold | success | match | 3.1695 | 0.00s |
| object.shape_area | warm | success | match | 2.3790 | 0.00s |
| object.shape_area | warm | success | match | 2.4770 | 0.00s |
| object.shape_area | warm | success | match | 2.3651 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 2.2951 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.4073 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.3926 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.6740 | 0.00s |
| parsing.ini_parse | cold | success | match | 8.1987 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.4944 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.5331 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.5248 | 0.00s |
| parsing.log_line_parse | cold | success | match | 1.2829 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.4851 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.4462 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.5161 | 0.00s |
| regex.email_like_match | cold | success | match | 5.2553 | 0.00s |
| regex.email_like_match | warm | success | match | 0.3710 | 0.00s |
| regex.email_like_match | warm | success | match | 0.4598 | 0.00s |
| regex.email_like_match | warm | success | match | 0.3631 | 0.00s |
| regex.wildcard_match | cold | success | match | 5.8783 | 0.00s |
| regex.wildcard_match | warm | success | match | 0.4023 | 0.00s |
| regex.wildcard_match | warm | success | match | 0.4930 | 0.00s |
| regex.wildcard_match | warm | success | match | 0.4098 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 4.7265 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 1.1247 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.7725 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 1.2148 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 4.5711 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 2.4640 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 2.4033 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 4.1557 | 0.00s |
| serialization.csv_serialize | cold | success | match | 2.2174 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.0685 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.0684 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.0688 | 0.00s |
| serialization.json_serialize | cold | success | match | 34.3207 | 0.00s |
| serialization.json_serialize | warm | success | match | 19.7889 | 0.00s |
| serialization.json_serialize | warm | success | match | 13.8166 | 0.00s |
| serialization.json_serialize | warm | success | match | 13.6155 | 0.00s |
| simulation.conway_life | cold | success | match | 12.9847 | 0.00s |
| simulation.conway_life | warm | success | match | 2.6765 | 0.00s |
| simulation.conway_life | warm | success | match | 2.8530 | 0.00s |
| simulation.conway_life | warm | success | match | 2.6929 | 0.00s |
| simulation.particle_movement | cold | success | match | 20.5302 | 0.00s |
| simulation.particle_movement | warm | success | match | 16.6933 | 0.00s |
| simulation.particle_movement | warm | success | match | 17.0751 | 0.00s |
| simulation.particle_movement | warm | success | match | 16.8491 | 0.00s |
| sorting.merge_sort | cold | success | match | 4.7432 | 0.00s |
| sorting.merge_sort | warm | success | match | 3.0390 | 0.00s |
| sorting.merge_sort | warm | success | match | 1.8905 | 0.00s |
| sorting.merge_sort | warm | success | match | 1.9677 | 0.00s |
| sorting.quick_sort | cold | success | match | 17.7449 | 0.00s |
| sorting.quick_sort | warm | success | match | 6.4986 | 0.00s |
| sorting.quick_sort | warm | success | match | 9.0767 | 0.00s |
| sorting.quick_sort | warm | success | match | 6.3389 | 0.00s |
| statistics.correlation | cold | success | match | 7.9389 | 0.00s |
| statistics.correlation | warm | success | match | 3.4601 | 0.00s |
| statistics.correlation | warm | success | match | 3.7314 | 0.00s |
| statistics.correlation | warm | success | match | 3.8782 | 0.00s |
| statistics.histogram | cold | success | match | 2.1454 | 0.00s |
| statistics.histogram | warm | success | match | 0.2610 | 0.00s |
| statistics.histogram | warm | success | match | 0.2844 | 0.00s |
| statistics.histogram | warm | success | match | 0.3084 | 0.00s |
| statistics.mean_variance | cold | success | match | 17.0729 | 0.00s |
| statistics.mean_variance | warm | success | match | 14.1526 | 0.00s |
| statistics.mean_variance | warm | success | match | 14.2552 | 0.00s |
| statistics.mean_variance | warm | success | match | 13.8775 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.0885 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.5842 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.6112 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.5792 | 0.00s |
| stdlib.json_parse | cold | success | match | 7.6292 | 0.00s |
| stdlib.json_parse | warm | success | match | 1.6387 | 0.00s |
| stdlib.json_parse | warm | success | match | 1.6861 | 0.00s |
| stdlib.json_parse | warm | success | match | 1.7027 | 0.00s |
| string.dna_count | cold | success | match | 245.3291 | 0.00s |
| string.dna_count | warm | success | match | 223.9493 | 0.00s |
| string.dna_count | warm | success | match | 236.4435 | 0.00s |
| string.dna_count | warm | success | match | 217.6475 | 0.00s |
| string.log_parser | cold | success | match | 2.7228 | 0.00s |
| string.log_parser | warm | success | match | 1.0419 | 0.00s |
| string.log_parser | warm | success | match | 1.1682 | 0.00s |
| string.log_parser | warm | success | match | 1.0059 | 0.00s |
| string.palindrome_pairs | cold | success | match | 2.4931 | 0.00s |
| string.palindrome_pairs | warm | success | match | 0.9345 | 0.00s |
| string.palindrome_pairs | warm | success | match | 0.9051 | 0.00s |
| string.palindrome_pairs | warm | success | match | 0.9999 | 0.00s |
| text.sentiment_score | cold | success | match | 3.1909 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3254 | 0.00s |
| text.sentiment_score | warm | success | match | 0.2935 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3149 | 0.00s |
| text.word_count | cold | success | match | 5.5541 | 0.00s |
| text.word_count | warm | success | match | 3.0883 | 0.00s |
| text.word_count | warm | success | match | 3.0714 | 0.00s |
| text.word_count | warm | success | match | 3.0381 | 0.00s |
| tree.bst_operations | cold | success | match | 4.4670 | 0.00s |
| tree.bst_operations | warm | success | match | 1.9850 | 0.00s |
| tree.bst_operations | warm | success | match | 2.1518 | 0.00s |
| tree.bst_operations | warm | success | match | 2.0829 | 0.00s |
| web.cookie_parse | cold | success | match | 3.5369 | 0.00s |
| web.cookie_parse | warm | success | match | 0.1682 | 0.00s |
| web.cookie_parse | warm | success | match | 0.1737 | 0.00s |
| web.cookie_parse | warm | success | match | 0.1752 | 0.00s |
| web.html_tag_count | cold | success | match | 2.9577 | 0.00s |
| web.html_tag_count | warm | success | match | 0.0769 | 0.00s |
| web.html_tag_count | warm | success | match | 0.0692 | 0.00s |
| web.html_tag_count | warm | success | match | 0.0770 | 0.00s |
| web.http_parser | cold | success | match | 6.3571 | 0.00s |
| web.http_parser | warm | success | match | 0.9512 | 0.00s |
| web.http_parser | warm | success | match | 0.9202 | 0.00s |
| web.http_parser | warm | success | match | 0.9222 | 0.00s |
| web.query_string_parse | cold | success | match | 4.2509 | 0.00s |
| web.query_string_parse | warm | success | match | 0.1911 | 0.00s |
| web.query_string_parse | warm | success | match | 0.3080 | 0.00s |
| web.query_string_parse | warm | success | match | 0.2087 | 0.00s |
| web.url_router | cold | success | match | 1.4206 | 0.00s |
| web.url_router | warm | success | match | 0.4037 | 0.00s |
| web.url_router | warm | success | match | 0.6000 | 0.00s |
| web.url_router | warm | success | match | 0.4051 | 0.00s |
Proof Packs
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/d37206d00e494112b2c44a83
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/828db1986ab941c3a030f663
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/91d0b683032f4a0ba0c42d49
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/4eb5c01aa3344d32a44bb52a
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/074ae300693d4b458dd2cb53
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c9170337ab8944a9834e6c29
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/ea76de7d3f3b44468e636107
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f92e11da456f41e2bf1f6c37
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/bd40771a2cc34b3b8876c029
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/2affce742dec466d953b91c0
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f686b1593595443f9da0e4ea
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/8a695277321247f5ac676e0c
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7734222a1db54a29956e838d
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/438ba6e1cfea44dcb5f1afe2
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/11966a93d7f14c3986734e78
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/9d00e7e0b01d4994af6c5a0d
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/886222e084474bbda9729c7d
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/8b6fb81ebefb4bf7b34a5a4d
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b46d2e2f8c9f4fdcb510749a
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/fd03730cc9a445c9b5ce057d
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a1d2ae3c2acb4eab86faa1ca
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/48605106479e4242b87ded88
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f23db9974d0a4eb48f1860c7
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7cb12e2e342e4035b7e8f6cf
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/65eebad4027545a0b1b14648
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1481b04df94e4aee898b2e63
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/041b6b6bece747e795109c92
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/dcdb8b621ed9463f9ad631e9
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/e6c51c07ebb744db966cfeab
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/805c1f5c455e4809a801bc33
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b027d08e0b204602bae7acd5
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/0f93583317124dbd96c1a072
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f122305ed461434595154c18
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a087bf715cbc454e8d2f46f2
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/d3ef7289edb74f44a8ec688b
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1d05a8864d76479196997496
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/977a5f1d6fc54cdca877ef0e
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/8e8673d7caa14036a01a3efe
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/bf7fcfab55be4073ae88c30f
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/374046124e3c498bbbf506d2
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/21a5cae4b1db436ba507d824
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/64e26589f6524c5497811798
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/570a8cf1394143d5adceeef8
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c21b732220964c41a4e08d49
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/6dbe0d2c2a504741b43d51ba
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c2720f2d3521414f85d24ad9
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/12d16bbc1a334275909afe55
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/5f87bd82fc2a4996909ba1c9
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/bdf453b1df7d4b70a55e40a4
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/e1c8eb3659fd41c7ab7e6821
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a2f66f1205fc40dd81971ded
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/ea2433835e954b518e65f1c4
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/ba9c2a2f9ec84b38a972e6a8
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7acb7639c50846a3a1067809
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/02ee042e7c7f4abb963b9025
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/8adfddb70a16471382084a32
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/51b64394de0544a9958d16c8
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/9fdce73bb6f842e9bde3062e
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/2aa5e23751cd4f50a64ade0e
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/d727276c285c43e582d24f8b
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/9d05ed712c31405cabd2ac56
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/25ab74c6125c42f98e698a89
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1e3cdad907bf4d6bb78f4f60
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/6263dd023bd74dc0925677e0
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/30db5b3f906d4f389aa2fc0d
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a9c4c9c7cdd2403da246aa23
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/8456f432742346559d9ac670
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/84adb4005b10459691fb97f3
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f77536205f244f7691639ca0
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c151386b2664418aa41b6326
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/8bc53ee7d54941608f3a161c
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/5e14f4308acb434aad74c23c
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/ccf99c9f57874405be5c3dd9
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/288b7bfb31774559b12afdc5
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/3bb92a92471e4841bf85e4d9
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/438dabc58cb8484dbf0959bc
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b1a294a542574e4698362cc9
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a9bd3dcdb15e4c3496f7b575
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/e5543bffedf349d3b057968b
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/2e6d7056d0f445ad9a97a480
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/887b0115ed624e6187130a7a
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/bdad25641dc04eecaff63742
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/15b32929b7f04b35931d890d
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/4f36e5a6070e472a91ca4838
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/502915ab665949dfb2b40ea3
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/66d2f270469d4e22b445bab7
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/970c45c878564854a61b7ea3
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/2dea80be111e4e1bb72a494c
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/89a83e86160c440db858291e
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/47f35b74607f49ff8be032a8
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/ffc35db197234eafae982aec
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/d12700d182794d579759496c
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c79f81563359412ab89fac60
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/dbaeeb7f444e42d9bccff0c1
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b4ffd001b36a412fa504e290
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a7d9b04a52a345debf9f9427
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/e918a17ac83f42dfa335e344
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7913214b5fa34e8ea8726167
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/77bc6f393c26436ea175149c
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7a797aafbf3345e382bfff4b
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/0600b0dac87c42c4bff74375
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/5f85bfff964242cdb0181681
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/501c530b6bbe483989cb3d61
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/717db080468d423987462562
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7f4bff746e0549ba967292a0
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/cbe587c66bcf401bab09cef9
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/efb642c1ca1946169132b63f
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/ac3a5ac2f67d4cc2ba024f7c
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/899b1034aa144e3981a4d88b
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/0591fa74f8574f028af43d12
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/82c36d1de9e2472691851941
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/796ce564ec344114aaf710da
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/60c12367266544d8b6f01494
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/fc618f19a4e7435ca93ca403
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b33b7eb1abc740d2b9f6bb6e
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/d0222e113f0340a28525b7ec
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/648324dcc249487fafb3ebe6
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/e6602641ecc944e7aeeeca3f
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/62fab9282a8c44b186598eb4
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/fb196075032f43418c014457
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/01bb6b94d19a4d54a71aba58
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/aa8f13f302884c3b88638328
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/98201d251ed643e4b1ab9bff
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/89d4811be99f466999c928fa
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b2895b50964b47cebf0ca2ce
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/d2ab8c5c03d54be0902a55ee
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/4503e533c36149c38ca7257c
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/12713ac6c7974f22ad91891a
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/2f42a5a0aede4511adcb88ad
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a32e8d863db74c3f860ca06e
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b0c0f174cb8c4f229778b146
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/32451624076848c890c61821
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/bdf9f1b10c4a4d95aa48121a
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/3f3392cdd18d4701b1134efc
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/99df3c9e3ebf45be915cacfc
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/fe7cb409b5c8446f9e4f73e8
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7ca98241217744a5b5b74a8b
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/0740a0c7096b4b7abe7dd825
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a7913977a9a44efe9176faed
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/aa55f48d9cec4d6090ddcc85
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/bcb9e8942f36464fb6c5db7d
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/be900a8328364e09afdeb760
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/813fa09f9290432c8158af74
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/695fe9beacaa43abb9436107
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/ec181e844c324699820a65b2
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/0cc4c55d0ff94fa2a17374a8
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/8ec031521e114bcbabaf921e
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/055dfe255a8944f480ee3e5e
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/818a465758cb4839bf51bdfc
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/eafcf68026f3458aa439aceb
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/4ffe4e4805d34fc69361085c
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1862234051754da19e62303d
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1178461c277f41d683eff933
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7e83ff6ba88c45b3bdb424f6
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/aed278fb7a784a468159b982
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7d5ce6e292c14493bde5da9f
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/196f0c832c2249bf81ee0253
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c6f97f458cab46a49d1c961a
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/3122ad2bd711458eb8664ce9
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/836116531f9441e8b588ffd6
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b36edfa099034656b0fa6892
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/61da867627d048d881c83099
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/57519e01fa404119bbd08e6b
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a47990ce18954fbf8d6585f3
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/47be84d1209c466e92685e0b
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1639dde7a8e842498d240cb6
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/4e6c9a3f0a0c4fbcb858d43d
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/d84e2b3511984a909fc991da
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/eb60e8932a7c43459a0ce84e
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f64a80fd6a86419ba2e830c5
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/d8c5663c774d47f2abf0884e
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7e92c87365e04cd4a0371eb9
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/776c1eee0c184a5e87f73641
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a31ec5b5d1ee4413acab0a8b
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/6e245e844e8e4981b9595a6f
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/5fade4f32c594765860eaddf
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/0be09780489a4bd392f39377
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/69e762b8ebc34b839a79910f
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/77d067e594d8431989c03889
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/eeb8877bbfe14695be1f0ab4
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f9ec4f5eafb548a893c6f192
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/37bdcc44b20d4439856b9cac
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/99addd2cf34a4019bd184b7e
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/e23e8f1180cf4d2fb9df70fd
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1e5a955474c44352a4d39ea9
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b21c54c074134b5ea7732138
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/4b234632edcb442b8e85793b
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c20e5398222e43afa203c391
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1c5f9219333445f89a0e7f36
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/e5b98559a90b43179bcc4044
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/5ad35264343345338baa8e50
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1d1f7fb7ebb6465787270faa
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/168247368271468da2e0f106
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b3a3f99064894c5ea026a2bb
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/273213e1e3064a43959adc92
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c90ad56445954307adb16d4b
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a1aa994d49c54509966b1fd2
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1f79582852d144fc9cca3ddd
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/e262d070df1148de994fffda
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a0b5dfbc3226401dbb178846
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/6e7977845b6840358b4865fa
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/bf0a92b48d714ec4a6160eb9
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7ee18112744a43a6820e3df3
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/e8f9022264374247b83aa10b
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7a351d264876434f9b85091b
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c6fd32d50a604ae1939f0b12
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c4a0b648397146728f67c2a8
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/3a06fcf6356e4a289a63a125
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c59ca3030ab5429ba15199de
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7f9260d038554e1eaab889dd
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/d09dad506d6a4463903faa38
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1a2456c0f1584ad6bcb75027
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/e836143f2c1f42c6baa1cd9c
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/5ecf68ab2b834171ad459f8f
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/fe0898ffb222406caaa35787
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/4b8af4a3b65d4af3a2d17d35
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/3cf9216b7c0e4a8cb4019360
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/3623898fb93c44a08f670329
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f72f5a489e5a44e1b2f42067
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a84dc209b519438291bf2956
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/750235deac7a44bd8c2c925b
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/02afa7a6537e4b7d927a641e
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a1343cd69dd345a383fc0f4c
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/9d791037bb8640baade9a327
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c5202e5b77aa4b9d91ee8e70
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/898ff69ca8014ef291291421
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/46502d17da1b4d46904ef668
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/46ae74ac05344a0b846a4472
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/bcdd43e03bcf4029983533c0
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/4ff081039faf41daaff49de7
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/acf9861bfe4d49e3b5096b18
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/852183c3914144c38b704cfd
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/abe221a45a174e3490d8f728
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/57d7fba263ae439c8738d8e8
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/0b607ff40af7459381ab0f2c
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/dea80da8e0dd4b66aae4290d
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/18ab397209304c57b5fc31a9
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/386cd0247f7a41418ed3edef
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/bd40f8cbe2a447e192787c4d
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/af98a87629d04927a9f58396
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/3a6df546515d4a0488ea06d1
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/210fade8170b416a9a9be48c
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/42b07ca9ebf441f79fbdcae0
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7dfcb09462b045a896222fbe
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/5f36647ab5604f8b875084d2
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/7ec776cdc39547908ebba79d
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/3a3b39bd2dda40bbb6c8cd73
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/0644f22e23ed4cee98d50896
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f7e8547ac95b46a4bf6f8fb5
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/3ad38b844b1d452a84223934
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/ad983708880d4b639916bcf9
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/be2ebcc53c2f4f578ca0a990
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/911d4688bc6e4463b4fad3e9
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/15de6d952b5046b9b07e70f0
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/45ea509aa3164a9f9a9cb358
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/98888ed08a554fb68395fa89
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/a1b928269e0349a2abb28b72
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/8b3590de5565407bb1a578b2
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/3c8789364bad44e4a2374e8b
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/46d0647cc54f49239d706d01
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/0cef10b527a3406bb8f10267
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/4ee26da00db94224b3d43d25
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/ca3db0c78a1f47838b2be1f5
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/988cb37dd8254a29bf39c27d
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/973caf4260e44197aa1dff26
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/aef86ed18a784fb99bd5f644
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/c74117ca03d34a1081574f76
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/0b4d3762160a413b91852c93
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/4dc48ce0d78e45879895c3d2
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/1a4636a2abbb42ceb84cd368
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f3a7011050ad4b3480d6b024
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/2046fb2f44904ab688ad986f
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/30c3b066195b497f9f4eae42
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f519c4ea2c414344b9e23e90
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b1679a0d1fff49a5b723b713
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/fd48f6214f2841c693ae57d7
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/8e67d3909ce1400c8e94c718
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b0733fb61e6a48288059136a
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/b2aabe4a51a44a5db1772b18
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/2150f5e6c20f4f67a53dc460
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/f66277db2ded49098f760c98
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/16da36cd71ec4ff1be89e092
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/508e6b5892c64bf0959dbdde
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/759f6ff6f2f04c70aa44fb38/257efc93c5ad451bb2dbbb25