Campaign Summary
ID: c6670aa78ea74686b863c173
Started: 2026-07-19 12:19:30.288634
Finished: 2026-07-19 12:29:38.072482
Duration: 607.8s
71
Workloads
284
Cases
236
Passed
48
Failed
8
Mismatches
Campaign Chart
Workload Results
core.integer_sum
0.0029
cold mean ms
0.0034
warm mean ms
0.0036
warm median ms
0.0007
warm stdev ms
100%
success rate
0
mismatches
core.float_reduction
0.0496
cold mean ms
0.0499
warm mean ms
0.0508
warm median ms
0.0025
warm stdev ms
100%
success rate
4
mismatches
core.list_filter
0.0577
cold mean ms
0.0207
warm mean ms
0.0175
warm median ms
0.0055
warm stdev ms
100%
success rate
0
mismatches
numerical.dot_product
0.1917
cold mean ms
0.1936
warm mean ms
0.1489
warm median ms
0.0846
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_multiply
3.3979
cold mean ms
3.7801
warm mean ms
3.3147
warm median ms
0.8915
warm stdev ms
100%
success rate
0
mismatches
numerical.monte_carlo_pi
0.0260
cold mean ms
0.0290
warm mean ms
0.0275
warm median ms
0.0035
warm stdev ms
100%
success rate
0
mismatches
numerical.prime_sieve
0.1779
cold mean ms
0.2015
warm mean ms
0.1674
warm median ms
0.0596
warm stdev ms
100%
success rate
0
mismatches
data_processing.csv_parse
0.4172
cold mean ms
0.9751
warm mean ms
0.9563
warm median ms
0.1664
warm stdev ms
100%
success rate
0
mismatches
iot.rolling_average
0.1838
cold mean ms
0.1634
warm mean ms
0.1624
warm median ms
0.0045
warm stdev ms
100%
success rate
0
mismatches
stdlib.json_parse
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.dict_lookup
0.1397
cold mean ms
0.1052
warm mean ms
0.1047
warm median ms
0.0050
warm stdev ms
100%
success rate
0
mismatches
web.http_parser
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
web.url_router
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
crypto.fnv1a_hash
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
compression.rle_roundtrip
61.7604
cold mean ms
58.9431
warm mean ms
59.1450
warm median ms
4.1702
warm stdev ms
100%
success rate
0
mismatches
image.grayscale_filter
0.0918
cold mean ms
0.0402
warm mean ms
0.0392
warm median ms
0.0079
warm stdev ms
100%
success rate
0
mismatches
etl.group_by_aggregate
2.4216
cold mean ms
2.7516
warm mean ms
2.5383
warm median ms
0.4341
warm stdev ms
100%
success rate
4
mismatches
etl.merge_join
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
string.log_parser
14.8051
cold mean ms
14.2026
warm mean ms
14.2378
warm median ms
0.0650
warm stdev ms
100%
success rate
0
mismatches
tree.bst_operations
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
simulation.particle_movement
99.3710
cold mean ms
103.6461
warm mean ms
100.9060
warm median ms
5.1004
warm stdev ms
100%
success rate
0
mismatches
ml.knn_inference
0.0253
cold mean ms
0.0191
warm mean ms
0.0176
warm median ms
0.0026
warm stdev ms
100%
success rate
0
mismatches
financial.moving_average
1.2438
cold mean ms
1.2737
warm mean ms
1.1958
warm median ms
0.1943
warm stdev ms
100%
success rate
0
mismatches
parsing.csv_tokenize
4.1485
cold mean ms
3.7594
warm mean ms
3.6368
warm median ms
0.2701
warm stdev ms
100%
success rate
0
mismatches
parsing.ini_parse
3.7196
cold mean ms
2.9349
warm mean ms
2.8774
warm median ms
0.1231
warm stdev ms
100%
success rate
0
mismatches
graph.bfs
0.2298
cold mean ms
0.1431
warm mean ms
0.1438
warm median ms
0.0293
warm stdev ms
100%
success rate
0
mismatches
sorting.merge_sort
1.0133
cold mean ms
0.6484
warm mean ms
0.6002
warm median ms
0.0971
warm stdev ms
100%
success rate
0
mismatches
object.shape_area
0.3769
cold mean ms
0.6362
warm mean ms
0.6471
warm median ms
0.0375
warm stdev ms
100%
success rate
0
mismatches
serialization.json_serialize
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
text.word_count
15.9323
cold mean ms
16.4199
warm mean ms
16.2095
warm median ms
0.3691
warm stdev ms
100%
success rate
0
mismatches
numerical.matrix_vector
12.3289
cold mean ms
8.7640
warm mean ms
8.7407
warm median ms
0.0775
warm stdev ms
100%
success rate
0
mismatches
scientific.polynomial_eval
1.1480
cold mean ms
1.1889
warm mean ms
1.1966
warm median ms
0.0361
warm stdev ms
100%
success rate
0
mismatches
database.word_count_index
14.3511
cold mean ms
13.5907
warm mean ms
13.3657
warm median ms
0.8490
warm stdev ms
100%
success rate
0
mismatches
regex.wildcard_match
9.2003
cold mean ms
8.4783
warm mean ms
8.4533
warm median ms
0.0896
warm stdev ms
100%
success rate
0
mismatches
web.query_string_parse
1.3876
cold mean ms
1.4781
warm mean ms
1.4475
warm median ms
0.1183
warm stdev ms
100%
success rate
0
mismatches
crypto.xor_cipher
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
etl.top_n_selection
0.0904
cold mean ms
0.1075
warm mean ms
0.1009
warm median ms
0.0161
warm stdev ms
100%
success rate
0
mismatches
statistics.histogram
1.5783
cold mean ms
2.0150
warm mean ms
1.8448
warm median ms
0.3063
warm stdev ms
100%
success rate
0
mismatches
string.dna_count
855.6920
cold mean ms
945.4982
warm mean ms
876.8947
warm median ms
150.8064
warm stdev ms
100%
success rate
0
mismatches
image.box_blur
26.3648
cold mean ms
31.7252
warm mean ms
26.9046
warm median ms
9.2556
warm stdev ms
100%
success rate
0
mismatches
numerical.trapezoidal_integral
0.0648
cold mean ms
0.0697
warm mean ms
0.0655
warm median ms
0.0091
warm stdev ms
100%
success rate
0
mismatches
scientific.newton_sqrt
0.4914
cold mean ms
0.4833
warm mean ms
0.4960
warm median ms
0.0277
warm stdev ms
100%
success rate
0
mismatches
database.group_by_sum
1.0059
cold mean ms
1.2331
warm mean ms
1.2406
warm median ms
0.0518
warm stdev ms
100%
success rate
0
mismatches
regex.email_like_match
2.6870
cold mean ms
2.6987
warm mean ms
2.6897
warm median ms
0.0287
warm stdev ms
100%
success rate
0
mismatches
web.cookie_parse
0.8712
cold mean ms
1.1303
warm mean ms
1.0806
warm median ms
0.1254
warm stdev ms
100%
success rate
0
mismatches
crypto.caesar_cipher
2.9833
cold mean ms
2.6867
warm mean ms
2.5628
warm median ms
0.4411
warm stdev ms
100%
success rate
0
mismatches
etl.windowed_aggregate
82.6120
cold mean ms
99.3774
warm mean ms
100.2759
warm median ms
9.6062
warm stdev ms
100%
success rate
0
mismatches
statistics.mean_variance
16.5856
cold mean ms
10.6404
warm mean ms
10.8596
warm median ms
1.4159
warm stdev ms
100%
success rate
0
mismatches
string.palindrome_pairs
8.7843
cold mean ms
8.8343
warm mean ms
8.6707
warm median ms
0.3699
warm stdev ms
100%
success rate
0
mismatches
image.sobel_edge
86.4940
cold mean ms
88.9035
warm mean ms
89.6104
warm median ms
1.7119
warm stdev ms
100%
success rate
0
mismatches
numerical.gcd_loop
1.8508
cold mean ms
1.8206
warm mean ms
1.7838
warm median ms
0.0897
warm stdev ms
100%
success rate
0
mismatches
ml.perceptron_predict
1.4379
cold mean ms
1.4800
warm mean ms
1.4838
warm median ms
0.0209
warm stdev ms
100%
success rate
0
mismatches
financial.compound_interest
0.4663
cold mean ms
0.4744
warm mean ms
0.4629
warm median ms
0.0374
warm stdev ms
100%
success rate
0
mismatches
parsing.log_line_parse
1.2016
cold mean ms
1.6992
warm mean ms
1.6405
warm median ms
0.1674
warm stdev ms
100%
success rate
0
mismatches
graph.dijkstra
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
sorting.quick_sort
68.3661
cold mean ms
68.4425
warm mean ms
68.2300
warm median ms
3.2504
warm stdev ms
100%
success rate
0
mismatches
object.bank_account
2.9230
cold mean ms
2.7107
warm mean ms
2.7452
warm median ms
0.1411
warm stdev ms
100%
success rate
0
mismatches
serialization.csv_serialize
0.7443
cold mean ms
0.8772
warm mean ms
0.7834
warm median ms
0.1783
warm stdev ms
100%
success rate
0
mismatches
text.sentiment_score
1.3466
cold mean ms
1.4102
warm mean ms
1.3097
warm median ms
0.2442
warm stdev ms
100%
success rate
0
mismatches
simulation.conway_life
2.9669
cold mean ms
3.0430
warm mean ms
3.0304
warm median ms
0.0258
warm stdev ms
100%
success rate
0
mismatches
iot.sensor_anomaly
0.1090
cold mean ms
0.0978
warm mean ms
0.0950
warm median ms
0.0059
warm stdev ms
100%
success rate
0
mismatches
core.fibonacci_sum
0.3211
cold mean ms
0.3372
warm mean ms
0.3301
warm median ms
0.0182
warm stdev ms
100%
success rate
0
mismatches
core.factorial_sum
0.0556
cold mean ms
0.0451
warm mean ms
0.0453
warm median ms
0.0006
warm stdev ms
100%
success rate
0
mismatches
data_processing.json_extract
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
web.html_tag_count
1.9753
cold mean ms
2.2128
warm mean ms
2.2750
warm median ms
0.1793
warm stdev ms
100%
success rate
0
mismatches
crypto.simple_checksum
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
image.convolution_1d
266.3530
cold mean ms
280.8910
warm mean ms
278.8290
warm median ms
5.4974
warm stdev ms
100%
success rate
0
mismatches
statistics.correlation
9.2599
cold mean ms
9.4030
warm mean ms
9.2389
warm median ms
0.3352
warm stdev ms
100%
success rate
0
mismatches
graph.floyd_warshall
37.7400
cold mean ms
27.7514
warm mean ms
26.0072
warm median ms
3.0818
warm stdev ms
100%
success rate
0
mismatches
compression.run_length_encode
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
etl.distinct_count
13.0565
cold mean ms
9.5212
warm mean ms
9.1765
warm median ms
0.7852
warm stdev ms
100%
success rate
0
mismatches
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 61.7604 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 59.1450 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 54.6756 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 63.0086 | 0.00s |
| compression.run_length_encode | cold | failed | no_result | n/a | 0.00s |
| compression.run_length_encode | warm | failed | no_result | n/a | 0.00s |
| compression.run_length_encode | warm | failed | no_result | n/a | 0.00s |
| compression.run_length_encode | warm | failed | no_result | n/a | 0.00s |
| core.factorial_sum | cold | success | match | 0.0556 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0444 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0453 | 0.00s |
| core.factorial_sum | warm | success | match | 0.0456 | 0.00s |
| core.fibonacci_sum | cold | success | match | 0.3211 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.3235 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.3301 | 0.00s |
| core.fibonacci_sum | warm | success | match | 0.3579 | 0.00s |
| core.float_reduction | cold | success | mismatch | 0.0496 | 0.00s |
| core.float_reduction | warm | success | mismatch | 0.0508 | 0.00s |
| core.float_reduction | warm | success | mismatch | 0.0470 | 0.00s |
| core.float_reduction | warm | success | mismatch | 0.0518 | 0.00s |
| core.integer_sum | cold | success | match | 0.0029 | 0.00s |
| core.integer_sum | warm | success | match | 0.0026 | 0.00s |
| core.integer_sum | warm | success | match | 0.0036 | 0.00s |
| core.integer_sum | warm | success | match | 0.0040 | 0.00s |
| core.list_filter | cold | success | match | 0.0577 | 0.00s |
| core.list_filter | warm | success | match | 0.0175 | 0.00s |
| core.list_filter | warm | success | match | 0.0270 | 0.00s |
| core.list_filter | warm | success | match | 0.0175 | 0.00s |
| crypto.caesar_cipher | cold | success | match | 2.9833 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.3207 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 3.1765 | 0.00s |
| crypto.caesar_cipher | warm | success | match | 2.5628 | 0.00s |
| crypto.fnv1a_hash | cold | failed | no_result | n/a | 0.00s |
| crypto.fnv1a_hash | warm | failed | no_result | n/a | 0.00s |
| crypto.fnv1a_hash | warm | failed | no_result | n/a | 0.00s |
| crypto.fnv1a_hash | warm | failed | no_result | n/a | 0.00s |
| crypto.simple_checksum | cold | failed | no_result | n/a | 0.00s |
| crypto.simple_checksum | warm | failed | no_result | n/a | 0.00s |
| crypto.simple_checksum | warm | failed | no_result | n/a | 0.00s |
| crypto.simple_checksum | warm | failed | no_result | n/a | 0.00s |
| crypto.xor_cipher | cold | failed | no_result | n/a | 0.00s |
| crypto.xor_cipher | warm | failed | no_result | n/a | 0.00s |
| crypto.xor_cipher | warm | failed | no_result | n/a | 0.00s |
| crypto.xor_cipher | warm | failed | no_result | n/a | 0.00s |
| data_processing.csv_parse | cold | success | match | 0.4172 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.9563 | 0.00s |
| data_processing.csv_parse | warm | success | match | 0.8188 | 0.00s |
| data_processing.csv_parse | warm | success | match | 1.1501 | 0.00s |
| data_processing.json_extract | cold | failed | no_result | n/a | 0.00s |
| data_processing.json_extract | warm | failed | no_result | n/a | 0.00s |
| data_processing.json_extract | warm | failed | no_result | n/a | 0.00s |
| data_processing.json_extract | warm | failed | no_result | n/a | 0.00s |
| database.group_by_sum | cold | success | match | 1.0059 | 0.00s |
| database.group_by_sum | warm | success | match | 1.2807 | 0.00s |
| database.group_by_sum | warm | success | match | 1.1779 | 0.00s |
| database.group_by_sum | warm | success | match | 1.2406 | 0.00s |
| database.word_count_index | cold | success | match | 14.3511 | 0.00s |
| database.word_count_index | warm | success | match | 12.8769 | 0.00s |
| database.word_count_index | warm | success | match | 13.3657 | 0.00s |
| database.word_count_index | warm | success | match | 14.5296 | 0.00s |
| etl.distinct_count | cold | success | match | 13.0565 | 0.00s |
| etl.distinct_count | warm | success | match | 10.4198 | 0.00s |
| etl.distinct_count | warm | success | match | 8.9672 | 0.00s |
| etl.distinct_count | warm | success | match | 9.1765 | 0.00s |
| etl.group_by_aggregate | cold | success | mismatch | 2.4216 | 0.00s |
| etl.group_by_aggregate | warm | success | mismatch | 2.4653 | 0.00s |
| etl.group_by_aggregate | warm | success | mismatch | 3.2511 | 0.00s |
| etl.group_by_aggregate | warm | success | mismatch | 2.5383 | 0.00s |
| etl.merge_join | cold | failed | no_result | n/a | 0.00s |
| etl.merge_join | warm | failed | no_result | n/a | 0.00s |
| etl.merge_join | warm | failed | no_result | n/a | 0.00s |
| etl.merge_join | warm | failed | no_result | n/a | 0.00s |
| etl.top_n_selection | cold | success | match | 0.0904 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.1009 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.0958 | 0.00s |
| etl.top_n_selection | warm | success | match | 0.1258 | 0.00s |
| etl.windowed_aggregate | cold | success | match | 82.6120 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 108.5029 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 89.3536 | 0.00s |
| etl.windowed_aggregate | warm | success | match | 100.2759 | 0.00s |
| financial.compound_interest | cold | success | match | 0.4663 | 0.00s |
| financial.compound_interest | warm | success | match | 0.5163 | 0.00s |
| financial.compound_interest | warm | success | match | 0.4629 | 0.00s |
| financial.compound_interest | warm | success | match | 0.4441 | 0.00s |
| financial.moving_average | cold | success | match | 1.2438 | 0.00s |
| financial.moving_average | warm | success | match | 1.1305 | 0.00s |
| financial.moving_average | warm | success | match | 1.1958 | 0.00s |
| financial.moving_average | warm | success | match | 1.4950 | 0.00s |
| graph.bfs | cold | success | match | 0.2298 | 0.00s |
| graph.bfs | warm | success | match | 0.1721 | 0.00s |
| graph.bfs | warm | success | match | 0.1438 | 0.00s |
| graph.bfs | warm | success | match | 0.1136 | 0.00s |
| graph.dijkstra | cold | failed | no_result | n/a | 0.00s |
| graph.dijkstra | warm | failed | no_result | n/a | 0.00s |
| graph.dijkstra | warm | failed | no_result | n/a | 0.00s |
| graph.dijkstra | warm | failed | no_result | n/a | 0.00s |
| graph.floyd_warshall | cold | success | match | 37.7400 | 0.00s |
| graph.floyd_warshall | warm | success | match | 25.9373 | 0.00s |
| graph.floyd_warshall | warm | success | match | 26.0072 | 0.00s |
| graph.floyd_warshall | warm | success | match | 31.3097 | 0.00s |
| image.box_blur | cold | success | match | 26.3648 | 0.00s |
| image.box_blur | warm | success | match | 26.9046 | 0.00s |
| image.box_blur | warm | success | match | 25.8749 | 0.00s |
| image.box_blur | warm | success | match | 42.3961 | 0.00s |
| image.convolution_1d | cold | success | match | 266.3530 | 0.00s |
| image.convolution_1d | warm | success | match | 278.8290 | 0.00s |
| image.convolution_1d | warm | success | match | 287.1213 | 0.00s |
| image.convolution_1d | warm | success | match | 276.7227 | 0.00s |
| image.grayscale_filter | cold | success | match | 0.0918 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.0392 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.0486 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.0328 | 0.00s |
| image.sobel_edge | cold | success | match | 86.4940 | 0.00s |
| image.sobel_edge | warm | success | match | 89.6104 | 0.00s |
| image.sobel_edge | warm | success | match | 86.9514 | 0.00s |
| image.sobel_edge | warm | success | match | 90.1488 | 0.00s |
| iot.rolling_average | cold | success | match | 0.1838 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1683 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1595 | 0.00s |
| iot.rolling_average | warm | success | match | 0.1624 | 0.00s |
| iot.sensor_anomaly | cold | success | match | 0.1090 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.0938 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.0950 | 0.00s |
| iot.sensor_anomaly | warm | success | match | 0.1045 | 0.00s |
| ml.knn_inference | cold | success | match | 0.0253 | 0.00s |
| ml.knn_inference | warm | success | match | 0.0175 | 0.00s |
| ml.knn_inference | warm | success | match | 0.0221 | 0.00s |
| ml.knn_inference | warm | success | match | 0.0176 | 0.00s |
| ml.perceptron_predict | cold | success | match | 1.4379 | 0.00s |
| ml.perceptron_predict | warm | success | match | 1.4575 | 0.00s |
| ml.perceptron_predict | warm | success | match | 1.4838 | 0.00s |
| ml.perceptron_predict | warm | success | match | 1.4989 | 0.00s |
| numerical.dot_product | cold | success | match | 0.1917 | 0.00s |
| numerical.dot_product | warm | success | match | 0.2912 | 0.00s |
| numerical.dot_product | warm | success | match | 0.1489 | 0.00s |
| numerical.dot_product | warm | success | match | 0.1408 | 0.00s |
| numerical.gcd_loop | cold | success | match | 1.8508 | 0.00s |
| numerical.gcd_loop | warm | success | match | 1.7552 | 0.00s |
| numerical.gcd_loop | warm | success | match | 1.7838 | 0.00s |
| numerical.gcd_loop | warm | success | match | 1.9228 | 0.00s |
| numerical.matrix_multiply | cold | success | match | 3.3979 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 4.8079 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 3.2176 | 0.00s |
| numerical.matrix_multiply | warm | success | match | 3.3147 | 0.00s |
| numerical.matrix_vector | cold | success | match | 12.3289 | 0.00s |
| numerical.matrix_vector | warm | success | match | 8.8505 | 0.00s |
| numerical.matrix_vector | warm | success | match | 8.7009 | 0.00s |
| numerical.matrix_vector | warm | success | match | 8.7407 | 0.00s |
| numerical.monte_carlo_pi | cold | success | match | 0.0260 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0265 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0330 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0275 | 0.00s |
| numerical.prime_sieve | cold | success | match | 0.1779 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.1667 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.2703 | 0.00s |
| numerical.prime_sieve | warm | success | match | 0.1674 | 0.00s |
| numerical.trapezoidal_integral | cold | success | match | 0.0648 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0655 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0801 | 0.00s |
| numerical.trapezoidal_integral | warm | success | match | 0.0635 | 0.00s |
| object.bank_account | cold | success | match | 2.9230 | 0.00s |
| object.bank_account | warm | success | match | 2.7452 | 0.00s |
| object.bank_account | warm | success | match | 2.5556 | 0.00s |
| object.bank_account | warm | success | match | 2.8315 | 0.00s |
| object.shape_area | cold | success | match | 0.3769 | 0.00s |
| object.shape_area | warm | success | match | 0.5945 | 0.00s |
| object.shape_area | warm | success | match | 0.6471 | 0.00s |
| object.shape_area | warm | success | match | 0.6670 | 0.00s |
| parsing.csv_tokenize | cold | success | match | 4.1485 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 3.6368 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 4.0690 | 0.00s |
| parsing.csv_tokenize | warm | success | match | 3.5722 | 0.00s |
| parsing.ini_parse | cold | success | match | 3.7196 | 0.00s |
| parsing.ini_parse | warm | success | match | 3.0762 | 0.00s |
| parsing.ini_parse | warm | success | match | 2.8510 | 0.00s |
| parsing.ini_parse | warm | success | match | 2.8774 | 0.00s |
| parsing.log_line_parse | cold | success | match | 1.2016 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.6405 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.8880 | 0.00s |
| parsing.log_line_parse | warm | success | match | 1.5690 | 0.00s |
| regex.email_like_match | cold | success | match | 2.6870 | 0.00s |
| regex.email_like_match | warm | success | match | 2.6897 | 0.00s |
| regex.email_like_match | warm | success | match | 2.7309 | 0.00s |
| regex.email_like_match | warm | success | match | 2.6756 | 0.00s |
| regex.wildcard_match | cold | success | match | 9.2003 | 0.00s |
| regex.wildcard_match | warm | success | match | 8.4039 | 0.00s |
| regex.wildcard_match | warm | success | match | 8.4533 | 0.00s |
| regex.wildcard_match | warm | success | match | 8.5777 | 0.00s |
| scientific.newton_sqrt | cold | success | match | 0.4914 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.4515 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.5024 | 0.00s |
| scientific.newton_sqrt | warm | success | match | 0.4960 | 0.00s |
| scientific.polynomial_eval | cold | success | match | 1.1480 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 1.2205 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 1.1966 | 0.00s |
| scientific.polynomial_eval | warm | success | match | 1.1497 | 0.00s |
| serialization.csv_serialize | cold | success | match | 0.7443 | 0.00s |
| serialization.csv_serialize | warm | success | match | 1.0829 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.7655 | 0.00s |
| serialization.csv_serialize | warm | success | match | 0.7834 | 0.00s |
| serialization.json_serialize | cold | failed | no_result | n/a | 0.00s |
| serialization.json_serialize | warm | failed | no_result | n/a | 0.00s |
| serialization.json_serialize | warm | failed | no_result | n/a | 0.00s |
| serialization.json_serialize | warm | failed | no_result | n/a | 0.00s |
| simulation.conway_life | cold | success | match | 2.9669 | 0.00s |
| simulation.conway_life | warm | success | match | 3.0304 | 0.00s |
| simulation.conway_life | warm | success | match | 3.0260 | 0.00s |
| simulation.conway_life | warm | success | match | 3.0727 | 0.00s |
| simulation.particle_movement | cold | success | match | 99.3710 | 0.00s |
| simulation.particle_movement | warm | success | match | 109.5309 | 0.00s |
| simulation.particle_movement | warm | success | match | 100.5015 | 0.00s |
| simulation.particle_movement | warm | success | match | 100.9060 | 0.00s |
| sorting.merge_sort | cold | success | match | 1.0133 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.5848 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.6002 | 0.00s |
| sorting.merge_sort | warm | success | match | 0.7602 | 0.00s |
| sorting.quick_sort | cold | success | match | 68.3661 | 0.00s |
| sorting.quick_sort | warm | success | match | 68.2300 | 0.00s |
| sorting.quick_sort | warm | success | match | 71.7940 | 0.00s |
| sorting.quick_sort | warm | success | match | 65.3036 | 0.00s |
| statistics.correlation | cold | success | match | 9.2599 | 0.00s |
| statistics.correlation | warm | success | match | 9.1815 | 0.00s |
| statistics.correlation | warm | success | match | 9.7887 | 0.00s |
| statistics.correlation | warm | success | match | 9.2389 | 0.00s |
| statistics.histogram | cold | success | match | 1.5783 | 0.00s |
| statistics.histogram | warm | success | match | 1.8316 | 0.00s |
| statistics.histogram | warm | success | match | 2.3687 | 0.00s |
| statistics.histogram | warm | success | match | 1.8448 | 0.00s |
| statistics.mean_variance | cold | success | match | 16.5856 | 0.00s |
| statistics.mean_variance | warm | success | match | 10.8596 | 0.00s |
| statistics.mean_variance | warm | success | match | 11.9340 | 0.00s |
| statistics.mean_variance | warm | success | match | 9.1278 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.1397 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.1047 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.1105 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.1005 | 0.00s |
| stdlib.json_parse | cold | failed | no_result | n/a | 0.00s |
| stdlib.json_parse | warm | failed | no_result | n/a | 0.00s |
| stdlib.json_parse | warm | failed | no_result | n/a | 0.00s |
| stdlib.json_parse | warm | failed | no_result | n/a | 0.00s |
| string.dna_count | cold | success | match | 855.6920 | 0.00s |
| string.dna_count | warm | success | match | 841.1900 | 0.00s |
| string.dna_count | warm | success | match | 876.8947 | 0.00s |
| string.dna_count | warm | success | match | 1118.4100 | 0.00s |
| string.log_parser | cold | success | match | 14.8051 | 0.00s |
| string.log_parser | warm | success | match | 14.2378 | 0.00s |
| string.log_parser | warm | success | match | 14.2423 | 0.00s |
| string.log_parser | warm | success | match | 14.1275 | 0.00s |
| string.palindrome_pairs | cold | success | match | 8.7843 | 0.00s |
| string.palindrome_pairs | warm | success | match | 9.2577 | 0.00s |
| string.palindrome_pairs | warm | success | match | 8.5744 | 0.00s |
| string.palindrome_pairs | warm | success | match | 8.6707 | 0.00s |
| text.sentiment_score | cold | success | match | 1.3466 | 0.00s |
| text.sentiment_score | warm | success | match | 1.2323 | 0.00s |
| text.sentiment_score | warm | success | match | 1.3097 | 0.00s |
| text.sentiment_score | warm | success | match | 1.6886 | 0.00s |
| text.word_count | cold | success | match | 15.9323 | 0.00s |
| text.word_count | warm | success | match | 16.2095 | 0.00s |
| text.word_count | warm | success | match | 16.8461 | 0.00s |
| text.word_count | warm | success | match | 16.2041 | 0.00s |
| tree.bst_operations | cold | failed | no_result | n/a | 0.00s |
| tree.bst_operations | warm | failed | no_result | n/a | 0.00s |
| tree.bst_operations | warm | failed | no_result | n/a | 0.00s |
| tree.bst_operations | warm | failed | no_result | n/a | 0.00s |
| web.cookie_parse | cold | success | match | 0.8712 | 0.00s |
| web.cookie_parse | warm | success | match | 1.2730 | 0.00s |
| web.cookie_parse | warm | success | match | 1.0374 | 0.00s |
| web.cookie_parse | warm | success | match | 1.0806 | 0.00s |
| web.html_tag_count | cold | success | match | 1.9753 | 0.00s |
| web.html_tag_count | warm | success | match | 2.3527 | 0.00s |
| web.html_tag_count | warm | success | match | 2.0107 | 0.00s |
| web.html_tag_count | warm | success | match | 2.2750 | 0.00s |
| web.http_parser | cold | failed | no_result | n/a | 0.00s |
| web.http_parser | warm | failed | no_result | n/a | 0.00s |
| web.http_parser | warm | failed | no_result | n/a | 0.00s |
| web.http_parser | warm | failed | no_result | n/a | 0.00s |
| web.query_string_parse | cold | success | match | 1.3876 | 0.00s |
| web.query_string_parse | warm | success | match | 1.6086 | 0.00s |
| web.query_string_parse | warm | success | match | 1.4475 | 0.00s |
| web.query_string_parse | warm | success | match | 1.3781 | 0.00s |
| web.url_router | cold | failed | no_result | n/a | 0.00s |
| web.url_router | warm | failed | no_result | n/a | 0.00s |
| web.url_router | warm | failed | no_result | n/a | 0.00s |
| web.url_router | warm | failed | no_result | n/a | 0.00s |
Failures
| Class | Severity | Signature | Status |
|---|---|---|---|
| runtime_error | error | 1cbb7ea6f86f1829dde331b929903faa |
open |
| runtime_error | error | 882fb05a53b24aac3c341f4d0b29f31b |
open |
| runtime_error | error | 1929388a1e3d097dc2eb59b979e9d354 |
open |
| runtime_error | error | ecc8512ea6241ee4e73640265c4d64fc |
open |
| runtime_error | error | a451b32821881800e075e5237f5929bd |
open |
| runtime_error | error | ffec937beb407adb33e5963da147bdb6 |
open |
| runtime_error | error | 74471a2a1e71058b425a74278f54b023 |
open |
| runtime_error | error | 198989f23cf9745e487eeed1d10a50c8 |
open |
| runtime_error | error | f84e9492971168cdb44bebca539363f3 |
open |
| runtime_error | error | f84e9492971168cdb44bebca539363f3 |
open |
| runtime_error | error | f84e9492971168cdb44bebca539363f3 |
open |
| runtime_error | error | f84e9492971168cdb44bebca539363f3 |
open |
| runtime_error | error | 1886e114e5b1c4191b4c996d1c90cce1 |
open |
| runtime_error | error | 4122bc131297932bd16836b295acd7be |
open |
| runtime_error | error | 7d30851d333193592b8c04a1e4bd54ce |
open |
| runtime_error | error | 12b78ee4e9d31c5216426f6d873435e2 |
open |
| runtime_error | error | fae35d9b3b2a8c4cc8ba4ef3dda54dbd |
open |
| runtime_error | error | 6e59b975f57990f899d08026d3eceaef |
open |
| runtime_error | error | 2f309fcfb87a78cd607dfb3157cd6877 |
open |
| runtime_error | error | 72bcc7ea5ef9327b383e28b262082d70 |
open |
| runtime_error | error | fc6ba60ca33b351b0d13c0c4c91dcccf |
open |
| runtime_error | error | fc6ba60ca33b351b0d13c0c4c91dcccf |
open |
| runtime_error | error | fc6ba60ca33b351b0d13c0c4c91dcccf |
open |
| runtime_error | error | fc6ba60ca33b351b0d13c0c4c91dcccf |
open |
| runtime_error | error | 3ac3b6bba37e3de12ba6b4aa6e0b4afc |
open |
| runtime_error | error | 3ac3b6bba37e3de12ba6b4aa6e0b4afc |
open |
| runtime_error | error | 3ac3b6bba37e3de12ba6b4aa6e0b4afc |
open |
| runtime_error | error | 3ac3b6bba37e3de12ba6b4aa6e0b4afc |
open |
| runtime_error | error | 43a0368606c0fb1ebaeb0a62f5881bda |
open |
| runtime_error | error | 43a0368606c0fb1ebaeb0a62f5881bda |
open |
| runtime_error | error | 43a0368606c0fb1ebaeb0a62f5881bda |
open |
| runtime_error | error | 43a0368606c0fb1ebaeb0a62f5881bda |
open |
| correctness_mismatch | error | e3cabe19933eae2417cbffee8b14fbad |
open |
| correctness_mismatch | error | e3cabe19933eae2417cbffee8b14fbad |
open |
| correctness_mismatch | error | e3cabe19933eae2417cbffee8b14fbad |
open |
| correctness_mismatch | error | e3cabe19933eae2417cbffee8b14fbad |
open |
| runtime_error | error | 2007b35463d8d1599c796781a3be0080 |
open |
| runtime_error | error | 2b41a982fcd8b03ccf122c15c25ec963 |
open |
| runtime_error | error | 4f34030a31b4e3c59ae42fefa82b0274 |
open |
| runtime_error | error | 73c5463ec2177bea067a0644bed13e14 |
open |
| runtime_error | error | fcab5c47da73ce2b397ce1b7186f633c |
open |
| runtime_error | error | fcab5c47da73ce2b397ce1b7186f633c |
open |
| runtime_error | error | fcab5c47da73ce2b397ce1b7186f633c |
open |
| runtime_error | error | fcab5c47da73ce2b397ce1b7186f633c |
open |
| runtime_error | error | d73c9aef98c302ef6bf5d058dbb8d1bb |
open |
| runtime_error | error | 937b06a8e6cf8ccb29ca4e66668f5787 |
open |
| runtime_error | error | 0530592f2a592c1be3436dbb93971296 |
open |
| runtime_error | error | 84c8782f0c16cdf91634591f73965e12 |
open |
| runtime_error | error | b07041e5badc1573ab10a45b25cb3cf3 |
open |
| runtime_error | error | b07041e5badc1573ab10a45b25cb3cf3 |
open |
| runtime_error | error | b07041e5badc1573ab10a45b25cb3cf3 |
open |
| runtime_error | error | b07041e5badc1573ab10a45b25cb3cf3 |
open |
| correctness_mismatch | error | fe22c3d651305e9526747223d7e7e561 |
open |
| correctness_mismatch | error | fe22c3d651305e9526747223d7e7e561 |
open |
| correctness_mismatch | error | fe22c3d651305e9526747223d7e7e561 |
open |
| correctness_mismatch | error | fe22c3d651305e9526747223d7e7e561 |
open |
Proof Packs
Proof pack for etl.distinct_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/87477319b9264880be65770a
Proof pack for etl.distinct_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2a59a847d3844e09a2b52977
Proof pack for etl.distinct_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d4da1efa0fa3408fbd84638d
Proof pack for etl.distinct_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/3e3b2a2a713d47b3b6b0b2d6
Proof pack for graph.floyd_warshall on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/9bbfc5a819ad4fd39d65b9f8
Proof pack for graph.floyd_warshall on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/e65fd88f915f40709b3254bc
Proof pack for graph.floyd_warshall on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/9ed96f73ed4b46cc9034dc0c
Proof pack for graph.floyd_warshall on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/a692ae38038a4416a7dd54a5
Proof pack for statistics.correlation on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/45387585750a42ebbb326f15
Proof pack for statistics.correlation on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ded29bc445e44940936621ea
Proof pack for statistics.correlation on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ee7484c6a28749f0a5b55cb2
Proof pack for statistics.correlation on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/186a3d0ae4974f9eb6200d26
Proof pack for image.convolution_1d on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f7d23c1ef7404c73b6c269fa
Proof pack for image.convolution_1d on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2470876129194373b350d65f
Proof pack for image.convolution_1d on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/0ac452e9dbef448a9eaff6da
Proof pack for image.convolution_1d on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/cf2865bff1574fab880c7f56
Proof pack for web.html_tag_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/468906f95e81495f9b851c12
Proof pack for web.html_tag_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/0f00131125c34221aed7cceb
Proof pack for web.html_tag_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b2dae6be2c814581b329467e
Proof pack for web.html_tag_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b718d1d4b8cc4abf88158e49
Proof pack for core.factorial_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/76ae1b96f13b4e45a598becf
Proof pack for core.factorial_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/7b140a3ad03147a690d48c48
Proof pack for core.factorial_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/9f079c116c6241b8a993a742
Proof pack for core.factorial_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d74c44c477ee47009d3c2064
Proof pack for core.fibonacci_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/c5fb6760a2dd424a9a393123
Proof pack for core.fibonacci_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/9f409da3edd64444995e76dd
Proof pack for core.fibonacci_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b9a2f460312d4f8bb7189b8c
Proof pack for core.fibonacci_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/3c423888f50741aca89a2afa
Proof pack for iot.sensor_anomaly on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/9e19e10fdc784a2fbcb1e51e
Proof pack for iot.sensor_anomaly on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2d893c3d3e6543babebb763a
Proof pack for iot.sensor_anomaly on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/a7f995f9eb0042ac83be335d
Proof pack for iot.sensor_anomaly on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/811cf534771c449f95282fec
Proof pack for simulation.conway_life on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/540a233e9fe6491ead32fca7
Proof pack for simulation.conway_life on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/829e84e45c4c45748c3bcc57
Proof pack for simulation.conway_life on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/172e942f0c314425b1045b75
Proof pack for simulation.conway_life on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ab7ee6b2bcba482285069da4
Proof pack for text.sentiment_score on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2d4448a32e854f1487492d40
Proof pack for text.sentiment_score on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2a074f48a03b4f64b0c46be5
Proof pack for text.sentiment_score on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/6b63b4d2696b41a7bc6317f9
Proof pack for text.sentiment_score on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/35b0694faf134c839130fbde
Proof pack for serialization.csv_serialize on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/7f731209edca47e18bfe8512
Proof pack for serialization.csv_serialize on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/7481b01d15c84104817ba702
Proof pack for serialization.csv_serialize on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/0aa7ba38808f42968c4cd730
Proof pack for serialization.csv_serialize on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/405873b31d234d5c8a6345f9
Proof pack for object.bank_account on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ea9b47aa00434f6e9d6dafc5
Proof pack for object.bank_account on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/5d8ba882f5f64bbf92bd3bff
Proof pack for object.bank_account on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f556c7a8c07d4e92ad5c6310
Proof pack for object.bank_account on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d9a153b37e8149f68f41552d
Proof pack for sorting.quick_sort on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/cd7c30ce87b74515a64f0d84
Proof pack for sorting.quick_sort on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/1c1bd8515385499ea4263c2a
Proof pack for sorting.quick_sort on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/69bb03cf3ff345e18dcb9315
Proof pack for sorting.quick_sort on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/747d2a7618744a74b14495d1
Proof pack for parsing.log_line_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/7a29d4890f6f4376b0168c41
Proof pack for parsing.log_line_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ae3ae39a755244a1a61cc63c
Proof pack for parsing.log_line_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/32f3aeb0b0944684b3cf3cc4
Proof pack for parsing.log_line_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/8ed62d6488074bf68e3505d1
Proof pack for financial.compound_interest on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b795d737645b41f18bd38c46
Proof pack for financial.compound_interest on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d70b2b5682b74ddbb72c1c94
Proof pack for financial.compound_interest on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/49d0ab7076ce4b68ae8dfcda
Proof pack for financial.compound_interest on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/7d1f9b7c2c0744afa4c3c873
Proof pack for ml.perceptron_predict on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2a4c35371dd347ceae6892d3
Proof pack for ml.perceptron_predict on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/5bfc4c7c6e58405ca90a6203
Proof pack for ml.perceptron_predict on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2716ce9e7a814ea2ad66240e
Proof pack for ml.perceptron_predict on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/25b3306cda0f4eca910594b0
Proof pack for numerical.gcd_loop on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/59912b5d65b84ba883991628
Proof pack for numerical.gcd_loop on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/93952c7e60804c5e8fe34648
Proof pack for numerical.gcd_loop on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/fc55be27daca4577867c969b
Proof pack for numerical.gcd_loop on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/165f785770ac4b13aaf22269
Proof pack for image.sobel_edge on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/4348f61ecf1a45b0a0eb014a
Proof pack for image.sobel_edge on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b1755a03177640b99429dc2e
Proof pack for image.sobel_edge on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f6bb52ea736e43deb5c61d05
Proof pack for image.sobel_edge on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ee6c4375a6d64c2daa30d64f
Proof pack for string.palindrome_pairs on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d124ed7b5c7b4259b8ca5bcf
Proof pack for string.palindrome_pairs on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/3946d6ac6db7472d9238b9bf
Proof pack for string.palindrome_pairs on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/c7b16cd458174cae9671bbb4
Proof pack for string.palindrome_pairs on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ebe36cde074941ecac85ccb6
Proof pack for statistics.mean_variance on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/fded59203e0549e2aa050bac
Proof pack for statistics.mean_variance on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/c429374081dd44e7bb1aec52
Proof pack for statistics.mean_variance on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2750f35910c645bcb15608c5
Proof pack for statistics.mean_variance on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/bcc78ab82e9945a183c282fb
Proof pack for etl.windowed_aggregate on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/73afcd25dc794f5bb2c38440
Proof pack for etl.windowed_aggregate on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ca83dfe91d5047b68e7c8c38
Proof pack for etl.windowed_aggregate on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/c7fdcd4f64064549a4f3a38e
Proof pack for etl.windowed_aggregate on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/c515f16d188642b4a298956d
Proof pack for crypto.caesar_cipher on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/9563290dd2594e06845c7020
Proof pack for crypto.caesar_cipher on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/1cceaefd02444855a9d6b357
Proof pack for crypto.caesar_cipher on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/689732207ee34261bf4ac33e
Proof pack for crypto.caesar_cipher on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/e727ce42b220479eb46e2aa9
Proof pack for web.cookie_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/14706c3418c9406bbbce95d5
Proof pack for web.cookie_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/29e3ed6610884e0384875e66
Proof pack for web.cookie_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b66417c3e32047e0b426e3e3
Proof pack for web.cookie_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/0306d9c175564a0b9123a46c
Proof pack for regex.email_like_match on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/03fc6afa03264c1199af6be5
Proof pack for regex.email_like_match on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/91909f9a6d444d059a9a62cd
Proof pack for regex.email_like_match on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f2e235beb2da4b8e971a13f5
Proof pack for regex.email_like_match on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/417dd8f5813c41fea201f31d
Proof pack for database.group_by_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2cfa9f7f03344fd49a377338
Proof pack for database.group_by_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d3a7ecd61de444d883ca055a
Proof pack for database.group_by_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/804cb3362d744067b1f1c948
Proof pack for database.group_by_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d305e7efc7324f65bb6e91aa
Proof pack for scientific.newton_sqrt on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/a29e35baa35843d3b953ba9b
Proof pack for scientific.newton_sqrt on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d991b4ee3f6d449a8cd7dc5a
Proof pack for scientific.newton_sqrt on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/be0115c673b8459cb2880048
Proof pack for scientific.newton_sqrt on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d330ff7acb3442ea842f8c84
Proof pack for numerical.trapezoidal_integral on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2c25fe630fef41f19987491d
Proof pack for numerical.trapezoidal_integral on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/fa8efb68f3894b4c9351f255
Proof pack for numerical.trapezoidal_integral on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d89f54a302284611afdddbd0
Proof pack for numerical.trapezoidal_integral on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/7e08153ce2684063818c7bf1
Proof pack for image.box_blur on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ac63a7b30ec04f56b432b267
Proof pack for image.box_blur on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/741d8c2f855a46698a4104cf
Proof pack for image.box_blur on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f37a5bd08ccd40da9ebc322e
Proof pack for image.box_blur on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b1e7e1b9eefa4371a27b2d3d
Proof pack for string.dna_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/111ea9a40c584442bba6149b
Proof pack for string.dna_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ee32617610ae42d6bfea0595
Proof pack for string.dna_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/e2a1133235a14e319b3454ab
Proof pack for string.dna_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/89d5b9981c924911a5096de9
Proof pack for statistics.histogram on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ca553376c9d54255a8cc86a8
Proof pack for statistics.histogram on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/bce200b5044c4f5eb040547e
Proof pack for statistics.histogram on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/18d29ca6d7604e31892c0af2
Proof pack for statistics.histogram on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/30556ecdd56349e9b2e6abb3
Proof pack for etl.top_n_selection on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f160560658864ea091dd1a24
Proof pack for etl.top_n_selection on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/bef65b1da61f44afac42d770
Proof pack for etl.top_n_selection on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/8639127b52e843f09d149241
Proof pack for etl.top_n_selection on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2d8995ff0ed54824b74668f5
Proof pack for web.query_string_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d587f482cf3044d5adae6f26
Proof pack for web.query_string_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/1ae3b3c4b2e74ae594b6c392
Proof pack for web.query_string_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/25a61866ce604ab1b3769cf8
Proof pack for web.query_string_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/628c783ff2634ffdbe4b754b
Proof pack for regex.wildcard_match on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b2c7edcd154740d7a54b64af
Proof pack for regex.wildcard_match on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/080336af216e4a29a5124b4f
Proof pack for regex.wildcard_match on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/958e58e2fbb24cdcbab527d6
Proof pack for regex.wildcard_match on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/5ab858bb308d47d480ea5723
Proof pack for database.word_count_index on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/6080bbd029fd4bbe8f14645c
Proof pack for database.word_count_index on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/0d35b08c7a924abc87bc7e98
Proof pack for database.word_count_index on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/066c53f35be2408ea75b88e8
Proof pack for database.word_count_index on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/4413bf65fcbe4c20982737ef
Proof pack for scientific.polynomial_eval on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/fbf06d5d4c71493bba6c7c8b
Proof pack for scientific.polynomial_eval on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/6560e969dafa4d10a9b201d8
Proof pack for scientific.polynomial_eval on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/05bbc7cd1d8746f18d36da92
Proof pack for scientific.polynomial_eval on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/fe8e7087c1214da6a4e980d1
Proof pack for numerical.matrix_vector on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/8d94cfeb17884eeca0d980f1
Proof pack for numerical.matrix_vector on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/1f4c51f7442940018d553376
Proof pack for numerical.matrix_vector on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/859cbfbd2d824e21be9e8fa4
Proof pack for numerical.matrix_vector on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d1a95b994f62440f94215e9d
Proof pack for text.word_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/053b9f7e39b84dfb8c74fc2c
Proof pack for text.word_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/fb5b68d065294f479d209a87
Proof pack for text.word_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/5b28f8b0cda346d6846b64b4
Proof pack for text.word_count on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b2cc67dc16d84df2af7b8adf
Proof pack for object.shape_area on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/04652cbe2a474948a481076a
Proof pack for object.shape_area on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/47088474d5a0435db2ad6b12
Proof pack for object.shape_area on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f849b774bbb6400a81dad345
Proof pack for object.shape_area on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/cd7e2596e29045c7ae3d08cf
Proof pack for sorting.merge_sort on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/4b7ff3cc271f4f5e87603b79
Proof pack for sorting.merge_sort on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f490c1a580eb405ca944537e
Proof pack for sorting.merge_sort on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/9fd98dc5a0bf4484918c2bc2
Proof pack for sorting.merge_sort on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/bd113b97defc4f1289802d63
Proof pack for graph.bfs on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/71b0a754adc741539e3f34f7
Proof pack for graph.bfs on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f6efe7b5e1fd4b73afef72a1
Proof pack for graph.bfs on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/85830fdc7b2d4d5f8ada4ff9
Proof pack for graph.bfs on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b560b9fe55e649e39f5e8e9d
Proof pack for parsing.ini_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/5808ed641aac4de389352f9d
Proof pack for parsing.ini_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/3baec7842c894bfd87b51c82
Proof pack for parsing.ini_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b08d9660a9ae41bca582aa49
Proof pack for parsing.ini_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/67a55927891748d2a6dd819f
Proof pack for parsing.csv_tokenize on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/4d8a014b79794cff8d172141
Proof pack for parsing.csv_tokenize on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/18f007b304334be8833e9f19
Proof pack for parsing.csv_tokenize on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/8566d6fc4d254ccd81d1537c
Proof pack for parsing.csv_tokenize on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ddafab14edb54cd49151c338
Proof pack for financial.moving_average on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/5501123051504cbe89858a35
Proof pack for financial.moving_average on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/803d0ed2dae14590a7e683ac
Proof pack for financial.moving_average on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/7f747f31c9b147199e3f3dcd
Proof pack for financial.moving_average on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/3b1c3918246a4246990683e4
Proof pack for ml.knn_inference on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/4897c16fbcd24ed393a2eae7
Proof pack for ml.knn_inference on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/6dafa4e62b914a76ae457385
Proof pack for ml.knn_inference on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/7fe72f9bca3e4225bc8d5147
Proof pack for ml.knn_inference on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/868d91c842b441628855dae8
Proof pack for simulation.particle_movement on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/74ee29d3ef014b9ca7ceb145
Proof pack for simulation.particle_movement on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/6225e7e205c14df6a4b356a4
Proof pack for simulation.particle_movement on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/cb8c2dafd72047adbde78903
Proof pack for simulation.particle_movement on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/b6ee0de279ca414c8994288c
Proof pack for string.log_parser on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/484733a9239c49419c1d536c
Proof pack for string.log_parser on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/979f7e26183242b6a2e40caa
Proof pack for string.log_parser on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/30acca1bd0094625b4e825f3
Proof pack for string.log_parser on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/77c11931af784fe19de89d84
Proof pack for image.grayscale_filter on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/178175d976714b138d1d7ff7
Proof pack for image.grayscale_filter on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f454f30290ee4f6db79e54ba
Proof pack for image.grayscale_filter on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2b7de57463f7425fa9fc3ce4
Proof pack for image.grayscale_filter on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/5de7acb56afe4d4881883325
Proof pack for compression.rle_roundtrip on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/0f7ee49cc96f419990216e7f
Proof pack for compression.rle_roundtrip on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/663ab7aa0c2b40bb92e1f5ce
Proof pack for compression.rle_roundtrip on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/5e676a38de34423ba36cd958
Proof pack for compression.rle_roundtrip on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/9e83382944744c17a39c8ad2
Proof pack for stdlib.dict_lookup on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/e1c6ca7169ba4656b6942fd7
Proof pack for stdlib.dict_lookup on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/0e062c22324c4b6faf40d493
Proof pack for stdlib.dict_lookup on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/1d243581f16f48cfa0841399
Proof pack for stdlib.dict_lookup on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2734c4726e164017b47cfba2
Proof pack for iot.rolling_average on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/35a2206899ae4d708308f19e
Proof pack for iot.rolling_average on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/c54768d47deb40e48edd8ac5
Proof pack for iot.rolling_average on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/3b3af3169dd24c21a22fa5a8
Proof pack for iot.rolling_average on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/d54edd914bb642f09c97cbe4
Proof pack for data_processing.csv_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/6ed3e4ab9481471d992504bf
Proof pack for data_processing.csv_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ca8e3c02b54d47fdac103aa6
Proof pack for data_processing.csv_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/fd2e2d590ca441219d14c8f8
Proof pack for data_processing.csv_parse on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/710159a9960444a686b6a119
Proof pack for numerical.prime_sieve on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/4ec93d93b4c540dc9d75c0f1
Proof pack for numerical.prime_sieve on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/e790f4dfb7f446a880b41797
Proof pack for numerical.prime_sieve on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/368de9cb3a77460ab90c4db0
Proof pack for numerical.prime_sieve on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/2e61986e1a5548f58e3d3000
Proof pack for numerical.monte_carlo_pi on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/9e5b6eec369240abb3cedc09
Proof pack for numerical.monte_carlo_pi on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/1eb2ca71130a4e5fac4e26b4
Proof pack for numerical.monte_carlo_pi on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/373e1fe60b474c8da72347c4
Proof pack for numerical.monte_carlo_pi on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/5fb82fcc09624aaea0f79f8b
Proof pack for numerical.matrix_multiply on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/1a651e1399104081b2188de6
Proof pack for numerical.matrix_multiply on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/1c61f91593214f0b8a850238
Proof pack for numerical.matrix_multiply on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/f10073d7dc934fd5a7828f3f
Proof pack for numerical.matrix_multiply on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/a5b360f170c84ff88a4bb289
Proof pack for numerical.dot_product on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/1b8f8e23b3a54608ade5235d
Proof pack for numerical.dot_product on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/103760df80d5439cbcdc82d2
Proof pack for numerical.dot_product on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/07b9e5e285554a7da92e4dfb
Proof pack for numerical.dot_product on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/89366cf14e674789b165bd34
Proof pack for core.list_filter on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/fd6cd34dfc2343b9923510fb
Proof pack for core.list_filter on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/5ba834c543854d9c93a3441d
Proof pack for core.list_filter on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/0e3ff5376fa34c84ab5777f1
Proof pack for core.list_filter on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/173b864b47674ebc934e6b09
Proof pack for core.integer_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/192191969a224e8aa708763c
Proof pack for core.integer_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/ba6b29663ad34e6dbab81f42
Proof pack for core.integer_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/1c6b7df8a2dc4843ae6edd39
Proof pack for core.integer_sum on codon-system
/var/www/pyvorin-bench/data/proofpacks/c6670aa78ea74686b863c173/cb0e39dfd52146f7b7e741ef