/bin/sh: line 1: 31258 Quit                    (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP31119-84 > /tmp/SMTS31119-85
/bin/sh: line 1: 31529 Quit                    (core dumped) z3 -T:7.104 -smt2 /tmp/SMTP31119-71 > /tmp/SMTS31119-72
/bin/sh: line 1: 31493 Quit                    (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP31119-46 > /tmp/SMTS31119-47
/bin/sh: line 1: 31348 Quit                    (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP31119-33 > /tmp/SMTS31119-34
/bin/sh: line 1: 31436 Quit                    (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP31119-62 > /tmp/SMTS31119-64
/bin/sh: line 1: 31275 Quit                    (core dumped) z3 -T:4.405 -smt2 /tmp/SMTP31119-11 > /tmp/SMTS31119-12
/bin/sh: line 1: 31600 Killed                  z3 -T:13.215 -smt2 /tmp/SMTP31119-68 > /tmp/SMTS31119-69
/bin/sh: line 1: 31615 Killed                  z3 -T:7.104 -smt2 /tmp/SMTP31119-76 > /tmp/SMTS31119-77