/bin/sh: line 1: 51686 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP51576-8 > /tmp/SMTS51576-9
/bin/sh: line 1: 51703 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP51576-60 > /tmp/SMTS51576-61
/bin/sh: line 1: 51690 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP51576-17 > /tmp/SMTS51576-18
/bin/sh: line 1: 51711 Quit                    (core dumped) z3 -T:7.272 -smt2 /tmp/SMTP51576-66 > /tmp/SMTS51576-67
/bin/sh: line 1: 51707 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP51576-62 > /tmp/SMTS51576-63
/bin/sh: line 1: 51715 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP51576-38 > /tmp/SMTS51576-39
/bin/sh: line 1: 51607 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP51576-16 > /tmp/SMTS51576-19
/bin/sh: line 1: 51765 Killed                  z3 -T:14.25 -smt2 /tmp/SMTP51576-74 > /tmp/SMTS51576-75
/bin/sh: line 1: 51770 Killed                  z3 -T:14.25 -smt2 /tmp/SMTP51576-26 > /tmp/SMTS51576-27
/bin/sh: line 1: 51774 Killed                  z3 -T:14.25 -smt2 /tmp/SMTP51576-54 > /tmp/SMTS51576-55