/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