bugs.core_4102_test. Bad optimization of OR predicates applied to unions

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 4.0.6.3215 2025.06.25 6461d P P 625 396 2025.06.30 07:14:32.994 2025.06.30 07:14:33.619 2025.06.30 06:20:23.679 2025.06.30 06:20:24.075
2 4.0.6.3214 2025.06.21 e11f6 P P 595 396 2025.06.25 12:08:05.565 2025.06.25 12:08:06.160 2025.06.25 11:12:43.989 2025.06.25 11:12:44.385
3 4.0.6.3213 2025.06.14 f015c P P 604 408 2025.06.21 07:08:19.976 2025.06.21 07:08:20.580 2025.06.21 06:13:12.893 2025.06.21 06:13:13.301
4 4.0.6.3212 2025.06.11 bc50d P P 596 427 2025.06.14 07:36:04.527 2025.06.14 07:36:05.123 2025.06.14 06:40:32.527 2025.06.14 06:40:32.954
5 4.0.6.3208 2025.06.10 19fe3 P P 632 395 2025.06.11 06:03:21.049 2025.06.11 06:03:21.681 2025.06.11 05:08:03.487 2025.06.11 05:08:03.882
6 4.0.6.3207 2025.06.07 205ff P P 629 403 2025.06.10 06:04:07.978 2025.06.10 06:04:08.607 2025.06.10 05:08:46.844 2025.06.10 05:08:47.247
7 4.0.6.3206 2025.05.22 d7d10 P P 609 407 2025.06.06 05:58:40.106 2025.06.06 05:58:40.715 2025.06.06 05:04:24.097 2025.06.06 05:04:24.504
8 4.0.6.3205 2025.05.07 00148 P P 563 406 2025.05.18 05:47:04.223 2025.05.18 05:47:04.786 2025.05.18 04:54:36.617 2025.05.18 04:54:37.023
9 4.0.6.3204 2025.05.06 35b85 P P 588 391 2025.05.07 05:54:37.108 2025.05.07 05:54:37.696 2025.05.07 05:00:43.187 2025.05.07 05:00:43.578
10 4.0.6.3203 2025.05.05 c2cbd P P 599 405 2025.05.06 05:54:40.932 2025.05.06 05:54:41.531 2025.05.06 05:00:52.172 2025.05.06 05:00:52.577
11 4.0.6.3200 2025.04.18 7ef56 P P 624 401 2025.04.26 05:59:15.887 2025.04.26 05:59:16.511 2025.04.26 05:04:53.787 2025.04.26 05:04:54.188
12 4.0.6.3199 2025.04.14 33a10 P P 629 395 2025.04.17 05:56:46.542 2025.04.17 05:56:47.171 2025.04.17 05:02:08.140 2025.04.17 05:02:08.535
13 4.0.6.3198 2025.04.13 64a7f P P 601 412 2025.04.14 05:54:54.911 2025.04.14 05:54:55.512 2025.04.14 05:00:32.750 2025.04.14 05:00:33.162
14 4.0.6.3195 2025.04.12 82cb5 P P 562 375 2025.04.13 05:41:17.307 2025.04.13 05:41:17.869 2025.04.13 04:49:04.266 2025.04.13 04:49:04.641
15 4.0.6.3195 2025.03.28 b9faf P P 624 397 2025.04.12 05:59:35.773 2025.04.12 05:59:36.397 2025.04.12 05:04:54.829 2025.04.12 05:04:55.226
16 4.0.6.3194 2025.03.27 ab754 P P 602 438 2025.03.28 06:11:31.763 2025.03.28 06:11:32.365 2025.03.28 05:16:12.073 2025.03.28 05:16:12.511
17 4.0.6.3194 2025.03.26 912aa P P 630 451 2025.03.27 06:00:53.582 2025.03.27 06:00:54.212 2025.03.27 05:04:06.648 2025.03.27 05:04:07.099
18 4.0.6.3193 2025.03.20 80234 P P 637 429 2025.03.24 06:01:12.370 2025.03.24 06:01:13.007 2025.03.24 05:04:14.615 2025.03.24 05:04:15.044
19 4.0.6.3192 2025.03.13 2a9da P P 598 401 2025.03.20 05:50:08.822 2025.03.20 05:50:09.420 2025.03.20 04:55:10.516 2025.03.20 04:55:10.917
20 4.0.6.3191 2025.03.10 3d9fd P P 657 399 2025.03.13 05:56:48.120 2025.03.13 05:56:48.777 2025.03.13 05:00:16.048 2025.03.13 05:00:16.447
21 4.0.6.3190 2025.02.25 c9928 P P 636 407 2025.03.09 05:53:12.616 2025.03.09 05:53:13.252 2025.03.09 04:57:07.951 2025.03.09 04:57:08.358
22 4.0.6.3189 2025.02.22 3fb0b P P 661 420 2025.02.25 05:43:21.714 2025.02.25 05:43:22.375 2025.02.25 04:48:21.836 2025.02.25 04:48:22.256
23 4.0.6.3188 2025.02.21 8ee1c P P 609 401 2025.02.22 05:37:14.012 2025.02.22 05:37:14.621 2025.02.22 04:42:51.465 2025.02.22 04:42:51.866
24 4.0.6.3186 2025.02.19 92cb6 P P 599 430 2025.02.20 03:34:28.841 2025.02.20 03:34:29.440 2025.02.20 02:39:20.058 2025.02.20 02:39:20.488
25 4.0.6.3185 2025.02.16 9cac4 P P 594 393 2025.02.17 01:22:16.994 2025.02.17 01:22:17.588 2025.02.17 00:27:55.415 2025.02.17 00:27:55.808
26 4.0.6.3183 2025.02.04 bf738 P P 601 392 2025.02.08 05:40:51.167 2025.02.08 05:40:51.768 2025.02.08 04:46:02.162 2025.02.08 04:46:02.554
27 4.0.6.3181 2025.02.01 00b64 P P 600 423 2025.02.04 05:54:08.364 2025.02.04 05:54:08.964 2025.02.04 04:59:40.618 2025.02.04 04:59:41.041
28 4.0.6.3180 2025.01.27 2edb8 P P 622 400 2025.01.28 05:37:43.389 2025.01.28 05:37:44.011 2025.01.28 04:43:39.221 2025.01.28 04:43:39.621
29 4.0.6.3179 2025.01.24 008d4 P P 602 390 2025.01.25 03:27:59.861 2025.01.25 03:28:00.463 2025.01.25 02:33:52.177 2025.01.25 02:33:52.567
30 4.0.6.3178 2025.01.20 ec94d P P 625 428 2025.01.24 05:38:29.580 2025.01.24 05:38:30.205 2025.01.24 04:44:12.147 2025.01.24 04:44:12.575
31 4.0.6.3176 2025.01.16 79cc1 P P 599 394 2025.01.20 05:37:13.956 2025.01.20 05:37:14.555 2025.01.20 04:42:59.731 2025.01.20 04:43:00.125
32 4.0.6.3175 2025.01.15 91361 P P 594 397 2025.01.16 05:40:39.197 2025.01.16 05:40:39.791 2025.01.16 04:46:24.348 2025.01.16 04:46:24.745
33 4.0.6.3174 2024.12.23 ffd39 P P 595 427 2025.01.15 05:34:26.383 2025.01.15 05:34:26.978 2025.01.15 04:39:53.932 2025.01.15 04:39:54.359
34 4.0.6.3173 2024.12.19 60b32 P P 635 388 2024.12.21 16:33:57.191 2024.12.21 16:33:57.826 2024.12.21 15:39:20.972 2024.12.21 15:39:21.360
35 4.0.6.3172 2024.12.11 33f5d P P 592 416 2024.12.16 05:36:27.518 2024.12.16 05:36:28.110 2024.12.16 04:41:52.532 2024.12.16 04:41:52.948
36 4.0.6.3171 2024.12.10 ab1d4 P P 600 409 2024.12.11 05:38:45.129 2024.12.11 05:38:45.729 2024.12.11 04:44:29.477 2024.12.11 04:44:29.886
37 4.0.6.3170 2024.12.02 68abd P P 601 411 2024.12.04 05:29:20.344 2024.12.04 05:29:20.945 2024.12.04 04:36:12.235 2024.12.04 04:36:12.646
38 4.0.6.3169 2024.11.28 1673f P P 586 436 2024.11.30 05:27:19.045 2024.11.30 05:27:19.631 2024.11.30 04:34:22.588 2024.11.30 04:34:23.024
39 4.0.6.3168 2024.11.27 7fffc P P 647 411 2024.11.28 05:23:22.008 2024.11.28 05:23:22.655 2024.11.28 04:30:58.419 2024.11.28 04:30:58.830
40 4.0.6.3168 2024.11.07 f67e2 P P 600 414 2024.11.27 05:25:31.682 2024.11.27 05:25:32.282 2024.11.27 04:32:38.412 2024.11.27 04:32:38.826
41 4.0.6.3167 2024.11.04 c9228 P P 600 411 2024.11.05 05:18:50.278 2024.11.05 05:18:50.878 2024.11.05 04:26:42.398 2024.11.05 04:26:42.809
42 4.0.6.3165 2024.10.23 b0c36 P P 623 399 2024.11.04 11:08:31.807 2024.11.04 11:08:32.430 2024.11.04 10:16:23.087 2024.11.04 10:16:23.486
43 4.0.6.3164 2024.10.17 35344 P P 612 406 2024.10.23 05:27:33.730 2024.10.23 05:27:34.342 2024.10.23 04:34:43.212 2024.10.23 04:34:43.618
44 4.0.6.3161 2024.10.05 91502 P P 632 416 2024.10.15 05:25:00.246 2024.10.15 05:25:00.878 2024.10.15 04:32:44.599 2024.10.15 04:32:45.015
45 4.0.6.3159 2024.10.01 85136 P P 609 406 2024.10.05 05:28:59.973 2024.10.05 05:29:00.582 2024.10.05 04:35:35.831 2024.10.05 04:35:36.237
46 4.0.6.3158 2024.09.30 14c68 P P 634 399 2024.10.01 05:26:26.088 2024.10.01 05:26:26.722 2024.10.01 04:33:50.221 2024.10.01 04:33:50.620
47 4.0.6.3157 2024.09.24 3bb2e P P 597 394 2024.09.30 05:26:31.142 2024.09.30 05:26:31.739 2024.09.30 04:33:49.844 2024.09.30 04:33:50.238
48 4.0.6.3156 2024.09.21 f6416 P P 591 395 2024.09.24 05:26:12.953 2024.09.24 05:26:13.544 2024.09.24 04:33:12.987 2024.09.24 04:33:13.382
49 4.0.6.3155 2024.09.20 1ed0c P P 625 398 2024.09.21 05:27:45.464 2024.09.21 05:27:46.089 2024.09.21 04:34:31.327 2024.09.21 04:34:31.725
50 4.0.6.3151 2024.09.09 1b77f P P 601 413 2024.09.17 05:25:00.055 2024.09.17 05:25:00.656 2024.09.17 04:32:54.461 2024.09.17 04:32:54.874
51 4.0.6.3149 2024.09.04 32ce9 P P 614 413 2024.09.08 03:25:45.927 2024.09.08 03:25:46.541 2024.09.08 02:32:46.510 2024.09.08 02:32:46.923
52 4.0.6.3148 2024.09.02 4be5c P P 608 412 2024.09.04 05:28:18.567 2024.09.04 05:28:19.175 2024.09.04 04:34:48.065 2024.09.04 04:34:48.477
53 4.0.6.3147 2024.08.30 5ffd7 P P 597 422 2024.09.02 05:17:54.957 2024.09.02 05:17:55.554 2024.09.02 04:24:47.886 2024.09.02 04:24:48.308
54 4.0.6.3146 2024.08.27 38582 P P 597 444 2024.08.30 05:12:46.018 2024.08.30 05:12:46.615 2024.08.30 04:19:50.485 2024.08.30 04:19:50.929
55 4.0.6.3145 2024.08.21 87240 P P 604 393 2024.08.27 05:07:57.977 2024.08.27 05:07:58.581 2024.08.27 04:15:01.824 2024.08.27 04:15:02.217
56 4.0.6.3144 2024.08.20 5a3b7 P P 716 392 2024.08.21 05:05:06.550 2024.08.21 05:05:07.266 2024.08.21 04:12:53.856 2024.08.21 04:12:54.248
57 4.0.6.3142 2024.08.11 b9f39 P P 710 444 2024.08.19 05:14:01.997 2024.08.19 05:14:02.707 2024.08.19 04:20:09.260 2024.08.19 04:20:09.704
58 4.0.6.3141 2024.08.09 6d39f P P 751 721 2024.08.11 03:08:05.268 2024.08.11 03:08:06.019 2024.08.11 02:14:15.486 2024.08.11 02:14:16.207
59 4.0.5.3140 2024.08.06 64f3a P P 683 435 2024.08.10 20:51:26.951 2024.08.10 20:51:27.634 2024.08.10 19:57:45.291 2024.08.10 19:57:45.726
60 4.0.5.3139 2024.08.01 3bc8b P P 499 320 2024.08.06 03:03:02.774 2024.08.06 03:03:03.273 2024.08.06 02:13:07.666 2024.08.06 02:13:07.986
61 4.0.5.3136 2024.07.31 e41ec P P 487 317 2024.08.01 11:35:33.472 2024.08.01 11:35:33.959 2024.08.01 10:47:20.028 2024.08.01 10:47:20.345
62 4.0.5.3135 2024.07.26 b4981 P P 563 315 2024.07.30 04:44:43.335 2024.07.30 04:44:43.898 2024.07.30 03:56:30.448 2024.07.30 03:56:30.763
63 4.0.5.3129 2024.07.24 b8184 P P 549 310 2024.07.25 04:44:26.287 2024.07.25 04:44:26.836 2024.07.25 03:56:08.699 2024.07.25 03:56:09.009
64 4.0.5.3128 2024.07.13 aa318 P P 590 324 2024.07.24 05:11:13.274 2024.07.24 05:11:13.864 2024.07.24 04:22:56.350 2024.07.24 04:22:56.674
65 4.0.5.3127 2024.07.10 eace3 P P 468 297 2024.07.13 04:40:50.150 2024.07.13 04:40:50.618 2024.07.13 03:52:21.358 2024.07.13 03:52:21.655
66 4.0.5.3123 2024.07.09 070ee P P 539 300 2024.07.10 04:54:00.356 2024.07.10 04:54:00.895 2024.07.10 04:04:21.957 2024.07.10 04:04:22.257
67 4.0.5.3123 2024.06.24 c27c6 P P 476 309 2024.07.09 04:53:19.351 2024.07.09 04:53:19.827 2024.07.09 04:02:50.230 2024.07.09 04:02:50.539
68 4.0.5.3112 2024.06.13 d2e61 P P 506 310 2024.06.21 21:30:00.934 2024.06.21 21:30:01.440 2024.06.21 20:36:42.910 2024.06.21 20:36:43.220
69 4.0.5.3109 2024.06.12 de9c0 P P 422 235 2024.06.13 02:24:14.786 2024.06.13 02:24:15.208 2024.06.13 01:41:32.984 2024.06.13 01:41:33.219
70 4.0.5.3109 2024.06.09 569cf P P 422 235 2024.06.11 02:24:28.020 2024.06.11 02:24:28.442 2024.06.11 01:41:45.456 2024.06.11 01:41:45.691
71 4.0.5.3103 2024.05.24 61480 P P 422 235 2024.05.25 02:21:46.993 2024.05.25 02:21:47.415 2024.05.25 01:39:11.797 2024.05.25 01:39:12.032
72 4.0.5.3100 2024.05.15 2dc0d P P 438 234 2024.05.24 02:23:34.569 2024.05.24 02:23:35.007 2024.05.24 01:40:38.167 2024.05.24 01:40:38.401
73 4.0.5.3098 2024.05.09 4c3ec P P 422 235 2024.05.15 02:20:22.292 2024.05.15 02:20:22.714 2024.05.15 01:38:00.002 2024.05.15 01:38:00.237
74 4.0.5.3097 2024.05.08 ec699 P P 422 235 2024.05.09 14:08:12.436 2024.05.09 14:08:12.858 2024.05.09 13:25:53.949 2024.05.09 13:25:54.184
75 4.0.5.3092 2024.05.06 bbc47 P P 422 235 2024.05.08 02:21:02.569 2024.05.08 02:21:02.991 2024.05.08 01:38:37.750 2024.05.08 01:38:37.985
76 4.0.5.3091 2024.04.29 062a7 P P 422 235 2024.04.30 02:18:58.232 2024.04.30 02:18:58.654 2024.04.30 01:37:02.013 2024.04.30 01:37:02.248
77 4.0.5.3089 2024.04.19 08c92 P P 422 235 2024.04.29 02:19:11.082 2024.04.29 02:19:11.504 2024.04.29 01:36:59.989 2024.04.29 01:37:00.224
78 4.0.5.3088 2024.04.17 c4484 P P 422 234 2024.04.19 02:19:06.454 2024.04.19 02:19:06.876 2024.04.19 01:36:47.664 2024.04.19 01:36:47.898
79 4.0.5.3086 2024.04.16 434ab P P 422 234 2024.04.17 02:16:33.109 2024.04.17 02:16:33.531 2024.04.17 01:34:41.726 2024.04.17 01:34:41.960
80 4.0.5.3083 2024.03.31 6ee48 P P 422 235 2024.04.13 02:12:00.362 2024.04.13 02:12:00.784 2024.04.13 01:30:26.292 2024.04.13 01:30:26.527
81 4.0.5.3082 2024.03.31 c768b P P 390 218 2024.04.04 13:51:18.709 2024.04.04 13:51:19.099 2024.04.04 13:10:48.566 2024.04.04 13:10:48.784
82 4.0.5.3082 2024.03.25 af9dc P P 436 217 2024.03.29 01:30:00.576 2024.03.29 01:30:01.012 2024.03.29 00:49:19.345 2024.03.29 00:49:19.562
83 4.0.5.3081 2024.03.22 17cd2 P P 437 218 2024.03.24 03:03:26.698 2024.03.24 03:03:27.135 2024.03.24 02:21:47.897 2024.03.24 02:21:48.115
84 4.0.5.3080 2024.03.22 5d44e P P 390 218 2024.03.22 15:50:23.429 2024.03.22 15:50:23.819 2024.03.22 15:09:35.465 2024.03.22 15:09:35.683
85 4.0.5.3080 2024.03.17 17edd P P 390 218 2024.03.20 19:17:33.795 2024.03.20 19:17:34.185 2024.03.20 18:36:49.247 2024.03.20 18:36:49.465

Elapsed time, ms. Chart for last 85 runs:

Last commits information (all timestamps in UTC):