/bin/sh: line 1: 48576 Quit (core dumped) z3 -T:4.75 -smt2 /tmp/SMTP48489-10 > /tmp/SMTS48489-11 /bin/sh: line 1: 48565 Quit (core dumped) z3 -T:4.75 -smt2 /tmp/SMTP48489-35 > /tmp/SMTS48489-36 /bin/sh: line 1: 48575 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP48489-12 > /tmp/SMTS48489-13 /bin/sh: line 1: 48583 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP48489-48 > /tmp/SMTS48489-49 /bin/sh: line 1: 48586 Quit (core dumped) z3 -T:4.75 -smt2 /tmp/SMTP48489-40 > /tmp/SMTS48489-42 /bin/sh: line 1: 48591 Killed z3 -T:2.8499999999999996 -smt2 /tmp/SMTP48489-55 > /tmp/SMTS48489-56 /bin/sh: line 1: 48648 Killed z3 -T:7.6 -smt2 /tmp/SMTP48489-72 > /tmp/SMTS48489-73