Campaign Summary
ID: 25c43d5ac41545daa73c5a72
Started: 2026-07-19 12:34:20.708645
Finished: 2026-07-19 12:39:15.396891
Duration: 294.7s
71
Workloads
284
Cases
271
Passed
13
Failed
4
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.0709
cold mean ms
0.0065
warm mean ms
0.0064
warm median ms
0.0004
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
0.0936
cold mean ms
0.0153
warm mean ms
0.0152
warm median ms
0.0002
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
1.8980
cold mean ms
0.5236
warm mean ms
0.5235
warm median ms
0.0019
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.0534
cold mean ms
0.0608
warm mean ms
0.0668
warm median ms
0.0129
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
numerical.monte_carlo_pi
0.0886
cold mean ms
0.0177
warm mean ms
0.0177
warm median ms
0.0002
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
data_processing.csv_parse
1.4437
cold mean ms
0.1072
warm mean ms
0.0945
warm median ms
0.0314
warm stdev ms
100%
success rate
4
mismatches
iot.rolling_average
0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
stdlib.json_parse
8.6208
cold mean ms
3.2196
warm mean ms
3.0344
warm median ms
0.5137
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.1196
cold mean ms
0.0565
warm mean ms
0.0566
warm median ms
0.0002
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
0.9076
cold mean ms
0.8443
warm mean ms
0.8492
warm median ms
0.0194
warm stdev ms
100%
success rate
0
mismatches
web.url_router
0.0673
cold mean ms
0.0687
warm mean ms
0.0706
warm median ms
0.0056
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
9.2028
cold mean ms
14.7981
warm mean ms
15.6994
warm median ms
4.7888
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
70.5736
cold mean ms
85.1456
warm mean ms
79.7668
warm median ms
17.6984
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
1.4938
cold mean ms
0.1301
warm mean ms
0.1210
warm median ms
0.0264
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
1.3560
cold mean ms
1.7199
warm mean ms
1.5101
warm median ms
0.6102
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
46.0228
cold mean ms
4.2815
warm mean ms
4.3041
warm median ms
0.1639
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
7.3475
cold mean ms
2.7173
warm mean ms
2.7898
warm median ms
0.4086
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
0.9763
cold mean ms
0.9029
warm mean ms
0.9101
warm median ms
0.0131
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
1370.2407
cold mean ms
4031.4916
warm mean ms
3989.3204
warm median ms
101.8998
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
1.6784
cold mean ms
0.1112
warm mean ms
0.1134
warm median ms
0.0079
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
1.4810
cold mean ms
0.1273
warm mean ms
0.1273
warm median ms
0.0009
warm stdev ms
75%
success rate
0
mismatches
parsing.csv_tokenize
2.3600
cold mean ms
1.2145
warm mean ms
1.2213
warm median ms
0.0237
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
8.3354
cold mean ms
27.7838
warm mean ms
28.1771
warm median ms
0.9031
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
1.4845
cold mean ms
0.1968
warm mean ms
0.1897
warm median ms
0.0480
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
1.8421
cold mean ms
0.4032
warm mean ms
0.3675
warm median ms
0.0713
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
13.0916
cold mean ms
0.2031
warm mean ms
0.1580
warm median ms
0.0951
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
17.8574
cold mean ms
17.3585
warm mean ms
16.8816
warm median ms
1.3052
warm stdev ms
100%
success rate
0
mismatches
text.word_count
9.0629
cold mean ms
4.0299
warm mean ms
4.0496
warm median ms
0.0501
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
1.7131
cold mean ms
0.3304
warm mean ms
0.3219
warm median ms
0.0148
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
2.9045
cold mean ms
2.1296
warm mean ms
1.9554
warm median ms
0.3776
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
4.6511
cold mean ms
2.9013
warm mean ms
2.8929
warm median ms
0.0302
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
3.4849
cold mean ms
3.8177
warm mean ms
3.7987
warm median ms
0.1048
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
3.0728
cold mean ms
6.9053
warm mean ms
6.8395
warm median ms
1.1592
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
6.0240
cold mean ms
6.0117
warm mean ms
5.8345
warm median ms
0.6056
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
6.5286
cold mean ms
0.0194
warm mean ms
0.0209
warm median ms
0.0060
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
8.6105
cold mean ms
1.4612
warm mean ms
1.3236
warm median ms
0.2693
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
242.7072
cold mean ms
303.0961
warm mean ms
296.1708
warm median ms
24.1466
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
13.5465
cold mean ms
8.9837
warm mean ms
6.4004
warm median ms
4.4975
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
0.1185
cold mean ms
0.0367
warm mean ms
0.0365
warm median ms
0.0028
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
0.8299
cold mean ms
0.7010
warm mean ms
0.7026
warm median ms
0.0135
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
18.6850
cold mean ms
4.2490
warm mean ms
4.2605
warm median ms
0.0437
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
4.7107
cold mean ms
1.4330
warm mean ms
1.1719
warm median ms
0.4663
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
2.4515
cold mean ms
4.3430
warm mean ms
4.4022
warm median ms
0.1317
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
8.9045
cold mean ms
1.4530
warm mean ms
1.4397
warm median ms
0.0592
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
4.4061
cold mean ms
3.1880
warm mean ms
3.1428
warm median ms
0.1006
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
15.9556
cold mean ms
9.1596
warm mean ms
8.6163
warm median ms
1.3454
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
3.7337
cold mean ms
3.2640
warm mean ms
3.2401
warm median ms
0.1147
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
6.6798
cold mean ms
4.1716
warm mean ms
3.6233
warm median ms
0.9969
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
1.8541
cold mean ms
1.6886
warm mean ms
1.6884
warm median ms
0.0194
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
2.3814
cold mean ms
1.5069
warm mean ms
1.3270
warm median ms
0.3742
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
0.8308
cold mean ms
0.7432
warm mean ms
0.7533
warm median ms
0.0271
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
1.4907
cold mean ms
0.2077
warm mean ms
0.2090
warm median ms
0.0049
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
6.8985
cold mean ms
3.5664
warm mean ms
2.8079
warm median ms
1.3515
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
114.8349
cold mean ms
107.0231
warm mean ms
106.1885
warm median ms
2.1859
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
0.1699
cold mean ms
0.1008
warm mean ms
0.0985
warm median ms
0.0054
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
7.1711
cold mean ms
0.3643
warm mean ms
0.3783
warm median ms
0.0289
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
1.7255
cold mean ms
0.3723
warm mean ms
0.3652
warm median ms
0.0228
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
3.8239
cold mean ms
0.1671
warm mean ms
0.1685
warm median ms
0.0043
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
0.1734
cold mean ms
0.0772
warm mean ms
0.0763
warm median ms
0.0084
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
0.3111
cold mean ms
0.2542
warm mean ms
0.2524
warm median ms
0.0059
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.1076
cold mean ms
0.0351
warm mean ms
0.0351
warm median ms
0.0004
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
4.2774
cold mean ms
0.5586
warm mean ms
0.4312
warm median ms
0.2298
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
2.9005
cold mean ms
1.6015
warm mean ms
1.5927
warm median ms
0.0438
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
1.5100
cold mean ms
1.5127
warm mean ms
1.5207
warm median ms
0.0209
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
124.3138
cold mean ms
130.3177
warm mean ms
130.5049
warm median ms
0.6256
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
2.7293
cold mean ms
2.0599
warm mean ms
1.7621
warm median ms
0.5395
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
28.9830
cold mean ms
28.5663
warm mean ms
27.1451
warm median ms
5.2618
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
4.4407
cold mean ms
3.3805
warm mean ms
3.3205
warm median ms
0.1891
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
12.6374
cold mean ms
7.2874
warm mean ms
7.7039
warm median ms
1.0579
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 70.5736 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 79.7668 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 70.7605 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 104.9094 | 0.00s |
| compression.run_length_encode | cold | success | match | 4.4407 | 0.00s |
| compression.run_length_encode | warm | success | match | 3.2286 | 0.00s |
| compression.run_length_encode | warm | success | match | 3.3205 | 0.00s |
| compression.run_length_encode | warm | success | match | 3.5923 | 0.00s |
| core.factorial_sum | cold | success | match | 0.1076 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0354 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0351 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0346 | 0.00s |
| core.fibonacci_sum | cold | success | match | 0.3111 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.2494 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.2524 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.2608 | 0.00s |
| core.float_reduction | cold | success | match | 0.0936 | 0.00s |
| core.float_reduction | warm | success | match | 0.0152 | 0.00s |
| core.float_reduction | warm | success | match | 0.0155 | 0.00s |
| core.float_reduction | warm | success | match | 0.0152 | 0.00s |
| core.integer_sum | cold | success | match | 0.0709 | 0.00s |
| core.integer_sum | warm | success | match | 0.0061 | 0.00s |
| core.integer_sum | warm | success | match | 0.0064 | 0.00s |
| core.integer_sum | warm | success | match | 0.0068 | 0.00s |
| core.list_filter | cold | success | match | 1.8980 | 0.00s |
| core.list_filter | warm | success | match | 0.5217 | 0.00s |
| core.list_filter | warm | success | match | 0.5255 | 0.00s |
| core.list_filter | warm | success | match | 0.5235 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 8.9045 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 1.4397 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 1.4017 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 1.5177 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 9.2028 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 19.0722 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 15.6994 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.6227 | 0.00s |
| crypto.simple_checksum | cold | success | match | 1.5100 | 0.00s |
| crypto.simple_checksum | warm | success | match | 1.5285 | 0.00s |
| crypto.simple_checksum | warm | success | match | 1.4890 | 0.00s |
| crypto.simple_checksum | warm | success | match | 1.5207 | 0.00s |
| crypto.xor_cipher | cold | success | match | 6.0240 | 0.00s |
| crypto.xor_cipher | warm | success | match | 6.6861 | 0.00s |
| crypto.xor_cipher | warm | success | match | 5.5144 | 0.00s |
| crypto.xor_cipher | warm | success | match | 5.8345 | 0.00s |
| data_processing.csv_parse | cold | success | mismatch | 1.4437 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0842 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0945 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.1430 | 0.00s |
| data_processing.json_extract | cold | success | match | 4.2774 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.4312 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.8239 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.4206 | 0.00s |
| database.group_by_sum | cold | success | match | 18.6850 | 0.00s |
| database.group_by_sum | warm | success | match | 4.2007 | 0.00s |
| database.group_by_sum | warm | success | match | 4.2859 | 0.00s |
| database.group_by_sum | warm | success | match | 4.2605 | 0.00s |
| database.word_count_index | cold | success | match | 4.6511 | 0.00s |
| database.word_count_index | warm | success | match | 2.8929 | 0.00s |
| database.word_count_index | warm | success | match | 2.8762 | 0.00s |
| database.word_count_index | warm | success | match | 2.9349 | 0.00s |
| etl.distinct_count | cold | success | match | 12.6374 | 0.00s |
| etl.distinct_count | warm | success | match | 8.0736 | 0.00s |
| etl.distinct_count | warm | success | match | 6.0847 | 0.00s |
| etl.distinct_count | warm | success | match | 7.7039 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 1.3560 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 2.4073 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2422 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.5101 | 0.00s |
| etl.merge_join | cold | success | match | 46.0228 | 0.00s |
| etl.merge_join | warm | success | match | 4.4330 | 0.00s |
| etl.merge_join | warm | success | match | 4.3041 | 0.00s |
| etl.merge_join | warm | success | match | 4.1074 | 0.00s |
| etl.top_n_selection | cold | success | match | 6.5286 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.0128 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.0245 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.0209 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 4.4061 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 3.3033 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 3.1428 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 3.1178 | 0.00s |
| financial.compound_interest | cold | success | match | 0.8308 | 0.00s |
| financial.compound_interest | warm | success | match | 0.7126 | 0.00s |
| financial.compound_interest | warm | success | match | 0.7638 | 0.00s |
| financial.compound_interest | warm | success | match | 0.7533 | 0.00s |
| financial.moving_average | cold | success | match | 1.4810 | 0.00s |
| financial.moving_average | warm | failed | no_result | n/a | 0.00s |
| financial.moving_average | warm | success | match | 0.1267 | 0.00s |
| financial.moving_average | warm | success | match | 0.1280 | 0.00s |
| graph.bfs | cold | success | match | 1.4845 | 0.00s |
| graph.bfs | warm | success | match | 0.1526 | 0.00s |
| graph.bfs | warm | success | match | 0.1897 | 0.00s |
| graph.bfs | warm | success | match | 0.2479 | 0.00s |
| graph.dijkstra | cold | success | match | 6.8985 | 0.00s |
| graph.dijkstra | warm | success | match | 5.1268 | 0.00s |
| graph.dijkstra | warm | success | match | 2.7645 | 0.00s |
| graph.dijkstra | warm | success | match | 2.8079 | 0.00s |
| graph.floyd_warshall | cold | success | match | 28.9830 | 0.00s |
| graph.floyd_warshall | warm | success | match | 27.1451 | 0.00s |
| graph.floyd_warshall | warm | success | match | 24.1610 | 0.00s |
| graph.floyd_warshall | warm | success | match | 34.3927 | 0.00s |
| image.box_blur | cold | success | match | 13.5465 | 0.00s |
| image.box_blur | warm | success | match | 6.4004 | 0.00s |
| image.box_blur | warm | success | match | 14.1769 | 0.00s |
| image.box_blur | warm | success | match | 6.3737 | 0.00s |
| image.convolution_1d | cold | success | match | 124.3138 | 0.00s |
| image.convolution_1d | warm | success | match | 130.8284 | 0.00s |
| image.convolution_1d | warm | success | match | 129.6198 | 0.00s |
| image.convolution_1d | warm | success | match | 130.5049 | 0.00s |
| image.grayscale_filter | cold | success | match | 1.4938 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1210 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1095 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1599 | 0.00s |
| image.sobel_edge | cold | success | match | 6.6798 | 0.00s |
| image.sobel_edge | warm | success | match | 3.6233 | 0.00s |
| image.sobel_edge | warm | success | match | 3.5693 | 0.00s |
| image.sobel_edge | warm | success | match | 5.3224 | 0.00s |
| iot.rolling_average | cold | failed | no_result | n/a | 0.00s |
| iot.rolling_average | warm | failed | no_result | n/a | 0.00s |
| iot.rolling_average | warm | failed | no_result | n/a | 0.00s |
| iot.rolling_average | warm | failed | no_result | n/a | 0.00s |
| iot.sensor_anomaly | cold | success | match | 0.1734 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.0763 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.0693 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.0860 | 0.00s |
| ml.knn_inference | cold | success | match | 1.6784 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1177 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1134 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1024 | 0.00s |
| ml.perceptron_predict | cold | success | match | 2.3814 | 0.00s |
| ml.perceptron_predict | warm | success | match | 1.2566 | 0.00s |
| ml.perceptron_predict | warm | success | match | 1.3270 | 0.00s |
| ml.perceptron_predict | warm | success | match | 1.9370 | 0.00s |
| numerical.dot_product | cold | success | match | 0.0534 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0459 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0668 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0696 | 0.00s |
| numerical.gcd_loop | cold | success | match | 1.8541 | 0.00s |
| numerical.gcd_loop | warm | success | match | 1.7081 | 0.00s |
| numerical.gcd_loop | warm | success | match | 1.6884 | 0.00s |
| numerical.gcd_loop | warm | success | match | 1.6692 | 0.00s |
| numerical.matrix_multiply | cold | failed | no_result | n/a | 0.00s |
| numerical.matrix_multiply | warm | failed | no_result | n/a | 0.00s |
| numerical.matrix_multiply | warm | failed | no_result | n/a | 0.00s |
| numerical.matrix_multiply | warm | failed | no_result | n/a | 0.00s |
| numerical.matrix_vector | cold | success | match | 1.7131 | 0.00s |
| numerical.matrix_vector | warm | success | match | 0.3218 | 0.00s |
| numerical.matrix_vector | warm | success | match | 0.3219 | 0.00s |
| numerical.matrix_vector | warm | success | match | 0.3476 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 0.0886 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0179 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0175 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0177 | 0.00s |
| numerical.prime_sieve | cold | failed | no_result | n/a | 0.00s |
| numerical.prime_sieve | warm | failed | no_result | n/a | 0.00s |
| numerical.prime_sieve | warm | failed | no_result | n/a | 0.00s |
| numerical.prime_sieve | warm | failed | no_result | n/a | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 0.1185 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0341 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0365 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0396 | 0.00s |
| object.bank_account | cold | success | match | 0.1699 | 0.00s |
| object.bank_account | warm | success | match | 0.0985 | 0.00s |
| object.bank_account | warm | success | match | 0.1070 | 0.00s |
| object.bank_account | warm | success | match | 0.0970 | 0.00s |
| object.shape_area | cold | success | match | 13.0916 | 0.00s |
| object.shape_area | warm | success | match | 0.3123 | 0.00s |
| object.shape_area | warm | success | match | 0.1580 | 0.00s |
| object.shape_area | warm | success | match | 0.1389 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 2.3600 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.1881 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.2213 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.2341 | 0.00s |
| parsing.ini_parse | cold | success | match | 8.3354 | 0.00s |
| parsing.ini_parse | warm | success | match | 26.7507 | 0.00s |
| parsing.ini_parse | warm | success | match | 28.1771 | 0.00s |
| parsing.ini_parse | warm | success | match | 28.4236 | 0.00s |
| parsing.log_line_parse | cold | success | match | 1.4907 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2090 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2023 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2118 | 0.00s |
| regex.email_like_match | cold | success | match | 4.7107 | 0.00s |
| regex.email_like_match | warm | success | match | 1.1719 | 0.00s |
| regex.email_like_match | warm | success | match | 1.9713 | 0.00s |
| regex.email_like_match | warm | success | match | 1.1558 | 0.00s |
| regex.wildcard_match | cold | success | match | 3.4849 | 0.00s |
| regex.wildcard_match | warm | success | match | 3.9306 | 0.00s |
| regex.wildcard_match | warm | success | match | 3.7987 | 0.00s |
| regex.wildcard_match | warm | success | match | 3.7237 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 0.8299 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.7026 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.6868 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.7136 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 2.9045 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 1.8705 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 1.9554 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 2.5629 | 0.00s |
| serialization.csv_serialize | cold | success | match | 7.1711 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.3835 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.3311 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.3783 | 0.00s |
| serialization.json_serialize | cold | success | match | 17.8574 | 0.00s |
| serialization.json_serialize | warm | success | match | 16.8816 | 0.00s |
| serialization.json_serialize | warm | success | match | 18.8352 | 0.00s |
| serialization.json_serialize | warm | success | match | 16.3589 | 0.00s |
| simulation.conway_life | cold | success | match | 3.8239 | 0.00s |
| simulation.conway_life | warm | success | match | 0.1685 | 0.00s |
| simulation.conway_life | warm | success | match | 0.1705 | 0.00s |
| simulation.conway_life | warm | success | match | 0.1623 | 0.00s |
| simulation.particle_movement | cold | success | match | 1370.2407 | 0.00s |
| simulation.particle_movement | warm | success | match | 3989.3204 | 0.00s |
| simulation.particle_movement | warm | success | match | 3957.4469 | 0.00s |
| simulation.particle_movement | warm | success | match | 4147.7074 | 0.00s |
| sorting.merge_sort | cold | success | match | 1.8421 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.3569 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.3675 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.4853 | 0.00s |
| sorting.quick_sort | cold | success | match | 114.8349 | 0.00s |
| sorting.quick_sort | warm | success | match | 106.1885 | 0.00s |
| sorting.quick_sort | warm | success | match | 105.3775 | 0.00s |
| sorting.quick_sort | warm | success | match | 109.5034 | 0.00s |
| statistics.correlation | cold | success | match | 2.7293 | 0.00s |
| statistics.correlation | warm | success | match | 1.7621 | 0.00s |
| statistics.correlation | warm | success | match | 1.7348 | 0.00s |
| statistics.correlation | warm | success | match | 2.6826 | 0.00s |
| statistics.histogram | cold | success | match | 8.6105 | 0.00s |
| statistics.histogram | warm | success | match | 1.3236 | 0.00s |
| statistics.histogram | warm | success | match | 1.7715 | 0.00s |
| statistics.histogram | warm | success | match | 1.2884 | 0.00s |
| statistics.mean_variance | cold | success | match | 15.9556 | 0.00s |
| statistics.mean_variance | warm | success | match | 8.6163 | 0.00s |
| statistics.mean_variance | warm | success | match | 10.6917 | 0.00s |
| statistics.mean_variance | warm | success | match | 8.1708 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.1196 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0562 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0566 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0566 | 0.00s |
| stdlib.json_parse | cold | success | match | 8.6208 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.8242 | 0.00s |
| stdlib.json_parse | warm | success | match | 3.0344 | 0.00s |
| stdlib.json_parse | warm | success | match | 3.8001 | 0.00s |
| string.dna_count | cold | success | match | 242.7072 | 0.00s |
| string.dna_count | warm | success | match | 329.9487 | 0.00s |
| string.dna_count | warm | success | match | 296.1708 | 0.00s |
| string.dna_count | warm | success | match | 283.1687 | 0.00s |
| string.log_parser | cold | success | match | 7.3475 | 0.00s |
| string.log_parser | warm | success | match | 2.2773 | 0.00s |
| string.log_parser | warm | success | match | 3.0848 | 0.00s |
| string.log_parser | warm | success | match | 2.7898 | 0.00s |
| string.palindrome_pairs | cold | success | match | 3.7337 | 0.00s |
| string.palindrome_pairs | warm | success | match | 3.2401 | 0.00s |
| string.palindrome_pairs | warm | success | match | 3.3888 | 0.00s |
| string.palindrome_pairs | warm | success | match | 3.1631 | 0.00s |
| text.sentiment_score | cold | success | match | 1.7255 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3652 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3539 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3978 | 0.00s |
| text.word_count | cold | success | match | 9.0629 | 0.00s |
| text.word_count | warm | success | match | 4.0496 | 0.00s |
| text.word_count | warm | success | match | 3.9729 | 0.00s |
| text.word_count | warm | success | match | 4.0671 | 0.00s |
| tree.bst_operations | cold | success | match | 0.9763 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8877 | 0.00s |
| tree.bst_operations | warm | success | match | 0.9101 | 0.00s |
| tree.bst_operations | warm | success | match | 0.9108 | 0.00s |
| web.cookie_parse | cold | success | match | 2.4515 | 0.00s |
| web.cookie_parse | warm | success | match | 4.4346 | 0.00s |
| web.cookie_parse | warm | success | match | 4.1921 | 0.00s |
| web.cookie_parse | warm | success | match | 4.4022 | 0.00s |
| web.html_tag_count | cold | success | match | 2.9005 | 0.00s |
| web.html_tag_count | warm | success | match | 1.5628 | 0.00s |
| web.html_tag_count | warm | success | match | 1.6490 | 0.00s |
| web.html_tag_count | warm | success | match | 1.5927 | 0.00s |
| web.http_parser | cold | success | match | 0.9076 | 0.00s |
| web.http_parser | warm | success | match | 0.8492 | 0.00s |
| web.http_parser | warm | success | match | 0.8608 | 0.00s |
| web.http_parser | warm | success | match | 0.8229 | 0.00s |
| web.query_string_parse | cold | success | match | 3.0728 | 0.00s |
| web.query_string_parse | warm | success | match | 8.0961 | 0.00s |
| web.query_string_parse | warm | success | match | 5.7805 | 0.00s |
| web.query_string_parse | warm | success | match | 6.8395 | 0.00s |
| web.url_router | cold | success | match | 0.0673 | 0.00s |
| web.url_router | warm | success | match | 0.0624 | 0.00s |
| web.url_router | warm | success | match | 0.0731 | 0.00s |
| web.url_router | warm | success | match | 0.0706 | 0.00s |
Failures
| Class | Severity | Signature | Status |
|---|---|---|---|
| runtime_error | error | 2c14188e3f6533e3f6b37f3b0da50a97 |
open |
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| compile_error | error | 99b84b01aef477c5036ba05da5474eee |
open |
| compile_error | error | 99b84b01aef477c5036ba05da5474eee |
open |
| compile_error | error | 99b84b01aef477c5036ba05da5474eee |
open |
| compile_error | error | 99b84b01aef477c5036ba05da5474eee |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
Proof Packs
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b6f5709da5a9480396fcb99a
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c37d1751fe004f10b07f07da
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/85f70ea4c7054fe8b6763759
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/8bdb3259f7234751a4348c11
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b943da57d3e44e76a35a4ce9
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/dcf187872cde429896f56292
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/a31f1e8b380e45d7aed61197
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b03647e9162d4108bde0a480
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/faf47d65db8447509a308f66
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/d52147b5cea64ff3bae6f828
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/1a07fae5265b438db6af97c9
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/5717942c7b1e4ee28e095db8
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/89cebe077f97420a922d54c1
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/d26c5c5b4c594925b9bf0bd6
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b26418926d214f18a475c13c
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/94ecc13332e1441a88402c31
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/304c9313a41f423e870fba3b
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/628fdeb3078244898c0c0c5d
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/a08e897f62a24f01bc323b8c
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/9d6ad3d96af14a4fadaa1350
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/fbd22bc45ca5453ca03f0595
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/d04e6dcd5d3c4a7c8c27a3c8
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/37bb9263f2ac4e78b7f3047f
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/37121f93440846629084bc7c
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/d0589aea3fd14278b32db150
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/ee73f7c925fa49198dd1612a
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/f4e4ebd1ee1445f7a0936680
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/0c8c92bb1d8340c396e00baa
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7ba12ffbbab744c88cb94283
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/2daa8e9c27264e8e956d236f
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/bd10473e97724a7981dceed3
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/9de3a23afd644e18861d47fd
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/83dd05e9d7094546a4eef5b9
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/67124da50a794c439c9dd1aa
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/234972bd90264812acb6e536
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7f7c00bea6a04eb2a5aa1902
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/acc1c4d94dad4b6aa5494a3b
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/804256b46847490981173064
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/be1549aac11349e781818ecd
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/acc664107f8f4cb886859b56
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c60ecc33ba36429295d6bdbe
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4b455c9f42634441b849dbba
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/01693c1412e740188da8420d
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/6b20c6a0abc3436cb9a0192f
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/edef13871de34461bdffd6da
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/cefb9d4dd0a8452db08bcaf3
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/841a5d42a7b04fdd9172464f
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/68f478339daa484ea7212ced
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c1933a0f209b47eb82a56698
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/3209bdf6aa9745a4a2d90141
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/84ad25d5b874492a9a1c9af8
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/503edd5f13e949138b2cc3c8
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/2dcd081cd99c4431a987f83c
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/53c6978f8a6c49b083e86ade
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7e90d37c3a284f1baf67b0cd
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/ee1d3e0cd67a4e41ac3f1416
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/54efd3ff6732431b9366a1a3
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4ab8f86048f54e028a261683
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/13413c548e394811888465ae
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7f5141cd49324da582b8a974
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4909fa8f0ab443e3842520cb
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/9930910264b348caa229dfe9
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/0ad960c1baf54e2bbace75e6
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/255f988b6a894eb99b2d0b0a
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c88094b04a8a42dda6d38922
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/efed4aee4c9c4c748a72b5d1
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/1f7d13aec9694c18a3c95767
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4176245dc52945efa910405b
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/6e1f8c0e8f614502aea582f7
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/11dcee779c5e42e1ad7d829e
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/8821ebcfe28644be88dd98a7
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/987489e7fe9144fba8695556
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7cf0009361b2414cb03fa44c
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/272ad388ea0c46a582118871
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/8aed0ddc80604a85a4e14f5d
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/240e4e6981cd403382dbd692
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/86802bec817140a18c668893
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/a752f95d30d547ce8fe5d7f2
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/5d3103c4ebca4f88930026af
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/d2a658c2b349426d98b019eb
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c091a3fd1e8143458acc6d9a
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/882b64303fe84c3daabd4923
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/876714811b3740c1afee6c6f
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/5744fec5c1d84bcc8d7c9967
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7fbca9ca2ec0433e9426ac66
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/70258bf0ea704247aa51638f
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c0213f2005734305905f08c6
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/8667896c40b449c6948e1bf3
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/0e547642930e4b59bdd23c88
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b32f7df6513e477090eeaeb6
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/83f345867c0d47e7b7e4d754
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/febfe4d3ecca412495a1a9b3
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/925214f679fc4ed2b9a86f12
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/f8d9b10790d44e899d1dd702
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/cceb5eb58a5246568ef85642
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/e68c8624d4aa48069656b812
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/f8c9caab7791430d9507090f
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/5fb23b843c014f24ae76b79c
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c34255f9b68d4664a5b384b3
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b890442635e847249a6faa30
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/dd21c49ad0b04a4d87f26b14
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/308c4fe4eb2547aa8085b2be
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/32db3362e2684cda8d176e0f
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7a98be7e4d23432386c22cad
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4be3902e060b478b867e28b3
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/da736c18703a4b76acc19075
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c54240b7830546698de9c4d5
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/1bf97a59ea014bbe991de2d4
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/9f9de48d5a0548aab717a908
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/e9d07eb16b584c5088189160
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b53b598fcb844ff98ae41703
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/88932a52a9bd4903a7284edd
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/602ba8e85df743e4b7ef8204
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/e269f3de9b3d4580bd83fa94
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/74cae1f059b7462bafa8afb5
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/12d4bf5475604efa96e90c79
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/40f1368e6ce04d8ea2c441ff
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/be0777508c4b4696bf32d893
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c115868e12514052a801dcd5
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4d71c07a34cd47eda65da3dd
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/edb2618aa5654ec09edb61cb
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/e6d60f3ea7d2472fbf6347a9
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/5c90206862d74e5890bce724
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/ed94cbf5aa614831b3ca1c32
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c14d26469f464fc6a1defb89
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b129d5a82a9348968bd6e1f4
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/00bb19d9b1db453eb9a9ef26
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b789c859889541b0aa1ea331
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/dce3d86aeeb242188fc80251
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/2d69832d1aa4420eac070c9a
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/1367cbb1cfa347bb8924af04
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/6950eb4dba2741078f9e9292
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/a061f73fd0154b3c8593dbb1
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/e1638ec294054954b5dead1a
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7a1f019956714e8c87d06cc7
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7224301f25444b7791bd63cf
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/cbd36ae9f6be4632aca1b8cf
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/87e66cda93c643889d75d51d
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/37626c6cecc94f55989d95d7
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/791149ae4cd04e2a9b040d9b
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/e02c52348d0e40f88c89c989
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/73838325dcd84f5d84bf986f
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/75f27f3ca11f47f18169806a
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/cee54704485f44359e3fc574
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b345e9a5b9b74b3ea73e81f5
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/195633fee215439692959d18
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b2762f113a2d4c37b87cae2b
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/5adc1a151885428ea4c372d3
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/09e94c9982f742268d8bbb2a
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/794f24a45d9d4e8bbe7c4366
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/9e22c0be9fca442bb55c083f
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/f9a2ebdf17a94d23a3cb3f09
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/26c1b9369301498fb73ae000
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/fec5bf4bc4d24c4a90f23e6e
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/612913fdc28e4d3084c3bd60
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/6245f8db7fa84107bab782be
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/a33e58591a4943caab0574be
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/53065ebce6f74cd4b04ccfcc
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/0395c814fbc5451dbae1f3b3
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/87435ad1d0d74664ab20c68b
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/f1e29d43020a4ac7b8ebb3b0
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/e77225925d5649c9a01fe22e
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/e216f22c77f541928e979a83
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/2dc1cf97cb5344cdbc88d119
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/6eb5712b18114ee7805eaaaf
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/857a70a16724457489539b0e
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/dc5180e860e3471e919eccee
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/2f7bb31126cf4b5594b3fe9c
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b5782c1afb19438bb80e1bb6
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/d4b33ece91cb41bf83be601c
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/ce7c8719ec6d441da4c43b13
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/1b86c6ca4433494c8db12326
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c4cdeed13faf4351a9a8746b
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b896a097141e4d59b2420989
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/6297cb94a528409db85734fb
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/8d1fb10c42be449f99a2fe4c
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/d09e81bdfacb4b43a54fb965
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/2eae994464fb414da3d8adb4
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4a28571be71047439d0a922e
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/ae5fae0321c34c308068b056
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/346500ccdc7f4b2a99ad50dc
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/51311bc041d245f298d97437
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/5eb19fdabcee49e681eb1a8e
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/5a1bfa4cb96e44fd9ec7b442
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4eaa848b69d7462ab47b8559
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/6364fc74cdaf4a5e854a7cb0
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/f657259dc8724cf381860ddc
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/a0409ff98dbc472d868adcc5
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/19d404c3613744edb6b459b0
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/27076a46c44f4e9d9f0f47be
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/df4f070a7d8540b7b40d4b4c
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/87371b5747704b948c607aa0
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/cb191da072b84a11af2a2e81
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/3d32530ee45b46b19f24de47
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b795a6776bcf45dda02ecf36
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/8a1baa99efec4078b683295d
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/62da11d706b54d8ab26c5f7f
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c71a818c9d2f4a16b3538c22
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/e0142700087947ae87b32a84
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/dca3861675c84b90803dfe20
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/91dd8ae3bbfd44b3bf0d75ad
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7f0cd5e5aac047f9b9940a8f
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7cd8b329f31c4654b0ea9013
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/44b41de5db3b47fd8f0d08a1
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/adb6e560d7f74579b978ad36
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/de5104baa7e345d99059520f
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/a39f9040e36744e6ac28997e
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/67bc35b6801c401baee5cedf
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/50a96698e0c74c20829d0024
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/29eee4cc6f9942258257184a
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b1591181ab234111ad2daaa8
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/51b47420f73c43ee83138313
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/6b386b4b140d49dfab5fcf0e
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/d715cf340b0a4af689827df5
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c750f8821adb49469ff5c52c
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/f358b262f2d342b7bc6b0506
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/1713dabdf09e4dab9d9b9b59
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/d9d6f22d5a434712ac6a11a9
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/51c3b848648b4c2a9e7a2e8f
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/7ad5d389844744f081235168
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/2dd41c0cdf6e46b3aa20acc2
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/9bba86ab9cb148e7acf75a15
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/d4275c0dfdb04601ba98d099
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/00e7ab70fcda47c6a2bfb2c5
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/c5977c8ba6ae44d289e421cb
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/9f04c1d2b2a64080b6093238
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/2f261f24ef664d6b90439f47
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/ff767f2cdcc04e34b47761a0
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/5589132981b2478b97929fea
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/77dd493a56ef47d8bc9621f1
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/b2f80fbdb76448a38046b392
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/16f45a88234a4e57a7336aff
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/47b1d73131e24d60a799e1b8
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/960533501ef9498fb7005c42
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/6e31a5bb729849878e3a34a2
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/88e70dd6af9845489094904f
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/41a4218bc6e141aea40b6aaa
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4e1e637f454b42928f0d56d8
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/f5f0e85a91a8458b9502251e
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/3aba3a0f93334225b2e55551
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/1ea655d6319644a594a368f3
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4909dd63c67e4c7ea8faca21
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/cfe5d454b85648978cc77dcc
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/2e3633944a864e7296eb2aa2
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/a5b0bb5928584cb5ba83d486
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/dd57f277c2bd442787b1f5a7
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/6204fda6382f46f6aa57fc3b
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/28211a2d915f43d4827ff6e0
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/5ab701baafb6454d9ee2b3ca
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/45655e37d019448fad4b6a50
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/db2b43997e874d9681a99ab4
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/3eea59588153493d8dfad165
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/a7122a9ea02c4bca94d2cb83
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/032ebb8d68d641e1b884cad6
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/780e78b8836146ab93552beb
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/9f158398d87349838763bec0
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/725bad86d556415b97d153f7
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/ae9c6bc1d88345498becd133
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/df5083bd889f4a5d8874bea2
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/27811ea90b2a4e11a895e94e
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/f82d913943b2412085bca7fa
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/1de442ec935049d180a3a3ea
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4b176e46a66e4239826a8792
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/75c4c6c31a85495390141721
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/f9a7cbe60a2b47e19fa874db
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/e2a5af504d2c4d24bb9d5194
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/25c43d5ac41545daa73c5a72/4bf6b5dfad90420f97c1ae62