/bin/sh: line 1:  9977 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP9807-88 > /tmp/SMTS9807-89
/bin/sh: line 1:  9963 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP9807-52 > /tmp/SMTS9807-53
/bin/sh: line 1:  9973 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP9807-58 > /tmp/SMTS9807-59
/bin/sh: line 1:  9956 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP9807-40 > /tmp/SMTS9807-41
/bin/sh: line 1:  9904 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP9807-17 > /tmp/SMTS9807-19