/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