/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