Merge branch 'main' of https://github.com/cvc5/cvc5 into eoTrust #30181
| Job | Run time |
|---|---|
| 18m 41s | |
| 18m 6s | |
| 7m 49s | |
| 15m 38s | |
| 12m 53s | |
| 8m 18s | |
| 8m 36s | |
| 15m 14s | |
| 9m 5s | |
| 19m 52s | |
| 10m 59s | |
| 2h 25m 11s |
| Job | Run time |
|---|---|
| 18m 41s | |
| 18m 6s | |
| 7m 49s | |
| 15m 38s | |
| 12m 53s | |
| 8m 18s | |
| 8m 36s | |
| 15m 14s | |
| 9m 5s | |
| 19m 52s | |
| 10m 59s | |
| 2h 25m 11s |