Update bitwuzla version to bitwuzla/bitwuzla@0e81e616af4d4421729884f0… #654
| Job | Run time |
|---|---|
| 3m 29s | |
| 3m 28s | |
| 13m 57s | |
| 2m 29s | |
| 2m 28s | |
| 12m 59s | |
| 3m 54s | |
| 2m 47s | |
| 9m 19s | |
| 3m 23s | |
| 2m 24s | |
| 7m 42s | |
| 1h 8m 19s |
| Job | Run time |
|---|---|
| 3m 29s | |
| 3m 28s | |
| 13m 57s | |
| 2m 29s | |
| 2m 28s | |
| 12m 59s | |
| 3m 54s | |
| 2m 47s | |
| 9m 19s | |
| 3m 23s | |
| 2m 24s | |
| 7m 42s | |
| 1h 8m 19s |