/bin/sh: line 1: 42702 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP42510-77 > /tmp/SMTS42510-78
/bin/sh: line 1: 42824 Quit                    (core dumped) z3 -T:7.4399999999999995 -smt2 /tmp/SMTP42510-102 > /tmp/SMTS42510-104
/bin/sh: line 1: 42863 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP42510-49 > /tmp/SMTS42510-51
/bin/sh: line 1: 42858 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP42510-26 > /tmp/SMTS42510-27
/bin/sh: line 1: 42865 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP42510-64 > /tmp/SMTS42510-65
/bin/sh: line 1: 42929 Killed                  z3 -T:7.496 -smt2 /tmp/SMTP42510-120 > /tmp/SMTS42510-121