[Core,Main] Improve checks using De Morgan's laws #3132
Job | Run time |
---|---|
35s | |
1m 27s | |
4m 35s | |
4m 54s | |
3m 19s | |
2m 50s | |
11m 47s | |
2m 53s | |
4m 34s | |
6m 2s | |
5m 45s | |
6m 52s | |
6m 11s | |
1m 7s | |
8m 3s | |
1m 6s | |
7m 6s | |
8m 12s | |
1h 27m 18s |
Job | Run time |
---|---|
35s | |
1m 27s | |
4m 35s | |
4m 54s | |
3m 19s | |
2m 50s | |
11m 47s | |
2m 53s | |
4m 34s | |
6m 2s | |
5m 45s | |
6m 52s | |
6m 11s | |
1m 7s | |
8m 3s | |
1m 6s | |
7m 6s | |
8m 12s | |
1h 27m 18s |