bugs.gh_7853_test. Do not consider non-deterministic expressions as invariants in pre-filters

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 5.0.3.1657 2025.06.26 dcb8a P P 981 473 2025.06.27 11:05:46.774 2025.06.27 11:05:47.755 2025.06.27 10:05:27.209 2025.06.27 10:05:27.682
2 5.0.3.1657 2025.06.20 8b4d2 P P 962 474 2025.06.26 11:20:14.359 2025.06.26 11:20:15.321 2025.06.26 10:19:44.543 2025.06.26 10:19:45.017
3 5.0.3.1657 2025.06.19 4bd4c P P 1011 474 2025.06.20 05:24:23.552 2025.06.20 05:24:24.563 2025.06.20 04:24:02.043 2025.06.20 04:24:02.517
4 5.0.3.1657 2025.06.11 dae6f P P 1002 466 2025.06.19 10:55:56.351 2025.06.19 10:55:57.353 2025.06.19 09:55:26.537 2025.06.19 09:55:27.003
5 5.0.3.1657 2025.06.10 dbc92 P P 980 464 2025.06.11 08:42:06.189 2025.06.11 08:42:07.169 2025.06.11 07:41:23.005 2025.06.11 07:41:23.469
6 5.0.3.1656 2025.06.05 00512 P P 968 459 2025.06.10 09:57:34.747 2025.06.10 09:57:35.715 2025.06.10 08:56:28.499 2025.06.10 08:56:28.958
7 5.0.3.1656 2025.05.20 c4b11 P P 964 471 2025.06.03 09:44:29.558 2025.06.03 09:44:30.522 2025.06.03 08:44:32.447 2025.06.03 08:44:32.918
8 5.0.3.1652 2025.05.13 f51c6 P P 975 475 2025.05.21 06:25:29.649 2025.05.21 06:25:30.624 2025.05.21 05:25:49.119 2025.05.21 05:25:49.594
9 5.0.3.1651 2025.05.08 ee9d2 P P 1017 481 2025.05.13 06:38:07.482 2025.05.13 06:38:08.499 2025.05.13 05:19:54.874 2025.05.13 05:19:55.355
10 5.0.3.1651 2025.05.04 3d914 P P 1003 464 2025.05.09 04:27:11.338 2025.05.09 04:27:12.341 2025.05.09 03:08:53.179 2025.05.09 03:08:53.643
11 5.0.3.1651 2025.04.30 141ef P P 964 466 2025.05.02 04:34:49.440 2025.05.02 04:34:50.404 2025.05.02 03:16:45.383 2025.05.02 03:16:45.849
12 5.0.3.1650 2025.04.30 6253f P P 1001 504 2025.05.01 04:33:51.293 2025.05.01 04:33:52.294 2025.05.01 03:15:41.037 2025.05.01 03:15:41.541
13 5.0.3.1650 2025.04.28 4cbff P P 1027 470 2025.04.30 04:32:52.931 2025.04.30 04:32:53.958 2025.04.30 03:14:56.962 2025.04.30 03:14:57.432
14 5.0.3.1649 2025.04.21 5b2d0 P P 987 478 2025.04.26 10:06:46.684 2025.04.26 10:06:47.671 2025.04.26 08:47:54.911 2025.04.26 08:47:55.389
15 5.0.3.1648 2025.04.18 2f4c5 P P 982 476 2025.04.20 04:18:00.883 2025.04.20 04:18:01.865 2025.04.20 03:17:18.511 2025.04.20 03:17:18.987
16 5.0.3.1635 2025.04.03 f6bd1 P P 970 474 2025.04.18 06:45:42.093 2025.04.18 06:45:43.063 2025.04.18 05:26:36.496 2025.04.18 05:26:36.970
17 5.0.3.1635 2025.03.31 22ec6 P P 979 468 2025.04.03 09:51:36.781 2025.04.03 09:51:37.760 2025.04.03 08:32:08.550 2025.04.03 08:32:09.018
18 5.0.3.1633 2025.03.28 3123a P P 1017 493 2025.03.31 09:50:05.975 2025.03.31 09:50:06.992 2025.03.31 08:30:41.741 2025.03.31 08:30:42.234
19 5.0.3.1633 2025.03.27 e0fb8 P P 989 503 2025.03.28 10:21:36.351 2025.03.28 10:21:37.340 2025.03.28 08:58:24.657 2025.03.28 08:58:25.160
20 5.0.3.1631 2025.03.25 bda65 P P 1053 513 2025.03.27 10:02:06.794 2025.03.27 10:02:07.847 2025.03.27 08:57:37.713 2025.03.27 08:57:38.226
21 5.0.3.1631 2025.03.21 1925b P P 1015 492 2025.03.25 06:36:08.981 2025.03.25 06:36:09.996 2025.03.25 05:31:35.902 2025.03.25 05:31:36.394
22 5.0.3.1629 2025.03.18 506d7 P P 1013 490 2025.03.20 09:36:32.121 2025.03.20 09:36:33.134 2025.03.20 08:31:45.541 2025.03.20 08:31:46.031
23 5.0.3.1628 2025.03.14 16d05 P P 1105 473 2025.03.18 09:30:41.015 2025.03.18 09:30:42.120 2025.03.18 08:27:28.452 2025.03.18 08:27:28.925
24 5.0.3.1627 2025.02.26 4e218 P P 1048 464 2025.03.13 09:49:53.330 2025.03.13 09:49:54.378 2025.03.13 08:44:58.323 2025.03.13 08:44:58.787
25 5.0.3.1624 2025.02.25 dc3b2 P P 1046 522 2025.02.26 15:22:06.719 2025.02.26 15:22:07.765 2025.02.26 14:17:54.449 2025.02.26 14:17:54.971
26 5.0.2.1615 2025.02.20 4a726 P P 974 465 2025.02.25 08:36:48.810 2025.02.25 08:36:49.784 2025.02.25 07:15:41.984 2025.02.25 07:15:42.449
27 5.0.2.1615 2025.02.14 9cb76 P P 985 491 2025.02.15 04:04:27.542 2025.02.15 04:04:28.527 2025.02.15 03:01:57.911 2025.02.15 03:01:58.402
28 5.0.2.1577 2025.02.07 f50a2 P P 985 470 2025.02.14 06:17:07.990 2025.02.14 06:17:08.975 2025.02.14 05:15:49.670 2025.02.14 05:15:50.140
29 5.0.2.1577 2024.12.24 3c80e P P 988 498 2025.02.06 09:30:38.843 2025.02.06 09:30:39.831 2025.02.06 08:29:23.213 2025.02.06 08:29:23.711
30 5.0.2.1576 2024.12.17 646b0 P P 1109 485 2024.12.24 09:13:47.375 2024.12.24 09:13:48.484 2024.12.24 08:12:46.551 2024.12.24 08:12:47.036
31 5.0.2.1575 2024.12.09 9af52 P P 988 495 2024.12.16 09:10:35.953 2024.12.16 09:10:36.941 2024.12.16 08:09:39.035 2024.12.16 08:09:39.530
32 5.0.2.1575 2024.12.08 63d39 P P 921 405 2024.12.09 15:00:48.479 2024.12.09 15:00:49.400 2024.12.09 14:04:49.846 2024.12.09 14:04:50.251
33 5.0.2.1571 2024.12.08 8d11a P P 926 403 2024.12.09 06:14:22.106 2024.12.09 06:14:23.032 2024.12.09 05:16:24.589 2024.12.09 05:16:24.992
34 5.0.2.1567 2024.12.07 b01a2 P P 927 438 2024.12.08 01:51:41.569 2024.12.08 01:51:42.496 2024.12.08 00:53:08.968 2024.12.08 00:53:09.406
35 5.0.2.1567 2024.12.02 6ae74 P P 904 423 2024.12.04 08:56:21.644 2024.12.04 08:56:22.548 2024.12.04 08:00:18.878 2024.12.04 08:00:19.301
36 5.0.2.1567 2024.11.26 56e63 P P 989 483 2024.11.30 09:01:35.522 2024.11.30 09:01:36.511 2024.11.30 08:01:12.848 2024.11.30 08:01:13.331
37 5.0.2.1567 2024.11.21 96f61 P P 979 483 2024.11.27 08:58:22.457 2024.11.27 08:58:23.436 2024.11.27 07:58:33.904 2024.11.27 07:58:34.387
38 5.0.2.1567 2024.11.18 e1289 P E 987 2425 2024.11.21 09:16:45.528 2024.11.21 09:16:46.515 2024.11.21 07:57:31.597 2024.11.21 07:57:34.022
39 5.0.2.1533 2024.10.23 0ec43 P P 982 478 2024.11.18 08:52:35.589 2024.11.18 08:52:36.571 2024.11.18 07:52:02.666 2024.11.18 07:52:03.144
40 5.0.2.1533 2024.10.22 8af7a P P 981 475 2024.10.23 08:59:53.480 2024.10.23 08:59:54.461 2024.10.23 07:59:58.219 2024.10.23 07:59:58.694
41 5.0.2.1532 2024.10.15 36dc0 P P 998 474 2024.10.22 15:02:00.552 2024.10.22 15:02:01.550 2024.10.22 14:02:06.218 2024.10.22 14:02:06.692
42 5.0.2.1518 2024.10.04 259ba P P 1024 489 2024.10.15 08:56:02.353 2024.10.15 08:56:03.377 2024.10.15 07:56:19.423 2024.10.15 07:56:19.912
43 5.0.2.1518 2024.09.26 703cd P P 988 474 2024.10.03 09:00:57.811 2024.10.03 09:00:58.799 2024.10.03 08:00:55.179 2024.10.03 08:00:55.653
44 5.0.2.1489 2024.08.31 994a6 P P 986 489 2024.09.26 09:19:54.623 2024.09.26 09:19:55.609 2024.09.26 08:00:53.846 2024.09.26 08:00:54.335
45 5.0.2.1476 2024.08.09 843ea P P 1043 520 2024.09.01 09:08:31.454 2024.09.01 09:08:32.497 2024.09.01 07:48:06.436 2024.09.01 07:48:06.956
46 5.0.1.1454 2024.08.08 30f9f P P 1099 535 2024.08.09 08:50:14.853 2024.08.09 08:50:15.952 2024.08.09 07:50:28.702 2024.08.09 07:50:29.237
47 5.0.1.1453 2024.08.07 ebbc3 P P 1048 522 2024.08.08 20:04:33.108 2024.08.08 20:04:34.156 2024.08.08 19:04:21.466 2024.08.08 19:04:21.988
48 5.0.1.1453 2024.08.06 1b9d0 P P 901 404 2024.08.07 08:19:52.397 2024.08.07 08:19:53.298 2024.08.07 07:24:44.543 2024.08.07 07:24:44.947
49 5.0.1.1453 2024.07.30 48044 P P 935 412 2024.08.03 08:17:56.631 2024.08.03 08:17:57.566 2024.08.03 07:22:39.439 2024.08.03 07:22:39.851
50 5.0.1.1453 2024.07.28 8d956 P P 852 391 2024.07.30 07:58:41.322 2024.07.30 07:58:42.174 2024.07.30 07:05:05.226 2024.07.30 07:05:05.617
51 5.0.1.1429 2024.07.19 8ee90 P P 862 397 2024.07.27 07:57:24.204 2024.07.27 07:57:25.066 2024.07.27 07:04:10.905 2024.07.27 07:04:11.302
52 5.0.1.1428 2024.07.15 00392 P P 940 414 2024.07.19 07:52:46.821 2024.07.19 07:52:47.761 2024.07.19 06:59:43.973 2024.07.19 06:59:44.387
53 5.0.1.1428 2024.06.30 67a31 P P 931 434 2024.07.15 08:04:17.218 2024.07.15 08:04:18.149 2024.07.15 07:10:00.245 2024.07.15 07:10:00.679
54 5.0.1.1415 2024.06.12 f8731 P P 937 391 2024.06.22 05:02:58.153 2024.06.22 05:02:59.090 2024.06.22 04:10:20.161 2024.06.22 04:10:20.552
55 5.0.1.1415 2024.06.11 31d74 P P 890 328 2024.06.11 23:33:32.843 2024.06.11 23:33:33.733 2024.06.11 22:44:21.588 2024.06.11 22:44:21.916
56 5.0.1.1401 2024.06.05 f9b76 P P 859 297 2024.06.11 04:24:27.821 2024.06.11 04:24:28.680 2024.06.11 03:34:57.953 2024.06.11 03:34:58.250
57 5.0.1.1398 2024.05.10 5e3ce P P 859 297 2024.05.25 05:19:26.026 2024.05.25 05:19:26.885 2024.05.25 04:30:15.802 2024.05.25 04:30:16.099
58 5.0.1.1397 2024.05.09 ee2ef P P 844 297 2024.05.10 05:15:24.030 2024.05.10 05:15:24.874 2024.05.10 04:26:47.894 2024.05.10 04:26:48.191
59 5.0.1.1392 2024.04.29 7dbc2 P P 828 297 2024.05.09 17:05:06.057 2024.05.09 17:05:06.885 2024.05.09 16:16:16.601 2024.05.09 16:16:16.898
60 5.0.1.1386 2024.04.25 c0328 P P 860 297 2024.04.29 05:14:24.155 2024.04.29 05:14:25.015 2024.04.29 04:25:48.857 2024.04.29 04:25:49.154
61 5.0.1.1386 2024.04.20 80571 P P 856 297 2024.04.25 05:17:00.006 2024.04.25 05:17:00.862 2024.04.25 04:27:37.395 2024.04.25 04:27:37.692
62 5.0.1.1378 2024.04.07 5292b P P 844 297 2024.04.20 05:36:37.910 2024.04.20 05:36:38.754 2024.04.20 04:26:13.568 2024.04.20 04:26:13.865
63 5.0.1.1346 2024.03.16 fe320 P P 750 297 2024.04.07 03:36:17.524 2024.04.07 03:36:18.274 2024.04.07 02:51:36.599 2024.04.07 02:51:36.896
64 5.0.1.1346 2024.03.02 da408 P P 749 296 2024.03.25 22:23:55.291 2024.03.25 22:23:56.040 2024.03.25 21:39:20.640 2024.03.25 21:39:20.936
65 5.0.1.1340 2024.02.17 08a71 P P 749 295 2024.03.25 23:53:37.612 2024.03.25 23:53:38.361 2024.03.25 23:09:08.119 2024.03.25 23:09:08.414
66 5.0.1.1325 2024.02.06 c98fb P P 749 296 2024.03.26 02:25:03.564 2024.03.26 02:25:04.313 2024.03.26 01:19:24.266 2024.03.26 01:19:24.562
67 5.0.1.1325 2024.02.02 1d438 P P 764 296 2024.03.26 07:42:21.062 2024.03.26 07:42:21.826 2024.03.26 06:35:50.470 2024.03.26 06:35:50.766
68 5.0.1.1325 2024.01.26 cffb6 P P 749 296 2024.03.26 10:08:16.222 2024.03.26 10:08:16.971 2024.03.26 09:02:35.427 2024.03.26 09:02:35.723
69 5.0.1.1325 2024.01.26 d3810 P P 749 280 2024.03.26 11:59:55.097 2024.03.26 11:59:55.846 2024.03.26 10:54:22.921 2024.03.26 10:54:23.201
70 5.0.1.1318 2024.01.21 a7ca3 P P 749 296 2024.03.26 13:28:58.733 2024.03.26 13:28:59.482 2024.03.26 12:44:30.238 2024.03.26 12:44:30.534
71 5.0.1.1318 2024.01.21 d429d P P 749 281 2024.03.26 15:10:35.883 2024.03.26 15:10:36.632 2024.03.26 14:26:10.110 2024.03.26 14:26:10.391
72 5.0.1.1318 2024.01.21 f1ab5 P P 749 296 2024.03.26 17:26:36.103 2024.03.26 17:26:36.852 2024.03.26 16:42:08.962 2024.03.26 16:42:09.258
73 5.0.1.1318 2024.01.20 46722 P P 749 296 2024.03.26 18:53:32.854 2024.03.26 18:53:33.603 2024.03.26 18:09:12.478 2024.03.26 18:09:12.774

Elapsed time, ms. Chart for last 73 runs:

Last commits information (all timestamps in UTC):