/bin/sh: line 1: 12603 Quit (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP12346-18 > /tmp/SMTS12346-19 /bin/sh: line 1: 12545 Quit (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP12346-22 > /tmp/SMTS12346-23 /bin/sh: line 1: 12539 Quit (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP12346-60 > /tmp/SMTS12346-61 /bin/sh: line 1: 12581 Quit (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP12346-58 > /tmp/SMTS12346-59 /bin/sh: line 1: 12590 Quit (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP12346-20 > /tmp/SMTS12346-21 /bin/sh: line 1: 12622 Killed z3 -T:6.88 -smt2 /tmp/SMTP12346-70 > /tmp/SMTS12346-71