Merge branch 'main' of https://github.com/cvc5/cvc5 into pfTrustId #31592
| Job | Run time |
|---|---|
| 16m 48s | |
| 9m 55s | |
| 16m 30s | |
| 16m 49s | |
| 16m 48s | |
| 16m 32s | |
| 16m 46s | |
| 16m 33s | |
| 16m 47s | |
| 12m 54s | |
| 12m 41s | |
| 11m 32s | |
| 3h 0m 35s |
| Job | Run time |
|---|---|
| 16m 48s | |
| 9m 55s | |
| 16m 30s | |
| 16m 49s | |
| 16m 48s | |
| 16m 32s | |
| 16m 46s | |
| 16m 33s | |
| 16m 47s | |
| 12m 54s | |
| 12m 41s | |
| 11m 32s | |
| 3h 0m 35s |