/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