/bin/sh: line 1: 18576 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP18472-75 > /tmp/SMTS18472-76
/bin/sh: line 1: 18686 Quit                    (core dumped) z3 -T:6.992 -smt2 /tmp/SMTP18472-63 > /tmp/SMTS18472-64
/bin/sh: line 1: 18667 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP18472-47 > /tmp/SMTS18472-48
/bin/sh: line 1: 18670 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP18472-20 > /tmp/SMTS18472-21
/bin/sh: line 1: 18641 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP18472-59 > /tmp/SMTS18472-61
/bin/sh: line 1: 18637 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP18472-65 > /tmp/SMTS18472-66
/bin/sh: line 1: 18624 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP18472-49 > /tmp/SMTS18472-50
/bin/sh: line 1: 18717 Killed                  z3 -T:7.552 -smt2 /tmp/SMTP18472-116 > /tmp/SMTS18472-117