Campaign Summary
ID: 504210fea36444d78a09a42b
Started: 2026-07-19 09:05:33.195823
Finished: -
0
Workloads
81
Cases
69
Passed
12
Failed
4
Mismatches
Campaign Chart
Case Runs
| Workload | Phase | Status | Correctness | Mean ms | Duration |
|---|---|---|---|---|---|
| compression.rle_roundtrip | cold | success | match | 60.8250 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 72.2776 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 72.0077 | 0.00s |
| compression.rle_roundtrip | warm | success | match | 73.1575 | 0.00s |
| core.float_reduction | cold | success | match | 0.0760 | 0.00s |
| core.float_reduction | warm | success | match | 0.0259 | 0.00s |
| core.float_reduction | warm | success | match | 0.0157 | 0.00s |
| core.float_reduction | warm | success | match | 0.0156 | 0.00s |
| core.integer_sum | cold | success | match | 0.0977 | 0.00s |
| core.integer_sum | warm | success | match | 0.0065 | 0.00s |
| core.integer_sum | warm | success | match | 0.0066 | 0.00s |
| core.integer_sum | warm | success | match | 0.0066 | 0.00s |
| core.list_filter | cold | success | match | 2.7263 | 0.00s |
| core.list_filter | warm | success | match | 0.5273 | 0.00s |
| core.list_filter | warm | success | match | 0.5261 | 0.00s |
| core.list_filter | warm | success | match | 0.6067 | 0.00s |
| crypto.fnv1a_hash | cold | success | match | 9.8997 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 8.8657 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 9.4252 | 0.00s |
| crypto.fnv1a_hash | warm | success | match | 8.9289 | 0.00s |
| data_processing.csv_parse | cold | success | mismatch | 1.3005 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0847 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0840 | 0.00s |
| data_processing.csv_parse | warm | success | mismatch | 0.0811 | 0.00s |
| etl.group_by_aggregate | cold | success | match | 1.3161 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2865 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2020 | 0.00s |
| etl.group_by_aggregate | warm | success | match | 1.2490 | 0.00s |
| etl.merge_join | cold | success | match | 32.7436 | 0.00s |
| etl.merge_join | warm | success | match | 4.3414 | 0.00s |
| etl.merge_join | warm | success | match | 4.2248 | 0.00s |
| etl.merge_join | warm | success | match | 4.3069 | 0.00s |
| image.grayscale_filter | cold | success | match | 7.0181 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1151 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1044 | 0.00s |
| image.grayscale_filter | warm | success | match | 0.1245 | 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 |
| numerical.dot_product | cold | success | match | 0.0561 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0464 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0457 | 0.00s |
| numerical.dot_product | warm | success | match | 0.0447 | 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.monte_carlo_pi | cold | success | match | 0.1053 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0179 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0176 | 0.00s |
| numerical.monte_carlo_pi | warm | success | match | 0.0170 | 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 |
| simulation.particle_movement | cold | success | match | 1414.6683 | 0.00s |
| stdlib.dict_lookup | cold | success | match | 0.0676 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0578 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0845 | 0.00s |
| stdlib.dict_lookup | warm | success | match | 0.0570 | 0.00s |
| stdlib.json_parse | cold | success | match | 2.2504 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.8484 | 0.00s |
| stdlib.json_parse | warm | success | match | 3.1291 | 0.00s |
| stdlib.json_parse | warm | success | match | 2.8552 | 0.00s |
| string.log_parser | cold | success | match | 4.4548 | 0.00s |
| string.log_parser | warm | success | match | 3.5982 | 0.00s |
| string.log_parser | warm | success | match | 6.1683 | 0.00s |
| string.log_parser | warm | success | match | 6.4930 | 0.00s |
| tree.bst_operations | cold | success | match | 0.9445 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8910 | 0.00s |
| tree.bst_operations | warm | success | match | 0.9294 | 0.00s |
| tree.bst_operations | warm | success | match | 0.8794 | 0.00s |
| web.http_parser | cold | success | match | 0.9022 | 0.00s |
| web.http_parser | warm | success | match | 0.8309 | 0.00s |
| web.http_parser | warm | success | match | 0.8614 | 0.00s |
| web.http_parser | warm | success | match | 0.8997 | 0.00s |
| web.url_router | cold | success | match | 0.0652 | 0.00s |
| web.url_router | warm | success | match | 0.0662 | 0.00s |
| web.url_router | warm | success | match | 0.0634 | 0.00s |
| web.url_router | warm | success | match | 0.0704 | 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 simulation.particle_movement on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/0400229fbf7b48e4aed92505
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/4e6ae415819f4f4799e67b45
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/07d421bc0ca24aa6b6a0adf3
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/f210c266a95544bcadf99051
Proof pack for tree.bst_operations on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/175c4ed22b424e70b87cd4fa
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/7a036ddd372b4c01977be1a0
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/c23a8116b67b46b681297f57
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/c09d57d9988e48a6afdb58bb
Proof pack for string.log_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/0f826aa6c1a54ae4a2295c28
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/89a163dad312417f946fddb0
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/4b4a710621554c199efeca77
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/67ae0b9243dd4b5994fe8d08
Proof pack for etl.merge_join on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/f96db0fef1c14e60937a4ec2
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/c6113f7336bd4e55b23211a4
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/77120da27d4046b282edbfb9
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/e4548126150346898eabf452
Proof pack for etl.group_by_aggregate on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/a497382026a34b48baf98fa0
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/8ec9bb0af909469bb4080243
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/7d8226034f654d07b39102a8
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/e7f4cef6d35544958bfab843
Proof pack for image.grayscale_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/608cc91b97da4cf8a9b879e4
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/455a8cff3e0d456d85085c92
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/f6719fc83acd4fbea4c967f9
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/7120b07dc50f47d4b0fa2bec
Proof pack for compression.rle_roundtrip on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/ba1aeb71212b4124a8425ae4
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/c555ac9083c546739877f453
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/f99c2d942c364aadb3ec9650
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/66360aee5f76485ea3a62730
Proof pack for crypto.fnv1a_hash on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/d37cbbde444d4ae09054f9e1
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/36972465944642e08dd85fc9
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/88ba85d77ebd45809aa8baa8
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/6567c341ca5a48cca268d94f
Proof pack for web.url_router on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/563e27531b3744888af579c6
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/9214de40143d4918ac9d9e6b
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/ca2b572fa3e24de3be8b3df6
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/0d456cfbd21448b799033480
Proof pack for web.http_parser on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/fa49fdd19a614dafbefc688a
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/e1af5a09636d443abb21160a
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/8bcd8f1502334228a2d9f8f8
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/72bb42e19ff04e7088518796
Proof pack for stdlib.dict_lookup on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/d04a6dccb4974ccda2a6a2e0
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/0a228748b70542e5a1d61cfd
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/831ad67ad40e49cbb286c335
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/031df5a69d084082b00c763f
Proof pack for stdlib.json_parse on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/66ac145fdc184f95b0acfc07
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/95e26e79ede846088717b50e
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/4cf0585587d949c2b28815dd
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/ce28a0482a7149c1a5fd557c
Proof pack for numerical.monte_carlo_pi on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/16eb4d781d774b4193b21bd9
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/227c8b7106a344e8836c5a82
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/1113f4057ec745de9bf20bb8
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/95514cf52f444c4c958b3859
Proof pack for numerical.dot_product on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/8cd806827e304ba68e58d5cf
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/47da0dffe34540e0a0743013
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/7c58eb46c2414892a1d2e57d
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/8112f303967f4a199ad60cd4
Proof pack for core.list_filter on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/7ba6f3d958fe4f84a3047a13
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/1dd9c0a5295144e29b575bf1
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/bfc798d2c9f945df9eaa824a
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/ea266750b0e94fa88c5a6855
Proof pack for core.float_reduction on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/e0d84c2884344fac87537c40
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/2821f8b196584836920d26c5
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/bca6f20bd14f4f7ba12107de
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/c9b68fa6fa2843308a93af04
Proof pack for core.integer_sum on pyvorin-project-venv
/var/www/pyvorin-bench/data/proofpacks/504210fea36444d78a09a42b/41fc73d8b4f94a72992414c0