functional.sqlancer.doi_10_1145_3428279_example_15_test. Wrong evaluation of MIN when bitwise shift is applied to the source value

Show cross-report outcomes.
Full history of outcomes and elapsed time, ms:
NN SNAP_INFO CS_outcome SS_outcome CS_run_time SS_run_time CS_run_beg CS_run_end SS_run_beg SS_run_end
1 6.0.0.892 2025.07.02 10f7d P P 591 404 2025.07.03 03:32:54.753 2025.07.03 03:32:55.344 2025.07.03 01:45:27.668 2025.07.03 01:45:28.072
2 6.0.0.889 2025.07.02 4b4e6 P P 601 417 2025.07.02 11:28:21.701 2025.07.02 11:28:22.302 2025.07.02 09:43:52.361 2025.07.02 09:43:52.778
3 6.0.0.889 2025.07.01 969ac P P 581 683 2025.07.02 03:35:00.634 2025.07.02 03:35:01.215 2025.07.02 01:47:16.831 2025.07.02 01:47:17.514
4 6.0.0.881 2025.06.27 7035d P P 590 393 2025.07.01 03:28:22.938 2025.07.01 03:28:23.528 2025.07.01 01:43:40.320 2025.07.01 01:43:40.713
5 6.0.0.877 2025.06.26 8e38f P P 597 393 2025.06.27 03:29:11.381 2025.06.27 03:29:11.978 2025.06.27 01:43:53.507 2025.06.27 01:43:53.900
6 6.0.0.876 2025.06.25 b1bec P P 585 387 2025.06.26 03:34:27.616 2025.06.26 03:34:28.201 2025.06.26 01:49:29.265 2025.06.26 01:49:29.652
7 6.0.0.863 2025.06.24 c3c20 P P 612 395 2025.06.25 08:18:45.153 2025.06.25 08:18:45.765 2025.06.25 01:43:32.075 2025.06.25 01:43:32.470
8 6.0.0.858 2025.06.24 cbbbf P P 617 391 2025.06.24 18:01:08.887 2025.06.24 18:01:09.504 2025.06.24 16:15:26.393 2025.06.24 16:15:26.784
9 6.0.0.858 2025.06.23 d377c P P 609 392 2025.06.24 09:13:12.591 2025.06.24 09:13:13.200 2025.06.24 07:27:36.318 2025.06.24 07:27:36.710
10 6.0.0.854 2025.06.23 10b58 P P 599 392 2025.06.23 15:54:01.236 2025.06.23 15:54:01.835 2025.06.23 14:07:28.749 2025.06.23 14:07:29.141
11 6.0.0.849 2025.06.20 7b79c P P 595 392 2025.06.21 03:32:20.446 2025.06.21 03:32:21.041 2025.06.21 01:44:06.896 2025.06.21 01:44:07.288
12 6.0.0.848 2025.06.19 c483c P P 593 390 2025.06.20 03:32:03.600 2025.06.20 03:32:04.193 2025.06.20 01:43:52.112 2025.06.20 01:43:52.502
13 6.0.0.845 2025.06.18 20191 P P 591 393 2025.06.19 03:31:28.761 2025.06.19 03:31:29.352 2025.06.19 01:43:34.146 2025.06.19 01:43:34.539
14 6.0.0.843 2025.06.16 995f4 P P 586 416 2025.06.18 03:31:15.506 2025.06.18 03:31:16.092 2025.06.18 01:43:07.570 2025.06.18 01:43:07.986
15 6.0.0.840 2025.06.14 29bca P P 589 406 2025.06.15 03:42:20.611 2025.06.15 03:42:21.200 2025.06.15 01:48:57.195 2025.06.15 01:48:57.601
16 6.0.0.838 2025.06.13 0e28a P P 606 420 2025.06.14 03:40:31.556 2025.06.14 03:40:32.162 2025.06.14 01:47:21.581 2025.06.14 01:47:22.001
17 6.0.0.834 2025.06.11 e889f P P 582 411 2025.06.12 03:36:16.208 2025.06.12 03:36:16.790 2025.06.12 01:46:28.427 2025.06.12 01:46:28.838
18 6.0.0.800 2025.06.10 1f226 P P 550 370 2025.06.11 02:20:52.362 2025.06.11 02:20:52.912 2025.06.11 01:09:18.782 2025.06.11 01:09:19.152
19 6.0.0.799 2025.06.07 be644 P P 557 370 2025.06.10 02:20:42.702 2025.06.10 02:20:43.259 2025.06.10 01:08:46.179 2025.06.10 01:08:46.549
20 6.0.0.797 2025.06.06 303e8 P P 591 395 2025.06.07 02:19:08.330 2025.06.07 02:19:08.921 2025.06.07 01:08:27.814 2025.06.07 01:08:28.209
21 6.0.0.795 2025.05.29 7a71a P P 546 371 2025.06.06 02:18:37.139 2025.06.06 02:18:37.685 2025.06.06 01:08:04.970 2025.06.06 01:08:05.341

Elapsed time, ms. Chart for last 21 runs:

Last commits information (all timestamps in UTC):