/bin/sh: line 1: 54635 Quit                    (core dumped) z3 -T:6.88 -smt2 /tmp/SMTP54477-67 > /tmp/SMTS54477-68
/bin/sh: line 1: 54653 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP54477-48 > /tmp/SMTS54477-50
/bin/sh: line 1: 54650 Quit                    (core dumped) z3 -T:6.88 -smt2 /tmp/SMTP54477-80 > /tmp/SMTS54477-81
/bin/sh: line 1: 54647 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP54477-27 > /tmp/SMTS54477-29
/bin/sh: line 1: 54656 Quit                    (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP54477-74 > /tmp/SMTS54477-75
/bin/sh: line 1: 54624 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP54477-51 > /tmp/SMTS54477-52
/bin/sh: line 1: 54627 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP54477-30 > /tmp/SMTS54477-31
/bin/sh: line 1: 54602 Quit                    (core dumped) z3 -T:12.9 -smt2 /tmp/SMTP54477-19 > /tmp/SMTS54477-21
/bin/sh: line 1: 54699 Killed                  z3 -T:6.88 -smt2 /tmp/SMTP54477-92 > /tmp/SMTS54477-93