/bin/sh: line 1: 46538 Quit                    (core dumped) z3 -T:4.6850000000000005 -smt2 /tmp/SMTP46440-44 > /tmp/SMTS46440-45
/bin/sh: line 1: 46609 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP46440-70 > /tmp/SMTS46440-71
/bin/sh: line 1: 46615 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP46440-86 > /tmp/SMTS46440-87
/bin/sh: line 1: 46582 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP46440-54 > /tmp/SMTS46440-55
/bin/sh: line 1: 46592 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP46440-61 > /tmp/SMTS46440-62
/bin/sh: line 1: 46528 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP46440-23 > /tmp/SMTS46440-26
/bin/sh: line 1: 46599 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP46440-40 > /tmp/SMTS46440-41
/bin/sh: line 1: 46603 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP46440-46 > /tmp/SMTS46440-47