/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