/bin/sh: line 1:   824 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-54 > /tmp/SMTS595-55
/bin/sh: line 1:   808 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-31 > /tmp/SMTS595-32
/bin/sh: line 1:   828 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-67 > /tmp/SMTS595-68
/bin/sh: line 1:   816 Quit                    (core dumped) z3 -T:7.104 -smt2 /tmp/SMTP595-96 > /tmp/SMTS595-97
/bin/sh: line 1:   845 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-39 > /tmp/SMTS595-40
/bin/sh: line 1:   810 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-79 > /tmp/SMTS595-80
/bin/sh: line 1:   841 Quit                    (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP595-108 > /tmp/SMTS595-109
/bin/sh: line 1:   833 Quit                    (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP595-18 > /tmp/SMTS595-19
/bin/sh: line 1:   850 Quit                    (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP595-110 > /tmp/SMTS595-111
/bin/sh: line 1:   864 Killed                  z3 -T:7.272 -smt2 /tmp/SMTP595-115 > /tmp/SMTS595-116