/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