/bin/sh: line 1: 6619 Quit (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP6479-63 > /tmp/SMTS6479-64 /bin/sh: line 1: 6669 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6479-61 > /tmp/SMTS6479-62 /bin/sh: line 1: 6660 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6479-86 > /tmp/SMTS6479-87 /bin/sh: line 1: 6663 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6479-22 > /tmp/SMTS6479-23 /bin/sh: line 1: 6647 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6479-26 > /tmp/SMTS6479-27 /bin/sh: line 1: 6726 Killed z3 -T:7.328 -smt2 /tmp/SMTP6479-106 > /tmp/SMTS6479-107