/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