/bin/sh: line 1: 21832 Quit                    (core dumped) z3 -T:2.496 -smt2 /tmp/SMTP21746-28 > /tmp/SMTS21746-29
/bin/sh: line 1: 21823 Quit                    (core dumped) z3 -T:4.16 -smt2 /tmp/SMTP21746-15 > /tmp/SMTS21746-18
/bin/sh: line 1: 21817 Quit                    (core dumped) z3 -T:6.656 -smt2 /tmp/SMTP21746-54 > /tmp/SMTS21746-55
/bin/sh: line 1: 21827 Quit                    (core dumped) z3 -T:2.496 -smt2 /tmp/SMTP21746-16 > /tmp/SMTS21746-19
/bin/sh: line 1: 21895 Killed                  z3 -T:12.479999999999999 -smt2 /tmp/SMTP21746-50 > /tmp/SMTS21746-51