Update z3-turnkey to 4.12.2.1 #6342
| Job | Run time |
|---|---|
| 3m 49s | |
| 3m 49s | |
| 5s | |
| 5s | |
| 3m 38s | |
| 3m 38s | |
| 23m 59s | |
| 23m 59s | |
| 6m 34s | |
| 6m 34s | |
| 11m 8s | |
| 15m 38s | |
| 23m 49s | |
| 23m 49s | |
| 21m 27s | |
| 21m 27s | |
| 11m 10s | |
| 11m 10s | |
| 27m 9s | |
| 27m 9s | |
| 4h 30m 6s |
| Job | Run time |
|---|---|
| 3m 49s | |
| 3m 49s | |
| 5s | |
| 5s | |
| 3m 38s | |
| 3m 38s | |
| 23m 59s | |
| 23m 59s | |
| 6m 34s | |
| 6m 34s | |
| 11m 8s | |
| 15m 38s | |
| 23m 49s | |
| 23m 49s | |
| 21m 27s | |
| 21m 27s | |
| 11m 10s | |
| 11m 10s | |
| 27m 9s | |
| 27m 9s | |
| 4h 30m 6s |