/bin/sh: line 1: 48314 Quit (core dumped) z3 -T:7.4399999999999995 -smt2 /tmp/SMTP48085-96 > /tmp/SMTS48085-97 /bin/sh: line 1: 48284 Quit (core dumped) z3 -T:14.16 -smt2 /tmp/SMTP48085-51 > /tmp/SMTS48085-52 /bin/sh: line 1: 48327 Quit (core dumped) z3 -T:14.16 -smt2 /tmp/SMTP48085-43 > /tmp/SMTS48085-44 /bin/sh: line 1: 48301 Quit (core dumped) z3 -T:14.16 -smt2 /tmp/SMTP48085-34 > /tmp/SMTS48085-36 /bin/sh: line 1: 48315 Quit (core dumped) z3 -T:14.16 -smt2 /tmp/SMTP48085-74 > /tmp/SMTS48085-75 /bin/sh: line 1: 48329 Quit (core dumped) z3 -T:14.16 -smt2 /tmp/SMTP48085-55 > /tmp/SMTS48085-56 /bin/sh: line 1: 48359 Killed z3 -T:14.16 -smt2 /tmp/SMTP48085-31 > /tmp/SMTS48085-33 /bin/sh: line 1: 48382 Killed z3 -T:14.16 -smt2 /tmp/SMTP48085-70 > /tmp/SMTS48085-71