cadical: Properly disable obsolete activation literals. #1176
| Job | Run time |
|---|---|
| 19m 26s | |
| 31m 47s | |
| 27m 17s | |
| 28m 27s | |
| 28m 2s | |
| 21m 39s | |
| 21m 38s | |
| 40m 1s | |
| 21m 46s | |
| 35m 20s | |
| 29m 19s | |
| 5h 4m 42s |
| Job | Run time |
|---|---|
| 19m 26s | |
| 31m 47s | |
| 27m 17s | |
| 28m 27s | |
| 28m 2s | |
| 21m 39s | |
| 21m 38s | |
| 40m 1s | |
| 21m 46s | |
| 35m 20s | |
| 29m 19s | |
| 5h 4m 42s |