Fix bug when combining (reset), (push), and (get-unsat-core)
#185
| Job | Run time |
|---|---|
| 1m 5s | |
| 12m 39s | |
| 35m 43s | |
| 3m 28s | |
| 52m 55s |
(reset), (push), and (get-unsat-core)
#185
| Job | Run time |
|---|---|
| 1m 5s | |
| 12m 39s | |
| 35m 43s | |
| 3m 28s | |
| 52m 55s |