/bin/sh: line 1: 43489 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP43177-50 > /tmp/SMTS43177-51
/bin/sh: line 1: 43492 Quit                    (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP43177-94 > /tmp/SMTS43177-96
/bin/sh: line 1: 43448 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP43177-90 > /tmp/SMTS43177-91
/bin/sh: line 1: 43499 Quit                    (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP43177-59 > /tmp/SMTS43177-60
/bin/sh: line 1: 43505 Quit                    (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP43177-97 > /tmp/SMTS43177-98
/bin/sh: line 1: 43521 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-93 > /tmp/SMTS43177-95
/bin/sh: line 1: 43528 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-24 > /tmp/SMTS43177-26
/bin/sh: line 1: 43542 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-63 > /tmp/SMTS43177-64
/bin/sh: line 1: 43502 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-34 > /tmp/SMTS43177-35
/bin/sh: line 1: 43525 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-89 > /tmp/SMTS43177-92
/bin/sh: line 1: 43509 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-67 > /tmp/SMTS43177-68
/bin/sh: line 1: 43553 Killed                  z3 -T:14.25 -smt2 /tmp/SMTP43177-87 > /tmp/SMTS43177-88