/bin/sh: line 1: 41064 Killed z3 -T:2.706 -smt2 /tmp/SMTP40956-25 > /tmp/SMTS40956-26 /bin/sh: line 1: 41067 Killed z3 -T:4.51 -smt2 /tmp/SMTP40956-35 > /tmp/SMTS40956-36 /bin/sh: line 1: 41087 Killed z3 -T:7.216 -smt2 /tmp/SMTP40956-99 > /tmp/SMTS40956-100