/bin/sh: line 1: 43326 Quit                    (core dumped) z3 -T:6.88 -smt2 /tmp/SMTP43122-91 > /tmp/SMTS43122-92
/bin/sh: line 1: 43311 Quit                    (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP43122-79 > /tmp/SMTS43122-80
/bin/sh: line 1: 43315 Quit                    (core dumped) z3 -T:6.88 -smt2 /tmp/SMTP43122-85 > /tmp/SMTS43122-86
/bin/sh: line 1: 43275 Quit                    (core dumped) z3 -T:11.22 -smt2 /tmp/SMTP43122-39 > /tmp/SMTS43122-40
/bin/sh: line 1: 43339 Killed                  z3 -T:7.216 -smt2 /tmp/SMTP43122-94 > /tmp/SMTS43122-95