/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