/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