/bin/sh: line 1: 5216 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP5139-37 > /tmp/SMTS5139-39 /bin/sh: line 1: 5266 Quit (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP5139-76 > /tmp/SMTS5139-77 /bin/sh: line 1: 5341 Quit (core dumped) z3 -T:7.4399999999999995 -smt2 /tmp/SMTP5139-86 > /tmp/SMTS5139-87 /bin/sh: line 1: 5224 Quit (core dumped) z3 -T:7.4399999999999995 -smt2 /tmp/SMTP5139-59 > /tmp/SMTS5139-60 /bin/sh: line 1: 5326 Quit (core dumped) z3 -T:7.4399999999999995 -smt2 /tmp/SMTP5139-84 > /tmp/SMTS5139-85 /bin/sh: line 1: 5357 Killed z3 -T:7.384 -smt2 /tmp/SMTP5139-94 > /tmp/SMTS5139-96