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 660 612 2025.07.03 02:05:36.716 2025.07.03 02:05:37.376 2025.07.02 23:30:17.642 2025.07.02 23:30:18.254
2 6.0.0.889 2025.07.01 969ac P P 692 419 2025.07.02 02:34:35.176 2025.07.02 02:34:35.868 2025.07.01 23:44:39.506 2025.07.01 23:44:39.925
3 6.0.0.884 2025.06.30 f7e5f P P 740 378 2025.07.01 02:33:54.843 2025.07.01 02:33:55.583 2025.06.30 23:52:51.998 2025.06.30 23:52:52.376
4 6.0.0.881 2025.06.27 7035d P P 743 619 2025.06.30 02:25:23.383 2025.06.30 02:25:24.126 2025.06.29 23:39:58.002 2025.06.29 23:39:58.621
5 6.0.0.877 2025.06.26 8e38f P P 645 574 2025.06.27 02:03:04.190 2025.06.27 02:03:04.835 2025.06.26 23:29:57.503 2025.06.26 23:29:58.077
6 6.0.0.876 2025.06.25 b1bec P P 613 618 2025.06.26 02:06:55.579 2025.06.26 02:06:56.192 2025.06.25 23:32:00.212 2025.06.25 23:32:00.830
7 6.0.0.863 2025.06.24 c3c20 P P 651 571 2025.06.25 02:07:14.634 2025.06.25 02:07:15.285 2025.06.24 23:31:45.856 2025.06.24 23:31:46.427
8 6.0.0.858 2025.06.23 8d6f7 P P 767 420 2025.06.24 02:07:29.054 2025.06.24 02:07:29.821 2025.06.23 23:31:42.894 2025.06.23 23:31:43.314
9 6.0.0.849 2025.06.20 7b79c P P 645 412 2025.06.21 02:19:03.218 2025.06.21 02:19:03.863 2025.06.20 23:41:44.590 2025.06.20 23:41:45.002
10 6.0.0.848 2025.06.19 c483c P P 684 532 2025.06.20 02:15:23.213 2025.06.20 02:15:23.897 2025.06.19 23:38:06.715 2025.06.19 23:38:07.247
11 6.0.0.845 2025.06.18 22b12 P P 695 432 2025.06.19 02:24:09.581 2025.06.19 02:24:10.276 2025.06.18 23:41:44.694 2025.06.18 23:41:45.126
12 6.0.0.843 2025.06.16 995f4 P P 708 415 2025.06.18 02:22:26.026 2025.06.18 02:22:26.734 2025.06.17 23:44:30.451 2025.06.17 23:44:30.866
13 6.0.0.840 2025.06.14 29bca P P 771 436 2025.06.16 02:14:09.226 2025.06.16 02:14:09.997 2025.06.15 23:35:20.754 2025.06.15 23:35:21.190
14 6.0.0.838 2025.06.13 0e28a P P 672 613 2025.06.14 02:27:52.730 2025.06.14 02:27:53.402 2025.06.13 23:43:57.134 2025.06.13 23:43:57.747
15 6.0.0.835 2025.06.12 2cf29 P P 665 372 2025.06.13 02:26:56.469 2025.06.13 02:26:57.134 2025.06.12 23:48:41.942 2025.06.12 23:48:42.314
16 6.0.0.834 2025.06.11 e889f P P 676 637 2025.06.12 02:22:33.101 2025.06.12 02:22:33.777 2025.06.11 23:43:45.774 2025.06.11 23:43:46.411
17 6.0.0.800 2025.06.10 1f226 P P 633 608 2025.06.11 00:53:01.473 2025.06.11 00:53:02.106 2025.06.10 22:44:04.019 2025.06.10 22:44:04.627
18 6.0.0.799 2025.06.07 be644 P P 720 540 2025.06.10 00:55:48.487 2025.06.10 00:55:49.207 2025.06.09 22:43:36.787 2025.06.09 22:43:37.327
19 6.0.0.797 2025.06.06 303e8 P P 713 350 2025.06.07 00:59:18.187 2025.06.07 00:59:18.900 2025.06.06 22:43:22.013 2025.06.06 22:43:22.363
20 6.0.0.795 2025.05.29 7a71a P P 727 325 2025.06.06 00:53:40.684 2025.06.06 00:53:41.411 2025.06.05 22:42:20.640 2025.06.05 22:42:20.965

Elapsed time, ms. Chart for last 20 runs:

Last commits information (all timestamps in UTC):