/bin/sh: line 1: 30766 Quit                    (core dumped) z3 -T:2.6900000000000004 -smt2 /tmp/SMTP30659-26 > /tmp/SMTS30659-27
/bin/sh: line 1: 30758 Quit                    (core dumped) z3 -T:1.614 -smt2 /tmp/SMTP30659-8 > /tmp/SMTS30659-9
/bin/sh: line 1: 30702 Quit                    (core dumped) z3 -T:4.304 -smt2 /tmp/SMTP30659-32 > /tmp/SMTS30659-33
/bin/sh: line 1: 30852 Killed                  z3 -T:2.6900000000000004 -smt2 /tmp/SMTP30659-42 > /tmp/SMTS30659-43