/bin/sh: line 1: 63003 Quit                    (core dumped) z3 -T:10.695 -smt2 /tmp/SMTP62772-58 > /tmp/SMTS62772-59
/bin/sh: line 1: 63007 Quit                    (core dumped) z3 -T:10.695 -smt2 /tmp/SMTP62772-10 > /tmp/SMTS62772-11
/bin/sh: line 1: 62998 Quit                    (core dumped) z3 -T:10.695 -smt2 /tmp/SMTP62772-42 > /tmp/SMTS62772-45
/bin/sh: line 1: 62934 Quit                    (core dumped) z3 -T:10.695 -smt2 /tmp/SMTP62772-19 > /tmp/SMTS62772-22
/bin/sh: line 1: 62990 Quit                    (core dumped) z3 -T:3.565 -smt2 /tmp/SMTP62772-48 > /tmp/SMTS62772-49
/bin/sh: line 1: 62983 Quit                    (core dumped) z3 -T:2.139 -smt2 /tmp/SMTP62772-20 > /tmp/SMTS62772-23
/bin/sh: line 1: 63014 Killed                  z3 -T:5.704 -smt2 /tmp/SMTP62772-64 > /tmp/SMTS62772-65
/bin/sh: line 1: 63020 Killed                  z3 -T:10.695 -smt2 /tmp/SMTP62772-14 > /tmp/SMTS62772-17
/bin/sh: line 1: 63025 Killed                  z3 -T:10.695 -smt2 /tmp/SMTP62772-2 > /tmp/SMTS62772-3
/bin/sh: line 1: 63034 Killed                  z3 -T:10.695 -smt2 /tmp/SMTP62772-52 > /tmp/SMTS62772-53