/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