Add the remaining smtlib string operators excluding the regex and the conversion operators #568
| Job | Run time |
|---|---|
| 5m 21s | |
| 30m 14s | |
| 4m 7s | |
| 2m 38s | |
| 17m 31s | |
| 7m 11s | |
| 28m 42s | |
| 10m 28s | |
| 6m 40s | |
| 19m 31s | |
| 2h 12m 23s |
| Job | Run time |
|---|---|
| 5m 21s | |
| 30m 14s | |
| 4m 7s | |
| 2m 38s | |
| 17m 31s | |
| 7m 11s | |
| 28m 42s | |
| 10m 28s | |
| 6m 40s | |
| 19m 31s | |
| 2h 12m 23s |