Campaign Summary
ID: a4799362b082400f8207171c
Started: 2026-07-19 09:12:59.327637
Finished: 2026-07-19 09:17:44.728986
Duration: 285.4s
71
Workloads
284
Cases
272
Passed
12
Failed
4
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.0749
cold mean ms
0.0077
warm mean ms
0.0071
warm median ms
0.0015
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
0.0883
cold mean ms
0.0160
warm mean ms
0.0161
warm median ms
0.0002
warm stdev ms
100%
success rate
0
mismatches
core.list_filter
2.1243
cold mean ms
0.5265
warm mean ms
0.5283
warm median ms
0.0035
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.0601
cold mean ms
0.0463
warm mean ms
0.0455
warm median ms
0.0028
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
numerical.monte_carlo_pi
0.0897
cold mean ms
0.0202
warm mean ms
0.0183
warm median ms
0.0039
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
data_processing.csv_parse
1.3101
cold mean ms
0.0847
warm mean ms
0.0852
warm median ms
0.0036
warm stdev ms
100%
success rate
4
mismatches
iot.rolling_average
0.0000
cold mean ms
0.0000
warm mean ms
0.0000
warm median ms
0.0000
warm stdev ms
0%
success rate
0
mismatches
stdlib.json_parse
2.2999
cold mean ms
2.7998
warm mean ms
2.7927
warm median ms
0.0538
warm stdev ms
100%
success rate
0
mismatches
stdlib.dict_lookup
0.0693
cold mean ms
0.0621
warm mean ms
0.0636
warm median ms
0.0062
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
0.9164
cold mean ms
0.8302
warm mean ms
0.8025
warm median ms
0.0592
warm stdev ms
100%
success rate
0
mismatches
web.url_router
0.0701
cold mean ms
0.0649
warm mean ms
0.0628
warm median ms
0.0042
warm stdev ms
100%
success rate
0
mismatches
crypto.fnv1a_hash
10.1737
cold mean ms
9.1508
warm mean ms
9.1680
warm median ms
0.1022
warm stdev ms
100%
success rate
0
mismatches
compression.rle_roundtrip
57.3461
cold mean ms
73.1541
warm mean ms
73.5168
warm median ms
1.3439
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
7.0658
cold mean ms
0.1190
warm mean ms
0.1183
warm median ms
0.0129
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
1.3561
cold mean ms
1.2306
warm mean ms
1.2300
warm median ms
0.0210
warm stdev ms
100%
success rate
0
mismatches
etl.merge_join
39.6643
cold mean ms
4.3106
warm mean ms
4.2455
warm median ms
0.1630
warm stdev ms
100%
success rate
0
mismatches
string.log_parser
4.2313
cold mean ms
4.0617
warm mean ms
4.1066
warm median ms
0.5609
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
1.2484
cold mean ms
0.9308
warm mean ms
0.9004
warm median ms
0.0679
warm stdev ms
100%
success rate
0
mismatches
simulation.particle_movement
1472.3578
cold mean ms
4075.9054
warm mean ms
4107.2346
warm median ms
110.1367
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
2.5168
cold mean ms
0.1096
warm mean ms
0.1064
warm median ms
0.0117
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
1.3899
cold mean ms
0.1197
warm mean ms
0.1214
warm median ms
0.0029
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
2.3175
cold mean ms
1.2323
warm mean ms
1.2121
warm median ms
0.0563
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
8.3582
cold mean ms
29.9937
warm mean ms
27.3848
warm median ms
4.7047
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
1.4841
cold mean ms
0.1527
warm mean ms
0.1546
warm median ms
0.0071
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
1.8028
cold mean ms
0.3864
warm mean ms
0.3694
warm median ms
0.0337
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
1.6542
cold mean ms
0.1704
warm mean ms
0.1797
warm median ms
0.0272
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
30.5336
cold mean ms
18.5104
warm mean ms
18.7521
warm median ms
1.2013
warm stdev ms
100%
success rate
0
mismatches
text.word_count
5.5838
cold mean ms
5.3645
warm mean ms
5.3762
warm median ms
0.1141
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
4.5193
cold mean ms
0.4218
warm mean ms
0.3528
warm median ms
0.1366
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
2.8152
cold mean ms
1.8695
warm mean ms
1.5376
warm median ms
0.6270
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
4.2732
cold mean ms
3.0369
warm mean ms
2.5197
warm median ms
1.0837
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
3.4894
cold mean ms
3.8250
warm mean ms
3.7655
warm median ms
0.2203
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
2.9308
cold mean ms
5.6497
warm mean ms
5.6601
warm median ms
0.0193
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
6.1667
cold mean ms
6.0604
warm mean ms
6.0546
warm median ms
0.0391
warm stdev ms
100%
success rate
0
mismatches
etl.top_n_selection
7.0085
cold mean ms
0.0135
warm mean ms
0.0131
warm median ms
0.0008
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
8.6222
cold mean ms
1.8870
warm mean ms
2.0351
warm median ms
0.5198
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
316.8501
cold mean ms
296.8138
warm mean ms
286.0638
warm median ms
19.5008
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
13.6904
cold mean ms
6.3705
warm mean ms
6.3068
warm median ms
0.2179
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
0.1113
cold mean ms
0.0342
warm mean ms
0.0338
warm median ms
0.0008
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
0.7901
cold mean ms
0.7191
warm mean ms
0.7234
warm median ms
0.0308
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
8.5949
cold mean ms
4.3843
warm mean ms
4.3906
warm median ms
0.1074
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
8.1232
cold mean ms
1.2487
warm mean ms
1.1853
warm median ms
0.1701
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
2.5659
cold mean ms
4.3020
warm mean ms
4.3000
warm median ms
0.0512
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
5.2224
cold mean ms
1.5952
warm mean ms
1.5804
warm median ms
0.0425
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
4.8229
cold mean ms
3.5574
warm mean ms
3.5384
warm median ms
0.0377
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
9.3126
cold mean ms
9.1725
warm mean ms
8.3155
warm median ms
1.7689
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
3.2811
cold mean ms
4.8850
warm mean ms
4.1786
warm median ms
1.3279
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
5.3245
cold mean ms
3.7379
warm mean ms
3.8228
warm median ms
0.2515
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
1.8022
cold mean ms
1.7273
warm mean ms
1.7258
warm median ms
0.0073
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
2.3463
cold mean ms
1.3296
warm mean ms
1.3387
warm median ms
0.0667
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
0.8355
cold mean ms
0.7621
warm mean ms
0.7585
warm median ms
0.0063
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
1.5803
cold mean ms
0.3170
warm mean ms
0.3131
warm median ms
0.0169
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
5.2625
cold mean ms
2.6829
warm mean ms
2.6449
warm median ms
0.0718
warm stdev ms
100%
success rate
0
mismatches
sorting.quick_sort
108.6777
cold mean ms
105.4297
warm mean ms
105.2099
warm median ms
1.0930
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
0.1693
cold mean ms
0.1049
warm mean ms
0.0988
warm median ms
0.0146
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
8.7330
cold mean ms
0.3405
warm mean ms
0.3348
warm median ms
0.0156
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
1.7976
cold mean ms
0.4046
warm mean ms
0.3866
warm median ms
0.0347
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
1.4781
cold mean ms
0.1657
warm mean ms
0.1675
warm median ms
0.0050
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
0.1384
cold mean ms
0.0677
warm mean ms
0.0714
warm median ms
0.0064
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
0.3195
cold mean ms
0.2535
warm mean ms
0.2560
warm median ms
0.0094
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.1295
cold mean ms
0.0375
warm mean ms
0.0378
warm median ms
0.0031
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
1.7506
cold mean ms
0.4280
warm mean ms
0.4323
warm median ms
0.0117
warm stdev ms
100%
success rate
0
mismatches
web.html_tag_count
1.8257
cold mean ms
1.7440
warm mean ms
1.6938
warm median ms
0.1948
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
2.6736
cold mean ms
1.6149
warm mean ms
1.5998
warm median ms
0.0662
warm stdev ms
100%
success rate
0
mismatches
image.convolution_1d
136.6352
cold mean ms
140.4827
warm mean ms
140.9696
warm median ms
1.0590
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
2.8923
cold mean ms
2.1546
warm mean ms
1.7906
warm median ms
0.6411
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
47.3772
cold mean ms
25.0444
warm mean ms
24.2693
warm median ms
2.0013
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
4.6942
cold mean ms
5.8800
warm mean ms
5.1429
warm median ms
1.3579
warm stdev ms
100%
success rate
0
mismatches
etl.distinct_count
7.3930
cold mean ms
6.8203
warm mean ms
6.7868
warm median ms
0.1798
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 57.3461 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 71.6661 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 73.5168 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 74.2794 | 0.00s |
| compression.run_length_encode | cold | success | match | 4.6942 | 0.00s |
| compression.run_length_encode | warm | success | match | 5.0500 | 0.00s |
| compression.run_length_encode | warm | success | match | 5.1429 | 0.00s |
| compression.run_length_encode | warm | success | match | 7.4471 | 0.00s |
| core.factorial_sum | cold | success | match | 0.1295 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0343 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0378 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0405 | 0.00s |
| core.fibonacci_sum | cold | success | match | 0.3195 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.2431 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.2560 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.2613 | 0.00s |
| core.float_reduction | cold | success | match | 0.0883 | 0.00s |
| core.float_reduction | warm | success | match | 0.0161 | 0.00s |
| core.float_reduction | warm | success | match | 0.0158 | 0.00s |
| core.float_reduction | warm | success | match | 0.0161 | 0.00s |
| core.integer_sum | cold | success | match | 0.0749 | 0.00s |
| core.integer_sum | warm | success | match | 0.0066 | 0.00s |
| core.integer_sum | warm | success | match | 0.0071 | 0.00s |
| core.integer_sum | warm | success | match | 0.0094 | 0.00s |
| core.list_filter | cold | success | match | 2.1243 | 0.00s |
| core.list_filter | warm | success | match | 0.5286 | 0.00s |
| core.list_filter | warm | success | match | 0.5283 | 0.00s |
| core.list_filter | warm | success | match | 0.5224 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 5.2224 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 1.5621 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 1.5804 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 1.6431 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 10.1737 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.0411 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.2433 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.1680 | 0.00s |
| crypto.simple_checksum | cold | success | match | 2.6736 | 0.00s |
| crypto.simple_checksum | warm | success | match | 1.5998 | 0.00s |
| crypto.simple_checksum | warm | success | match | 1.5577 | 0.00s |
| crypto.simple_checksum | warm | success | match | 1.6873 | 0.00s |
| crypto.xor_cipher | cold | success | match | 6.1667 | 0.00s |
| crypto.xor_cipher | warm | success | match | 6.1021 | 0.00s |
| crypto.xor_cipher | warm | success | match | 6.0546 | 0.00s |
| crypto.xor_cipher | warm | success | match | 6.0246 | 0.00s |
| data_processing.csv_parse | cold | success | mismatch | 1.3101 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0880 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0852 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0808 | 0.00s |
| data_processing.json_extract | cold | success | match | 1.7506 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.4323 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.4369 | 0.00s |
| data_processing.json_extract | warm | success | match | 0.4147 | 0.00s |
| database.group_by_sum | cold | success | match | 8.5949 | 0.00s |
| database.group_by_sum | warm | success | match | 4.4884 | 0.00s |
| database.group_by_sum | warm | success | match | 4.3906 | 0.00s |
| database.group_by_sum | warm | success | match | 4.2738 | 0.00s |
| database.word_count_index | cold | success | match | 4.2732 | 0.00s |
| database.word_count_index | warm | success | match | 2.5197 | 0.00s |
| database.word_count_index | warm | success | match | 4.2824 | 0.00s |
| database.word_count_index | warm | success | match | 2.3087 | 0.00s |
| etl.distinct_count | cold | success | match | 7.3930 | 0.00s |
| etl.distinct_count | warm | success | match | 6.6596 | 0.00s |
| etl.distinct_count | warm | success | match | 7.0144 | 0.00s |
| etl.distinct_count | warm | success | match | 6.7868 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 1.3561 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2300 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2519 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2099 | 0.00s |
| etl.merge_join | cold | success | match | 39.6643 | 0.00s |
| etl.merge_join | warm | success | match | 4.1901 | 0.00s |
| etl.merge_join | warm | success | match | 4.4961 | 0.00s |
| etl.merge_join | warm | success | match | 4.2455 | 0.00s |
| etl.top_n_selection | cold | success | match | 7.0085 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.0145 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.0131 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.0130 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 4.8229 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 3.5384 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 3.6008 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 3.5328 | 0.00s |
| financial.compound_interest | cold | success | match | 0.8355 | 0.00s |
| financial.compound_interest | warm | success | match | 0.7583 | 0.00s |
| financial.compound_interest | warm | success | match | 0.7585 | 0.00s |
| financial.compound_interest | warm | success | match | 0.7694 | 0.00s |
| financial.moving_average | cold | success | match | 1.3899 | 0.00s |
| financial.moving_average | warm | success | match | 0.1164 | 0.00s |
| financial.moving_average | warm | success | match | 0.1214 | 0.00s |
| financial.moving_average | warm | success | match | 0.1214 | 0.00s |
| graph.bfs | cold | success | match | 1.4841 | 0.00s |
| graph.bfs | warm | success | match | 0.1448 | 0.00s |
| graph.bfs | warm | success | match | 0.1586 | 0.00s |
| graph.bfs | warm | success | match | 0.1546 | 0.00s |
| graph.dijkstra | cold | success | match | 5.2625 | 0.00s |
| graph.dijkstra | warm | success | match | 2.6449 | 0.00s |
| graph.dijkstra | warm | success | match | 2.7657 | 0.00s |
| graph.dijkstra | warm | success | match | 2.6381 | 0.00s |
| graph.floyd_warshall | cold | success | match | 47.3772 | 0.00s |
| graph.floyd_warshall | warm | success | match | 24.2693 | 0.00s |
| graph.floyd_warshall | warm | success | match | 23.5466 | 0.00s |
| graph.floyd_warshall | warm | success | match | 27.3173 | 0.00s |
| image.box_blur | cold | success | match | 13.6904 | 0.00s |
| image.box_blur | warm | success | match | 6.3068 | 0.00s |
| image.box_blur | warm | success | match | 6.6132 | 0.00s |
| image.box_blur | warm | success | match | 6.1917 | 0.00s |
| image.convolution_1d | cold | success | match | 136.6352 | 0.00s |
| image.convolution_1d | warm | success | match | 140.9696 | 0.00s |
| image.convolution_1d | warm | success | match | 141.2107 | 0.00s |
| image.convolution_1d | warm | success | match | 139.2679 | 0.00s |
| image.grayscale_filter | cold | success | match | 7.0658 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1065 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1183 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1323 | 0.00s |
| image.sobel_edge | cold | success | match | 5.3245 | 0.00s |
| image.sobel_edge | warm | success | match | 3.8228 | 0.00s |
| image.sobel_edge | warm | success | match | 3.9360 | 0.00s |
| image.sobel_edge | warm | success | match | 3.4550 | 0.00s |
| iot.rolling_average | cold | failed | no_result | n/a | 0.00s |
| iot.rolling_average | warm | failed | no_result | n/a | 0.00s |
| iot.rolling_average | warm | failed | no_result | n/a | 0.00s |
| iot.rolling_average | warm | failed | no_result | n/a | 0.00s |
| iot.sensor_anomaly | cold | success | match | 0.1384 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.0714 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.0715 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.0603 | 0.00s |
| ml.knn_inference | cold | success | match | 2.5168 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1225 | 0.00s |
| ml.knn_inference | warm | success | match | 0.0999 | 0.00s |
| ml.knn_inference | warm | success | match | 0.1064 | 0.00s |
| ml.perceptron_predict | cold | success | match | 2.3463 | 0.00s |
| ml.perceptron_predict | warm | success | match | 1.2587 | 0.00s |
| ml.perceptron_predict | warm | success | match | 1.3912 | 0.00s |
| ml.perceptron_predict | warm | success | match | 1.3387 | 0.00s |
| numerical.dot_product | cold | success | match | 0.0601 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0455 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0494 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0441 | 0.00s |
| numerical.gcd_loop | cold | success | match | 1.8022 | 0.00s |
| numerical.gcd_loop | warm | success | match | 1.7258 | 0.00s |
| numerical.gcd_loop | warm | success | match | 1.7353 | 0.00s |
| numerical.gcd_loop | warm | success | match | 1.7209 | 0.00s |
| numerical.matrix_multiply | cold | failed | no_result | n/a | 0.00s |
| numerical.matrix_multiply | warm | failed | no_result | n/a | 0.00s |
| numerical.matrix_multiply | warm | failed | no_result | n/a | 0.00s |
| numerical.matrix_multiply | warm | failed | no_result | n/a | 0.00s |
| numerical.matrix_vector | cold | success | match | 4.5193 | 0.00s |
| numerical.matrix_vector | warm | success | match | 0.3528 | 0.00s |
| numerical.matrix_vector | warm | success | match | 0.3334 | 0.00s |
| numerical.matrix_vector | warm | success | match | 0.5791 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 0.0897 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0176 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0183 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0247 | 0.00s |
| numerical.prime_sieve | cold | failed | no_result | n/a | 0.00s |
| numerical.prime_sieve | warm | failed | no_result | n/a | 0.00s |
| numerical.prime_sieve | warm | failed | no_result | n/a | 0.00s |
| numerical.prime_sieve | warm | failed | no_result | n/a | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 0.1113 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0351 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0338 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0338 | 0.00s |
| object.bank_account | cold | success | match | 0.1693 | 0.00s |
| object.bank_account | warm | success | match | 0.0943 | 0.00s |
| object.bank_account | warm | success | match | 0.1216 | 0.00s |
| object.bank_account | warm | success | match | 0.0988 | 0.00s |
| object.shape_area | cold | success | match | 1.6542 | 0.00s |
| object.shape_area | warm | success | match | 0.1918 | 0.00s |
| object.shape_area | warm | success | match | 0.1398 | 0.00s |
| object.shape_area | warm | success | match | 0.1797 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 2.3175 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.1889 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.2960 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 1.2121 | 0.00s |
| parsing.ini_parse | cold | success | match | 8.3582 | 0.00s |
| parsing.ini_parse | warm | success | match | 27.3848 | 0.00s |
| parsing.ini_parse | warm | success | match | 35.4249 | 0.00s |
| parsing.ini_parse | warm | success | match | 27.1715 | 0.00s |
| parsing.log_line_parse | cold | success | match | 1.5803 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.3131 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.3356 | 0.00s |
| parsing.log_line_parse | warm | success | match | 0.3024 | 0.00s |
| regex.email_like_match | cold | success | match | 8.1232 | 0.00s |
| regex.email_like_match | warm | success | match | 1.4414 | 0.00s |
| regex.email_like_match | warm | success | match | 1.1194 | 0.00s |
| regex.email_like_match | warm | success | match | 1.1853 | 0.00s |
| regex.wildcard_match | cold | success | match | 3.4894 | 0.00s |
| regex.wildcard_match | warm | success | match | 3.6404 | 0.00s |
| regex.wildcard_match | warm | success | match | 3.7655 | 0.00s |
| regex.wildcard_match | warm | success | match | 4.0689 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 0.7901 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.7234 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.7476 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.6864 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 2.8152 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 1.5376 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 1.4782 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 2.5926 | 0.00s |
| serialization.csv_serialize | cold | success | match | 8.7330 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.3285 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.3582 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.3348 | 0.00s |
| serialization.json_serialize | cold | success | match | 30.5336 | 0.00s |
| serialization.json_serialize | warm | success | match | 17.2067 | 0.00s |
| serialization.json_serialize | warm | success | match | 18.7521 | 0.00s |
| serialization.json_serialize | warm | success | match | 19.5724 | 0.00s |
| simulation.conway_life | cold | success | match | 1.4781 | 0.00s |
| simulation.conway_life | warm | success | match | 0.1600 | 0.00s |
| simulation.conway_life | warm | success | match | 0.1675 | 0.00s |
| simulation.conway_life | warm | success | match | 0.1695 | 0.00s |
| simulation.particle_movement | cold | success | match | 1472.3578 | 0.00s |
| simulation.particle_movement | warm | success | match | 4107.2346 | 0.00s |
| simulation.particle_movement | warm | success | match | 3953.4983 | 0.00s |
| simulation.particle_movement | warm | success | match | 4166.9832 | 0.00s |
| sorting.merge_sort | cold | success | match | 1.8028 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.3694 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.4253 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.3647 | 0.00s |
| sorting.quick_sort | cold | success | match | 108.6777 | 0.00s |
| sorting.quick_sort | warm | success | match | 106.6159 | 0.00s |
| sorting.quick_sort | warm | success | match | 104.4634 | 0.00s |
| sorting.quick_sort | warm | success | match | 105.2099 | 0.00s |
| statistics.correlation | cold | success | match | 2.8923 | 0.00s |
| statistics.correlation | warm | success | match | 1.7784 | 0.00s |
| statistics.correlation | warm | success | match | 2.8949 | 0.00s |
| statistics.correlation | warm | success | match | 1.7906 | 0.00s |
| statistics.histogram | cold | success | match | 8.6222 | 0.00s |
| statistics.histogram | warm | success | match | 2.0351 | 0.00s |
| statistics.histogram | warm | success | match | 1.3092 | 0.00s |
| statistics.histogram | warm | success | match | 2.3168 | 0.00s |
| statistics.mean_variance | cold | success | match | 9.3126 | 0.00s |
| statistics.mean_variance | warm | success | match | 11.2067 | 0.00s |
| statistics.mean_variance | warm | success | match | 7.9954 | 0.00s |
| statistics.mean_variance | warm | success | match | 8.3155 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.0693 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0552 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0636 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0674 | 0.00s |
| stdlib.json_parse | cold | success | match | 2.2999 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.7499 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.7927 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.8568 | 0.00s |
| string.dna_count | cold | success | match | 316.8501 | 0.00s |
| string.dna_count | warm | success | match | 286.0638 | 0.00s |
| string.dna_count | warm | success | match | 319.3238 | 0.00s |
| string.dna_count | warm | success | match | 285.0538 | 0.00s |
| string.log_parser | cold | success | match | 4.2313 | 0.00s |
| string.log_parser | warm | success | match | 4.1066 | 0.00s |
| string.log_parser | warm | success | match | 3.4796 | 0.00s |
| string.log_parser | warm | success | match | 4.5987 | 0.00s |
| string.palindrome_pairs | cold | success | match | 3.2811 | 0.00s |
| string.palindrome_pairs | warm | success | match | 6.4168 | 0.00s |
| string.palindrome_pairs | warm | success | match | 4.1786 | 0.00s |
| string.palindrome_pairs | warm | success | match | 4.0597 | 0.00s |
| text.sentiment_score | cold | success | match | 1.7976 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3826 | 0.00s |
| text.sentiment_score | warm | success | match | 0.3866 | 0.00s |
| text.sentiment_score | warm | success | match | 0.4447 | 0.00s |
| text.word_count | cold | success | match | 5.5838 | 0.00s |
| text.word_count | warm | success | match | 5.3762 | 0.00s |
| text.word_count | warm | success | match | 5.2450 | 0.00s |
| text.word_count | warm | success | match | 5.4722 | 0.00s |
| tree.bst_operations | cold | success | match | 1.2484 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8835 | 0.00s |
| tree.bst_operations | warm | success | match | 1.0086 | 0.00s |
| tree.bst_operations | warm | success | match | 0.9004 | 0.00s |
| web.cookie_parse | cold | success | match | 2.5659 | 0.00s |
| web.cookie_parse | warm | success | match | 4.3541 | 0.00s |
| web.cookie_parse | warm | success | match | 4.2518 | 0.00s |
| web.cookie_parse | warm | success | match | 4.3000 | 0.00s |
| web.html_tag_count | cold | success | match | 1.8257 | 0.00s |
| web.html_tag_count | warm | success | match | 1.5792 | 0.00s |
| web.html_tag_count | warm | success | match | 1.6938 | 0.00s |
| web.html_tag_count | warm | success | match | 1.9591 | 0.00s |
| web.http_parser | cold | success | match | 0.9164 | 0.00s |
| web.http_parser | warm | success | match | 0.8025 | 0.00s |
| web.http_parser | warm | success | match | 0.7899 | 0.00s |
| web.http_parser | warm | success | match | 0.8982 | 0.00s |
| web.query_string_parse | cold | success | match | 2.9308 | 0.00s |
| web.query_string_parse | warm | success | match | 5.6617 | 0.00s |
| web.query_string_parse | warm | success | match | 5.6274 | 0.00s |
| web.query_string_parse | warm | success | match | 5.6601 | 0.00s |
| web.url_router | cold | success | match | 0.0701 | 0.00s |
| web.url_router | warm | success | match | 0.0623 | 0.00s |
| web.url_router | warm | success | match | 0.0697 | 0.00s |
| web.url_router | warm | success | match | 0.0628 | 0.00s |
Failures
| Class | Severity | Signature | Status |
|---|---|---|---|
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| compile_error | error | 3e4968084912d335bc168fc79ce88ac3 |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| correctness_mismatch | error | eec71191b1a79d065c7b8292395b47df |
open |
| compile_error | error | 95ddfcaa4b98a8b960bcfd1254f05852 |
open |
| compile_error | error | 95ddfcaa4b98a8b960bcfd1254f05852 |
open |
| compile_error | error | 95ddfcaa4b98a8b960bcfd1254f05852 |
open |
| compile_error | error | 95ddfcaa4b98a8b960bcfd1254f05852 |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
| runtime_error | error | 2a9d94bde8830e7de3295d78c980bfa5 |
open |
Proof Packs
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0b4b019bccd54b61987ca4b8
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/bfc80209c3f446de9f292cc7
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/14975e1795b1481099b00e33
Proof pack for etl.distinct_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b265c40835fb495f8c2b3f43
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/5093945d32b54331a7ee2c7a
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/65a810aaad7d417dbbd6843a
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/18bf7063f4c74562af9c1bf6
Proof pack for compression.run_length_encode on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/a72ee4fad12d453496eff98a
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/117bdf351ae04c7aab982571
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/eecf9aca18c14c08a64f4d58
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/a2d9bebd2abf48f0ba70c0e1
Proof pack for graph.floyd_warshall on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d142030a21964a7d9e3d616c
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/bea5a80a099441fa992c78f6
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/a8a7733ebf794c8084c613cc
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/78186ef2bb614d19a2fe9e3d
Proof pack for statistics.correlation on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0ce8a7ae816944d784d9e2a0
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/5d5b06d65fc24fd7959738dd
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/243512ac63004a5381d0ddef
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/432c2eb9bcf445bf828a3648
Proof pack for image.convolution_1d on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/adebeef9d203481e9dc28eff
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b03df77cabac468e96806738
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/10f50fd00ce943b6a277938c
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/3feae2b1f84f4d59b2dfb58c
Proof pack for crypto.simple_checksum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0df2d84959f24d4b85a67c8e
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/232bfb0cb8814b18899be9c9
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/2a340d02aee74292a9d3f885
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/43be609213854ef6bdd8edfd
Proof pack for web.html_tag_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/3a2e093b9cce4d809635add8
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/8ce19ba128e04e61ba490429
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/bb7a3115fcb14dcfaa9da7d4
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/6cdeaa85f0a9493ea4a83444
Proof pack for data_processing.json_extract on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/5bcf1c6cd32742bd94b15af0
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/465f2d75ea7c4fe6be27faf7
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/64ee31029b4f4b0ab9e0e530
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d88c8fb4595b41c3b2e5ac4d
Proof pack for core.factorial_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/8f1314e4bebd477592117f4f
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/439a89667e034b11adb506df
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/885db56b291f40509bc493b4
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d7ab65731be045e5bc46b499
Proof pack for core.fibonacci_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/a9eb9b0a4c2448c0a9db70be
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/58ffc745c2e34a66ba49592a
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/66260c9782fb4de5a8c7b875
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/cef18a9df990432a85f7f8e5
Proof pack for iot.sensor_anomaly on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b09a5c93e6dd484e93f29bea
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/bdd56d0cfa1d4f46926af99a
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/07233b12163446b5adcc686f
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/dd0dfbe738cc403d9b129217
Proof pack for simulation.conway_life on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d4b3986629534030b5170b31
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/5b7141b2659844d591963973
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/9b59f6774121403c8ce35092
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ae798731221541249a38f79d
Proof pack for text.sentiment_score on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/632aee23f2b046eeabfa9066
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/7a60d931efdd4b1eaacbdbbe
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/95984b4f03a746eea4879011
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/bf398a7bfcd1438cac75d3e6
Proof pack for serialization.csv_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/424466235a2440379dd2df77
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/264020fb83aa476c8bd64e35
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/bb1c62726f634709aea08997
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/00beff74f4114e9db6c596ab
Proof pack for object.bank_account on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/084b74433b6b45d283567b67
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/78a48f041e514291834619c2
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/cd9842b4fa75407b908d25fe
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0a38d46716d94a548d605c6e
Proof pack for sorting.quick_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/f770228324334d3491080723
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/6334d9f209a84de99470c2c8
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/478ae272ef4b4b88b40f5963
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b257a318f1394762855f62e4
Proof pack for graph.dijkstra on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/a677ade219074f5bac49b112
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/6a4482e25326463388db277d
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b40283cc60c8430790a3d118
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/4178c98cdb6d4d58b7509a81
Proof pack for parsing.log_line_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/7025702a77c04ab89bb1f8ed
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c7bc8952e9164f8080950409
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ea4867bb30cd43b39a920774
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/db9dddfe13ac4c87828f228a
Proof pack for financial.compound_interest on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0d14b535d0174a47912ca1fa
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/69c29b54ef81474697975d12
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/87914501d6b240e09ca5c67c
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/acae80a462c84ed9a2fb1ba2
Proof pack for ml.perceptron_predict on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ee7876fb26894b18a58d7de0
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/bf3d581459604d31a1e7e5b0
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/28fc825c3d934679b2897851
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/3efb526aef65475aa87bb7a7
Proof pack for numerical.gcd_loop on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/faa5f9b0aea741f7bc84273b
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/50ddb56116f44d409737bd4c
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ca79d14af0e049a78139d7ee
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b19e60a7b2234f46a3dffb0b
Proof pack for image.sobel_edge on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/56953e132d9b490da5149670
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/306f7c40d46046d4bbf56b09
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/40ea5dfc840f4756a2418511
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/26e43b7f2bbd44598b8ba52b
Proof pack for string.palindrome_pairs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/8fe10dec51914cd5a4a378db
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c62ca1f6a1d64309ad357391
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0e925a7203b54affbb7e2bea
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/f4637e11c1c8470987a34a83
Proof pack for statistics.mean_variance on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ca399b3367b948a8b08a030e
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/736f787ebae4497fa4bc5e22
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ec01f4a7605d4f5a964bad6d
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/cd70682cf5f14777bde29288
Proof pack for etl.windowed_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/f6bdd085f7414309a7c96730
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0dd6cc50a59848cd9806c053
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/498cde7f4dff463189c8727a
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/1f123a8b291d4abfa39542f9
Proof pack for crypto.caesar_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d95a6382a71a4c3fb81b2a81
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d72c42780cd844a49829bf7a
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/725c0af111184843a0aa9f82
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/5eea51dd26654a48a1fb4b33
Proof pack for web.cookie_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d2928d2e4cc846258ddbcc18
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/4687f5a0ce204864b83767f1
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/604d709a4997455287e6c53d
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/7c7da22781f24e7fa47cb929
Proof pack for regex.email_like_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c11a320f483141dc99fee364
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/60ef0cfd7c1d49c0b4358e56
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/4f4ec9c43a5747b1a5597a04
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/52c952356da24de08320b005
Proof pack for database.group_by_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/02c0046572f8441497a4eee5
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/579b2c12fcc6413488890f38
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/45508be900ac4d7a89cc29d3
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/bf3bcc1133f7414aa1d4294a
Proof pack for scientific.newton_sqrt on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/fe52cc21b56a48c28913b4be
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/4f9df563f3a44d01bdbdb2f5
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/cb29dc093a924c498fc78eaa
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0030fb99dd0e46b09945b5bd
Proof pack for numerical.trapezoidal_integral on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/78e0e853effe4fa3a6ca98ae
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d4b5571e624d4aefa5888818
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/de1cb7d51d834652a4b268e2
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d8d21b2626664423905ad943
Proof pack for image.box_blur on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/35729402097a4598a7c76fc4
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/41c60c926400443d9bd361d1
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/4fe4efc2bc6d4a1ba2a324b6
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/da16e2c861dd4a8f9336c50f
Proof pack for string.dna_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/e9ac11ec1d5a49949294185f
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/f28b60cac8f04abcac2090f3
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c5ac4c3bae5940f9ac248030
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/efd4580f148e493a8a1e3394
Proof pack for statistics.histogram on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/42ee413ddcda4ad481b91262
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/5e9507afb571419d8c052c86
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c63b7410c5d04c51af5f6319
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/e2bade7c794f4e26af41187c
Proof pack for etl.top_n_selection on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/25cd04262527405d8b846c15
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/1afeeecbe66b4766a614f004
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/02e880b973b2464c9d579c41
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/e07a4d2e1aa24c5c8fd3525d
Proof pack for crypto.xor_cipher on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/18072db394cd428cbea6a460
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c8cd3f96bd4c4024aa40113e
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/6479311b6a8b4f03aef143f3
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ba1995d69e18443ab4e30fd4
Proof pack for web.query_string_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/2f7699a3fb26400d842f8fd7
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/554bb3b67a9f4f05a4cca6ef
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b337cdb868b1430ca3cef575
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/a08c404983294b96a1c35796
Proof pack for regex.wildcard_match on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/6b770fe4a680477c9d0b2dec
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/9c9d083d7e0846be9383d287
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/14f1cfe7ba634d3aa59d86ea
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/442607444b0f4159a0eba8ac
Proof pack for database.word_count_index on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/13f96faeb77a42e5a9441cbd
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/f128b80c32734b928c547796
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c84bf65b85754bbfa088f36b
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d7a6282b63a54a6dace7d67a
Proof pack for scientific.polynomial_eval on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/47c40d3bb9a3493f8c6f095e
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ae0c4f707bc543969c3ba6bc
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/781426fce09d4ce4add08ae5
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/29a39e27dffb4314a6396e68
Proof pack for numerical.matrix_vector on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/fc2accdf117b4204a44fede7
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/cf116fd4acb74cda8a97c769
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c3c8c7494a034784b0db713d
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/cbf0e924065d43779d30a5cf
Proof pack for text.word_count on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/43a13cb4f2894e8f8a87862b
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/4452e1a843c04cd88d71118e
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/4146e59e0f3b4b858ca43e8b
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/86568ccb9e7e43bb8207d0e0
Proof pack for serialization.json_serialize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/9fc48ba165b645c393c30b4c
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b0e7fde4f2804040a485bc62
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/8fe3d816a9304ae4809a771a
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/a88db2a15e6247279b63b4d1
Proof pack for object.shape_area on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/4dd08d706baf446e9234be3d
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/7c28179b41de41aa9275b94a
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/822dec4b3b4641f5bc38cd06
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/9499631fad414379934874d2
Proof pack for sorting.merge_sort on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/640bb312cb244501a6036f74
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/6d70c8750d8648a7b3fd2b1a
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/853de4ace95e469cba2bc163
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/e893b86d8e1c41b887ca6bda
Proof pack for graph.bfs on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/9c664ed3b5df47a8b92a6b8f
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ab8d8e37094b41d2925bb547
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/e518a583b87b4a7f967c970d
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d3c74fc194704b149340980a
Proof pack for parsing.ini_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/460974459fc94a988a2475b9
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/8378219c0ad74d62b9f41f3c
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b60ba608091b4079aa629e8c
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/01131b9839e74930b6b3d8d5
Proof pack for parsing.csv_tokenize on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/64951b0fca0344dd9240520f
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b06e27bbfbf840edad3a1449
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/fc526a9e8694471da768cf5e
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/394b82eb6b734148b39e2d4e
Proof pack for financial.moving_average on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/294ef0c185dd41538ef4e777
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/97fc3a341ac94638b474b44f
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0c66b9a123664a208cc5bcc9
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/83ef1f1bc3034bccb59369f4
Proof pack for ml.knn_inference on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/fa458f57bdc04e69bb2adb22
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/6ce80bc084ec413b8b2285ad
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/2c5ac49e3c9149d99b6569ee
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/bb2a2da26fee47f38563e2bf
Proof pack for simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/8e8e4516be1f45fb9d2e5753
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b3ee060c3e2840fa844e29ca
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/80c7519f2c0d4ff4b2eb7346
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b411eaf9da8a4eaea9cc73ed
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/45f9c42219734989a2116c35
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/01be332778ab48b5b700e815
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/23080ad63c884e24978eface
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/045b6cb4b059411b86d561a8
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/edf1c7ca1c7142ba82e5b247
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/9a8af9c954c245cb8d45fcb4
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/5318e4b7ba1b4a738a2319b6
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/f9d34dc4cbeb4dc387f3f3e8
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b48f07fd67fb43128197778e
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/f949a509d91445e382d41639
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/39e5589343a64e5b9070fb21
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/a368eb39d5c84e4eafb232da
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/645792701fc14ac4b59f2f55
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/952ded68012c4bc786bd52ea
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/bbfd57fc1e5e4ad88ac4435f
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/581c0e911fc041e89dd07110
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/023c675ad8af4880854cca14
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/d45f3dec98594a7fa6572352
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0e124aec89974b33a1ba860d
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/260afd40deb748f4bbcd2c67
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ce207accb0b04282967c58cc
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ce21e1215e3440d1ad20f705
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/24d434ad5bcc4f67a349af72
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ef64344fe89344babb9983d8
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/efc0e1cecd904a03b667b40e
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/692c9b9c721e41838238275d
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/81f99e6f067444b0a060f876
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c273a429ad7e4498b6332d75
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/48910e9b0c704c6289226953
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/a606e84ed7a54557a0191ecb
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/0501bfe884544f58b083f5d1
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/3ad116341a5f4e6f90da87e6
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/787c30d8ed1f413ca1c04e16
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/04cae1eb32f94117bf782874
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/35510142a61941948d237c99
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/587598720225495995bbebd2
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ccd2b585b7a042019088ae27
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/de701e02201a49fca79d31d4
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/92b796c1e3b8448c826ca1cd
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/f659ec2569ea4e3eb48c21bb
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/98a3042587574d26ada0e39f
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ea6450ad22ad43d8b3ccd343
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/70f3068bac714cf996dd91cc
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/880f9c8cf6074959bb0e3d5f
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/516750fdc572415aab0cb166
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/cf78df2c28004a55be5454d0
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/7efb390fd9b946e696cd1bdc
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/522e69e8985848a0ac4f741f
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/4c0724664d3245ccae3a0ed7
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/3b45c92561714a99a1022994
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/5703333572cf46a98bde3e0c
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/a329dd582c7b451d8434c668
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c992b899e2794657afdd21c7
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/c1eb2dd6b9624644af0e5d48
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/67563f90389a447c9988ef15
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b83d568e2fe5456290f7b0a3
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/ee3deb2418944e9eab9158df
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/12a29a2deb6a48e8868e0178
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/4d2b0006a10a4c188e107f2d
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/7aa0407173174fbc8d2d65d6
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/a4799362b082400f8207171c/b78eb80d8a104aab98aca903