Merge branch 'main' of https://github.com/cvc5/cvc5 into seqEvalOp #31541
| Job | Run time |
|---|---|
| 15m 31s | |
| 23m 55s | |
| 19m 59s | |
| 25m 16s | |
| 17m 6s | |
| 18m 42s | |
| 23m 41s | |
| 16m 54s | |
| 26m 19s | |
| 16m 7s | |
| 29m 20s | |
| 22m 17s | |
| 4h 15m 7s |
| Job | Run time |
|---|---|
| 15m 31s | |
| 23m 55s | |
| 19m 59s | |
| 25m 16s | |
| 17m 6s | |
| 18m 42s | |
| 23m 41s | |
| 16m 54s | |
| 26m 19s | |
| 16m 7s | |
| 29m 20s | |
| 22m 17s | |
| 4h 15m 7s |