/bin/sh: line 1: 43485 Quit                    (core dumped) z3 -T:13.425 -smt2 /tmp/SMTP43272-56 > /tmp/SMTS43272-57
/bin/sh: line 1: 43506 Quit                    (core dumped) z3 -T:6.824 -smt2 /tmp/SMTP43272-111 > /tmp/SMTS43272-112
/bin/sh: line 1: 43493 Quit                    (core dumped) z3 -T:6.824 -smt2 /tmp/SMTP43272-74 > /tmp/SMTS43272-75