/bin/sh: line 1: 57653 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP57483-98 > /tmp/SMTS57483-99 /bin/sh: line 1: 57668 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP57483-86 > /tmp/SMTS57483-87 /bin/sh: line 1: 57669 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP57483-80 > /tmp/SMTS57483-81 /bin/sh: line 1: 57674 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP57483-84 > /tmp/SMTS57483-85 /bin/sh: line 1: 57750 Killed z3 -T:7.6 -smt2 /tmp/SMTP57483-118 > /tmp/SMTS57483-119