/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