/bin/sh: line 1:  4046 Quit                    (core dumped) z3 -T:5.48 -smt2 /tmp/SMTP3989-52 > /tmp/SMTS3989-53
/bin/sh: line 1:  4028 Quit                    (core dumped) z3 -T:5.48 -smt2 /tmp/SMTP3989-6 > /tmp/SMTS3989-7
/bin/sh: line 1:  4117 Killed                  z3 -T:2.055 -smt2 /tmp/SMTP3989-27 > /tmp/SMTS3989-28