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 3.0.13.33814 2025.06.21 85255 P P 496 312 2025.07.03 09:02:20.004 2025.07.03 09:02:20.500 2025.07.03 08:31:14.894 2025.07.03 08:31:15.206
2 3.0.13.33813 2025.06.14 222a9 P P 500 328 2025.06.21 08:50:41.118 2025.06.21 08:50:41.618 2025.06.21 08:19:09.016 2025.06.21 08:19:09.344
3 3.0.13.33811 2025.05.07 16491 P P 544 326 2025.06.14 09:21:18.480 2025.06.14 09:21:19.024 2025.06.14 08:48:07.547 2025.06.14 08:48:07.873
4 3.0.13.33810 2025.05.06 02b1d P P 517 308 2025.05.07 07:34:15.234 2025.05.07 07:34:15.751 2025.05.07 07:03:30.010 2025.05.07 07:03:30.318
5 3.0.13.33809 2025.05.05 4ec6d P P 501 316 2025.05.06 07:34:07.894 2025.05.06 07:34:08.395 2025.05.06 07:03:21.390 2025.05.06 07:03:21.706
6 3.0.13.33808 2025.04.18 bf513 P P 494 313 2025.04.29 12:56:36.957 2025.04.29 12:56:37.451 2025.04.29 12:25:41.034 2025.04.29 12:25:41.347
7 3.0.13.33807 2025.04.14 73e94 P P 488 304 2025.04.17 07:36:23.848 2025.04.17 07:36:24.336 2025.04.17 07:05:50.605 2025.04.17 07:05:50.909
8 3.0.13.33806 2025.03.26 b6cfe P P 502 320 2025.04.10 07:36:44.195 2025.04.10 07:36:44.697 2025.04.10 07:04:04.262 2025.04.10 07:04:04.582
9 3.0.13.33805 2025.03.17 98320 P P 577 340 2025.03.24 07:41:08.899 2025.03.24 07:41:09.476 2025.03.24 07:08:58.617 2025.03.24 07:08:58.957
10 3.0.13.33804 2025.02.25 1439d P P 524 331 2025.03.13 07:37:44.788 2025.03.13 07:37:45.312 2025.03.13 07:04:09.241 2025.03.13 07:04:09.572
11 3.0.13.33803 2025.01.29 f1848 P P 505 314 2025.02.24 07:19:58.718 2025.02.24 07:19:59.223 2025.02.24 06:49:07.651 2025.02.24 06:49:07.965
12 3.0.13.33802 2025.01.28 650bd P P 509 314 2025.01.29 00:57:00.066 2025.01.29 00:57:00.575 2025.01.29 00:25:58.193 2025.01.29 00:25:58.507
13 3.0.13.33800 2025.01.20 f20ab P P 491 314 2025.01.25 12:56:27.193 2025.01.25 12:56:27.684 2025.01.25 12:25:34.345 2025.01.25 12:25:34.659
14 3.0.13.33798 2025.01.16 0c3bb P P 489 301 2025.01.20 07:08:25.968 2025.01.20 07:08:26.457 2025.01.20 06:37:51.313 2025.01.20 06:37:51.614
15 3.0.13.33795 2024.12.23 1bf0b P P 501 310 2025.01.16 07:12:14.238 2025.01.16 07:12:14.739 2025.01.16 06:41:24.798 2025.01.16 06:41:25.108
16 3.0.13.33794 2024.10.23 e2a6b P P 549 323 2024.12.22 00:57:34.997 2024.12.22 00:57:35.546 2024.12.22 00:26:10.030 2024.12.22 00:26:10.353
17 3.0.13.33793 2024.09.02 3e627 P P 504 763 2024.10.23 06:57:38.656 2024.10.23 06:57:39.160 2024.10.23 06:26:34.642 2024.10.23 06:26:35.405
18 3.0.13.33792 2024.08.30 d9f38 P P 504 314 2024.09.02 06:50:50.603 2024.09.02 06:50:51.107 2024.09.02 06:16:47.353 2024.09.02 06:16:47.667
19 3.0.13.33791 2024.08.21 c8a36 P P 502 311 2024.08.30 06:44:37.941 2024.08.30 06:44:38.443 2024.08.30 06:11:43.594 2024.08.30 06:11:43.905
20 3.0.13.33790 2024.08.20 3bf52 P P 549 344 2024.08.21 06:36:55.372 2024.08.21 06:36:55.921 2024.08.21 06:04:12.383 2024.08.21 06:04:12.727
21 3.0.13.33789 2024.08.09 7933a P P 579 379 2024.08.19 06:48:28.699 2024.08.19 06:48:29.278 2024.08.19 06:14:53.220 2024.08.19 06:14:53.599
22 3.0.12.33787 2024.08.06 bf180 P P 625 407 2024.08.10 06:52:39.191 2024.08.10 06:52:39.816 2024.08.10 06:18:44.461 2024.08.10 06:18:44.868
23 3.0.12.33784 2024.08.01 cd857 P P 425 248 2024.08.06 04:30:56.226 2024.08.06 04:30:56.651 2024.08.06 03:59:20.634 2024.08.06 03:59:20.882
24 3.0.12.33779 2024.07.31 ae35d P P 429 251 2024.08.01 12:58:54.188 2024.08.01 12:58:54.617 2024.08.01 12:29:27.104 2024.08.01 12:29:27.355
25 3.0.12.33778 2024.07.21 4680d P P 404 272 2024.07.30 06:08:12.895 2024.07.30 06:08:13.299 2024.07.30 05:38:39.942 2024.07.30 05:38:40.214
26 3.0.12.33777 2024.07.19 8e912 P P 415 298 2024.07.21 06:03:48.559 2024.07.21 06:03:48.974 2024.07.21 05:34:30.541 2024.07.21 05:34:30.839
27 3.0.12.33766 2024.07.13 b5086 P P 411 253 2024.07.19 06:02:54.777 2024.07.19 06:02:55.188 2024.07.19 05:33:42.493 2024.07.19 05:33:42.746
28 3.0.12.33765 2024.07.10 06f2a P P 406 235 2024.07.13 06:02:00.273 2024.07.13 06:02:00.679 2024.07.13 05:33:36.539 2024.07.13 05:33:36.774
29 3.0.12.33764 2024.06.18 4d0c0 P P 416 251 2024.07.10 06:17:39.721 2024.07.10 06:17:40.137 2024.07.10 05:48:41.731 2024.07.10 05:48:41.982
30 3.0.12.33761 2024.06.17 b259d P P 450 248 2024.06.18 06:14:59.258 2024.06.18 06:14:59.708 2024.06.18 05:45:19.401 2024.06.18 05:45:19.649
31 3.0.12.33758 2024.06.14 4f9bc P P 445 253 2024.06.17 06:13:26.351 2024.06.17 06:13:26.796 2024.06.17 05:44:05.086 2024.06.17 05:44:05.339
32 3.0.12.33746 2024.05.29 21bb4 P P 422 188 2024.06.10 03:38:18.263 2024.06.10 03:38:18.685 2024.06.10 03:11:42.168 2024.06.10 03:11:42.356
33 3.0.12.33744 2024.04.19 ecf36 P P 422 187 2024.05.25 03:37:41.548 2024.05.25 03:37:41.970 2024.05.25 03:11:08.155 2024.05.25 03:11:08.342
34 3.0.12.33743 2024.04.16 ed298 P P 406 187 2024.04.19 03:34:15.105 2024.04.19 03:34:15.511 2024.04.19 03:07:56.668 2024.04.19 03:07:56.855
35 3.0.12.33740 2024.03.19 da67d P P 391 188 2024.04.13 03:26:17.263 2024.04.13 03:26:17.654 2024.04.13 03:00:08.312 2024.04.13 03:00:08.500
36 3.0.12.33736 2024.03.19 22b3b P P 343 296 2024.03.19 20:41:49.563 2024.03.19 20:41:49.906 2024.03.19 20:14:42.561 2024.03.19 20:14:42.857
37 3.0.12.33736 2024.03.19 7a9a3 P P 343 187 2024.03.19 21:36:58.333 2024.03.19 21:36:58.676 2024.03.19 21:12:05.764 2024.03.19 21:12:05.951
38 3.0.12.33735 2024.03.15 342f0 P P 359 187 2024.04.04 15:45:05.870 2024.04.04 15:45:06.229 2024.04.04 15:19:30.710 2024.04.04 15:19:30.897
39 3.0.12.33735 2024.03.08 ef0b7 P P 344 188 2024.04.05 10:56:44.655 2024.04.05 10:56:44.999 2024.04.05 10:31:16.313 2024.04.05 10:31:16.501
40 3.0.12.33734 2024.03.05 25001 P P 344 187 2024.04.04 20:45:19.632 2024.04.04 20:45:19.976 2024.04.04 20:19:48.928 2024.04.04 20:19:49.115
41 3.0.12.33733 2024.03.05 0550b P P 344 187 2024.04.05 17:16:07.524 2024.04.05 17:16:07.868 2024.04.05 16:50:49.675 2024.04.05 16:50:49.862
42 3.0.12.33733 2024.02.29 5e6ae P P 344 188 2024.04.05 12:50:27.235 2024.04.05 12:50:27.579 2024.04.05 12:25:05.080 2024.04.05 12:25:05.268
43 3.0.12.33731 2024.02.14 44e13 P P 344 188 2024.04.05 18:17:55.615 2024.04.05 18:17:55.959 2024.04.05 17:52:48.315 2024.04.05 17:52:48.503
44 3.0.12.33730 2024.02.14 e8106 P P 344 187 2024.04.04 18:45:59.906 2024.04.04 18:46:00.250 2024.04.04 18:20:29.262 2024.04.04 18:20:29.449
45 3.0.12.33730 2024.02.06 167da P P 328 188 2024.04.05 20:15:21.595 2024.04.05 20:15:21.923 2024.04.05 19:50:03.978 2024.04.05 19:50:04.166
46 3.0.12.33729 2024.02.06 7a8b2 P P 344 187 2024.04.05 11:52:36.939 2024.04.05 11:52:37.283 2024.04.05 11:27:16.199 2024.04.05 11:27:16.386
47 3.0.12.33728 2024.01.30 5fe6d P P 344 188 2024.04.04 19:42:50.322 2024.04.04 19:42:50.666 2024.04.04 19:17:31.247 2024.04.04 19:17:31.435
48 3.0.12.33728 2024.01.25 85dc8 P P 344 188 2024.04.05 14:33:04.947 2024.04.05 14:33:05.291 2024.04.05 14:07:41.283 2024.04.05 14:07:41.471
49 3.0.12.33727 2024.01.25 0f3dc P P 344 187 2024.04.05 09:40:26.204 2024.04.05 09:40:26.548 2024.04.05 09:14:58.166 2024.04.05 09:14:58.353
50 3.0.12.33726 2024.01.15 406ce P P 344 188 2024.04.04 16:42:13.908 2024.04.04 16:42:14.252 2024.04.04 16:16:54.771 2024.04.04 16:16:54.959

Elapsed time, ms. Chart for last 50 runs:

Last commits information (all timestamps in UTC):