Campaign Summary
ID: 02b0fafb3b194179b9a15037
Started: 2026-07-19 12:33:39.311314
Finished: 2026-07-19 12:34:20.567495
Duration: 41.3s
71
Workloads
284
Cases
284
Passed
0
Failed
0
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.4945
cold mean ms
0.0104
warm mean ms
0.0103
warm median ms
0.0011
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
1.4745
cold mean ms
0.0130
warm mean ms
0.0130
warm median ms
0.0003
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
0.0946
cold mean ms
0.7075
warm mean ms
0.6997
warm median ms
0.0648
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
1.6870
cold mean ms
0.5111
warm mean ms
0.5257
warm median ms
0.0325
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
3.9856
cold mean ms
0.5287
warm mean ms
0.5173
warm median ms
0.1068
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
3.7523
cold mean ms
0.0547
warm mean ms
0.0471
warm median ms
0.0133
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
1.9513
cold mean ms
0.0865
warm mean ms
0.0678
warm median ms
0.0345
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
2.2481
cold mean ms
0.7059
warm mean ms
0.7077
warm median ms
0.0655
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
3.3111
cold mean ms
0.7834
warm mean ms
0.7822
warm median ms
0.0073
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
8.7588
cold mean ms
1.6851
warm mean ms
1.6828
warm median ms
0.0641
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.0933
cold mean ms
0.6428
warm mean ms
0.6546
warm median ms
0.0228
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
6.2649
cold mean ms
1.1514
warm mean ms
1.0004
warm median ms
0.2764
warm stdev ms
100%
success rate
0
mismatches
web.url_router
2.3638
cold mean ms
0.4744
warm mean ms
0.4397
warm median ms
0.0768
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
5.9011
cold mean ms
3.1314
warm mean ms
3.0623
warm median ms
0.1453
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
13.0284
cold mean ms
7.9625
warm mean ms
7.8333
warm median ms
0.3659
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
1.3390
cold mean ms
0.6271
warm mean ms
0.5895
warm median ms
0.0703
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
2.9318
cold mean ms
0.4505
warm mean ms
0.4552
warm median ms
0.0135
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
11.1448
cold mean ms
8.9850
warm mean ms
9.1299
warm median ms
0.3115
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
2.9268
cold mean ms
1.0961
warm mean ms
1.0761
warm median ms
0.0348
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
4.5772
cold mean ms
2.1580
warm mean ms
1.9487
warm median ms
0.4550
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
19.7281
cold mean ms
17.6798
warm mean ms
17.6916
warm median ms
0.5648
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.1747
cold mean ms
0.7607
warm mean ms
0.7282
warm median ms
0.0665
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
3.4206
cold mean ms
0.7019
warm mean ms
0.5541
warm median ms
0.2688
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
1.8989
cold mean ms
0.4715
warm mean ms
0.4060
warm median ms
0.1254
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
7.6419
cold mean ms
0.7046
warm mean ms
0.6542
warm median ms
0.2198
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
4.5181
cold mean ms
0.2621
warm mean ms
0.2676
warm median ms
0.0270
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
5.4403
cold mean ms
1.9409
warm mean ms
1.8979
warm median ms
0.0966
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
3.5268
cold mean ms
2.4083
warm mean ms
2.3821
warm median ms
0.0746
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
33.4844
cold mean ms
14.6122
warm mean ms
12.9507
warm median ms
2.9217
warm stdev ms
100%
success rate
0
mismatches
text.word_count
5.4805
cold mean ms
3.1072
warm mean ms
3.1093
warm median ms
0.0416
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
4.3223
cold mean ms
1.4971
warm mean ms
1.4951
warm median ms
0.0446
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
7.3179
cold mean ms
2.4424
warm mean ms
2.4259
warm median ms
0.0756
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
4.4147
cold mean ms
2.5666
warm mean ms
2.1991
warm median ms
0.7236
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
5.8272
cold mean ms
0.4100
warm mean ms
0.4080
warm median ms
0.0102
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
4.0616
cold mean ms
0.2400
warm mean ms
0.2316
warm median ms
0.0370
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
4.0089
cold mean ms
1.3914
warm mean ms
1.3388
warm median ms
0.1600
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
1.2977
cold mean ms
0.2383
warm mean ms
0.2211
warm median ms
0.0699
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
2.2679
cold mean ms
0.2898
warm mean ms
0.2903
warm median ms
0.0113
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
221.1023
cold mean ms
240.5962
warm mean ms
233.8459
warm median ms
23.8719
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
17.0162
cold mean ms
10.7898
warm mean ms
10.7352
warm median ms
0.1877
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
1.4571
cold mean ms
0.1001
warm mean ms
0.0989
warm median ms
0.0052
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
2.6450
cold mean ms
1.0423
warm mean ms
0.8153
warm median ms
0.4133
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
4.7979
cold mean ms
0.1597
warm mean ms
0.1636
warm median ms
0.0072
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
4.5594
cold mean ms
0.4877
warm mean ms
0.4461
warm median ms
0.1687
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
3.8510
cold mean ms
0.1837
warm mean ms
0.1847
warm median ms
0.0089
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
4.4796
cold mean ms
0.3967
warm mean ms
0.3707
warm median ms
0.1618
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
14.1131
cold mean ms
10.4040
warm mean ms
10.2498
warm median ms
0.5153
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
25.1576
cold mean ms
14.2295
warm mean ms
13.7411
warm median ms
0.9297
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
2.4367
cold mean ms
0.9479
warm mean ms
0.9667
warm median ms
0.0351
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
13.1452
cold mean ms
10.6096
warm mean ms
10.5573
warm median ms
0.2208
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
4.5257
cold mean ms
2.3995
warm mean ms
2.4034
warm median ms
0.0409
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
3.6875
cold mean ms
0.6514
warm mean ms
0.6584
warm median ms
0.0180
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
2.1909
cold mean ms
0.6921
warm mean ms
0.6942
warm median ms
0.0133
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
1.7343
cold mean ms
0.4954
warm mean ms
0.4881
warm median ms
0.0223
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
23.4312
cold mean ms
12.3879
warm mean ms
12.2588
warm median ms
0.8041
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
16.6618
cold mean ms
6.4989
warm mean ms
6.4101
warm median ms
0.2226
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
2.4151
cold mean ms
1.4918
warm mean ms
1.5086
warm median ms
0.0870
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
2.1643
cold mean ms
0.0744
warm mean ms
0.0718
warm median ms
0.0051
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
2.9812
cold mean ms
0.3249
warm mean ms
0.3248
warm median ms
0.0043
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
14.4244
cold mean ms
2.7202
warm mean ms
2.7457
warm median ms
0.0460
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
2.1949
cold mean ms
0.2041
warm mean ms
0.1848
warm median ms
0.0425
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
1.6776
cold mean ms
0.5071
warm mean ms
0.5154
warm median ms
0.0178
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
1.4963
cold mean ms
0.0669
warm mean ms
0.0682
warm median ms
0.0048
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
2.0797
cold mean ms
0.7575
warm mean ms
0.7525
warm median ms
0.0199
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
5.2460
cold mean ms
0.0975
warm mean ms
0.0721
warm median ms
0.0450
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
3.2213
cold mean ms
0.4573
warm mean ms
0.5004
warm median ms
0.0956
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
20.4985
cold mean ms
17.8196
warm mean ms
17.2623
warm median ms
0.9947
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
8.8774
cold mean ms
3.7618
warm mean ms
3.9416
warm median ms
0.3542
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
7.0897
cold mean ms
3.7683
warm mean ms
3.7676
warm median ms
0.0635
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
4.4985
cold mean ms
0.6823
warm mean ms
0.6770
warm median ms
0.0317
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
6.3326
cold mean ms
2.0080
warm mean ms
2.0146
warm median ms
0.0480
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 13.0284 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 7.6787 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 8.3755 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 7.8333 | 0.00s |
| compression.run_length_encode | cold | success | match | 4.4985 | 0.00s |
| compression.run_length_encode | warm | success | match | 0.7163 | 0.00s |
| compression.run_length_encode | warm | success | match | 0.6536 | 0.00s |
| compression.run_length_encode | warm | success | match | 0.6770 | 0.00s |
| core.factorial_sum | cold | success | match | 1.4963 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0682 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0615 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0708 | 0.00s |
| core.fibonacci_sum | cold | success | match | 1.6776 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.4866 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.5154 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.5193 | 0.00s |
| core.float_reduction | cold | success | match | 1.4745 | 0.00s |
| core.float_reduction | warm | success | match | 0.0130 | 0.00s |
| core.float_reduction | warm | success | match | 0.0127 | 0.00s |
| core.float_reduction | warm | success | match | 0.0132 | 0.00s |
| core.integer_sum | cold | success | match | 0.4945 | 0.00s |
| core.integer_sum | warm | success | match | 0.0103 | 0.00s |
| core.integer_sum | warm | success | match | 0.0093 | 0.00s |
| core.integer_sum | warm | success | match | 0.0114 | 0.00s |
| core.list_filter | cold | success | match | 0.0946 | 0.00s |
| core.list_filter | warm | success | match | 0.7760 | 0.00s |
| core.list_filter | warm | success | match | 0.6470 | 0.00s |
| core.list_filter | warm | success | match | 0.6997 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 4.4796 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 0.5699 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 0.2495 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 0.3707 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 5.9011 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 3.2984 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 3.0336 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 3.0623 | 0.00s |
| crypto.simple_checksum | cold | success | match | 3.2213 | 0.00s |
| crypto.simple_checksum | warm | success | match | 0.3477 | 0.00s |
| crypto.simple_checksum | warm | success | match | 0.5004 | 0.00s |
| crypto.simple_checksum | warm | success | match | 0.5239 | 0.00s |
| crypto.xor_cipher | cold | success | match | 4.0089 | 0.00s |
| crypto.xor_cipher | warm | success | match | 1.5710 | 0.00s |
| crypto.xor_cipher | warm | success | match | 1.2642 | 0.00s |
| crypto.xor_cipher | warm | success | match | 1.3388 | 0.00s |
| data_processing.csv_parse | cold | success | match | 2.2481 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.7704 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.7077 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.6395 | 0.00s |
| data_processing.json_extract | cold | success | match | 2.0797 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.7525 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.7795 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.7407 | 0.00s |
| database.group_by_sum | cold | success | match | 4.7979 | 0.00s |
| database.group_by_sum | warm | success | match | 0.1642 | 0.00s |
| database.group_by_sum | warm | success | match | 0.1514 | 0.00s |
| database.group_by_sum | warm | success | match | 0.1636 | 0.00s |
| database.word_count_index | cold | success | match | 4.4147 | 0.00s |
| database.word_count_index | warm | success | match | 3.4003 | 0.00s |
| database.word_count_index | warm | success | match | 2.1005 | 0.00s |
| database.word_count_index | warm | success | match | 2.1991 | 0.00s |
| etl.distinct_count | cold | success | match | 6.3326 | 0.00s |
| etl.distinct_count | warm | success | match | 2.0146 | 0.00s |
| etl.distinct_count | warm | success | match | 1.9571 | 0.00s |
| etl.distinct_count | warm | success | match | 2.0523 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 2.9318 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 0.4610 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 0.4353 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 0.4552 | 0.00s |
| etl.merge_join | cold | success | match | 11.1448 | 0.00s |
| etl.merge_join | warm | success | match | 9.1299 | 0.00s |
| etl.merge_join | warm | success | match | 9.1977 | 0.00s |
| etl.merge_join | warm | success | match | 8.6275 | 0.00s |
| etl.top_n_selection | cold | success | match | 1.2977 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.1787 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.3153 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.2211 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 14.1131 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 10.2498 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 9.9834 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 10.9789 | 0.00s |
| financial.compound_interest | cold | success | match | 2.1909 | 0.00s |
| financial.compound_interest | warm | success | match | 0.7043 | 0.00s |
| financial.compound_interest | warm | success | match | 0.6779 | 0.00s |
| financial.compound_interest | warm | success | match | 0.6942 | 0.00s |
| financial.moving_average | cold | success | match | 3.4206 | 0.00s |
| financial.moving_average | warm | success | match | 0.5394 | 0.00s |
| financial.moving_average | warm | success | match | 0.5541 | 0.00s |
| financial.moving_average | warm | success | match | 1.0122 | 0.00s |
| graph.bfs | cold | success | match | 4.5181 | 0.00s |
| graph.bfs | warm | success | match | 0.2328 | 0.00s |
| graph.bfs | warm | success | match | 0.2676 | 0.00s |
| graph.bfs | warm | success | match | 0.2860 | 0.00s |
| graph.dijkstra | cold | success | match | 23.4312 | 0.00s |
| graph.dijkstra | warm | success | match | 13.2488 | 0.00s |
| graph.dijkstra | warm | success | match | 11.6562 | 0.00s |
| graph.dijkstra | warm | success | match | 12.2588 | 0.00s |
| graph.floyd_warshall | cold | success | match | 7.0897 | 0.00s |
| graph.floyd_warshall | warm | success | match | 3.7051 | 0.00s |
| graph.floyd_warshall | warm | success | match | 3.8321 | 0.00s |
| graph.floyd_warshall | warm | success | match | 3.7676 | 0.00s |
| image.box_blur | cold | success | match | 17.0162 | 0.00s |
| image.box_blur | warm | success | match | 10.9987 | 0.00s |
| image.box_blur | warm | success | match | 10.6355 | 0.00s |
| image.box_blur | warm | success | match | 10.7352 | 0.00s |
| image.convolution_1d | cold | success | match | 20.4985 | 0.00s |
| image.convolution_1d | warm | success | match | 18.9681 | 0.00s |
| image.convolution_1d | warm | success | match | 17.2623 | 0.00s |
| image.convolution_1d | warm | success | match | 17.2284 | 0.00s |
| image.grayscale_filter | cold | success | match | 1.3390 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.5895 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.5836 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.7083 | 0.00s |
| image.sobel_edge | cold | success | match | 13.1452 | 0.00s |
| image.sobel_edge | warm | success | match | 10.8519 | 0.00s |
| image.sobel_edge | warm | success | match | 10.4197 | 0.00s |
| image.sobel_edge | warm | success | match | 10.5573 | 0.00s |
| iot.rolling_average | cold | success | match | 3.3111 | 0.00s |
| iot.rolling_average | warm | success | match | 0.7912 | 0.00s |
| iot.rolling_average | warm | success | match | 0.7767 | 0.00s |
| iot.rolling_average | warm | success | match | 0.7822 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 2.1949 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.2529 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.1848 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.1746 | 0.00s |
| ml.knn_inference | cold | success | match | 0.1747 | 0.00s |
| ml.knn_inference | warm | success | match | 0.8372 | 0.00s |
| ml.knn_inference | warm | success | match | 0.7282 | 0.00s |
| ml.knn_inference | warm | success | match | 0.7166 | 0.00s |
| ml.perceptron_predict | cold | success | match | 3.6875 | 0.00s |
| ml.perceptron_predict | warm | success | match | 0.6584 | 0.00s |
| ml.perceptron_predict | warm | success | match | 0.6648 | 0.00s |
| ml.perceptron_predict | warm | success | match | 0.6310 | 0.00s |
| numerical.dot_product | cold | success | match | 1.6870 | 0.00s |
| numerical.dot_product | warm | success | match | 0.5336 | 0.00s |
| numerical.dot_product | warm | success | match | 0.5257 | 0.00s |
| numerical.dot_product | warm | success | match | 0.4738 | 0.00s |
| numerical.gcd_loop | cold | success | match | 4.5257 | 0.00s |
| numerical.gcd_loop | warm | success | match | 2.4034 | 0.00s |
| numerical.gcd_loop | warm | success | match | 2.3567 | 0.00s |
| numerical.gcd_loop | warm | success | match | 2.4383 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 3.9856 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 0.6407 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 0.4281 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 0.5173 | 0.00s |
| numerical.matrix_vector | cold | success | match | 4.3223 | 0.00s |
| numerical.matrix_vector | warm | success | match | 1.5426 | 0.00s |
| numerical.matrix_vector | warm | success | match | 1.4534 | 0.00s |
| numerical.matrix_vector | warm | success | match | 1.4951 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 3.7523 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0469 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0471 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0701 | 0.00s |
| numerical.prime_sieve | cold | success | match | 1.9513 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.1263 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.0654 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.0678 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 1.4571 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0989 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.1057 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0956 | 0.00s |
| object.bank_account | cold | success | match | 2.4151 | 0.00s |
| object.bank_account | warm | success | match | 1.5086 | 0.00s |
| object.bank_account | warm | success | match | 1.5692 | 0.00s |
| object.bank_account | warm | success | match | 1.3976 | 0.00s |
| object.shape_area | cold | success | match | 3.5268 | 0.00s |
| object.shape_area | warm | success | match | 2.3503 | 0.00s |
| object.shape_area | warm | success | match | 2.4924 | 0.00s |
| object.shape_area | warm | success | match | 2.3821 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 1.8989 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.4060 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.6161 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 0.3923 | 0.00s |
| parsing.ini_parse | cold | success | match | 7.6419 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.6542 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.5145 | 0.00s |
| parsing.ini_parse | warm | success | match | 0.9453 | 0.00s |
| parsing.log_line_parse | cold | success | match | 1.7343 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.4775 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.5204 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.4881 | 0.00s |
| regex.email_like_match | cold | success | match | 4.5594 | 0.00s |
| regex.email_like_match | warm | success | match | 0.6734 | 0.00s |
| regex.email_like_match | warm | success | match | 0.3437 | 0.00s |
| regex.email_like_match | warm | success | match | 0.4461 | 0.00s |
| regex.wildcard_match | cold | success | match | 5.8272 | 0.00s |
| regex.wildcard_match | warm | success | match | 0.4080 | 0.00s |
| regex.wildcard_match | warm | success | match | 0.4211 | 0.00s |
| regex.wildcard_match | warm | success | match | 0.4010 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 2.6450 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.7924 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.8153 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 1.5193 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 7.3179 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 2.4259 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 2.5249 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 2.3763 | 0.00s |
| serialization.csv_serialize | cold | success | match | 2.1643 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.0718 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.0803 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.0712 | 0.00s |
| serialization.json_serialize | cold | success | match | 33.4844 | 0.00s |
| serialization.json_serialize | warm | success | match | 17.9858 | 0.00s |
| serialization.json_serialize | warm | success | match | 12.9000 | 0.00s |
| serialization.json_serialize | warm | success | match | 12.9507 | 0.00s |
| simulation.conway_life | cold | success | match | 14.4244 | 0.00s |
| simulation.conway_life | warm | success | match | 2.7478 | 0.00s |
| simulation.conway_life | warm | success | match | 2.7457 | 0.00s |
| simulation.conway_life | warm | success | match | 2.6671 | 0.00s |
| simulation.particle_movement | cold | success | match | 19.7281 | 0.00s |
| simulation.particle_movement | warm | success | match | 17.6916 | 0.00s |
| simulation.particle_movement | warm | success | match | 17.1092 | 0.00s |
| simulation.particle_movement | warm | success | match | 18.2386 | 0.00s |
| sorting.merge_sort | cold | success | match | 5.4403 | 0.00s |
| sorting.merge_sort | warm | success | match | 1.8979 | 0.00s |
| sorting.merge_sort | warm | success | match | 1.8734 | 0.00s |
| sorting.merge_sort | warm | success | match | 2.0515 | 0.00s |
| sorting.quick_sort | cold | success | match | 16.6618 | 0.00s |
| sorting.quick_sort | warm | success | match | 6.7522 | 0.00s |
| sorting.quick_sort | warm | success | match | 6.3343 | 0.00s |
| sorting.quick_sort | warm | success | match | 6.4101 | 0.00s |
| statistics.correlation | cold | success | match | 8.8774 | 0.00s |
| statistics.correlation | warm | success | match | 3.9901 | 0.00s |
| statistics.correlation | warm | success | match | 3.3537 | 0.00s |
| statistics.correlation | warm | success | match | 3.9416 | 0.00s |
| statistics.histogram | cold | success | match | 2.2679 | 0.00s |
| statistics.histogram | warm | success | match | 0.3009 | 0.00s |
| statistics.histogram | warm | success | match | 0.2903 | 0.00s |
| statistics.histogram | warm | success | match | 0.2783 | 0.00s |
| statistics.mean_variance | cold | success | match | 25.1576 | 0.00s |
| statistics.mean_variance | warm | success | match | 13.7411 | 0.00s |
| statistics.mean_variance | warm | success | match | 13.6458 | 0.00s |
| statistics.mean_variance | warm | success | match | 15.3016 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.0933 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.6546 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.6572 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.6165 | 0.00s |
| stdlib.json_parse | cold | success | match | 8.7588 | 0.00s |
| stdlib.json_parse | warm | success | match | 1.6222 | 0.00s |
| stdlib.json_parse | warm | success | match | 1.7504 | 0.00s |
| stdlib.json_parse | warm | success | match | 1.6828 | 0.00s |
| string.dna_count | cold | success | match | 221.1023 | 0.00s |
| string.dna_count | warm | success | match | 220.8264 | 0.00s |
| string.dna_count | warm | success | match | 267.1164 | 0.00s |
| string.dna_count | warm | success | match | 233.8459 | 0.00s |
| string.log_parser | cold | success | match | 2.9268 | 0.00s |
| string.log_parser | warm | success | match | 1.0759 | 0.00s |
| string.log_parser | warm | success | match | 1.0761 | 0.00s |
| string.log_parser | warm | success | match | 1.1363 | 0.00s |
| string.palindrome_pairs | cold | success | match | 2.4367 | 0.00s |
| string.palindrome_pairs | warm | success | match | 0.9695 | 0.00s |
| string.palindrome_pairs | warm | success | match | 0.9667 | 0.00s |
| string.palindrome_pairs | warm | success | match | 0.9074 | 0.00s |
| text.sentiment_score | cold | success | match | 2.9812 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3292 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3206 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3248 | 0.00s |
| text.word_count | cold | success | match | 5.4805 | 0.00s |
| text.word_count | warm | success | match | 3.1478 | 0.00s |
| text.word_count | warm | success | match | 3.1093 | 0.00s |
| text.word_count | warm | success | match | 3.0646 | 0.00s |
| tree.bst_operations | cold | success | match | 4.5772 | 0.00s |
| tree.bst_operations | warm | success | match | 1.8454 | 0.00s |
| tree.bst_operations | warm | success | match | 2.6800 | 0.00s |
| tree.bst_operations | warm | success | match | 1.9487 | 0.00s |
| web.cookie_parse | cold | success | match | 3.8510 | 0.00s |
| web.cookie_parse | warm | success | match | 0.1847 | 0.00s |
| web.cookie_parse | warm | success | match | 0.1921 | 0.00s |
| web.cookie_parse | warm | success | match | 0.1744 | 0.00s |
| web.html_tag_count | cold | success | match | 5.2460 | 0.00s |
| web.html_tag_count | warm | success | match | 0.0721 | 0.00s |
| web.html_tag_count | warm | success | match | 0.0709 | 0.00s |
| web.html_tag_count | warm | success | match | 0.1495 | 0.00s |
| web.http_parser | cold | success | match | 6.2649 | 0.00s |
| web.http_parser | warm | success | match | 0.9834 | 0.00s |
| web.http_parser | warm | success | match | 1.4704 | 0.00s |
| web.http_parser | warm | success | match | 1.0004 | 0.00s |
| web.query_string_parse | cold | success | match | 4.0616 | 0.00s |
| web.query_string_parse | warm | success | match | 0.2805 | 0.00s |
| web.query_string_parse | warm | success | match | 0.2078 | 0.00s |
| web.query_string_parse | warm | success | match | 0.2316 | 0.00s |
| web.url_router | cold | success | match | 2.3638 | 0.00s |
| web.url_router | warm | success | match | 0.4210 | 0.00s |
| web.url_router | warm | success | match | 0.4397 | 0.00s |
| web.url_router | warm | success | match | 0.5624 | 0.00s |
Proof Packs
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/dcd7e0c035af435692529681
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/41db351bd2dc4e51860ffbd6
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/88ddce35471a4a4792fdafe7
Proof pack for etl.distinct_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c561a917ba5c44c690b00a0d
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/3b149587e0984c14b8d514d5
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/758ea3a90d5c46aab373e0b5
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/05ad43eac5a6439796d9cb6d
Proof pack for compression.run_length_encode on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/188a3fbf30cc4addb8d2775d
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/877d1f1bcc1442e38806ed73
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4c075ac006b14b7bb31ec008
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/7ec3a56ff9234a38889bd8ab
Proof pack for graph.floyd_warshall on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/ea33bd2b1fea4da5a9cbcd7b
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4417f693b0ac4481bdb57475
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/d5781cc0a2014c1881e86e1c
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/6b3f712b9b3644ac81d8b540
Proof pack for statistics.correlation on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/40c0d776dfb84766bc8281e6
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/7eba60ae102843678e5a8f3b
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/836d17a056c048e5bd852a0c
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/95c77dd724ed4918b0535617
Proof pack for image.convolution_1d on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/01f026193a2a4a7d8e2654a3
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/d9df9348a40146a7b80455f4
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8b24b512dadb4b90971d3ca1
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4aed1ec708cf4b6db7000adb
Proof pack for crypto.simple_checksum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/a5afb90b64304148a66b20f3
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/5d5dda797b1541b8bbd7ed72
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/fc78d2450f064bcdbd602677
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8b2bf6ab7821407db65f7298
Proof pack for web.html_tag_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/88d1deb31d8a4e46b4bd072e
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/d5c051611e0c4ec38b8e5c93
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c8bc06a3506c4c73b2256373
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4831e2db932c4ce3a979c15f
Proof pack for data_processing.json_extract on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/366e1a4d62bf457a87ea0114
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/022652f423624900aa977a7c
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/9117643ad26847d59faf9c8e
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/88540ae783984a7fa083381c
Proof pack for core.factorial_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/3e62369152d94c4b9d59d546
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/2fc2b86f68fe4b2c9b5d3ffa
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4eb8770518034083b6de55f9
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/29d2b42b45bd416084ab3b09
Proof pack for core.fibonacci_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/851c8225f05447e286bcf8f7
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/ea4f441ddd58447fa33ef333
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/05d2277ae32e4dcf9c895cc9
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4d7dbc1a6e7844d3bbf55f60
Proof pack for iot.sensor_anomaly on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/ec82855fed0e43e783d1964d
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/131e77fcc0024db38dfc240c
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8061d0a11d40459ab35d9339
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/7a58ecec008844c382d8f031
Proof pack for simulation.conway_life on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/867adeb9211b496e9927c8cc
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/5f3aebd6bb3e492c93392371
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/beac8fbd1fb349b089640fd5
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/46f157a4a1744f94bd15281a
Proof pack for text.sentiment_score on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/461ccafa19294cd2a35b8174
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b13cca128fbf4b71b03392d9
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/3587f25b044c4f01a5bbb259
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/240de1723ca34ad594852e53
Proof pack for serialization.csv_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/9dc3cc8d60f44464b1030092
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/3b2150fba364489e960034bb
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/9ab190d206c543418bb34833
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8927cba248e34d888019fa5b
Proof pack for object.bank_account on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/08d40dbb29b642c6bcb3cf21
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/bfb36afb6d2f457e96d13463
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/6e0bd0cf65c24adeb67b2d3c
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/50dc380707b4498d8f51cfa1
Proof pack for sorting.quick_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/2b1964d6e5274b28bfd6765f
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/2be22cb5c8354ed687727d3d
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/849c96ffac594595b6e8a003
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0034e6e201a5496684eca194
Proof pack for graph.dijkstra on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/103ee4dd52444eb9b265bf63
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0ba949e616d04d59a80d7394
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/dc72d84ac73447fb95081171
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/040446c1db664e20a54903ef
Proof pack for parsing.log_line_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/bfb402d5a7204a939e0887c5
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/56c3ee237a654dd9a8801cce
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/a8d6f28cd39e4698883d8b29
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/559472b1b56c4ea09976a8ae
Proof pack for financial.compound_interest on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/ae62b0adec7d4de9a6c83ecf
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/737a9061254d44d3939bf8c0
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8588418406c94ea09733518c
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0fecd80438a7443b81d4512d
Proof pack for ml.perceptron_predict on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/66d2e4f5cba94840a39148bf
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/1d81153f61f24bb8a9ee0968
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/dc02d052555b4dce8983ab71
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/668a0d6f90df4e2dbeabb4c3
Proof pack for numerical.gcd_loop on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/9d1580d46d844d5498a9a66c
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/1102d2255cc542ee94af0652
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/6075e7c02fb244eca1db14d2
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/393932c73767425a8874e8b6
Proof pack for image.sobel_edge on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/2b71a519229a43d2b2548b85
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/715d9e561c4e4a8da8e84f68
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/6610de4d2a654e90824f21c8
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4b4e3f21ad1f4a7780be536f
Proof pack for string.palindrome_pairs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/3c303a9ed6554bd7ba92e5fa
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8489a05debae49b6a89f4c1a
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b19d708317834b8791f2d51d
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/57016fefc5e540e9888854b6
Proof pack for statistics.mean_variance on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/92b5cdbc2981455aaae19bd7
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/2e95ad3f8b034415be83eea1
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/1b002b9d22184877aaba428d
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/40d5d2b5ef794ca0bd5acc6b
Proof pack for etl.windowed_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/399f7eca4da54969b759b2ba
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/721033fc4279483e9d17e3dd
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b6f4fd2ba61542c89c9efb4a
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/fab79b3bbaaa4f5d8299de75
Proof pack for crypto.caesar_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/e6739c3e97fb432ab3014c20
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/15f4092c7f274944b1c887ae
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/eadfb23a42994199a9814587
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/d6ea3c84cc894636918b86d4
Proof pack for web.cookie_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/cf6c422ac0394663a8dc58ab
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/902145f13ef648359141f766
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/f649983cba59419d86dd5e6e
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c09e925cc9024916842847ec
Proof pack for regex.email_like_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/9b60b04886c84aeca2226b03
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/3ca21ad948d44ca9a5bc744d
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/fb397ceaddb74acfa1228be2
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8c4c48eadd5d493cb378ef3e
Proof pack for database.group_by_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8bf886bc54974e75838d9803
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/6d985a9b405f42c0929045f4
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/1622b7dc043d41d4a46a590f
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/292efc81866841ebb99514ef
Proof pack for scientific.newton_sqrt on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/38560303093646cb80adb22c
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/44d4fd11b7f04270b01a0832
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b6fd6f49090a42ac87f426d5
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/f15c11124ff44fdba227eaaf
Proof pack for numerical.trapezoidal_integral on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/98f7b679f9bd48148076d829
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/d9ac88979463447da2ec7e17
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8e00920d3701497f8ed4218e
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/3fe32aa753fb48eba52e7726
Proof pack for image.box_blur on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/299d9567f61740abb15891d2
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/43dd3436207c43edb6a4fc4d
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/e2d7e146a09f459198f781ec
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/38fff85b60b54af1945a90d8
Proof pack for string.dna_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/20df3b59ff44487b8974918d
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/744c2c82c0424c3481d994de
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c067ca16ecb042379804227c
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/a786b3807dd741058b3a879d
Proof pack for statistics.histogram on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/a3735c8b69c14facb8a463f0
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/394824fda620491aba047495
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/5db61c081ba14bd9910d4bad
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/e2a99d41e0024fe18b5491c0
Proof pack for etl.top_n_selection on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/95f91d1d777347cdbb9683e8
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0b0359c0715e458e9f3232b2
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/fd1a7a75bf8d4e7487191e8c
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c8aef344efe049bd8b349340
Proof pack for crypto.xor_cipher on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/f42e90c00e0c40cc9269da5f
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8ac577a03eee4e2d86f42130
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/ffb6d6c589e04547b74f30ea
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/bce62f7cbf4a45378ff65187
Proof pack for web.query_string_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/820c6e4d84da46b994f6df19
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/f38cd5d16a134c739949ab11
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/890994b40bdf4768be98b0d9
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/f261ad462c754b3294811e98
Proof pack for regex.wildcard_match on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/eebea4c8671f48fe9dd7b314
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/56464f3c7598431881ac3bae
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/06cf7ea6ad9c42e2929403d1
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8ed1068ff50a40fa836e3add
Proof pack for database.word_count_index on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4e71e208cfb84b72bddc36af
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/03bd7ea420564732a149ec22
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/570efd5417d0459b89007aff
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/608e3d39b69e4b5996b70bb8
Proof pack for scientific.polynomial_eval on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/2e69350ec78d4df78fcb442a
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/89e89b934a614ee09243bc81
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/cf8bb5f133524a94bebc06df
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/38d06ae6d72a477285ac46b1
Proof pack for numerical.matrix_vector on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/6225c90fa4274bd4bb5e1f9e
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/02b11dae390348819f2e0fa3
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/fb68bd7005984e1c8eeb2eab
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0fb5d704edbe444dba2068cc
Proof pack for text.word_count on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/32a65a54db854da382bb4b87
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/9147c415b93f4a68a9396be5
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/e1dbf4a82281460daf7e5f98
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4cf00d02441148ef8e94920c
Proof pack for serialization.json_serialize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/d4e06b78b53f4dad9cf39ff4
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0bb98dabff9847a0bf30f633
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/7e8958412bd9460391ea44b0
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0272349199b04fadb2cf7498
Proof pack for object.shape_area on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c3173be22ffb47e28bcc6687
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/db4ab82cdf2642fe8ac18207
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/fbeca2689bb444dd9b3846a3
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/6b1870448bb34929ae9bc02b
Proof pack for sorting.merge_sort on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/fa827b1a77f54d25a885d701
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/2208a8985aa140788bcd4106
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/44a8dcccf6e548c78541bf7f
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/2316fcca2f8a485cbd657ce4
Proof pack for graph.bfs on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/18c6a65931264ca9ac1b26ff
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/24ff01f841cc407fa4b9fb0e
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/74e6d245c3124d7c860f641a
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/bbea1a37e8f441a1b9735330
Proof pack for parsing.ini_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/cf61fccf7a664bda8763ca6b
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/50c8b8cca9cb440181ccccf0
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/26b60ef2a5744501a0e322c4
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/417241d5583e400b8586036a
Proof pack for parsing.csv_tokenize on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/1be36d733cb942a7a88e1aae
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/bdc22cdd62dd462380803876
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/7c38830aad4d4905880e96e0
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/7d7b70157cf245b080746677
Proof pack for financial.moving_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b368f21886f94b2594fd894d
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/7288303088a74ec0ab64b5f6
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/57d208c918f943ac99694423
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8d4a5cc7138a44e7aafff43e
Proof pack for ml.knn_inference on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/e108ed18439548d8bb0ad31f
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/6c1dc483a5fe49d290095326
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/dc4a388db24b4e78a8e923ad
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4eb987cc479b49848fe0c04b
Proof pack for simulation.particle_movement on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/7a09740aab8c40c685f8e30c
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/e246494bc9944959b6824c10
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c44fced48b6d420e892f23fa
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/66f2be816a7e419f90498ebc
Proof pack for tree.bst_operations on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/58e64a8db1104a439497169a
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/e4f3e0b988cd48108ab31fca
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/df4df8c548844d04bc6c1547
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/dc2fe73a33cd4f3bb3d56c0e
Proof pack for string.log_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/01de4f2a3e3e465e91c798c8
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8c5912d2bf7745e6a49fc65d
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/13aafa46ff8f4622833e8627
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/319a54fba7994205aaabb090
Proof pack for etl.merge_join on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0efb2a8c12924331b11c727f
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/90e9b7d5a7b54762852404be
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/6db07ff41f6c4a98acf8a53f
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c0faf3f2d8144f9199bab0d8
Proof pack for etl.group_by_aggregate on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/f528c2220aaa4c17967b5966
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/db47f1ea9b63425e992cfdb5
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/1c4a0a31c5904c5c85580e7c
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/15d6e547475e47c4bdd8d206
Proof pack for image.grayscale_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/d16d1f93dbf44a01b03d59de
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/392563bb03ba4e8baaf5023b
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/958af3a6271c4756a0cc20ec
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/f5e440f4efc24fc0854525a2
Proof pack for compression.rle_roundtrip on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/7add113f936b4631873dd694
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c974a456e8584584bf2812a2
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c1bb2fd10fae436ca71fcc13
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/02f8e242fcc248cb9fa8eb4f
Proof pack for crypto.fnv1a_hash on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/46307ff7addb4c89a0fd65fb
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/09d615b3b74d4e068d989df7
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b64061061e7c42c7bee7020e
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/1881be6ae4414296ae0458c5
Proof pack for web.url_router on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c2d1f64971424b2db6d102f5
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/9bb5a67686b84187a077d6f4
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/02e429f6e47e4aee9c219953
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/029f25e8280949449f1b5aed
Proof pack for web.http_parser on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/337dd53f6b4b4ac0ab9f56c1
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/df39779b867d45e1b111f8cf
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/9971d5892a7649cba70fcec0
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/ccfece534f284bfb805ef2f9
Proof pack for stdlib.dict_lookup on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/4b8a10e32bf747e68857a230
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/89b60b9da3c64424a524562d
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/f4fe34a6de13468a80c9de86
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/17bc322ad8ce46dc9d6cdf27
Proof pack for stdlib.json_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/ab13116f41ec47b990f4bc5c
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/fb078f82ac9a44b296b0682a
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/9102c64d6ecd4206aecf4f5e
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b0a191edfff24ed7abb8b02c
Proof pack for iot.rolling_average on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/e917ac2eb7ad41ee9c51d379
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b59797fec519434b86657ebd
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/df29fa7b01794796892f4a4a
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/9a75bfa0ab114e808015af7f
Proof pack for data_processing.csv_parse on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/dcecd35ebefd42fb9a4af674
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c3ff7061526340c09421ee1f
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/ac213a9790484024863f3be3
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/1fd52b7fe865414aba56b38a
Proof pack for numerical.prime_sieve on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0aa4519f3d2f42ac9a5a143c
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/1936b93be54c40fc826686c0
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c02b3c5ea6584c3f92041383
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/fc0d726cf11b4498823cff68
Proof pack for numerical.monte_carlo_pi on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/bed9b79d584b47af9782f40f
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/f74e442bcffe4b7193b5c195
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/8d8d0ba239fc464a8d96a087
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/cfa26e451d7847db9a7d184f
Proof pack for numerical.matrix_multiply on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/81467bc0fe514e908c6c2a42
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/69293e6023fb4f7897d65a5f
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/6b5cde6a2465446499729cf3
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0519254b5c394e849bc6cdb1
Proof pack for numerical.dot_product on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0bce4ab6ce5c4554843d8f7a
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/3e30f4e86d614385b3f29a8e
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/0a2ede14cff04bfea4d88beb
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/54510ab6f0cd4d6fa3205bec
Proof pack for core.list_filter on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b126ec7b9a6d4efd9424ace1
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c5715a7192d64a04afdaeded
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b5d7c50d789245d1bbc5f46f
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c4429f66906e424ab260aeec
Proof pack for core.float_reduction on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/b18936b3f8a4473797c760ed
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/562adaacbf52496aab735edb
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/c2bb95e87f684514b65552df
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/71fa23e7d4d8432a8b40dcef
Proof pack for core.integer_sum on pypy3-system
/var/www/pyvorin-bench/data/proofpacks/02b0fafb3b194179b9a15037/2d8fddca49dd49008e1ed13d