Z3str4

Competing	yes
Single Query Track	QF_S, QF_SLIA, QF_SNIA
Incremental Track
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID	33313
Final ID	33313
Seed	458751
System Description	Z3str4 String Solver: System Description
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://z3str4.github.io
Team Members	Murphy Berzish, Federico Mora, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh