Z3str4 - fixed

Competing	no
Single Query Track	QF_S, QF_SLIA, QF_SNIA
Incremental Track
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID
Final ID	33727
Seed	0
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