/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