/bin/sh: line 1: 49781 Quit                    (core dumped) z3 -T:11.64 -smt2 /tmp/SMTP49627-14 > /tmp/SMTS49627-15
/bin/sh: line 1: 49770 Quit                    (core dumped) z3 -T:11.64 -smt2 /tmp/SMTP49627-48 > /tmp/SMTS49627-49
/bin/sh: line 1: 49795 Quit                    (core dumped) z3 -T:11.64 -smt2 /tmp/SMTP49627-54 > /tmp/SMTS49627-55
/bin/sh: line 1: 49786 Quit                    (core dumped) z3 -T:6.208 -smt2 /tmp/SMTP49627-93 > /tmp/SMTS49627-94
/bin/sh: line 1: 49809 Quit                    (core dumped) z3 -T:7.272 -smt2 /tmp/SMTP49627-103 > /tmp/SMTS49627-104
/bin/sh: line 1: 49847 Killed                  z3 -T:11.64 -smt2 /tmp/SMTP49627-46 > /tmp/SMTS49627-47