cadical: Make sure to initialize external propagator prior to adding … #1177
| Job | Run time |
|---|---|
| 42m 3s | |
| 27m 39s | |
| 31m 6s | |
| 28m 1s | |
| 27m 38s | |
| 20m 32s | |
| 22m 5s | |
| 37m 24s | |
| 22m 46s | |
| 28m 11s | |
| 36m 2s | |
| 5h 23m 27s |
| Job | Run time |
|---|---|
| 42m 3s | |
| 27m 39s | |
| 31m 6s | |
| 28m 1s | |
| 27m 38s | |
| 20m 32s | |
| 22m 5s | |
| 37m 24s | |
| 22m 46s | |
| 28m 11s | |
| 36m 2s | |
| 5h 23m 27s |