Campaign Summary
ID: 30eee9073c8a49ba89d0eaa7
Started: 2026-07-19 12:29:38.207708
Finished: 2026-07-19 12:30:56.484767
Duration: 78.3s
71
Workloads
284
Cases
284
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.2824
cold mean ms
0.2969
warm mean ms
0.3279
warm median ms
0.0919
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
0.3168
cold mean ms
0.3774
warm mean ms
0.3165
warm median ms
0.1206
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.0363
cold mean ms
0.0321
warm mean ms
0.0254
warm median ms
0.0124
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.0792
cold mean ms
0.0469
warm mean ms
0.0468
warm median ms
0.0002
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
5.3852
cold mean ms
5.5861
warm mean ms
5.4811
warm median ms
0.4674
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
1.0150
cold mean ms
0.9469
warm mean ms
0.8574
warm median ms
0.1686
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
0.3075
cold mean ms
0.2547
warm mean ms
0.2557
warm median ms
0.0079
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
0.2780
cold mean ms
0.2249
warm mean ms
0.2186
warm median ms
0.0153
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
0.1985
cold mean ms
0.1728
warm mean ms
0.1748
warm median ms
0.0151
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
0.6285
cold mean ms
0.3900
warm mean ms
0.3855
warm median ms
0.0096
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.1293
cold mean ms
0.0603
warm mean ms
0.0557
warm median ms
0.0088
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
0.8266
cold mean ms
0.8252
warm mean ms
0.8146
warm median ms
0.0277
warm stdev ms
100%
success rate
0
mismatches
web.url_router
0.0662
cold mean ms
0.0655
warm mean ms
0.0632
warm median ms
0.0057
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
9.0442
cold mean ms
9.5510
warm mean ms
9.3999
warm median ms
0.2729
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
103.5643
cold mean ms
101.8481
warm mean ms
102.9187
warm median ms
1.8716
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
0.2390
cold mean ms
0.1597
warm mean ms
0.1451
warm median ms
0.0378
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
1.5395
cold mean ms
1.2824
warm mean ms
1.2688
warm median ms
0.0318
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
7.8903
cold mean ms
7.6048
warm mean ms
7.3339
warm median ms
0.5325
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
1.9867
cold mean ms
1.9940
warm mean ms
2.0017
warm median ms
0.0494
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
1.0443
cold mean ms
0.8931
warm mean ms
0.8960
warm median ms
0.0064
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
42.5589
cold mean ms
42.2902
warm mean ms
41.7945
warm median ms
1.2930
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.2544
cold mean ms
0.1101
warm mean ms
0.1097
warm median ms
0.0079
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
5.4983
cold mean ms
4.9311
warm mean ms
4.8808
warm median ms
0.3118
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
1.0492
cold mean ms
0.9869
warm mean ms
0.9805
warm median ms
0.0314
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
1.0773
cold mean ms
1.0212
warm mean ms
1.0201
warm median ms
0.0532
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
0.3904
cold mean ms
0.1703
warm mean ms
0.1708
warm median ms
0.0014
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
0.6602
cold mean ms
0.6245
warm mean ms
0.6299
warm median ms
0.0116
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
3.5603
cold mean ms
2.7852
warm mean ms
2.3559
warm median ms
0.7801
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
20.0555
cold mean ms
19.1182
warm mean ms
19.1195
warm median ms
0.4094
warm stdev ms
100%
success rate
0
mismatches
text.word_count
5.9496
cold mean ms
6.7543
warm mean ms
6.0119
warm median ms
1.5698
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
25.7421
cold mean ms
27.9060
warm mean ms
28.6720
warm median ms
1.8853
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
20.8163
cold mean ms
23.2680
warm mean ms
22.7092
warm median ms
1.0082
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
4.5554
cold mean ms
3.9538
warm mean ms
3.9813
warm median ms
0.0662
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
10.5083
cold mean ms
7.4177
warm mean ms
6.4042
warm median ms
1.9446
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
0.6275
cold mean ms
0.5597
warm mean ms
0.5419
warm median ms
0.0319
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
16.4383
cold mean ms
17.8868
warm mean ms
18.1114
warm median ms
0.5790
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
0.2631
cold mean ms
0.2731
warm mean ms
0.2402
warm median ms
0.0583
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
5.3606
cold mean ms
4.2833
warm mean ms
4.2841
warm median ms
0.0605
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
448.5437
cold mean ms
503.1482
warm mean ms
490.3657
warm median ms
24.9533
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
231.0860
cold mean ms
224.7397
warm mean ms
231.3814
warm median ms
12.3577
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
9.1450
cold mean ms
10.1163
warm mean ms
9.2669
warm median ms
1.9403
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
5.3447
cold mean ms
5.1876
warm mean ms
5.1782
warm median ms
0.0534
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
0.3592
cold mean ms
0.3248
warm mean ms
0.3237
warm median ms
0.0038
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
5.4283
cold mean ms
5.5479
warm mean ms
5.6224
warm median ms
0.4204
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
0.5356
cold mean ms
0.5408
warm mean ms
0.5400
warm median ms
0.0066
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
2.7640
cold mean ms
3.3292
warm mean ms
2.8919
warm median ms
0.8286
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
529.4391
cold mean ms
478.4689
warm mean ms
479.1344
warm median ms
4.2141
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
330.8278
cold mean ms
324.8266
warm mean ms
321.6913
warm median ms
10.1708
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
8.0344
cold mean ms
9.5407
warm mean ms
9.3912
warm median ms
1.3197
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
513.2245
cold mean ms
504.9361
warm mean ms
510.3534
warm median ms
12.8383
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
12.1569
cold mean ms
12.5051
warm mean ms
12.4839
warm median ms
0.5031
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
12.4771
cold mean ms
11.9426
warm mean ms
11.9285
warm median ms
0.0458
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
6.6752
cold mean ms
6.5634
warm mean ms
6.5147
warm median ms
0.2505
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
0.3152
cold mean ms
0.2586
warm mean ms
0.2626
warm median ms
0.0078
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
79.3547
cold mean ms
81.9472
warm mean ms
80.2616
warm median ms
3.9615
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
108.7382
cold mean ms
119.4589
warm mean ms
121.4176
warm median ms
4.4461
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
15.7776
cold mean ms
17.7671
warm mean ms
16.2203
warm median ms
2.7396
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
0.2349
cold mean ms
0.2291
warm mean ms
0.2279
warm median ms
0.0154
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
0.4272
cold mean ms
0.5105
warm mean ms
0.4345
warm median ms
0.1352
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
28.8300
cold mean ms
28.9129
warm mean ms
28.4458
warm median ms
1.1967
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
9.0010
cold mean ms
3.8135
warm mean ms
3.7114
warm median ms
0.3502
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
6.4473
cold mean ms
5.7770
warm mean ms
5.7342
warm median ms
0.0786
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.6289
cold mean ms
0.6999
warm mean ms
0.6712
warm median ms
0.1020
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
1.3509
cold mean ms
1.3861
warm mean ms
1.2905
warm median ms
0.2412
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
1.9210
cold mean ms
1.9492
warm mean ms
1.9132
warm median ms
0.0772
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
11.4106
cold mean ms
11.4029
warm mean ms
11.2470
warm median ms
0.4063
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
878.3521
cold mean ms
851.0465
warm mean ms
856.3510
warm median ms
15.3314
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
98.5443
cold mean ms
90.9926
warm mean ms
90.9266
warm median ms
0.7847
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
99.6902
cold mean ms
112.3411
warm mean ms
114.9772
warm median ms
6.1802
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
14.2931
cold mean ms
8.3601
warm mean ms
8.4277
warm median ms
0.1772
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
20.6280
cold mean ms
22.7201
warm mean ms
20.8651
warm median ms
3.4117
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 103.5643 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 102.9187 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 102.9385 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 99.6870 | 0.00s |
| compression.run_length_encode | cold | success | match | 14.2931 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.4936 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.4277 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.1591 | 0.00s |
| core.factorial_sum | cold | success | match | 0.6289 | 0.00s |
| core.factorial_sum | warm | success | match | 0.8132 | 0.00s |
| core.factorial_sum | warm | success | match | 0.6712 | 0.00s |
| core.factorial_sum | warm | success | match | 0.6153 | 0.00s |
| core.fibonacci_sum | cold | success | match | 6.4473 | 0.00s |
| core.fibonacci_sum | warm | success | match | 5.7342 | 0.00s |
| core.fibonacci_sum | warm | success | match | 5.8676 | 0.00s |
| core.fibonacci_sum | warm | success | match | 5.7291 | 0.00s |
| core.float_reduction | cold | success | match | 0.3168 | 0.00s |
| core.float_reduction | warm | success | match | 0.3165 | 0.00s |
| core.float_reduction | warm | success | match | 0.2994 | 0.00s |
| core.float_reduction | warm | success | match | 0.5162 | 0.00s |
| core.integer_sum | cold | success | match | 0.2824 | 0.00s |
| core.integer_sum | warm | success | match | 0.3693 | 0.00s |
| core.integer_sum | warm | success | match | 0.3279 | 0.00s |
| core.integer_sum | warm | success | match | 0.1935 | 0.00s |
| core.list_filter | cold | success | match | 0.0363 | 0.00s |
| core.list_filter | warm | success | match | 0.0464 | 0.00s |
| core.list_filter | warm | success | match | 0.0254 | 0.00s |
| core.list_filter | warm | success | match | 0.0244 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 2.7640 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.8919 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.8109 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 4.2849 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 9.0442 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.3999 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.8660 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.3870 | 0.00s |
| crypto.simple_checksum | cold | success | match | 11.4106 | 0.00s |
| crypto.simple_checksum | warm | success | match | 11.8641 | 0.00s |
| crypto.simple_checksum | warm | success | match | 11.2470 | 0.00s |
| crypto.simple_checksum | warm | success | match | 11.0976 | 0.00s |
| crypto.xor_cipher | cold | success | match | 16.4383 | 0.00s |
| crypto.xor_cipher | warm | success | match | 17.2291 | 0.00s |
| crypto.xor_cipher | warm | success | match | 18.3199 | 0.00s |
| crypto.xor_cipher | warm | success | match | 18.1114 | 0.00s |
| data_processing.csv_parse | cold | success | match | 0.2780 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.2137 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.2424 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.2186 | 0.00s |
| data_processing.json_extract | cold | success | match | 1.3509 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.2905 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.6604 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.2075 | 0.00s |
| database.group_by_sum | cold | success | match | 0.3592 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3237 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3217 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3291 | 0.00s |
| database.word_count_index | cold | success | match | 4.5554 | 0.00s |
| database.word_count_index | warm | success | match | 3.8783 | 0.00s |
| database.word_count_index | warm | success | match | 4.0019 | 0.00s |
| database.word_count_index | warm | success | match | 3.9813 | 0.00s |
| etl.distinct_count | cold | success | match | 20.6280 | 0.00s |
| etl.distinct_count | warm | success | match | 20.8651 | 0.00s |
| etl.distinct_count | warm | success | match | 26.6575 | 0.00s |
| etl.distinct_count | warm | success | match | 20.6377 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 1.5395 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2688 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2596 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.3188 | 0.00s |
| etl.merge_join | cold | success | match | 7.8903 | 0.00s |
| etl.merge_join | warm | success | match | 8.2183 | 0.00s |
| etl.merge_join | warm | success | match | 7.2623 | 0.00s |
| etl.merge_join | warm | success | match | 7.3339 | 0.00s |
| etl.top_n_selection | cold | success | match | 0.2631 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.3404 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2386 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2402 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 529.4391 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 482.3106 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 473.9616 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 479.1344 | 0.00s |
| financial.compound_interest | cold | success | match | 6.6752 | 0.00s |
| financial.compound_interest | warm | success | match | 6.8347 | 0.00s |
| financial.compound_interest | warm | success | match | 6.3409 | 0.00s |
| financial.compound_interest | warm | success | match | 6.5147 | 0.00s |
| financial.moving_average | cold | success | match | 5.4983 | 0.00s |
| financial.moving_average | warm | success | match | 5.2650 | 0.00s |
| financial.moving_average | warm | success | match | 4.8808 | 0.00s |
| financial.moving_average | warm | success | match | 4.6474 | 0.00s |
| graph.bfs | cold | success | match | 0.3904 | 0.00s |
| graph.bfs | warm | success | match | 0.1708 | 0.00s |
| graph.bfs | warm | success | match | 0.1688 | 0.00s |
| graph.bfs | warm | success | match | 0.1714 | 0.00s |
| graph.dijkstra | cold | success | match | 79.3547 | 0.00s |
| graph.dijkstra | warm | success | match | 79.1074 | 0.00s |
| graph.dijkstra | warm | success | match | 80.2616 | 0.00s |
| graph.dijkstra | warm | success | match | 86.4727 | 0.00s |
| graph.floyd_warshall | cold | success | match | 99.6902 | 0.00s |
| graph.floyd_warshall | warm | success | match | 114.9772 | 0.00s |
| graph.floyd_warshall | warm | success | match | 105.2800 | 0.00s |
| graph.floyd_warshall | warm | success | match | 116.7662 | 0.00s |
| image.box_blur | cold | success | match | 231.0860 | 0.00s |
| image.box_blur | warm | success | match | 232.3564 | 0.00s |
| image.box_blur | warm | success | match | 231.3814 | 0.00s |
| image.box_blur | warm | success | match | 210.4813 | 0.00s |
| image.convolution_1d | cold | success | match | 878.3521 | 0.00s |
| image.convolution_1d | warm | success | match | 863.0211 | 0.00s |
| image.convolution_1d | warm | success | match | 833.7673 | 0.00s |
| image.convolution_1d | warm | success | match | 856.3510 | 0.00s |
| image.grayscale_filter | cold | success | match | 0.2390 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1314 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1451 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.2026 | 0.00s |
| image.sobel_edge | cold | success | match | 513.2245 | 0.00s |
| image.sobel_edge | warm | success | match | 514.1779 | 0.00s |
| image.sobel_edge | warm | success | match | 510.3534 | 0.00s |
| image.sobel_edge | warm | success | match | 490.2770 | 0.00s |
| iot.rolling_average | cold | success | match | 0.1985 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1868 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1567 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1748 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 9.0010 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.7114 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 4.2034 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.5257 | 0.00s |
| ml.knn_inference | cold | success | match | 0.2544 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1097 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1183 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1024 | 0.00s |
| ml.perceptron_predict | cold | success | match | 12.4771 | 0.00s |
| ml.perceptron_predict | warm | success | match | 11.9056 | 0.00s |
| ml.perceptron_predict | warm | success | match | 11.9285 | 0.00s |
| ml.perceptron_predict | warm | success | match | 11.9939 | 0.00s |
| numerical.dot_product | cold | success | match | 0.0792 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0471 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0466 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0468 | 0.00s |
| numerical.gcd_loop | cold | success | match | 12.1569 | 0.00s |
| numerical.gcd_loop | warm | success | match | 13.0185 | 0.00s |
| numerical.gcd_loop | warm | success | match | 12.0130 | 0.00s |
| numerical.gcd_loop | warm | success | match | 12.4839 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 5.3852 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 6.0971 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 5.4811 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 5.1800 | 0.00s |
| numerical.matrix_vector | cold | success | match | 25.7421 | 0.00s |
| numerical.matrix_vector | warm | success | match | 28.6720 | 0.00s |
| numerical.matrix_vector | warm | success | match | 25.7583 | 0.00s |
| numerical.matrix_vector | warm | success | match | 29.2878 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 1.0150 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8419 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8574 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 1.1414 | 0.00s |
| numerical.prime_sieve | cold | success | match | 0.3075 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2557 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2621 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2463 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 9.1450 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 8.7455 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 9.2669 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 12.3364 | 0.00s |
| object.bank_account | cold | success | match | 15.7776 | 0.00s |
| object.bank_account | warm | success | match | 20.9303 | 0.00s |
| object.bank_account | warm | success | match | 16.2203 | 0.00s |
| object.bank_account | warm | success | match | 16.1507 | 0.00s |
| object.shape_area | cold | success | match | 3.5603 | 0.00s |
| object.shape_area | warm | success | match | 2.3140 | 0.00s |
| object.shape_area | warm | success | match | 2.3559 | 0.00s |
| object.shape_area | warm | success | match | 3.6856 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 1.0492 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.9592 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.9805 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.0210 | 0.00s |
| parsing.ini_parse | cold | success | match | 1.0773 | 0.00s |
| parsing.ini_parse | warm | success | match | 1.0749 | 0.00s |
| parsing.ini_parse | warm | success | match | 1.0201 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.9685 | 0.00s |
| parsing.log_line_parse | cold | success | match | 0.3152 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2626 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2636 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2496 | 0.00s |
| regex.email_like_match | cold | success | match | 5.4283 | 0.00s |
| regex.email_like_match | warm | success | match | 5.0953 | 0.00s |
| regex.email_like_match | warm | success | match | 5.6224 | 0.00s |
| regex.email_like_match | warm | success | match | 5.9262 | 0.00s |
| regex.wildcard_match | cold | success | match | 10.5083 | 0.00s |
| regex.wildcard_match | warm | success | match | 9.6597 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.4042 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.1892 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 5.3447 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.2450 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.1782 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.1395 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 20.8163 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 22.6631 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 22.7092 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 24.4319 | 0.00s |
| serialization.csv_serialize | cold | success | match | 0.2349 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2144 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2451 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2279 | 0.00s |
| serialization.json_serialize | cold | success | match | 20.0555 | 0.00s |
| serialization.json_serialize | warm | success | match | 19.5268 | 0.00s |
| serialization.json_serialize | warm | success | match | 18.7081 | 0.00s |
| serialization.json_serialize | warm | success | match | 19.1195 | 0.00s |
| simulation.conway_life | cold | success | match | 28.8300 | 0.00s |
| simulation.conway_life | warm | success | match | 28.0201 | 0.00s |
| simulation.conway_life | warm | success | match | 28.4458 | 0.00s |
| simulation.conway_life | warm | success | match | 30.2727 | 0.00s |
| simulation.particle_movement | cold | success | match | 42.5589 | 0.00s |
| simulation.particle_movement | warm | success | match | 41.7945 | 0.00s |
| simulation.particle_movement | warm | success | match | 43.7578 | 0.00s |
| simulation.particle_movement | warm | success | match | 41.3185 | 0.00s |
| sorting.merge_sort | cold | success | match | 0.6602 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6112 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6324 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6299 | 0.00s |
| sorting.quick_sort | cold | success | match | 108.7382 | 0.00s |
| sorting.quick_sort | warm | success | match | 114.3697 | 0.00s |
| sorting.quick_sort | warm | success | match | 122.5893 | 0.00s |
| sorting.quick_sort | warm | success | match | 121.4176 | 0.00s |
| statistics.correlation | cold | success | match | 98.5443 | 0.00s |
| statistics.correlation | warm | success | match | 90.2430 | 0.00s |
| statistics.correlation | warm | success | match | 91.8083 | 0.00s |
| statistics.correlation | warm | success | match | 90.9266 | 0.00s |
| statistics.histogram | cold | success | match | 5.3606 | 0.00s |
| statistics.histogram | warm | success | match | 4.2223 | 0.00s |
| statistics.histogram | warm | success | match | 4.2841 | 0.00s |
| statistics.histogram | warm | success | match | 4.3433 | 0.00s |
| statistics.mean_variance | cold | success | match | 330.8278 | 0.00s |
| statistics.mean_variance | warm | success | match | 316.5926 | 0.00s |
| statistics.mean_variance | warm | success | match | 336.1959 | 0.00s |
| statistics.mean_variance | warm | success | match | 321.6913 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.1293 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0557 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0548 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0705 | 0.00s |
| stdlib.json_parse | cold | success | match | 0.6285 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.3834 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.4011 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.3855 | 0.00s |
| string.dna_count | cold | success | match | 448.5437 | 0.00s |
| string.dna_count | warm | success | match | 490.3657 | 0.00s |
| string.dna_count | warm | success | match | 487.1759 | 0.00s |
| string.dna_count | warm | success | match | 531.9028 | 0.00s |
| string.log_parser | cold | success | match | 1.9867 | 0.00s |
| string.log_parser | warm | success | match | 2.0392 | 0.00s |
| string.log_parser | warm | success | match | 1.9412 | 0.00s |
| string.log_parser | warm | success | match | 2.0017 | 0.00s |
| string.palindrome_pairs | cold | success | match | 8.0344 | 0.00s |
| string.palindrome_pairs | warm | success | match | 10.9288 | 0.00s |
| string.palindrome_pairs | warm | success | match | 9.3912 | 0.00s |
| string.palindrome_pairs | warm | success | match | 8.3021 | 0.00s |
| text.sentiment_score | cold | success | match | 0.4272 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4345 | 0.00s |
| text.sentiment_score | warm | success | match | 0.6666 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4303 | 0.00s |
| text.word_count | cold | success | match | 5.9496 | 0.00s |
| text.word_count | warm | success | match | 8.5576 | 0.00s |
| text.word_count | warm | success | match | 5.6934 | 0.00s |
| text.word_count | warm | success | match | 6.0119 | 0.00s |
| tree.bst_operations | cold | success | match | 1.0443 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8960 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8975 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8857 | 0.00s |
| web.cookie_parse | cold | success | match | 0.5356 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5400 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5346 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5477 | 0.00s |
| web.html_tag_count | cold | success | match | 1.9210 | 0.00s |
| web.html_tag_count | warm | success | match | 1.9132 | 0.00s |
| web.html_tag_count | warm | success | match | 2.0378 | 0.00s |
| web.html_tag_count | warm | success | match | 1.8965 | 0.00s |
| web.http_parser | cold | success | match | 0.8266 | 0.00s |
| web.http_parser | warm | success | match | 0.8045 | 0.00s |
| web.http_parser | warm | success | match | 0.8146 | 0.00s |
| web.http_parser | warm | success | match | 0.8567 | 0.00s |
| web.query_string_parse | cold | success | match | 0.6275 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5419 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5965 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5407 | 0.00s |
| web.url_router | cold | success | match | 0.0662 | 0.00s |
| web.url_router | warm | success | match | 0.0612 | 0.00s |
| web.url_router | warm | success | match | 0.0632 | 0.00s |
| web.url_router | warm | success | match | 0.0719 | 0.00s |
Proof Packs
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/afdb3068f45e446ea666c64c
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b0cbeaee60c74820b0a9aa0e
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9d1b150a03c34e4fa0c8aeaf
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/81e38a0bfb374775bbbe0543
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/4aaa035d85c94610a50e1a0e
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/aa746ce66ce04518b45ab7cb
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/74c21cf51f0e479fa819c707
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/03dc029067f9436385d3d9d1
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/a2e7c62b10f0454d96aefc18
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/bb6e0bed3caa44e28f28765d
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6833397bdcd943e4afd178b6
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/8bdc92b5ca464e03948102d8
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/edea5b07fc1b448b839f6a00
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/87fb157844e54ee39d877eae
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/95670515fdd54093bfabc530
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7d455e64ae194fc7bc02c52e
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/60d660271f9e4cbba14127de
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7f7a7df0392f4a2d81cb5c8b
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/861a182e3c82441ab513daca
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/03aac383ffb444c3bf73b03c
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f19aeef5388f42b9b10bae52
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e4fb6fe2ea24421eb39e3d10
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/420f97cafd434f33b4764bd4
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/caca747b33af44498e0ca563
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b2711aa8b9fb4b61b45ad407
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/71e48971f9b84694a03849fb
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d40413d13d194e1bb054b7ba
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/57bb9371e51e4324878b9637
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d982891137c248a385250b75
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e577a73bf1c74c19a7735a22
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/2a7d98432d4e4b76b64f5ec1
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ae6a7bc425564acab4ce33e4
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/502b29c1c2ca45bab2f6d393
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/19404d278c3e41378c301bab
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/22f1b9dde7a947ba966dc216
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/91b265ad807541a29641184b
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/585648ad4f4c43b3a4f4b285
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/92a09c0d5b7b4da6ae6e7dcf
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f5c25b1239784efbabb29818
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/42f18e4c2b2d4547b14e4c93
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7612e9a7335f4feaa0c31493
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ba31d64850d745c290742ac8
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7481bc3783da48b3bdd05dd1
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/738f3ac2cab0465d8c6acbd5
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7b51316bd9974d3085012a16
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ca1399a0469f400f896aa489
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ddb16b83c59841a89788964c
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d6e4d44bb35e4ad68acf2781
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/c388d07b96cb4622942f90d8
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7e0ece58796e4ac2807aa0b4
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/fe32be0df61246af994c1982
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/687f517c99fe44ae8c27e538
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7f4acb20ec86460aa8e7b347
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9f6d63aa3cf04b8cb1ba5a9d
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/2f9138506fa14a16aa557f2b
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/83ce9ee8da454c24b2860958
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b535021e59d54e26ae4034a9
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/5ccb032f729d49f4ac20afa5
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6047563ab35b48d5805dd885
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d578c8dc40014d648d8d5639
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/8638ebd6ec804fe58b924443
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/c0ed903757a34e55bc8600ea
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/c2f5abd7fc6f426f99654a13
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9adbb0c3f50b40d7bcdbe2ad
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/c67f6f6b13da4838a028e145
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/33fba28b5fdd40bfabf2cfef
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/24337a4cddee433b96af97d1
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/18932a2274224e9da4cdd654
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f975be2acff44fbf868d4f54
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7c9da776028f438fbf2a1153
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/647c2770d6854808b41477b8
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/67ba5f10bbe3416387ad170e
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b52f9d1b150747d6b503dba1
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/fed82922998d4c1ba1fea38a
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/bff1a837eda943dcb73fb790
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9d9de07340154ff2a54efd14
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/fa4d06dbb2904f75b1a22099
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d612c3bda6424f53a6c76965
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f1e452b2b01d4c6baea8b0d8
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/73447b7e647d4851b4a548ea
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/0d90fe08c5e24e1fb01d4b8d
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/32355bc37062414799c5ac82
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d3e6af4517804b569a20b04e
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7aa2f7e1a473451f976cf5a8
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b09e63aa998d4f5291caf6ac
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7d50131f50fa4382baebd201
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/1eac557ec34345dbb0363ab5
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/2ae2a74b509b472da35adcfa
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/370b09f5645244c8b7a24ec1
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/3838b7a4adc64097b45b53d5
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6a606e2c25f14184ab428ffd
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/c347140e275a43f1ac921499
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e4233ab37a9341ac9d1c0a2d
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/86e0ddcb7516414cbea7598b
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d68691c120884eefaebfbd4c
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/2c49ba5e81894c55925ccff3
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/4b488a930f594f3b83c4a20f
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/808838083d234190ab36d12f
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/94908caa4f9043e3aeb4862e
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/2ead1cadd187437fa27c9c0a
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/21952ac68dc040b3867464f5
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d52b57c5d4a046a0b9585454
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f22477f8251149e9a3a2cb6e
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/707287208f264d0988b2ab9e
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/c6a848b4e1a84a73837928a1
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/88515b755a9b44c7b1855624
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d2de23ddae434b4cb07c93a4
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9b5359d5481a4cb68eb66c63
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9bba8742846744e98fd3d487
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/2bcc5b0d19644fc68ee19ace
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/bf8b8e1b605242aabc255189
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/972bc1780a5e423baa9531b1
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/25107d6ca13040ca94528913
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/a0d445d3ed6a4681b1939703
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/508925d1222e4f628a64cd95
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/350b6a504ad0452899abb5f9
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/3504abaa2a4b43dca0f42da3
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/395fd193449a4a9d93b5f821
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/13ef40118ea743acb86800fc
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9d0704888cee446ba7db5985
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6a036e104bbd4115b84efd1a
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f668b9c96524415ea76ae61e
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7a92c21c191840c8823b7d09
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/58deb37838c74a8487f4b03a
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/959b541b486b4719b5ceb154
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d25565befb0f414c8c81edc2
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7fb061444de44ac0bf55111b
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/3d43a680cf2347a181366978
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b56e289c88b14288923521e8
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/201d3d1e5c204ba4819358a1
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/920ae334f75f44da8398edea
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/c61808ce558b415b8ed8dcc9
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/5d033b44ce5d40b68c67134e
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9bd7913f77094579989102e7
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/fb18d0c6c1a648c2919d4efa
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f24111c3b0d844248ef5049d
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/cad73360b16645b08f9b68d9
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/4ce8cb850e674549975ea7ab
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ab2607f17f9b4539abb09418
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/059af4ae1b5942869d2d5309
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/501e9b5f2a844aa79112f990
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/555e8c7ff0014d8ea384561d
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/3d4c65451d294abaa56067ff
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6e6f3e6c6d4947b3a45e5208
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b9edd8d837a744899fe1d34b
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/980de43628cb4ebc8cc4d0a3
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/625a1429573b4d4ab494ef50
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/5d02194214324a718f213a42
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/a4c6a9359e6748a391d43fd4
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e8e599fbd6814a939035eecf
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/60b0e760811c4a409d8522e3
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/aea4831828ae40ceb2a5d84b
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/3f206d53b6e44a29a53f7317
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/8f2fd4f9ceb248098cb5d0e5
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/013d922fdc9b42458b70db22
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f64edb2431934436b9d5cf10
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f728846140354bd4b32c1b42
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/33bd89a6aa4f46dda82df390
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/83a988a3e55b4b8c98295e61
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/bc787c89e741473aac973eb1
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b61ffbd4a5bd48fab2541fec
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/38e4c9c5b3394b868f67af41
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ccea8677d50543278aaa5aca
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/af3c8f6c57464c51b9999658
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/043c03af98e14dfcb604555f
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/958b7308732a4359b10b4f7a
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/776dbe83cde4443787f76bed
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/4a2aafd6a1ea4f3e85f2751f
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b490e77927604aec8ba188ae
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9ddb60c562914e33aca54374
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/62b56c45275a4764914591ec
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9e1cc9c37fa64e26af4a489f
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/77a5d74af63f4e81820aa84f
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b82d8ddcb07b4d08a02b4060
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/c8bf00877448443d9b56d857
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/85cecb1d8dd7405da5460e75
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/5744f74ee6094f41a7a3489d
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e28a6bb31b134b98bcf301d7
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b1c9f4650ba34e5eb78b6780
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ca3fb1d520ea4a20a7d00949
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/836354096a6b4003bafdb10f
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6443daee398b495098e30438
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/489e81a2192346fba7f87e1f
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/044d4cd9887a42ca918588d2
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6015236c64b243949c442125
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/70d8a8335a974e98acfa0b00
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/c68f65b01ddc46d798b7439a
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d80d93729444427fb8be2633
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/34d0fdb6b0034f9c9d634d68
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6ec9d6f4cb264f71ad97626a
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e85de37994de4be78cc1c9f6
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/531511300a3f4d97abdeb199
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/47e07458c4174cfbb9c85177
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d30fec1051af4e4985cc587b
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7455c49503f44b7eb86604b8
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ff80b7a7b8b64da599e81eba
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/8a7cc2c91b374611bdbef3b4
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/5f752542061149eba1085ed7
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/533c54d0f6c44329b5d954f2
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/294d2e05cdc547b29de5257a
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b62be60c58e9494cbd861801
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/749688a701e44f74a84cd83c
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/1cadfd3483ed4936aab34430
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/1842b03697de485ca6a677e0
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/dbd4a04649804a42adc33907
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f6f3fe14f94d4ce194981056
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/cf968e260e8144dc88ec9d42
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/12b84f99ae4b4567aaa22df2
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ca85bc2555384427a2cb3d3e
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/96258b698ae246929c52cc2a
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/3e6cc6195a194c5e8a2d022c
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/cccfcdc62a014d0ba4da51ac
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/4fdedef5f3de44db9e1eca23
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/7acc02fed6e44367865bed6c
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6a2809cc51784d548ca2b805
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/8cc9447abb6a44aba8798465
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6ffbada3fe984c74962d965d
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/be9d01cbc1e24443a256879b
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9d428fc0128d48feb77d934f
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d29af8f99ab34091b466cea3
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/8143e66ab398455ab27a1850
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/be26ed5bf5dc406495263150
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e93a7f239bcb4d848c1d2e7d
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/78cbfaa4e2c8448c90a51487
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/66fb816aa70246c7b2a1d2ce
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/2813f7f255034303831bb012
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6a485c74badd42fa893e7e13
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/2caa102b612143dabce6828c
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/082664501d14413c8b2b9505
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/0bab20f6cc0d40d787b6e966
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9c9436e2c32442289661eace
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/6f3685af25484ca39a495ed5
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ae8fcbae49b14279aca8a4c1
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b6a739aed71a4d57904b6f48
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/0ec2709537d245db93a4fc3c
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/382321aa865645e5bae2c931
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d19dc984e91841e4954c5c79
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/04aa1af439a74aa5bf8ae699
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/aacfced8f9f146eda24dd51d
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/8e7183fda7d5406598555506
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/22c86ca1e52442c6a94f7b9c
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/8a6c20a59c0a4fe6afcfebbe
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b032353d9ac44130aa1a161e
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/fd0924aba8ae4aafbff9b87b
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/44de8e5c1f2c413abc99ee7e
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/8f5d89e6ebc445c9a5cce0b1
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/259a5d46eb9741b28e6b963e
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/a2b08574b9c04e85b5188597
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e89f7223681f49dfa6c85dbf
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/f2047e0af0e246e59d6c6b3f
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/0fb0a15ceb0e4bed80cace4b
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/66d6d8ba737c4cffb3bd279a
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9474d1717294451eaca79a6d
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/51615add82b24f6898e8d2ca
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e00f47dbe0d3416c92ba2789
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/5d58929708ff4e2aa00c22b1
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b1b17d338bfc4798bc411e86
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/3e67976b40334f4797627131
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d5175d8a9dea48ffad60679f
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/20f56e77e52c4d2292141c68
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e133ca9a052d41709485a64c
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e6c76cfd357247a58773ad8d
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/ea78ff5c7ec447dc92d9ed3d
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/2cd75f72cd97460abf789231
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/b39279d417ff46cb8013c12f
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/14c982f8d0d04483946b2480
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/91a772e103334b2e8854af48
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/5ea591d3c04b4dc2a96bf521
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/2d8f83fc979d46168812e136
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/71929bf5fbda4f7fa8fdcefc
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/cfe75b4cfa114336a0233764
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/0ef66984be8a4659bfbaab2e
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/0ec0bcf8a59d4f85b1603892
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/261dc092a2734647bd7ab819
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/c3fb59ca7c60411e90ac829a
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/e02b0496396746d0aded821c
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/226beccfd19b426ba0912519
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/9febcbce2bbe4b9693e83eb6
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/a99a2ef12b914dbe8d43ebbb
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/4bb9eb3e289c4f23b80bd8fe
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/30ee84c1cbc74b69b7a088d8
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/d044b0cabd83489c850379e5
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/85fe4b0f7ecc48a2bf67a629
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/30eee9073c8a49ba89d0eaa7/88f5146f47174f5bad00cff4