/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