/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