/bin/sh: line 1: 48558 Quit (core dumped) z3 -T:4.615 -smt2 /tmp/SMTP48406-45 > /tmp/SMTS48406-46 /bin/sh: line 1: 48578 Quit (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP48406-78 > /tmp/SMTS48406-79 /bin/sh: line 1: 48590 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP48406-42 > /tmp/SMTS48406-43 /bin/sh: line 1: 48572 Quit (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP48406-88 > /tmp/SMTS48406-89 /bin/sh: line 1: 48469 Quit (core dumped) z3 -T:4.615 -smt2 /tmp/SMTP48406-40 > /tmp/SMTS48406-41 /bin/sh: line 1: 48509 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP48406-38 > /tmp/SMTS48406-39 /bin/sh: line 1: 48641 Killed z3 -T:7.16 -smt2 /tmp/SMTP48406-98 > /tmp/SMTS48406-99 /bin/sh: line 1: 48644 Killed z3 -T:7.16 -smt2 /tmp/SMTP48406-66 > /tmp/SMTS48406-67 /bin/sh: line 1: 48674 Killed z3 -T:7.16 -smt2 /tmp/SMTP48406-100 > /tmp/SMTS48406-101 /bin/sh: line 1: 48684 Killed z3 -T:7.384 -smt2 /tmp/SMTP48406-105 > /tmp/SMTS48406-106