Update bitwuzla version to bitwuzla/bitwuzla@0e81e616af4d44217298841928b194c3536c76 #655
| Job | Run time |
|---|---|
| 4m 11s | |
| 3m 39s | |
| 14m 33s | |
| 2m 11s | |
| 2m 44s | |
| 13m 19s | |
| 3m 39s | |
| 3m 17s | |
| 8m 6s | |
| 1m 56s | |
| 3m 25s | |
| 7m 19s | |
| 1h 8m 19s |
| Job | Run time |
|---|---|
| 4m 11s | |
| 3m 39s | |
| 14m 33s | |
| 2m 11s | |
| 2m 44s | |
| 13m 19s | |
| 3m 39s | |
| 3m 17s | |
| 8m 6s | |
| 1m 56s | |
| 3m 25s | |
| 7m 19s | |
| 1h 8m 19s |