/bin/sh: line 1: 34703 Quit                    (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP34581-78 > /tmp/SMTS34581-79
/bin/sh: line 1: 34768 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP34581-105 > /tmp/SMTS34581-106
/bin/sh: line 1: 34748 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP34581-90 > /tmp/SMTS34581-91
/bin/sh: line 1: 34697 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP34581-63 > /tmp/SMTS34581-64
/bin/sh: line 1: 34712 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP34581-92 > /tmp/SMTS34581-93
/bin/sh: line 1: 34830 Killed                  z3 -T:6.88 -smt2 /tmp/SMTP34581-97 > /tmp/SMTS34581-98