/bin/sh: line 1: 59454 Quit (core dumped) z3 -T:4.615 -smt2 /tmp/SMTP59111-24 > /tmp/SMTS59111-25 /bin/sh: line 1: 59457 Quit (core dumped) z3 -T:2.769 -smt2 /tmp/SMTP59111-48 > /tmp/SMTS59111-49 /bin/sh: line 1: 59509 Quit (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP59111-76 > /tmp/SMTS59111-77 /bin/sh: line 1: 59495 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP59111-31 > /tmp/SMTS59111-34 /bin/sh: line 1: 59514 Quit (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP59111-78 > /tmp/SMTS59111-79 /bin/sh: line 1: 59503 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP59111-72 > /tmp/SMTS59111-74 /bin/sh: line 1: 59521 Killed z3 -T:7.496 -smt2 /tmp/SMTP59111-68 > /tmp/SMTS59111-69 /bin/sh: line 1: 59556 Killed z3 -T:13.845 -smt2 /tmp/SMTP59111-22 > /tmp/SMTS59111-23 /bin/sh: line 1: 59563 Killed z3 -T:13.845 -smt2 /tmp/SMTP59111-50 > /tmp/SMTS59111-51