/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