Use downloaded Z3 binary by default when static-link-z3 flag is active
#395
| Job | Run time |
|---|---|
| 2m 31s | |
| 7s | |
| 1m 19s | |
| 3m 5s | |
| 26m 24s | |
| 1m 30s | |
| 5m 2s | |
| 33m 46s | |
| 3m 20s | |
| 3m 28s | |
| 15m 6s | |
| 2m 18s | |
| 1h 37m 56s |