/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