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 6.0.0.884 2025.06.30 f7e5f F F 1076 550 2025.07.01 02:12:00.003 2025.07.01 02:12:01.079 2025.06.30 23:30:13.426 2025.06.30 23:30:13.976
2 6.0.0.881 2025.06.27 7035d F F 1205 813 2025.06.30 02:02:09.041 2025.06.30 02:02:10.246 2025.06.29 23:17:18.534 2025.06.29 23:17:19.347
3 6.0.0.877 2025.06.26 8e38f F F 1048 570 2025.06.27 01:41:17.214 2025.06.27 01:41:18.262 2025.06.26 23:08:22.023 2025.06.26 23:08:22.593
4 6.0.0.876 2025.06.25 b1bec F F 1156 816 2025.06.26 01:45:06.277 2025.06.26 01:45:07.433 2025.06.25 23:10:16.390 2025.06.25 23:10:17.206
5 6.0.0.863 2025.06.24 c3c20 F F 1189 585 2025.06.25 01:45:24.935 2025.06.25 01:45:26.124 2025.06.24 23:10:00.831 2025.06.24 23:10:01.416
6 6.0.0.858 2025.06.23 8d6f7 F F 1113 812 2025.06.24 01:45:46.259 2025.06.24 01:45:47.372 2025.06.23 23:10:09.862 2025.06.23 23:10:10.674
7 6.0.0.849 2025.06.20 7b79c F F 1050 841 2025.06.21 01:57:18.836 2025.06.21 01:57:19.886 2025.06.20 23:19:16.378 2025.06.20 23:19:17.219
8 6.0.0.848 2025.06.19 c483c F F 1056 856 2025.06.20 01:53:38.979 2025.06.20 01:53:40.035 2025.06.19 23:16:05.423 2025.06.19 23:16:06.279
9 6.0.0.845 2025.06.18 22b12 F F 1084 580 2025.06.19 02:02:18.016 2025.06.19 02:02:19.100 2025.06.18 23:19:10.666 2025.06.18 23:19:11.246
10 6.0.0.843 2025.06.16 995f4 F F 1199 622 2025.06.18 02:00:32.191 2025.06.18 02:00:33.390 2025.06.17 23:21:45.106 2025.06.17 23:21:45.728
11 6.0.0.840 2025.06.14 29bca F F 1114 821 2025.06.16 01:52:21.066 2025.06.16 01:52:22.180 2025.06.15 23:13:30.864 2025.06.15 23:13:31.685
12 6.0.0.838 2025.06.13 0e28a F F 1073 856 2025.06.14 02:05:22.583 2025.06.14 02:05:23.656 2025.06.13 23:21:08.043 2025.06.13 23:21:08.899
13 6.0.0.835 2025.06.12 2cf29 F F 1081 472 2025.06.13 02:05:23.119 2025.06.13 02:05:24.200 2025.06.12 23:25:39.515 2025.06.12 23:25:39.987
14 6.0.0.834 2025.06.11 e889f F F 1093 813 2025.06.12 02:00:33.285 2025.06.12 02:00:34.378 2025.06.11 23:21:34.714 2025.06.11 23:21:35.527
15 6.0.0.800 2025.06.10 1f226 P P 1074 832 2025.06.11 00:27:22.024 2025.06.11 00:27:23.098 2025.06.10 22:20:18.499 2025.06.10 22:20:19.331
16 6.0.0.799 2025.06.07 be644 P P 1825 791 2025.06.10 00:29:30.193 2025.06.10 00:29:32.018 2025.06.09 22:19:53.900 2025.06.09 22:19:54.691
17 6.0.0.797 2025.06.06 303e8 P P 1937 798 2025.06.07 00:32:50.251 2025.06.07 00:32:52.188 2025.06.06 22:19:20.361 2025.06.06 22:19:21.159
18 6.0.0.795 2025.05.29 7a71a P P 1749 442 2025.06.06 00:27:59.618 2025.06.06 00:28:01.367 2025.06.05 22:18:36.147 2025.06.05 22:18:36.589
19 6.0.0.792 2025.05.28 b4327 P P 1785 709 2025.05.29 00:41:18.870 2025.05.29 00:41:20.655 2025.05.28 22:21:16.486 2025.05.28 22:21:17.195
20 6.0.0.791 2025.05.27 02db8 P P 1069 471 2025.05.28 00:39:08.786 2025.05.28 00:39:09.855 2025.05.27 22:20:32.331 2025.05.27 22:20:32.802
21 6.0.0.789 2025.05.21 64051 P P 1069 766 2025.05.25 00:31:42.638 2025.05.25 00:31:43.707 2025.05.24 22:19:44.064 2025.05.24 22:19:44.830
22 6.0.0.787 2025.05.20 230ad P P 1050 610 2025.05.21 00:29:02.571 2025.05.21 00:29:03.621 2025.05.20 22:18:16.384 2025.05.20 22:18:16.994
23 6.0.0.783 2025.05.12 37320 P P 1249 657 2025.05.19 12:02:19.243 2025.05.19 12:02:20.492 2025.05.19 10:07:12.695 2025.05.19 10:07:13.352
24 6.0.0.779 2025.05.11 136fa P P 1027 823 2025.05.12 00:24:11.670 2025.05.12 00:24:12.697 2025.05.11 22:18:08.623 2025.05.11 22:18:09.446
25 6.0.0.778 2025.05.07 d735e P P 1061 457 2025.05.08 00:26:39.511 2025.05.08 00:26:40.572 2025.05.07 22:17:08.129 2025.05.07 22:17:08.586
26 6.0.0.776 2025.05.06 007cd P P 1897 826 2025.05.07 00:20:26.762 2025.05.07 00:20:28.659 2025.05.06 22:16:59.732 2025.05.06 22:17:00.558
27 6.0.0.770 2025.05.05 82c4a P P 1853 888 2025.05.06 00:19:39.169 2025.05.06 00:19:41.022 2025.05.05 22:16:10.416 2025.05.05 22:16:11.304
28 6.0.0.767 2025.05.01 cdd29 P P 1134 870 2025.05.02 00:17:29.340 2025.05.02 00:17:30.474 2025.05.01 22:15:45.490 2025.05.01 22:15:46.360
29 6.0.0.762 2025.04.30 5cb15 P P 2016 902 2025.05.01 00:13:28.014 2025.05.01 00:13:30.030 2025.04.30 22:14:29.238 2025.04.30 22:14:30.140
30 6.0.0.755 2025.04.29 739c6 P P 1664 718 2025.04.30 00:16:12.134 2025.04.30 00:16:13.798 2025.04.29 22:15:45.740 2025.04.29 22:15:46.458
31 6.0.0.753 2025.04.27 29ab3 P P 1988 862 2025.04.28 00:17:52.459 2025.04.28 00:17:54.447 2025.04.27 22:15:06.057 2025.04.27 22:15:06.919
32 6.0.0.745 2025.04.21 78ad8 P P 1109 453 2025.04.26 00:14:19.538 2025.04.26 00:14:20.647 2025.04.25 22:16:37.178 2025.04.25 22:16:37.631
33 6.0.0.744 2025.04.19 e883a P P 1821 651 2025.04.20 00:16:22.501 2025.04.20 00:16:24.322 2025.04.19 22:16:00.877 2025.04.19 22:16:01.528
34 6.0.0.742 2025.04.17 abc3b P P 972 488 2025.04.19 00:18:13.549 2025.04.19 00:18:14.521 2025.04.18 22:16:19.752 2025.04.18 22:16:20.240
35 6.0.0.737 2025.04.16 fe52b P P 1644 462 2025.04.17 00:14:54.582 2025.04.17 00:14:56.226 2025.04.16 22:16:20.965 2025.04.16 22:16:21.427
36 6.0.0.736 2025.04.14 3e6be P P 1609 562 2025.04.14 23:56:00.786 2025.04.14 23:56:02.395 2025.04.14 22:07:53.520 2025.04.14 22:07:54.082
37 6.0.0.735 2025.04.13 6635c P P 1060 546 2025.04.13 23:59:38.283 2025.04.13 23:59:39.343 2025.04.13 22:09:03.172 2025.04.13 22:09:03.718
38 6.0.0.734 2025.04.12 12f3f P P 1516 913 2025.04.12 23:56:49.966 2025.04.12 23:56:51.482 2025.04.12 22:08:17.982 2025.04.12 22:08:18.895
39 6.0.0.730 2025.04.11 240b8 P P 926 752 2025.04.11 23:58:48.551 2025.04.11 23:58:49.477 2025.04.11 22:07:51.486 2025.04.11 22:07:52.238
40 6.0.0.726 2025.04.10 d79c6 P P 1043 552 2025.04.10 23:58:46.923 2025.04.10 23:58:47.966 2025.04.10 22:07:55.439 2025.04.10 22:07:55.991
41 6.0.0.725 2025.04.09 a2b05 P P 980 715 2025.04.09 23:59:45.999 2025.04.09 23:59:46.979 2025.04.09 22:09:36.682 2025.04.09 22:09:37.397
42 6.0.0.722 2025.04.08 a8b86 P P 1027 693 2025.04.09 00:15:36.416 2025.04.09 00:15:37.443 2025.04.08 22:15:41.901 2025.04.08 22:15:42.594
43 6.0.0.719 2025.04.06 90fd9 P P 1014 440 2025.04.07 00:13:10.701 2025.04.07 00:13:11.715 2025.04.06 22:14:24.726 2025.04.06 22:14:25.166
44 6.0.0.717 2025.04.04 53d70 P P 1917 646 2025.04.05 00:08:13.378 2025.04.05 00:08:15.295 2025.04.04 22:13:48.473 2025.04.04 22:13:49.119
45 6.0.0.716 2025.04.03 fc636 P P 1961 798 2025.04.04 00:12:32.961 2025.04.04 00:12:34.922 2025.04.03 22:15:18.117 2025.04.03 22:15:18.915
46 6.0.0.715 2025.04.02 907ed P P 972 836 2025.04.03 00:12:32.695 2025.04.03 00:12:33.667 2025.04.02 22:15:19.243 2025.04.02 22:15:20.079
47 6.0.0.710 2025.04.01 40651 P P 1760 441 2025.04.02 00:10:52.798 2025.04.02 00:10:54.558 2025.04.01 22:14:27.568 2025.04.01 22:14:28.009
48 6.0.0.708 2025.03.31 cb069 P P 1085 705 2025.04.01 00:01:50.765 2025.04.01 00:01:51.850 2025.03.31 22:09:06.678 2025.03.31 22:09:07.383
49 6.0.0.707 2025.03.28 4bd4f P P 1405 760 2025.03.31 00:01:55.341 2025.03.31 00:01:56.746 2025.03.30 22:09:42.229 2025.03.30 22:09:42.989
50 6.0.0.698 2025.03.26 d72a7 P P 2199 997 2025.03.28 00:24:05.339 2025.03.28 00:24:07.538 2025.03.27 22:15:45.481 2025.03.27 22:15:46.478
51 6.0.0.693 2025.03.24 0b559 P P 975 778 2025.03.25 00:10:52.767 2025.03.25 00:10:53.742 2025.03.24 22:12:30.413 2025.03.24 22:12:31.191
52 6.0.0.687 2025.03.22 730aa P P 1016 664 2025.03.24 00:21:26.335 2025.03.24 00:21:27.351 2025.03.23 22:18:47.767 2025.03.23 22:18:48.431
53 6.0.0.686 2025.03.20 71bf6 P P 2056 674 2025.03.21 00:27:22.218 2025.03.21 00:27:24.274 2025.03.20 22:20:58.871 2025.03.20 22:20:59.545
54 6.0.0.685 2025.03.19 a8577 P P 1979 808 2025.03.20 00:30:33.357 2025.03.20 00:30:35.336 2025.03.19 22:19:00.399 2025.03.19 22:19:01.207
55 6.0.0.680 2025.03.18 90d29 P P 5371 5176 2025.03.19 10:50:18.728 2025.03.19 10:50:24.099 2025.03.19 09:05:09.102 2025.03.19 09:05:14.278
56 6.0.0.677 2025.03.16 c0a60 P P 7817 6721 2025.03.17 00:19:52.209 2025.03.17 00:20:00.026 2025.03.16 22:18:40.147 2025.03.16 22:18:46.868
57 6.0.0.676 2025.03.15 3034f P P 5796 4310 2025.03.16 15:52:16.367 2025.03.16 15:52:22.163 2025.03.16 14:09:46.333 2025.03.16 14:09:50.643
58 6.0.0.673 2025.03.13 40f5b P P 7336 4650 2025.03.14 00:18:00.926 2025.03.14 00:18:08.262 2025.03.13 22:17:32.592 2025.03.13 22:17:37.242
59 6.0.0.671 2025.03.12 a4fff P P 4577 8422 2025.03.13 00:22:07.562 2025.03.13 00:22:12.139 2025.03.12 22:20:20.745 2025.03.12 22:20:29.167
60 6.0.0.663 2025.03.11 daad2 P P 4893 7558 2025.03.12 00:20:16.966 2025.03.12 00:20:21.859 2025.03.11 22:19:47.503 2025.03.11 22:19:55.061
61 6.0.0.661 2025.03.07 b9869 P P 3744 5932 2025.03.10 23:59:02.467 2025.03.10 23:59:06.211 2025.03.10 22:11:44.027 2025.03.10 22:11:49.959
62 6.0.0.660 2025.03.04 a6700 P P 4234 7632 2025.03.07 00:08:02.659 2025.03.07 00:08:06.893 2025.03.06 22:15:17.110 2025.03.06 22:15:24.742
63 6.0.0.658 2025.03.03 f15f8 P P 5576 6229 2025.03.04 00:03:03.058 2025.03.04 00:03:08.634 2025.03.03 22:11:54.978 2025.03.03 22:12:01.207
64 6.0.0.656 2025.02.27 25fb4 P P 7165 8473 2025.03.03 00:31:17.550 2025.03.03 00:31:24.715 2025.03.02 22:21:44.650 2025.03.02 22:21:53.123
65 6.0.0.655 2025.02.25 6e3e0 P P 4290 6754 2025.02.27 00:07:06.999 2025.02.27 00:07:11.289 2025.02.26 22:13:54.021 2025.02.26 22:14:00.775
66 6.0.0.654 2025.02.24 b7141 P P 7013 6670 2025.02.25 00:09:58.858 2025.02.25 00:10:05.871 2025.02.24 22:15:07.283 2025.02.24 22:15:13.953
67 6.0.0.652 2025.02.22 22662 P P 5118 4904 2025.02.24 07:27:34.247 2025.02.24 07:27:39.365 2025.02.24 00:28:28.395 2025.02.24 00:28:33.299
68 6.0.0.647 2025.02.21 9fccb P P 7128 7602 2025.02.22 00:11:35.670 2025.02.22 00:11:42.798 2025.02.21 22:18:55.710 2025.02.21 22:19:03.312
69 6.0.0.640 2025.02.19 9b8ac P P 5455 5827 2025.02.20 00:09:27.499 2025.02.20 00:09:32.954 2025.02.19 22:13:49.675 2025.02.19 22:13:55.502
70 6.0.0.639 2025.02.18 201a4 P P 3950 6080 2025.02.19 00:01:40.087 2025.02.19 00:01:44.037 2025.02.18 22:12:55.223 2025.02.18 22:13:01.303
71 6.0.0.637 2025.02.12 6d0f5 P P 5549 6238 2025.02.14 00:19:07.674 2025.02.14 00:19:13.223 2025.02.13 22:18:36.417 2025.02.13 22:18:42.655
72 6.0.0.636 2025.02.11 0424f P P 4296 4797 2025.02.12 00:17:08.243 2025.02.12 00:17:12.539 2025.02.11 22:18:10.901 2025.02.11 22:18:15.698
73 6.0.0.635 2025.02.10 f640f P P 4210 6850 2025.02.11 00:14:28.957 2025.02.11 00:14:33.167 2025.02.10 22:18:46.485 2025.02.10 22:18:53.335
74 6.0.0.629 2025.02.07 194f9 P P 7314 4367 2025.02.08 00:14:35.908 2025.02.08 00:14:43.222 2025.02.07 22:17:24.691 2025.02.07 22:17:29.058
75 6.0.0.628 2025.02.06 859d5 P P 5125 7980 2025.02.07 00:30:52.751 2025.02.07 00:30:57.876 2025.02.06 22:25:12.151 2025.02.06 22:25:20.131
76 6.0.0.621 2025.02.05 34fe7 P P 4236 8396 2025.02.06 00:27:12.665 2025.02.06 00:27:16.901 2025.02.05 22:25:45.072 2025.02.05 22:25:53.468
77 6.0.0.609 2025.02.04 76d57 P P 7579 7236 2025.02.05 00:20:02.715 2025.02.05 00:20:10.294 2025.02.04 22:22:50.958 2025.02.04 22:22:58.194
78 6.0.0.607 2025.02.03 1985b P P 3949 6636 2025.02.04 00:19:00.342 2025.02.04 00:19:04.291 2025.02.03 22:23:19.126 2025.02.03 22:23:25.762
79 6.0.0.601 2025.02.01 6af07 P P 4564 4362 2025.02.02 00:11:45.854 2025.02.02 00:11:50.418 2025.02.01 22:16:53.599 2025.02.01 22:16:57.961
80 6.0.0.600 2025.01.27 188de P P 8198 4694 2025.01.28 00:18:57.197 2025.01.28 00:19:05.395 2025.01.27 22:18:22.481 2025.01.27 22:18:27.175
81 6.0.0.599 2025.01.25 ba588 P P 4219 7160 2025.01.26 00:19:13.438 2025.01.26 00:19:17.657 2025.01.25 22:18:50.714 2025.01.25 22:18:57.874
82 6.0.0.598 2025.01.23 ddbc3 P P 5277 4682 2025.01.25 00:20:09.878 2025.01.25 00:20:15.155 2025.01.24 22:17:40.988 2025.01.24 22:17:45.670
83 6.0.0.595 2025.01.22 e62f3 P P 5789 6923 2025.01.23 00:11:19.962 2025.01.23 00:11:25.751 2025.01.22 22:15:09.071 2025.01.22 22:15:15.994
84 6.0.0.594 2025.01.21 47fb6 P P 4020 4423 2025.01.22 00:06:51.594 2025.01.22 00:06:55.614 2025.01.21 22:14:43.982 2025.01.21 22:14:48.405
85 6.0.0.590 2025.01.20 9dc1e P P 6163 5266 2025.01.21 00:13:43.402 2025.01.21 00:13:49.565 2025.01.20 22:18:08.129 2025.01.20 22:18:13.395
86 6.0.0.588 2025.01.19 b1c4e P P 4644 4373 2025.01.20 00:10:54.803 2025.01.20 00:10:59.447 2025.01.19 22:16:37.338 2025.01.19 22:16:41.711
87 6.0.0.587 2025.01.18 63e6e P P 4655 6613 2025.01.19 00:15:42.907 2025.01.19 00:15:47.562 2025.01.18 22:17:59.560 2025.01.18 22:18:06.173
88 6.0.0.585 2025.01.16 2d6bb P P 4075 5452 2025.01.18 00:08:03.703 2025.01.18 00:08:07.778 2025.01.17 22:15:49.881 2025.01.17 22:15:55.333
89 6.0.0.584 2025.01.15 a0aa2 P P 4205 7194 2025.01.16 00:13:33.882 2025.01.16 00:13:38.087 2025.01.15 22:17:55.033 2025.01.15 22:18:02.227
90 6.0.0.581 2025.01.14 21e9e P P 7131 4226 2025.01.15 00:15:00.886 2025.01.15 00:15:08.017 2025.01.14 22:16:55.365 2025.01.14 22:16:59.591
91 6.0.0.577 2025.01.13 7e293 P P 4743 4695 2025.01.14 00:15:20.078 2025.01.14 00:15:24.821 2025.01.13 22:17:15.096 2025.01.13 22:17:19.791
92 6.0.0.576 2025.01.12 05898 P P 4239 7028 2025.01.13 00:11:06.754 2025.01.13 00:11:10.993 2025.01.12 22:15:45.370 2025.01.12 22:15:52.398
93 6.0.0.573 2025.01.10 c20f3 P P 7007 4410 2025.01.11 00:13:04.471 2025.01.11 00:13:11.478 2025.01.10 22:16:43.984 2025.01.10 22:16:48.394
94 6.0.0.571 2024.12.31 81bba P P 3452 3151 2024.12.31 23:49:38.367 2024.12.31 23:49:41.819 2024.12.31 22:00:27.165 2024.12.31 22:00:30.316
95 6.0.0.570 2024.12.30 c3c8d P P 5148 3269 2024.12.30 23:48:16.876 2024.12.30 23:48:22.024 2024.12.30 22:00:23.158 2024.12.30 22:00:26.427
96 6.0.0.565 2024.12.28 5fc59 P P 3503 3264 2024.12.30 12:24:51.524 2024.12.30 12:24:55.027 2024.12.30 11:09:15.072 2024.12.30 11:09:18.336
97 6.0.0.564 2024.12.26 12514 P P 3307 3452 2024.12.26 23:50:07.769 2024.12.26 23:50:11.076 2024.12.26 22:00:29.060 2024.12.26 22:00:32.512
98 6.0.0.560 2024.12.25 fa83e P P 3267 3161 2024.12.25 23:41:47.930 2024.12.25 23:41:51.197 2024.12.25 22:00:25.035 2024.12.25 22:00:28.196
99 6.0.0.559 2024.12.23 cc800 P P 5840 3237 2024.12.24 23:43:29.627 2024.12.24 23:43:35.467 2024.12.24 22:00:52.510 2024.12.24 22:00:55.747
100 6.0.0.556 2024.12.22 a0404 P P 5903 3293 2024.12.22 23:49:59.059 2024.12.22 23:50:04.962 2024.12.22 22:00:16.660 2024.12.22 22:00:19.953
101 6.0.0.555 2024.12.19 6990a P P 3646 3413 2024.12.21 13:00:18.600 2024.12.21 13:00:22.246 2024.12.21 11:44:59.676 2024.12.21 11:45:03.089
102 6.0.0.553 2024.12.17 d1f8a P P 3312 3166 2024.12.17 23:43:47.743 2024.12.17 23:43:51.055 2024.12.17 22:00:58.058 2024.12.17 22:01:01.224
103 6.0.0.552 2024.12.11 85e25 P P 3311 3792 2024.12.15 23:49:15.049 2024.12.15 23:49:18.360 2024.12.15 22:00:39.553 2024.12.15 22:00:43.345
104 6.0.0.550 2024.12.10 b37ac P P 3304 3247 2024.12.10 23:44:39.960 2024.12.10 23:44:43.264 2024.12.10 22:01:49.698 2024.12.10 22:01:52.945
105 6.0.0.548 2024.12.08 2cc77 P P 3201 3211 2024.12.08 23:40:03.231 2024.12.08 23:40:06.432 2024.12.08 21:59:38.770 2024.12.08 21:59:41.981
106 6.0.0.544 2024.12.05 96943 P P 5811 3514 2024.12.05 23:43:19.572 2024.12.05 23:43:25.383 2024.12.05 22:03:00.982 2024.12.05 22:03:04.496
107 6.0.0.543 2024.12.03 30b77 P P 5646 3212 2024.12.03 23:44:46.709 2024.12.03 23:44:52.355 2024.12.03 22:01:34.589 2024.12.03 22:01:37.801
108 6.0.0.540 2024.12.02 4a1f4 P P 3256 3300 2024.12.02 23:41:04.187 2024.12.02 23:41:07.443 2024.12.02 22:00:55.199 2024.12.02 22:00:58.499
109 6.0.0.539 2024.11.28 1f283 P P 3391 3262 2024.11.29 23:52:51.573 2024.11.29 23:52:54.964 2024.11.29 22:01:19.796 2024.11.29 22:01:23.058
110 6.0.0.535 2024.11.26 77b95 P P 5616 3203 2024.11.26 23:36:01.166 2024.11.26 23:36:06.782 2024.11.26 21:58:57.858 2024.11.26 21:59:01.061
111 6.0.0.534 2024.11.25 e9584 P P 5587 3139 2024.11.25 23:37:21.347 2024.11.25 23:37:26.934 2024.11.25 21:59:44.457 2024.11.25 21:59:47.596
112 6.0.0.533 2024.11.17 933ac P P 3623 3420 2024.11.22 09:42:10.657 2024.11.22 09:42:14.280 2024.11.22 08:29:12.900 2024.11.22 08:29:16.320

Elapsed time, ms. Chart for last 112 runs:

Last commits information (all timestamps in UTC):