/bin/sh: line 1: 50540 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP50209-46 > /tmp/SMTS50209-47 /bin/sh: line 1: 50536 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP50209-44 > /tmp/SMTS50209-45 /bin/sh: line 1: 50373 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP50209-55 > /tmp/SMTS50209-57 /bin/sh: line 1: 50524 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP50209-24 > /tmp/SMTS50209-25 /bin/sh: line 1: 50419 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP50209-66 > /tmp/SMTS50209-67 /bin/sh: line 1: 50528 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP50209-70 > /tmp/SMTS50209-71 /bin/sh: line 1: 50248 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP50209-14 > /tmp/SMTS50209-15 /bin/sh: line 1: 50635 Killed z3 -T:7.6 -smt2 /tmp/SMTP50209-97 > /tmp/SMTS50209-98