/bin/sh: line 1: 53206 Quit                    (core dumped) z3 -T:6.152 -smt2 /tmp/SMTP53024-85 > /tmp/SMTS53024-86
/bin/sh: line 1: 53195 Quit                    (core dumped) z3 -T:10.169999999999998 -smt2 /tmp/SMTP53024-42 > /tmp/SMTS53024-43
/bin/sh: line 1: 53170 Quit                    (core dumped) z3 -T:10.169999999999998 -smt2 /tmp/SMTP53024-50 > /tmp/SMTS53024-51
/bin/sh: line 1: 53135 Quit                    (core dumped) z3 -T:10.169999999999998 -smt2 /tmp/SMTP53024-34 > /tmp/SMTS53024-35
/bin/sh: line 1: 53118 Quit                    (core dumped) z3 -T:10.169999999999998 -smt2 /tmp/SMTP53024-8 > /tmp/SMTS53024-9
/bin/sh: line 1: 53209 Killed                  z3 -T:10.169999999999998 -smt2 /tmp/SMTP53024-62 > /tmp/SMTS53024-63
/bin/sh: line 1: 53230 Killed                  z3 -T:6.3759999999999994 -smt2 /tmp/SMTP53024-92 > /tmp/SMTS53024-93