/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