/bin/sh: line 1: 34060 Quit (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP33854-63 > /tmp/SMTS33854-64 /bin/sh: line 1: 34046 Quit (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP33854-78 > /tmp/SMTS33854-79 /bin/sh: line 1: 34064 Quit (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP33854-80 > /tmp/SMTS33854-81 /bin/sh: line 1: 34000 Quit (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP33854-66 > /tmp/SMTS33854-67 /bin/sh: line 1: 34100 Killed z3 -T:7.216 -smt2 /tmp/SMTP33854-89 > /tmp/SMTS33854-90