/bin/sh: line 1: 29843 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP29439-92 > /tmp/SMTS29439-93
/bin/sh: line 1: 29849 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP29439-23 > /tmp/SMTS29439-25
/bin/sh: line 1: 29862 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP29439-76 > /tmp/SMTS29439-77
/bin/sh: line 1: 29898 Quit                    (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP29439-140 > /tmp/SMTS29439-141
/bin/sh: line 1: 29853 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP29439-20 > /tmp/SMTS29439-21
/bin/sh: line 1: 29910 Quit                    (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP29439-142 > /tmp/SMTS29439-143
/bin/sh: line 1: 29906 Quit                    (core dumped) z3 -T:6.768 -smt2 /tmp/SMTP29439-130 > /tmp/SMTS29439-131
/bin/sh: line 1: 29873 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP29439-50 > /tmp/SMTS29439-51
/bin/sh: line 1: 29869 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP29439-80 > /tmp/SMTS29439-81
/bin/sh: line 1: 29961 Killed                  z3 -T:7.216 -smt2 /tmp/SMTP29439-153 > /tmp/SMTS29439-154
/bin/sh: line 1: 29968 Killed                  z3 -T:7.216 -smt2 /tmp/SMTP29439-167 > /tmp/SMTS29439-168