/bin/sh: line 1: 49685 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP49480-116 > /tmp/SMTS49480-117
/bin/sh: line 1: 49617 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP49480-92 > /tmp/SMTS49480-93
/bin/sh: line 1: 49699 Quit                    (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP49480-30 > /tmp/SMTS49480-31
/bin/sh: line 1: 49696 Quit                    (core dumped) z3 -T:7.104 -smt2 /tmp/SMTP49480-121 > /tmp/SMTS49480-122
/bin/sh: line 1: 49714 Quit                    (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP49480-28 > /tmp/SMTS49480-29
/bin/sh: line 1: 49740 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP49480-131 > /tmp/SMTS49480-132
/bin/sh: line 1: 49711 Quit                    (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP49480-106 > /tmp/SMTS49480-107
/bin/sh: line 1: 49672 Quit                    (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP49480-90 > /tmp/SMTS49480-91
/bin/sh: line 1: 49765 Killed                  z3 -T:13.32 -smt2 /tmp/SMTP49480-41 > /tmp/SMTS49480-42
/bin/sh: line 1: 49775 Killed                  z3 -T:6.712 -smt2 /tmp/SMTP49480-64 > /tmp/SMTS49480-65