/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