/bin/sh: line 1:  4164 Quit                    (core dumped) z3 -T:6.432 -smt2 /tmp/SMTP3887-126 > /tmp/SMTS3887-127
/bin/sh: line 1:  4144 Quit                    (core dumped) z3 -T:6.432 -smt2 /tmp/SMTP3887-94 > /tmp/SMTS3887-95
/bin/sh: line 1:  4148 Quit                    (core dumped) z3 -T:6.432 -smt2 /tmp/SMTP3887-120 > /tmp/SMTS3887-121
/bin/sh: line 1:  4161 Quit                    (core dumped) z3 -T:6.32 -smt2 /tmp/SMTP3887-116 > /tmp/SMTS3887-117
/bin/sh: line 1:  4196 Killed                  z3 -T:6.432 -smt2 /tmp/SMTP3887-144 > /tmp/SMTS3887-145