/bin/sh: line 1: 14044 Quit (core dumped) z3 -T:7.272 -smt2 /tmp/SMTP13902-80 > /tmp/SMTS13902-81 /bin/sh: line 1: 14034 Quit (core dumped) z3 -T:7.272 -smt2 /tmp/SMTP13902-89 > /tmp/SMTS13902-90 /bin/sh: line 1: 14048 Quit (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP13902-74 > /tmp/SMTS13902-75 /bin/sh: line 1: 14084 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP13902-42 > /tmp/SMTS13902-43 /bin/sh: line 1: 14067 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP13902-82 > /tmp/SMTS13902-83 /bin/sh: line 1: 14094 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP13902-70 > /tmp/SMTS13902-71 /bin/sh: line 1: 14087 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP13902-66 > /tmp/SMTS13902-67 /bin/sh: line 1: 14096 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP13902-35 > /tmp/SMTS13902-36 /bin/sh: line 1: 14100 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP13902-23 > /tmp/SMTS13902-24 /bin/sh: line 1: 14054 Quit (core dumped) z3 -T:7.272 -smt2 /tmp/SMTP13902-84 > /tmp/SMTS13902-85 /bin/sh: line 1: 14079 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP13902-91 > /tmp/SMTS13902-92 /bin/sh: line 1: 14163 Killed z3 -T:7.272 -smt2 /tmp/SMTP13902-107 > /tmp/SMTS13902-108