/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