/bin/sh: line 1: 11057 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP10826-100 > /tmp/SMTS10826-101
/bin/sh: line 1: 10893 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP10826-48 > /tmp/SMTS10826-49
/bin/sh: line 1: 11067 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-50 > /tmp/SMTS10826-51
/bin/sh: line 1: 11020 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-53 > /tmp/SMTS10826-55
/bin/sh: line 1: 11029 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP10826-84 > /tmp/SMTS10826-85
/bin/sh: line 1: 11043 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-60 > /tmp/SMTS10826-61
/bin/sh: line 1: 11040 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP10826-98 > /tmp/SMTS10826-99
/bin/sh: line 1: 11071 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP10826-109 > /tmp/SMTS10826-110
/bin/sh: line 1: 11004 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-62 > /tmp/SMTS10826-63
/bin/sh: line 1: 11032 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-30 > /tmp/SMTS10826-32
/bin/sh: line 1: 11007 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-35 > /tmp/SMTS10826-36
/bin/sh: line 1: 11086 Killed                  z3 -T:7.6 -smt2 /tmp/SMTP10826-118 > /tmp/SMTS10826-119