CVC5: Don't use Tuple workaround when declaring structs #982
| Job | Run time |
|---|---|
| 48s | |
| 16m 13s | |
| 22m 32s | |
| 15m 58s | |
| 15m 44s | |
| 15m 59s | |
| 15m 33s | |
| 15m 35s | |
| 22m 31s | |
| 22m 18s | |
| 22m 29s | |
| 15m 34s | |
| 19m 34s | |
| 19m 28s | |
| 4h 0m 16s |
| Job | Run time |
|---|---|
| 48s | |
| 16m 13s | |
| 22m 32s | |
| 15m 58s | |
| 15m 44s | |
| 15m 59s | |
| 15m 33s | |
| 15m 35s | |
| 22m 31s | |
| 22m 18s | |
| 22m 29s | |
| 15m 34s | |
| 19m 34s | |
| 19m 28s | |
| 4h 0m 16s |