Use the new solver in the impossible_predicates
#156561
| Job | Run time |
|---|---|
| 1m 3s | |
| 31m 41s | |
| 10m 30s | |
| 1h 6m 45s | |
| 52m 40s | |
| 0s | |
| 2h 42m 39s |
impossible_predicates
#156561
| Job | Run time |
|---|---|
| 1m 3s | |
| 31m 41s | |
| 10m 30s | |
| 1h 6m 45s | |
| 52m 40s | |
| 0s | |
| 2h 42m 39s |