/bin/sh: line 1: 20922 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP20702-66 > /tmp/SMTS20702-67
/bin/sh: line 1: 20862 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP20702-26 > /tmp/SMTS20702-27
/bin/sh: line 1: 20894 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP20702-16 > /tmp/SMTS20702-17
/bin/sh: line 1: 20912 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP20702-60 > /tmp/SMTS20702-64
/bin/sh: line 1: 20890 Quit                    (core dumped) z3 -T:6.264 -smt2 /tmp/SMTP20702-88 > /tmp/SMTS20702-89
/bin/sh: line 1: 20849 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP20702-78 > /tmp/SMTS20702-79
/bin/sh: line 1: 20938 Killed                  z3 -T:12.69 -smt2 /tmp/SMTP20702-55 > /tmp/SMTS20702-56