/bin/sh: line 1: 15773 Quit                    (core dumped) z3 -T:4.615 -smt2 /tmp/SMTP15538-30 > /tmp/SMTS15538-31
/bin/sh: line 1: 15802 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP15538-69 > /tmp/SMTS15538-70
/bin/sh: line 1: 15766 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP15538-65 > /tmp/SMTS15538-66
/bin/sh: line 1: 15820 Quit                    (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP15538-86 > /tmp/SMTS15538-87
/bin/sh: line 1: 15824 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP15538-80 > /tmp/SMTS15538-81
/bin/sh: line 1: 15807 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP15538-76 > /tmp/SMTS15538-77
/bin/sh: line 1: 15861 Killed                  z3 -T:7.16 -smt2 /tmp/SMTP15538-96 > /tmp/SMTS15538-97
/bin/sh: line 1: 15871 Killed                  z3 -T:7.16 -smt2 /tmp/SMTP15538-99 > /tmp/SMTS15538-101