/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