/bin/sh: line 1: 51107 Quit                    (core dumped) z3 -T:2.7270000000000003 -smt2 /tmp/SMTP51002-46 > /tmp/SMTS51002-48
/bin/sh: line 1: 51085 Quit                    (core dumped) z3 -T:4.545 -smt2 /tmp/SMTP51002-32 > /tmp/SMTS51002-34
/bin/sh: line 1: 51140 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP51002-50 > /tmp/SMTS51002-51
/bin/sh: line 1: 51128 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP51002-52 > /tmp/SMTS51002-53
/bin/sh: line 1: 51114 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP51002-54 > /tmp/SMTS51002-55
/bin/sh: line 1: 51111 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP51002-47 > /tmp/SMTS51002-49