We have provided the following benchmarks for demonstration purposes and independent evaluation of Z3str3 and other string solvers. The benchmarks are provided in SMT-LIB 2.5 format, following the latest draft of the theory for strings.
Kaluza (ZIP, 35MB)
IBM PISA (ZIP, 5KB)
IBM AppScan (ZIP, 4KB)
PyEx (ZIP, 31MB)
Stringfuzz suites (external link)