/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