/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