Campaign Summary
ID: 4c57076485444374a024e424
Started: 2026-07-19 07:54:42.935543
Finished: 2026-07-19 07:56:44.540194
Duration: 121.6s
71
Workloads
426
Cases
426
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.2402
cold mean ms
0.1855
warm mean ms
0.1883
warm median ms
0.0057
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
0.3345
cold mean ms
0.3567
warm mean ms
0.2993
warm median ms
0.0837
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.0338
cold mean ms
0.0275
warm mean ms
0.0242
warm median ms
0.0053
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.0680
cold mean ms
0.0461
warm mean ms
0.0457
warm median ms
0.0017
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
5.2686
cold mean ms
5.6735
warm mean ms
4.9900
warm median ms
1.0581
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
0.8805
cold mean ms
0.8526
warm mean ms
0.8482
warm median ms
0.0171
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
0.2736
cold mean ms
0.2959
warm mean ms
0.2477
warm median ms
0.1103
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
0.4535
cold mean ms
0.2100
warm mean ms
0.2121
warm median ms
0.0098
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
0.1919
cold mean ms
0.1940
warm mean ms
0.1784
warm median ms
0.0473
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
0.5553
cold mean ms
0.4529
warm mean ms
0.3785
warm median ms
0.1617
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.0975
cold mean ms
0.0541
warm mean ms
0.0519
warm median ms
0.0048
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
0.8093
cold mean ms
0.8581
warm mean ms
0.8675
warm median ms
0.0348
warm stdev ms
100%
success rate
0
mismatches
web.url_router
0.0606
cold mean ms
0.0630
warm mean ms
0.0628
warm median ms
0.0011
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
9.6363
cold mean ms
10.9161
warm mean ms
9.5489
warm median ms
2.2895
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
116.8397
cold mean ms
103.6883
warm mean ms
101.7059
warm median ms
4.6025
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
0.2368
cold mean ms
0.1421
warm mean ms
0.1331
warm median ms
0.0294
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
1.4285
cold mean ms
1.2424
warm mean ms
1.2316
warm median ms
0.0381
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
7.0793
cold mean ms
7.3519
warm mean ms
7.3356
warm median ms
0.4185
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
3.1231
cold mean ms
2.3357
warm mean ms
2.4919
warm median ms
0.4451
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
0.9962
cold mean ms
0.9359
warm mean ms
0.8803
warm median ms
0.1435
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
39.7219
cold mean ms
41.1426
warm mean ms
40.1175
warm median ms
2.6951
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.2657
cold mean ms
0.1067
warm mean ms
0.1047
warm median ms
0.0053
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
5.3333
cold mean ms
5.6199
warm mean ms
5.1085
warm median ms
0.9125
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
1.0439
cold mean ms
1.2984
warm mean ms
1.2001
warm median ms
0.3522
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
1.0655
cold mean ms
1.3937
warm mean ms
1.0934
warm median ms
0.4344
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
0.4376
cold mean ms
0.2243
warm mean ms
0.1937
warm median ms
0.0760
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
0.6403
cold mean ms
0.6649
warm mean ms
0.6579
warm median ms
0.0314
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
3.4812
cold mean ms
2.4828
warm mean ms
2.4816
warm median ms
0.0995
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
20.0384
cold mean ms
19.7295
warm mean ms
19.5379
warm median ms
0.7376
warm stdev ms
100%
success rate
0
mismatches
text.word_count
6.0956
cold mean ms
6.0628
warm mean ms
6.0164
warm median ms
0.3444
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
26.1629
cold mean ms
27.4968
warm mean ms
26.1695
warm median ms
2.6757
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
21.7058
cold mean ms
21.9446
warm mean ms
22.0462
warm median ms
0.2380
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
4.3186
cold mean ms
4.2636
warm mean ms
4.2851
warm median ms
0.2435
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
6.2513
cold mean ms
6.3734
warm mean ms
6.3707
warm median ms
0.1884
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
0.5792
cold mean ms
0.5757
warm mean ms
0.5714
warm median ms
0.0176
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
17.0268
cold mean ms
17.0122
warm mean ms
16.9748
warm median ms
0.3262
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
0.2487
cold mean ms
0.2723
warm mean ms
0.2526
warm median ms
0.0464
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
4.7193
cold mean ms
5.0947
warm mean ms
4.4100
warm median ms
1.5150
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
427.2963
cold mean ms
436.5339
warm mean ms
433.6277
warm median ms
20.6644
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
238.6883
cold mean ms
205.9502
warm mean ms
204.3670
warm median ms
7.6413
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
12.5834
cold mean ms
8.9154
warm mean ms
8.9375
warm median ms
0.2448
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
5.2410
cold mean ms
5.1466
warm mean ms
5.1557
warm median ms
0.0532
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
0.3146
cold mean ms
0.3209
warm mean ms
0.3180
warm median ms
0.0082
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
5.4088
cold mean ms
5.3325
warm mean ms
5.3615
warm median ms
0.0659
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
0.5052
cold mean ms
0.5219
warm mean ms
0.5199
warm median ms
0.0146
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
2.7720
cold mean ms
2.7475
warm mean ms
2.7704
warm median ms
0.0649
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
531.0357
cold mean ms
478.2700
warm mean ms
475.1748
warm median ms
14.1152
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
328.5740
cold mean ms
327.5564
warm mean ms
319.1818
warm median ms
15.5886
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
7.9769
cold mean ms
9.9026
warm mean ms
8.2107
warm median ms
2.5657
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
516.6440
cold mean ms
506.2732
warm mean ms
502.0600
warm median ms
12.6472
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
17.2719
cold mean ms
14.0758
warm mean ms
12.6181
warm median ms
2.4016
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
12.2477
cold mean ms
12.6106
warm mean ms
11.8870
warm median ms
2.0069
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
6.1470
cold mean ms
7.3678
warm mean ms
6.6722
warm median ms
1.5368
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
0.5044
cold mean ms
0.2549
warm mean ms
0.2491
warm median ms
0.0176
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
79.1327
cold mean ms
81.5445
warm mean ms
79.3796
warm median ms
5.8043
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
108.2219
cold mean ms
115.4095
warm mean ms
111.8919
warm median ms
10.1757
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
36.2683
cold mean ms
17.6489
warm mean ms
17.0706
warm median ms
2.0485
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
0.2333
cold mean ms
0.2644
warm mean ms
0.2475
warm median ms
0.0693
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
0.4341
cold mean ms
0.6077
warm mean ms
0.7065
warm median ms
0.1699
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
26.6846
cold mean ms
27.2778
warm mean ms
27.0356
warm median ms
1.1534
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
3.7713
cold mean ms
3.6658
warm mean ms
3.6846
warm median ms
0.0523
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
6.0541
cold mean ms
6.5269
warm mean ms
6.4647
warm median ms
0.7930
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.5734
cold mean ms
0.5999
warm mean ms
0.6088
warm median ms
0.0454
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
1.3686
cold mean ms
1.9077
warm mean ms
1.9137
warm median ms
0.4013
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
1.8928
cold mean ms
1.9557
warm mean ms
1.9392
warm median ms
0.0419
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
11.4493
cold mean ms
11.2160
warm mean ms
11.2055
warm median ms
0.1914
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
902.9507
cold mean ms
874.1209
warm mean ms
857.3815
warm median ms
30.1207
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
91.9733
cold mean ms
93.7249
warm mean ms
92.4305
warm median ms
3.0673
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
114.5328
cold mean ms
97.4180
warm mean ms
96.8351
warm median ms
1.0908
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
8.6403
cold mean ms
9.7359
warm mean ms
8.5158
warm median ms
1.8460
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
21.5193
cold mean ms
21.7767
warm mean ms
20.5214
warm median ms
2.4759
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 116.8397 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 105.6673 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 100.2687 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 99.9531 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 101.7059 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 110.8466 | 0.00s |
| compression.run_length_encode | cold | success | match | 8.6403 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.5158 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.3777 | 0.00s |
| compression.run_length_encode | warm | success | match | 8.4111 | 0.00s |
| compression.run_length_encode | warm | success | match | 11.0075 | 0.00s |
| compression.run_length_encode | warm | success | match | 12.3676 | 0.00s |
| core.factorial_sum | cold | success | match | 0.5734 | 0.00s |
| core.factorial_sum | warm | success | match | 0.6088 | 0.00s |
| core.factorial_sum | warm | success | match | 0.5770 | 0.00s |
| core.factorial_sum | warm | success | match | 0.6628 | 0.00s |
| core.factorial_sum | warm | success | match | 0.6110 | 0.00s |
| core.factorial_sum | warm | success | match | 0.5401 | 0.00s |
| core.fibonacci_sum | cold | success | match | 6.0541 | 0.00s |
| core.fibonacci_sum | warm | success | match | 5.8937 | 0.00s |
| core.fibonacci_sum | warm | success | match | 5.8219 | 0.00s |
| core.fibonacci_sum | warm | success | match | 6.6647 | 0.00s |
| core.fibonacci_sum | warm | success | match | 7.7898 | 0.00s |
| core.fibonacci_sum | warm | success | match | 6.4647 | 0.00s |
| core.float_reduction | cold | success | match | 0.3345 | 0.00s |
| core.float_reduction | warm | success | match | 0.2908 | 0.00s |
| core.float_reduction | warm | success | match | 0.4402 | 0.00s |
| core.float_reduction | warm | success | match | 0.4559 | 0.00s |
| core.float_reduction | warm | success | match | 0.2971 | 0.00s |
| core.float_reduction | warm | success | match | 0.2993 | 0.00s |
| core.integer_sum | cold | success | match | 0.2402 | 0.00s |
| core.integer_sum | warm | success | match | 0.1847 | 0.00s |
| core.integer_sum | warm | success | match | 0.1884 | 0.00s |
| core.integer_sum | warm | success | match | 0.1883 | 0.00s |
| core.integer_sum | warm | success | match | 0.1901 | 0.00s |
| core.integer_sum | warm | success | match | 0.1759 | 0.00s |
| core.list_filter | cold | success | match | 0.0338 | 0.00s |
| core.list_filter | warm | success | match | 0.0356 | 0.00s |
| core.list_filter | warm | success | match | 0.0238 | 0.00s |
| core.list_filter | warm | success | match | 0.0301 | 0.00s |
| core.list_filter | warm | success | match | 0.0237 | 0.00s |
| core.list_filter | warm | success | match | 0.0242 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 2.7720 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.7888 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.7859 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.7590 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.7704 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.6335 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 9.6363 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.5489 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 12.9703 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 13.8069 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 8.8807 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.3739 | 0.00s |
| crypto.simple_checksum | cold | success | match | 11.4493 | 0.00s |
| crypto.simple_checksum | warm | success | match | 11.3137 | 0.00s |
| crypto.simple_checksum | warm | success | match | 11.1495 | 0.00s |
| crypto.simple_checksum | warm | success | match | 11.2055 | 0.00s |
| crypto.simple_checksum | warm | success | match | 10.9485 | 0.00s |
| crypto.simple_checksum | warm | success | match | 11.4627 | 0.00s |
| crypto.xor_cipher | cold | success | match | 17.0268 | 0.00s |
| crypto.xor_cipher | warm | success | match | 16.8226 | 0.00s |
| crypto.xor_cipher | warm | success | match | 16.5974 | 0.00s |
| crypto.xor_cipher | warm | success | match | 17.2606 | 0.00s |
| crypto.xor_cipher | warm | success | match | 17.4054 | 0.00s |
| crypto.xor_cipher | warm | success | match | 16.9748 | 0.00s |
| data_processing.csv_parse | cold | success | match | 0.4535 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.1946 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.2205 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.2121 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.2149 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.2079 | 0.00s |
| data_processing.json_extract | cold | success | match | 1.3686 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.3752 | 0.00s |
| data_processing.json_extract | warm | success | match | 2.3501 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.6657 | 0.00s |
| data_processing.json_extract | warm | success | match | 2.2338 | 0.00s |
| data_processing.json_extract | warm | success | match | 1.9137 | 0.00s |
| database.group_by_sum | cold | success | match | 0.3146 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3161 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3150 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3350 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3206 | 0.00s |
| database.group_by_sum | warm | success | match | 0.3180 | 0.00s |
| database.word_count_index | cold | success | match | 4.3186 | 0.00s |
| database.word_count_index | warm | success | match | 4.1793 | 0.00s |
| database.word_count_index | warm | success | match | 4.3949 | 0.00s |
| database.word_count_index | warm | success | match | 3.9053 | 0.00s |
| database.word_count_index | warm | success | match | 4.5534 | 0.00s |
| database.word_count_index | warm | success | match | 4.2851 | 0.00s |
| etl.distinct_count | cold | success | match | 21.5193 | 0.00s |
| etl.distinct_count | warm | success | match | 26.1421 | 0.00s |
| etl.distinct_count | warm | success | match | 21.4000 | 0.00s |
| etl.distinct_count | warm | success | match | 20.4799 | 0.00s |
| etl.distinct_count | warm | success | match | 20.5214 | 0.00s |
| etl.distinct_count | warm | success | match | 20.3402 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 1.4285 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2316 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2248 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.3052 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2457 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2046 | 0.00s |
| etl.merge_join | cold | success | match | 7.0793 | 0.00s |
| etl.merge_join | warm | success | match | 7.9513 | 0.00s |
| etl.merge_join | warm | success | match | 7.3356 | 0.00s |
| etl.merge_join | warm | success | match | 7.3309 | 0.00s |
| etl.merge_join | warm | success | match | 6.7686 | 0.00s |
| etl.merge_join | warm | success | match | 7.3730 | 0.00s |
| etl.top_n_selection | cold | success | match | 0.2487 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2489 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2526 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.3545 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2433 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2622 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 531.0357 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 475.1748 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 469.0950 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 502.3792 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 467.2585 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 477.4426 | 0.00s |
| financial.compound_interest | cold | success | match | 6.1470 | 0.00s |
| financial.compound_interest | warm | success | match | 6.2974 | 0.00s |
| financial.compound_interest | warm | success | match | 7.3250 | 0.00s |
| financial.compound_interest | warm | success | match | 6.6722 | 0.00s |
| financial.compound_interest | warm | success | match | 6.5145 | 0.00s |
| financial.compound_interest | warm | success | match | 10.0300 | 0.00s |
| financial.moving_average | cold | success | match | 5.3333 | 0.00s |
| financial.moving_average | warm | success | match | 4.9893 | 0.00s |
| financial.moving_average | warm | success | match | 5.1085 | 0.00s |
| financial.moving_average | warm | success | match | 7.1496 | 0.00s |
| financial.moving_average | warm | success | match | 5.0683 | 0.00s |
| financial.moving_average | warm | success | match | 5.7837 | 0.00s |
| graph.bfs | cold | success | match | 0.4376 | 0.00s |
| graph.bfs | warm | success | match | 0.1777 | 0.00s |
| graph.bfs | warm | success | match | 0.2104 | 0.00s |
| graph.bfs | warm | success | match | 0.1937 | 0.00s |
| graph.bfs | warm | success | match | 0.3583 | 0.00s |
| graph.bfs | warm | success | match | 0.1814 | 0.00s |
| graph.dijkstra | cold | success | match | 79.1327 | 0.00s |
| graph.dijkstra | warm | success | match | 79.7339 | 0.00s |
| graph.dijkstra | warm | success | match | 91.8705 | 0.00s |
| graph.dijkstra | warm | success | match | 78.3379 | 0.00s |
| graph.dijkstra | warm | success | match | 79.3796 | 0.00s |
| graph.dijkstra | warm | success | match | 78.4005 | 0.00s |
| graph.floyd_warshall | cold | success | match | 114.5328 | 0.00s |
| graph.floyd_warshall | warm | success | match | 96.4025 | 0.00s |
| graph.floyd_warshall | warm | success | match | 96.8351 | 0.00s |
| graph.floyd_warshall | warm | success | match | 98.9995 | 0.00s |
| graph.floyd_warshall | warm | success | match | 96.7603 | 0.00s |
| graph.floyd_warshall | warm | success | match | 98.0925 | 0.00s |
| image.box_blur | cold | success | match | 238.6883 | 0.00s |
| image.box_blur | warm | success | match | 204.5416 | 0.00s |
| image.box_blur | warm | success | match | 201.2356 | 0.00s |
| image.box_blur | warm | success | match | 219.2148 | 0.00s |
| image.box_blur | warm | success | match | 204.3670 | 0.00s |
| image.box_blur | warm | success | match | 200.3921 | 0.00s |
| image.convolution_1d | cold | success | match | 902.9507 | 0.00s |
| image.convolution_1d | warm | success | match | 886.1681 | 0.00s |
| image.convolution_1d | warm | success | match | 855.8971 | 0.00s |
| image.convolution_1d | warm | success | match | 921.6967 | 0.00s |
| image.convolution_1d | warm | success | match | 849.4610 | 0.00s |
| image.convolution_1d | warm | success | match | 857.3815 | 0.00s |
| image.grayscale_filter | cold | success | match | 0.2368 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1935 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1238 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1331 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1223 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1378 | 0.00s |
| image.sobel_edge | cold | success | match | 516.6440 | 0.00s |
| image.sobel_edge | warm | success | match | 504.1062 | 0.00s |
| image.sobel_edge | warm | success | match | 496.5217 | 0.00s |
| image.sobel_edge | warm | success | match | 502.0600 | 0.00s |
| image.sobel_edge | warm | success | match | 528.3418 | 0.00s |
| image.sobel_edge | warm | success | match | 500.3364 | 0.00s |
| iot.rolling_average | cold | success | match | 0.1919 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1784 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1683 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1809 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1647 | 0.00s |
| iot.rolling_average | warm | success | match | 0.2778 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 3.7713 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.5925 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.6375 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.7293 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.6850 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 3.6846 | 0.00s |
| ml.knn_inference | cold | success | match | 0.2657 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1121 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1047 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1016 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1025 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1125 | 0.00s |
| ml.perceptron_predict | cold | success | match | 12.2477 | 0.00s |
| ml.perceptron_predict | warm | success | match | 11.9269 | 0.00s |
| ml.perceptron_predict | warm | success | match | 16.1822 | 0.00s |
| ml.perceptron_predict | warm | success | match | 11.4249 | 0.00s |
| ml.perceptron_predict | warm | success | match | 11.8870 | 0.00s |
| ml.perceptron_predict | warm | success | match | 11.6322 | 0.00s |
| numerical.dot_product | cold | success | match | 0.0680 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0457 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0441 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0482 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0475 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0450 | 0.00s |
| numerical.gcd_loop | cold | success | match | 17.2719 | 0.00s |
| numerical.gcd_loop | warm | success | match | 12.5793 | 0.00s |
| numerical.gcd_loop | warm | success | match | 17.8406 | 0.00s |
| numerical.gcd_loop | warm | success | match | 12.2205 | 0.00s |
| numerical.gcd_loop | warm | success | match | 12.6181 | 0.00s |
| numerical.gcd_loop | warm | success | match | 15.1203 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 5.2686 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 4.9900 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 4.8938 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 6.5691 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 7.0620 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 4.8528 | 0.00s |
| numerical.matrix_vector | cold | success | match | 26.1629 | 0.00s |
| numerical.matrix_vector | warm | success | match | 31.5152 | 0.00s |
| numerical.matrix_vector | warm | success | match | 26.1695 | 0.00s |
| numerical.matrix_vector | warm | success | match | 28.9541 | 0.00s |
| numerical.matrix_vector | warm | success | match | 25.4321 | 0.00s |
| numerical.matrix_vector | warm | success | match | 25.4132 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 0.8805 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8302 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8694 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8701 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8452 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.8482 | 0.00s |
| numerical.prime_sieve | cold | success | match | 0.2736 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2453 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2477 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2406 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.4930 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2527 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 12.5834 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 8.7727 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 8.5936 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 9.2300 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 9.0430 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 8.9375 | 0.00s |
| object.bank_account | cold | success | match | 36.2683 | 0.00s |
| object.bank_account | warm | success | match | 18.1323 | 0.00s |
| object.bank_account | warm | success | match | 16.0044 | 0.00s |
| object.bank_account | warm | success | match | 17.0706 | 0.00s |
| object.bank_account | warm | success | match | 20.9681 | 0.00s |
| object.bank_account | warm | success | match | 16.0691 | 0.00s |
| object.shape_area | cold | success | match | 3.4812 | 0.00s |
| object.shape_area | warm | success | match | 2.4841 | 0.00s |
| object.shape_area | warm | success | match | 2.3480 | 0.00s |
| object.shape_area | warm | success | match | 2.6288 | 0.00s |
| object.shape_area | warm | success | match | 2.4714 | 0.00s |
| object.shape_area | warm | success | match | 2.4816 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 1.0439 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.0199 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.8244 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.9778 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.2001 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.4701 | 0.00s |
| parsing.ini_parse | cold | success | match | 1.0655 | 0.00s |
| parsing.ini_parse | warm | success | match | 1.0934 | 0.00s |
| parsing.ini_parse | warm | success | match | 1.9260 | 0.00s |
| parsing.ini_parse | warm | success | match | 1.0676 | 0.00s |
| parsing.ini_parse | warm | success | match | 1.0730 | 0.00s |
| parsing.ini_parse | warm | success | match | 1.8085 | 0.00s |
| parsing.log_line_parse | cold | success | match | 0.5044 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2769 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2475 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2491 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2683 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.2327 | 0.00s |
| regex.email_like_match | cold | success | match | 5.4088 | 0.00s |
| regex.email_like_match | warm | success | match | 5.3615 | 0.00s |
| regex.email_like_match | warm | success | match | 5.3690 | 0.00s |
| regex.email_like_match | warm | success | match | 5.2725 | 0.00s |
| regex.email_like_match | warm | success | match | 5.2538 | 0.00s |
| regex.email_like_match | warm | success | match | 5.4059 | 0.00s |
| regex.wildcard_match | cold | success | match | 6.2513 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.3707 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.1906 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.4476 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.6492 | 0.00s |
| regex.wildcard_match | warm | success | match | 6.2089 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 5.2410 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.1193 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.1557 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.2160 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.0743 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 5.1676 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 21.7058 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 21.8316 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 22.1649 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 22.0462 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 21.5822 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 22.0982 | 0.00s |
| serialization.csv_serialize | cold | success | match | 0.2333 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2211 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2167 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.3852 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2513 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.2475 | 0.00s |
| serialization.json_serialize | cold | success | match | 20.0384 | 0.00s |
| serialization.json_serialize | warm | success | match | 20.3770 | 0.00s |
| serialization.json_serialize | warm | success | match | 18.8505 | 0.00s |
| serialization.json_serialize | warm | success | match | 19.2861 | 0.00s |
| serialization.json_serialize | warm | success | match | 20.5960 | 0.00s |
| serialization.json_serialize | warm | success | match | 19.5379 | 0.00s |
| simulation.conway_life | cold | success | match | 26.6846 | 0.00s |
| simulation.conway_life | warm | success | match | 29.2493 | 0.00s |
| simulation.conway_life | warm | success | match | 27.0356 | 0.00s |
| simulation.conway_life | warm | success | match | 26.5061 | 0.00s |
| simulation.conway_life | warm | success | match | 27.2007 | 0.00s |
| simulation.conway_life | warm | success | match | 26.3975 | 0.00s |
| simulation.particle_movement | cold | success | match | 39.7219 | 0.00s |
| simulation.particle_movement | warm | success | match | 39.1432 | 0.00s |
| simulation.particle_movement | warm | success | match | 40.5033 | 0.00s |
| simulation.particle_movement | warm | success | match | 40.1175 | 0.00s |
| simulation.particle_movement | warm | success | match | 40.0689 | 0.00s |
| simulation.particle_movement | warm | success | match | 45.8802 | 0.00s |
| sorting.merge_sort | cold | success | match | 0.6403 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6551 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6745 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.7114 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6257 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6579 | 0.00s |
| sorting.quick_sort | cold | success | match | 108.2219 | 0.00s |
| sorting.quick_sort | warm | success | match | 115.2550 | 0.00s |
| sorting.quick_sort | warm | success | match | 107.5966 | 0.00s |
| sorting.quick_sort | warm | success | match | 109.4303 | 0.00s |
| sorting.quick_sort | warm | success | match | 111.8919 | 0.00s |
| sorting.quick_sort | warm | success | match | 132.8736 | 0.00s |
| statistics.correlation | cold | success | match | 91.9733 | 0.00s |
| statistics.correlation | warm | success | match | 97.5826 | 0.00s |
| statistics.correlation | warm | success | match | 92.3173 | 0.00s |
| statistics.correlation | warm | success | match | 90.1117 | 0.00s |
| statistics.correlation | warm | success | match | 96.1826 | 0.00s |
| statistics.correlation | warm | success | match | 92.4305 | 0.00s |
| statistics.histogram | cold | success | match | 4.7193 | 0.00s |
| statistics.histogram | warm | success | match | 7.7911 | 0.00s |
| statistics.histogram | warm | success | match | 4.6728 | 0.00s |
| statistics.histogram | warm | success | match | 4.3034 | 0.00s |
| statistics.histogram | warm | success | match | 4.4100 | 0.00s |
| statistics.histogram | warm | success | match | 4.2964 | 0.00s |
| statistics.mean_variance | cold | success | match | 328.5740 | 0.00s |
| statistics.mean_variance | warm | success | match | 347.9166 | 0.00s |
| statistics.mean_variance | warm | success | match | 313.2056 | 0.00s |
| statistics.mean_variance | warm | success | match | 316.9363 | 0.00s |
| statistics.mean_variance | warm | success | match | 319.1818 | 0.00s |
| statistics.mean_variance | warm | success | match | 340.5416 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.0975 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0625 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0510 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0540 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0519 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0512 | 0.00s |
| stdlib.json_parse | cold | success | match | 0.5553 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.7375 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.3534 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.3785 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.4294 | 0.00s |
| stdlib.json_parse | warm | success | match | 0.3658 | 0.00s |
| string.dna_count | cold | success | match | 427.2963 | 0.00s |
| string.dna_count | warm | success | match | 451.5488 | 0.00s |
| string.dna_count | warm | success | match | 462.8046 | 0.00s |
| string.dna_count | warm | success | match | 433.6277 | 0.00s |
| string.dna_count | warm | success | match | 422.2186 | 0.00s |
| string.dna_count | warm | success | match | 412.4696 | 0.00s |
| string.log_parser | cold | success | match | 3.1231 | 0.00s |
| string.log_parser | warm | success | match | 2.6208 | 0.00s |
| string.log_parser | warm | success | match | 1.8336 | 0.00s |
| string.log_parser | warm | success | match | 2.8314 | 0.00s |
| string.log_parser | warm | success | match | 2.4919 | 0.00s |
| string.log_parser | warm | success | match | 1.9007 | 0.00s |
| string.palindrome_pairs | cold | success | match | 7.9769 | 0.00s |
| string.palindrome_pairs | warm | success | match | 8.2107 | 0.00s |
| string.palindrome_pairs | warm | success | match | 12.7540 | 0.00s |
| string.palindrome_pairs | warm | success | match | 7.8918 | 0.00s |
| string.palindrome_pairs | warm | success | match | 7.9901 | 0.00s |
| string.palindrome_pairs | warm | success | match | 12.6663 | 0.00s |
| text.sentiment_score | cold | success | match | 0.4341 | 0.00s |
| text.sentiment_score | warm | success | match | 0.7065 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4230 | 0.00s |
| text.sentiment_score | warm | success | match | 0.7605 | 0.00s |
| text.sentiment_score | warm | success | match | 0.7257 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4225 | 0.00s |
| text.word_count | cold | success | match | 6.0956 | 0.00s |
| text.word_count | warm | success | match | 5.8855 | 0.00s |
| text.word_count | warm | success | match | 6.6175 | 0.00s |
| text.word_count | warm | success | match | 5.6995 | 0.00s |
| text.word_count | warm | success | match | 6.0164 | 0.00s |
| text.word_count | warm | success | match | 6.0951 | 0.00s |
| tree.bst_operations | cold | success | match | 0.9962 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8846 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8707 | 0.00s |
| tree.bst_operations | warm | success | match | 1.1916 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8803 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8520 | 0.00s |
| web.cookie_parse | cold | success | match | 0.5052 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5308 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5049 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5417 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5124 | 0.00s |
| web.cookie_parse | warm | success | match | 0.5199 | 0.00s |
| web.html_tag_count | cold | success | match | 1.8928 | 0.00s |
| web.html_tag_count | warm | success | match | 1.9975 | 0.00s |
| web.html_tag_count | warm | success | match | 1.9217 | 0.00s |
| web.html_tag_count | warm | success | match | 2.0039 | 0.00s |
| web.html_tag_count | warm | success | match | 1.9392 | 0.00s |
| web.html_tag_count | warm | success | match | 1.9165 | 0.00s |
| web.http_parser | cold | success | match | 0.8093 | 0.00s |
| web.http_parser | warm | success | match | 0.8193 | 0.00s |
| web.http_parser | warm | success | match | 0.8273 | 0.00s |
| web.http_parser | warm | success | match | 0.9037 | 0.00s |
| web.http_parser | warm | success | match | 0.8727 | 0.00s |
| web.http_parser | warm | success | match | 0.8675 | 0.00s |
| web.query_string_parse | cold | success | match | 0.5792 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5696 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5583 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5714 | 0.00s |
| web.query_string_parse | warm | success | match | 0.5739 | 0.00s |
| web.query_string_parse | warm | success | match | 0.6053 | 0.00s |
| web.url_router | cold | success | match | 0.0606 | 0.00s |
| web.url_router | warm | success | match | 0.0639 | 0.00s |
| web.url_router | warm | success | match | 0.0624 | 0.00s |
| web.url_router | warm | success | match | 0.0616 | 0.00s |
| web.url_router | warm | success | match | 0.0628 | 0.00s |
| web.url_router | warm | success | match | 0.0642 | 0.00s |
Proof Packs
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ce7b905fdfd9464c9e9f85b4
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/fb96be15fef64438af451659
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/14f031ea88c6492cb07f70fe
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/0cb269c6b9ef4e0c8f11e857
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/02be517448c14501ad9f2261
Proof pack for etl.distinct_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/20674931b777441b929edf17
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/a2e3371bcfe847858b6db2fe
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b7e68d7fa0574356bc828c53
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ca53a59518844087890dfaa2
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7dd556157478406eb890bd86
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/67634030e22144cb899e6b15
Proof pack for compression.run_length_encode on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/8d6e513c705644269b99a8f8
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e055b82aef7d4077a383135b
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ca34888815734e1ea30c34d6
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/05afab5a68864c67a26b0b24
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ec9b60239cc3404c996936d1
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/63c4ea5be447478ca7bd26eb
Proof pack for graph.floyd_warshall on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/8da7c17f2d8f4bb3bd9e7f79
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/83d11993aa1849399391a81b
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/82676d45271d4d0e87076ae1
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6dc4c01ef8634cabab54bbe9
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6688fa082d3941bda1e04294
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ac9b5694c8f8479f9fbc3ddb
Proof pack for statistics.correlation on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/160379c7cd024f97bc9a1f9b
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/cae61fbae32747028e9866c9
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3f927277b1af483fb6f72bef
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/225034f446c341efbc8ed046
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5f37806b98ad4f069d718987
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7981e607cfe145d7825dca34
Proof pack for image.convolution_1d on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5837f3254bab460bba8860e4
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/acefd97711354a75b5eacfc2
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d796c64996cf4eb88bdc4d05
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/425a8f0fbc87439d8aeec570
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/47c897da772c438b83261d64
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/2ed1c2f24ffe48c7b454d35c
Proof pack for crypto.simple_checksum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b30526701f6548cc9be14b60
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/232059e6369a4124b545b022
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/fb8946730d904202a0b54b27
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f6833202edb547d59a44d9c9
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ccbbf4ca329741b98a2120a5
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/65c9720b3442456da9bea4f7
Proof pack for web.html_tag_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1aa0300345574277be0b7fb6
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d845b6afa8e94e4ca8502243
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/071de920d80949c8b5fd9cef
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/edcfdfda146c4befbc427f49
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/23ed6fbccdbe489ea7b1be3b
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/df23913e95184cb2b0e6a368
Proof pack for data_processing.json_extract on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/aa31b025daa942ba975daf60
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/93d002851cd04d6e9185c722
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9986f2f8c1f9463b85afcc38
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e8895088e65c48f8b1ac7f3b
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3e7840d511a1453c9b911315
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ebbc11d98bf54afebab6917d
Proof pack for core.factorial_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6a90d99fc5124fa2b8771996
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/25a592f9473d457eb29e5117
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/08fbbfb3dd734b989588a938
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/236975d639034713a5196906
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/0c668ee42a234743a8a16a35
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/8655628c52fa49498511fc90
Proof pack for core.fibonacci_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/8d8466fd60a2489e8cd73dce
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9b72b8868d704d778faeca3f
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/8ef3f6a909ea4ff3855fe1d0
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/dd4617f156cc493399338679
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7a4eaac9cb3c4cd08eaa7e59
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/27b169091cc04e4788c361a2
Proof pack for iot.sensor_anomaly on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5fb8fc00fcfa468dbf058e17
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d4b5c6d51e544360a4394418
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/917c206074774f5f923e32a0
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/07fa3a48c31f44b9a0a1a0bd
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5effd5432fea46acb9486e5f
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/81035456a56a49578e4e995a
Proof pack for simulation.conway_life on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/25d5903f0c02476b804d3c7b
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/0dc919cf02c74674b13a1a4b
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f537f726d37c4b118e1b5b5b
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/42fbb8ca46e0493c8560952d
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/2c887df1d8df46a4a56a7390
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6f6f0977c7df4931891471b1
Proof pack for text.sentiment_score on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/28c8ca865576490e85ff420d
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/2a725dd5c9784e17ad45cd90
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/72d916bb8b1a4418899312bd
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e528d945a8464fd1b0e87764
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ae1e890b3f5e4d8f8350c74d
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ab244f5239384b26bff72e07
Proof pack for serialization.csv_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9d65024197a34448bf1a157f
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6f6fa68fe804444fa6539761
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6cad818468fe41839633ea81
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/96805ac6b8664c82b2be34d3
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/42245dfee5d845fabc4722de
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/8ed8943763044a0aa13495f6
Proof pack for object.bank_account on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/97fa887bd5084f8297bd4a41
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b0f3e48a62344568ab3558d1
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3a8ca34e870041818d7810fc
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4cd06b78197c4e7fbb1d9303
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6309fc0d43c34eab9e1b77c9
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/97645bf5844246d0bd6ab59a
Proof pack for sorting.quick_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6ad7bee14a1544bca4b0cc6a
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5f8983ac1f1d4c69ac84b6ed
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ec487615d1ae46fc9c20d744
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4467bc7bc9164f108003e8af
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c540884cd90d49229afaa93b
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d0cb9c57ff3a407998a9d0ea
Proof pack for graph.dijkstra on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d7c79cbcd33746779a280837
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/643c90a0d4374722966af723
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7daab0edab41433193c40e1b
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/81d40b6defb641109861c393
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f35eac3e963f45239a876dac
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b3620f38afa640719cba2364
Proof pack for parsing.log_line_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/023bf1d2493f4d91bce8bf85
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/fe1e7de1783c47baa924fd06
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d506c69fb28a4a8e8c47a6c7
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4ca214a1ea6b4235bb53de60
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7ca64461cd5f4e9a8677abc2
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9bb7e0c62d3546898f621216
Proof pack for financial.compound_interest on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4a9278dd53a84c01868f198d
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/bbe226ddbfe244c8969e4818
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7d414d5a3ba54a7288c2e1c0
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4129508fd007482f801164e6
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1bc8137b057d48f3bf7f7615
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d7638955817c4bbcb5df0e0f
Proof pack for ml.perceptron_predict on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d7e394386a7f4116801d4497
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ebc52b2bc05e41d9b3d4784c
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/12bd93b281ce4220861ba7ac
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/79c3f7018ab44c3a92512e18
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ddc3b8a1475a4f0f897b6bda
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/55ec232c7fd34fa8a23c43f7
Proof pack for numerical.gcd_loop on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/292076b1471140d4a3ed62b4
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1f881bcb98c64d609cfc2e70
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d06ce602be814864bc4d1371
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/a1a426538bce42ea9fd515dc
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/0eaaedde70d240a0992042ef
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c2f4701a72e6459da7e1ec21
Proof pack for image.sobel_edge on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/85a5f49a25de40b99347b83d
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5ffcb1136313477c9950b194
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/83b89187c07149cfb66a3f5a
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/be01813ea7c94c07a144a897
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d82bb851cc7b455aa2f4cde2
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e91d6b63c44a4d10af95b7ae
Proof pack for string.palindrome_pairs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/926ccc84145c48b4b250208c
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/dea71dadbd8b441fb965eb84
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b5b0680868fb4697a89e5618
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5b46886142de45398e0328d9
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c938d3c6ef22432fb67b2052
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c64c5e8a95b5494fb8ab1d32
Proof pack for statistics.mean_variance on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/67edd76e533f4617addacac5
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/132e911e57244f3bb9b3373c
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/46de1ec270374fe493f2a65d
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f04dc1f3c188473391c45294
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/596ca39b215f47fc9dc955ce
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/70483041ae8a4b498ed26b50
Proof pack for etl.windowed_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/557d01db344348fcaf08234d
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/894d62cd24c2498781dea7ac
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b877a441bd3847a28907c933
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d35b35ce59264893b9684f31
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/706226ae46cd4346aec39ca4
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ac3d76f8969444d09d98e34a
Proof pack for crypto.caesar_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5da097c0f83a49aca706fb66
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4cf6701e048b4f40adeb1a0b
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/50cc168b78684ee5a0943fd2
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/473bd133f584453eb74c6dff
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/de98fb58e0444594be6ada39
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3723bc67a39d4f66af415bbc
Proof pack for web.cookie_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4e865983323045b9aea2e800
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e6aa971c6ad6477b8e7b1d3d
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ca115447b5da48f9a737d25f
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ab41e88037a14d6e8d867019
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/76b68e57e8a94759aa778402
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e5b9bd1d05434f82b35cce52
Proof pack for regex.email_like_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/701adf3351cf45488c758abb
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/eac7737d32b049518a6bef83
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c757d6d9bd4b4aa18a06ba0a
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e64f7b8aea824643b4979693
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/fef93ca5c97c47919e0192b8
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/a95c557c973d4edfa2eebce8
Proof pack for database.group_by_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6e0c24bac2ec4d0a8bd40e9c
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ca01e12a4b6243a195aff517
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/978ad8ec46284848b30d9c19
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/30fbbf3185874a26b2b30aa1
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/0b5a8b5d318845119bf3cf2f
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/fbdda4464aab4d6aad85157a
Proof pack for scientific.newton_sqrt on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e7b53605e6584449bc53fcba
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c59630c6b325496292d5f6bd
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/51ac9382c0c748d9a77bdba0
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/50c70a0ed16a42ed8f9573d2
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/afbb7ff8597d4170bf4f96cf
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6c94806ce4724d3eb00f18fb
Proof pack for numerical.trapezoidal_integral on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f6d7bb422c314551a70df7c0
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/47ce322db3274404b61d178e
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/58c07152d7ed4d7ab90afe26
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/86b3eeefaf7749aba2374e94
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b3e0c739181b44519cf3ff1f
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ff5d5a946af34487b712ed89
Proof pack for image.box_blur on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/140127f80a01434c9587be46
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3e90512eaa7f48d8be884f0b
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d2ff4e2ffec74340a21c7c92
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7d5173bcf6b9498994d5ba96
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b62c8c06e7f6438aad19b912
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6faa5e53b0444cf4ae5f7955
Proof pack for string.dna_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/a62fa87f553443cb85e34e06
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/22c43471ff1b4a449256f3a5
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5c88d605f0e94692b8f0a31b
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1c14aa65b47245fc91a653b8
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c10c63baa5ef4274a1357205
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1ea3a7d1f65e45c7b20c1f5d
Proof pack for statistics.histogram on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/649a7bba542944f5943da275
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ca2db50d348b474ab09a9b3b
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b1c9def068f840ad8ac967a4
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/711081b450174a40b7c63fbb
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e87d8ce2fd8e4d2caae14976
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e8d96522e46844d88fc46c3a
Proof pack for etl.top_n_selection on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d4a81b87606e40ffbedd08e9
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/428d6632f5554f698232deda
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/20409499330548e5b20671cb
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5f89d3deecec4a6c9b70a962
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/19e009465fb8413ba2e5dd88
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d2b00bc49c3646cca4f7904f
Proof pack for crypto.xor_cipher on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/139798c539fb42e086cbcd57
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c6c155e787aa49aab505359d
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/63bfbcb99cff4ae3ba01c903
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/0af84d42af40444c82be949b
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ca3c304df6a342efb6aa36f1
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1b5e75f5308745e4ab6a0182
Proof pack for web.query_string_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ed7897bd667a4500b956475b
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e7d6d1f4efca48a0a9ee9ff8
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/03ee424088984539879814c8
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/65a3b053a5ad4ad3801325f1
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/80e28358399f43d1bcb84461
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f203dff1e3dc45df8cd2f835
Proof pack for regex.wildcard_match on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/23a355c6acf947aca0c5fc55
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/982a105d60904b2ca48e4996
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/67f0b0cb9b1e4b2b8664004b
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6541f53955db4aa0a1177c2e
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c148dd15726e4215bd586f8f
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/baeed481f3e8450090a5e3cb
Proof pack for database.word_count_index on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c35b3ffbcb5447929b69debb
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/315d90bbe2cd4d47817801da
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c2753692dfeb4ae7a0316238
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/2b8070b5c93648f5b1d44cf6
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/cb13119cac5849299a4c0b78
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/37af13d75f4e4b1ea4ea1bd7
Proof pack for scientific.polynomial_eval on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e685cea13ded4f6198c48482
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5b37cd121ac847d3acf6ebd0
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ea7cc1a3d1d44c8ea513ee10
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d408f56f67054998968aab38
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/54130f40c92845acb30710dd
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/364fdb705c7148138b185bb9
Proof pack for numerical.matrix_vector on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/36df4b26a3d843d1bc4bb85d
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c80ff6ad98614f7ab8516ce2
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/70b07c667e1d4d9aaa510cf0
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c4e9d6965cef44aa9fc9ef69
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/39d69077e5794c4195d652a6
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/021ce330da21444491afdafe
Proof pack for text.word_count on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/732912a666d64a03a394f98f
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/37d20d77dbd64b7a8de457ef
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f1e2514950c44b66afe3b8c4
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/05dd37f67e2d4f73afb52a01
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/724155de63554524963c4173
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/00db2a00c0dd4c97a13df08f
Proof pack for serialization.json_serialize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ddae43f4ec2a47759c99149e
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e683d3fb15f74949be190d28
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/38708d455f0d43a8a9c45d5f
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/8e996e6b6d0c44118acc73b3
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/828c9e2f955349b898980a8c
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/74780b8af4914a91b4b3da1d
Proof pack for object.shape_area on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ddc085680d0c4bb396b405cf
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c9dfbd2a436749cbb514bbe2
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3541091334d94a7587c6f11a
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7335d1adc134435b8888ad52
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/970621ec838144eaacabd03b
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/331bebe2f1564986b493c1b0
Proof pack for sorting.merge_sort on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f02b9f43128f4ac3989c0a60
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b56132e592104ed6a94283df
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5f0589c3d98f4e3cb0b394a6
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/222906d00c93461592ddcc1d
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1567e759feae42d6bad5da8e
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/72090e07817746bcb4a94805
Proof pack for graph.bfs on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/68bfeba86f0c4591a47f196c
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/fd11da2231784fe6b692f90d
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b398ea19750548bd9ca6f597
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/11637410a1f341a6a32b9a6d
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/081349f53f3f430ab7c1f7af
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e6f6422a154a4c728767249a
Proof pack for parsing.ini_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7ae06c9bf78d416b97c21c0c
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/124f331212d3431e91aa570e
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/0bcf5c2cc6df411f8982bbbb
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/2c525631b1434bddbb823d25
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/713f6b97e2dc4746bc46a38c
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3c45391de5a84f6f89069c4a
Proof pack for parsing.csv_tokenize on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/38e85f96b1d14f5a9c97214f
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f1fe491a3d9d46acb5b8c5fd
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1eca61a0bd4f4484a038e3e9
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d6135d9853a54387b59707ea
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e855b3cfc54e464e80ab346f
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ca911dd1c6f4468493cb1774
Proof pack for financial.moving_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/bf26df3abc0b4640beb7ee7c
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/db2926784557403ca01fc0b6
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/03571a62c7994f35a09f5d56
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/63094568c54b40f683c3246e
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/41a3d4cb558a423bbaf29028
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/212d4442cc05475fb6d914f8
Proof pack for ml.knn_inference on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7107d6e431b046d197769f71
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/146ea6f18b434887af58b828
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/790fb92c8aa9492fbf7dd38f
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7499200a6bb2465394719952
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e6336ac71dcc45b08ec784fb
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ab356e35b09f4d61b8dbd155
Proof pack for simulation.particle_movement on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f867f255b73b46baa211ba12
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d4cb6f75620b494c9be88930
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b33868e9a4284331889546f6
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/699c56b2633e49f1886fac4b
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6d35fb7265604381813f2dad
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/a446e1bffb734a7a8d692b27
Proof pack for tree.bst_operations on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/283fd654a9e94805a1d1f7fe
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5849a59a4ab241a580179be0
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3808576cabea47e299bf2e9a
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e4b7b234fbe74c44bf30991d
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/470f05162b3f4eaeab7a895c
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7ecbafc0920a48348827c54e
Proof pack for string.log_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3d53e911893f4bafaa6ad1e5
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/61c5704289324571b37d290b
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f91f6bf214d94b849333feaa
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c6695bd9acfa463ba3b10b94
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e29c8875a69d4a509c1cfa0b
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/42e362d1e3934a72a968a35d
Proof pack for etl.merge_join on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/443071ce6636434a8fd845ac
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9ed914085b2f4a82b7fc55fa
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/513c6a8d0ec149e8be4d016e
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9f2cc58e0cf54f93896e77ba
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/faf08b4a1ad44e00a84de8e1
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/be6d00c27f5541e9a07ea06f
Proof pack for etl.group_by_aggregate on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c07790bdb6cc4f2b994ff45f
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5f137cd7ad3444d2a0087ca5
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3b3db7c6397848fcb2fbaf9e
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f6deffa97fdc41f681b45bfb
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/2b9ea57f721c4fd5ad744e42
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/21f22491bf3c48b5aa0681af
Proof pack for image.grayscale_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/fc446edff92f4c5ab5524a6c
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/161424bee07c43c49e9c9746
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/938e4b2dfd3a4480b0b51002
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4b96fcad2a5c481fa2d8b577
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9c9355004b594394b10c6e1c
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/8bc42048c45e47368acc643f
Proof pack for compression.rle_roundtrip on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1e993b89d52743ca839fbcc8
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/2857e5d994d84000bfac71a5
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/0823709c193d4357bfb79fa8
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/f8150752d01c46e897540ae8
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/10c2fab08dd34545a4510eba
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1800e3219c3c498886ec64fa
Proof pack for crypto.fnv1a_hash on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6ddba42fa995443ea592a74d
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ec06d2d5b6ae40bc84fbef97
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/268e8b585bca4219aa8e4a5d
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/fb9d00c32ebe40518b2e5aaf
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/8111765738344fbbaf98ea9c
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/6d956cceddc24d76ad6c4e10
Proof pack for web.url_router on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/758ce2a57c21480b83d47981
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/05ae326c632d46cc970f192b
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ea052c9b7cd04850ba2fc137
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c500b362338a45bfaf12d649
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9a925d5a7f1449b3a8ff0a9d
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ca8d43339b394dcc8fe43184
Proof pack for web.http_parser on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d2be4144618b4e1e9481490d
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/08e788143f2f4f9bb11b880b
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4859193a1ff14e559c563a66
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3ee2c81e4ac641c098733ba3
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c5ea410a94e544cb847b0e56
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c0856c41f0b14830a85a8ac1
Proof pack for stdlib.dict_lookup on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4cea16db12e943dbaef8d87b
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/05c61c97a9ae4dc1b3f5f792
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4fba85e4aeaa4cfe8facc5a5
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/8471cb7f45a641ebb71ac8a9
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9b0880a2b77c4ffcacc836b3
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5c81ed6dbba241c89a7929ec
Proof pack for stdlib.json_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e65bdaaa1bf4437e806988b6
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/af40d8b0839c492aa73b0874
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9a9448a8da094106b14af879
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/32af772888ab4f76a1c6bc6b
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4841f6c13a39410eb616a899
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/62b4942ab79644eba659b7af
Proof pack for iot.rolling_average on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ceb5d2e2bb9e4a33975d5ae9
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/2943f7c856ee48b2afec77e9
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d12103a6b102410bb31b764a
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/c351a791dae64fd2b5f7107e
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/5cda9a4394f8471380ee152d
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/87d3b51cb3d44ee7bd283515
Proof pack for data_processing.csv_parse on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9e6546b6f06741d3a0ed15f5
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/9e89c1c95f7d44298795dfc2
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/99a6f87bdb7147c2878b0e5b
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/78d98c1cf8704a659bddee53
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ab14e402559044ffb07de772
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/76feca90c2384068a2a3428c
Proof pack for numerical.prime_sieve on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/b227e20253c0486ea814a2cf
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d8a5f874230e4bccacd183bf
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/cbf174dc691b4821a04ec0a4
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ce5d123c41864bebbd600cdf
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/2c0ca0c614ae45e59dbfb427
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/a8999276b92c46eea7f9bb87
Proof pack for numerical.monte_carlo_pi on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d920efe851794540969f4f71
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/093425cb1e2f48ad852adf8a
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/21a6e243e86645d3af9bc8ca
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/45a9cba6f5474ebf97a909ab
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/a45557131ce140599f07bf1e
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/524f3382fe8b42ab95ca3433
Proof pack for numerical.matrix_multiply on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/24aa2c17a7b4422ebb7056a2
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3832da90f8974095b6a74a1b
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/77e40630f9a34a63aad91bfc
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/cc220c50f35a4064b3bdfa63
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/2eb18b77e3234dd68cd8b74c
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/1ae5d5579c6e4cbe81f4d53e
Proof pack for numerical.dot_product on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/dd72fedc5d984df1883c0467
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7233e0f2a41b40d1ba46dce5
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d11c91ead764413fb96b66af
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/aaa13770f30e4c91b0432fff
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/58d418bef83042ad9befda76
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/e6dd39f322f744f5a6c6d12a
Proof pack for core.list_filter on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/77b72e2e06814b599bc0f137
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/a10d8acdc15844ee9749f199
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/a420f9b8b68d4c60878808aa
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/3ad50414e17b40948ea660d6
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/69cf5ba1a7544c8dbf37f761
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ae1639c14bc54806b4bc7ffa
Proof pack for core.float_reduction on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/80bd268c9e714bc8b74267a4
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/d63bec6bcdc340ab9a7a2472
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/7c92abc937764b9fb983ddea
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/4888f5b81ca6401c923579d8
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ebd7275d6f8a4d218905d4cd
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/ca2e5fa6411544cda0408728
Proof pack for core.integer_sum on cpython-system
/var/www/pyvorin-bench/data/proofpacks/4c57076485444374a024e424/17fdc5a44048407c81e27211