/bin/sh: line 1: 824 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-54 > /tmp/SMTS595-55 /bin/sh: line 1: 808 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-31 > /tmp/SMTS595-32 /bin/sh: line 1: 828 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-67 > /tmp/SMTS595-68 /bin/sh: line 1: 816 Quit (core dumped) z3 -T:7.104 -smt2 /tmp/SMTP595-96 > /tmp/SMTS595-97 /bin/sh: line 1: 845 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-39 > /tmp/SMTS595-40 /bin/sh: line 1: 810 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-79 > /tmp/SMTS595-80 /bin/sh: line 1: 841 Quit (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP595-108 > /tmp/SMTS595-109 /bin/sh: line 1: 833 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-18 > /tmp/SMTS595-19 /bin/sh: line 1: 850 Quit (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP595-110 > /tmp/SMTS595-111 /bin/sh: line 1: 864 Killed z3 -T:7.272 -smt2 /tmp/SMTP595-115 > /tmp/SMTS595-116