/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