split SmtMap into SMT Array and finite map #3256
| Job | Run time |
|---|---|
| 3s | |
| 3s | |
| 2s | |
| 2s | |
| 39s | |
| 1m 22s | |
| 1m 11s | |
| 1m 11s | |
| 1m 13s | |
| 1m 13s | |
| 6m 40s | |
| 6m 40s | |
| 3m 5s | |
| 3m 5s | |
| 1m 50s | |
| 1m 50s | |
| 11m 58s | |
| 11m 58s | |
| 2m 24s | |
| 2m 24s | |
| 1m 44s | |
| 1m 44s | |
| 7m 44s | |
| 7m 44s | |
| 6m 55s | |
| 6m 55s | |
| 20m 57s | |
| 20m 57s | |
| 3s | |
| 3s | |
| 0s | |
| 3s | |
| 2h 13m 42s |