/bin/sh: line 1:   304 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65440-26 > /tmp/SMTS65440-27
/bin/sh: line 1: 65479 Quit                    (core dumped) z3 -T:2.8499999999999996 -smt2 /tmp/SMTP65440-17 > /tmp/SMTS65440-18
/bin/sh: line 1: 65516 Quit                    (core dumped) z3 -T:2.8499999999999996 -smt2 /tmp/SMTP65440-14 > /tmp/SMTS65440-25
/bin/sh: line 1: 65483 Quit                    (core dumped) z3 -T:4.75 -smt2 /tmp/SMTP65440-20 > /tmp/SMTS65440-21
/bin/sh: line 1: 65524 Quit                    (core dumped) z3 -T:4.75 -smt2 /tmp/SMTP65440-28 > /tmp/SMTS65440-29
/bin/sh: line 1: 65534 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP65440-39 > /tmp/SMTS65440-41
/bin/sh: line 1:   431 Killed                  z3 -T:7.6 -smt2 /tmp/SMTP65440-79 > /tmp/SMTS65440-80