/bin/sh: line 1: 13468 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-50 > /tmp/SMTS13179-51
/bin/sh: line 1: 13357 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-48 > /tmp/SMTS13179-49
/bin/sh: line 1: 13441 Quit                    (core dumped) z3 -T:6.656 -smt2 /tmp/SMTP13179-66 > /tmp/SMTS13179-67
/bin/sh: line 1: 13345 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-38 > /tmp/SMTS13179-39
/bin/sh: line 1: 13377 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-30 > /tmp/SMTS13179-31
/bin/sh: line 1: 13454 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-28 > /tmp/SMTS13179-29
/bin/sh: line 1: 13418 Quit                    (core dumped) z3 -T:12.69 -smt2 /tmp/SMTP13179-54 > /tmp/SMTS13179-55
/bin/sh: line 1: 13482 Killed                  z3 -T:6.264 -smt2 /tmp/SMTP13179-87 > /tmp/SMTS13179-88
/bin/sh: line 1: 13486 Killed                  z3 -T:12.69 -smt2 /tmp/SMTP13179-36 > /tmp/SMTS13179-37