/bin/sh: line 1: 14075 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP14006-64 > /tmp/SMTS14006-67
/bin/sh: line 1: 14074 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP14006-62 > /tmp/SMTS14006-63
/bin/sh: line 1: 14096 Killed                  z3 -T:4.6850000000000005 -smt2 /tmp/SMTP14006-22 > /tmp/SMTS14006-23
/bin/sh: line 1: 14125 Killed                  z3 -T:7.496 -smt2 /tmp/SMTP14006-91 > /tmp/SMTS14006-92
/bin/sh: line 1: 14131 Killed                  z3 -T:7.6 -smt2 /tmp/SMTP14006-74 > /tmp/SMTS14006-76