/bin/sh: line 1: 33162 Killed z3 -T:13.635 -smt2 /tmp/SMTP33052-26 > /tmp/SMTS33052-28 /bin/sh: line 1: 33172 Killed z3 -T:13.635 -smt2 /tmp/SMTP33052-32 > /tmp/SMTS33052-34 /bin/sh: line 1: 33180 Killed z3 -T:13.635 -smt2 /tmp/SMTP33052-55 > /tmp/SMTS33052-56 /bin/sh: line 1: 33202 Killed z3 -T:13.635 -smt2 /tmp/SMTP33052-30 > /tmp/SMTS33052-57