Merge branch 'main' of https://github.com/cvc5/cvc5 into strMacroRew-… #30671
| Job | Run time |
|---|---|
| 23m 53s | |
| 12m 29s | |
| 38m 38s | |
| 23m 46s | |
| 21m 4s | |
| 16m 4s | |
| 16m 56s | |
| 30m 30s | |
| 15m 25s | |
| 27m 38s | |
| 27m 3s | |
| 4h 13m 26s |
| Job | Run time |
|---|---|
| 23m 53s | |
| 12m 29s | |
| 38m 38s | |
| 23m 46s | |
| 21m 4s | |
| 16m 4s | |
| 16m 56s | |
| 30m 30s | |
| 15m 25s | |
| 27m 38s | |
| 27m 3s | |
| 4h 13m 26s |