/bin/sh: line 1: 29685 Quit (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP29445-55 > /tmp/SMTS29445-56 /bin/sh: line 1: 30026 Quit (core dumped) z3 -T:6.3759999999999994 -smt2 /tmp/SMTP29445-66 > /tmp/SMTS29445-67 /bin/sh: line 1: 29937 Quit (core dumped) z3 -T:4.195 -smt2 /tmp/SMTP29445-44 > /tmp/SMTS29445-45 /bin/sh: line 1: 29701 Quit (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP29445-49 > /tmp/SMTS29445-50 /bin/sh: line 1: 29669 Quit (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP29445-34 > /tmp/SMTS29445-35 /bin/sh: line 1: 30093 Killed z3 -T:6.3759999999999994 -smt2 /tmp/SMTP29445-69 > /tmp/SMTS29445-70 /bin/sh: line 1: 30106 Killed z3 -T:6.3759999999999994 -smt2 /tmp/SMTP29445-80 > /tmp/SMTS29445-81 /bin/sh: line 1: 30150 Killed z3 -T:6.712 -smt2 /tmp/SMTP29445-91 > /tmp/SMTS29445-92