/bin/sh: line 1: 824 Quit (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP65465-120 > /tmp/SMTS65465-121 /bin/sh: line 1: 807 Quit (core dumped) z3 -T:6.04 -smt2 /tmp/SMTP65465-124 > /tmp/SMTS65465-127 /bin/sh: line 1: 800 Quit (core dumped) z3 -T:6.6 -smt2 /tmp/SMTP65465-141 > /tmp/SMTS65465-142 /bin/sh: line 1: 779 Quit (core dumped) z3 -T:6.152 -smt2 /tmp/SMTP65465-87 > /tmp/SMTS65465-89 /bin/sh: line 1: 843 Killed z3 -T:6.712 -smt2 /tmp/SMTP65465-170 > /tmp/SMTS65465-171 /bin/sh: line 1: 847 Killed z3 -T:6.712 -smt2 /tmp/SMTP65465-134 > /tmp/SMTS65465-135