/bin/sh: line 1: 23017 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP22977-14 > /tmp/SMTS22977-16 /bin/sh: line 1: 23006 Quit (core dumped) z3 -T:4.75 -smt2 /tmp/SMTP22977-20 > /tmp/SMTS22977-21 /bin/sh: line 1: 23052 Killed z3 -T:4.75 -smt2 /tmp/SMTP22977-40 > /tmp/SMTS22977-43 /bin/sh: line 1: 23059 Killed z3 -T:2.8499999999999996 -smt2 /tmp/SMTP22977-34 > /tmp/SMTS22977-35 /bin/sh: line 1: 23099 Killed z3 -T:7.6 -smt2 /tmp/SMTP22977-60 > /tmp/SMTS22977-61