Z3 String Constraint Solver

Benchmarks

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)