/bin/sh: line 1: 14075 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP14006-64 > /tmp/SMTS14006-67 /bin/sh: line 1: 14074 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP14006-62 > /tmp/SMTS14006-63 /bin/sh: line 1: 14096 Killed z3 -T:4.6850000000000005 -smt2 /tmp/SMTP14006-22 > /tmp/SMTS14006-23 /bin/sh: line 1: 14125 Killed z3 -T:7.496 -smt2 /tmp/SMTP14006-91 > /tmp/SMTS14006-92 /bin/sh: line 1: 14131 Killed z3 -T:7.6 -smt2 /tmp/SMTP14006-74 > /tmp/SMTS14006-76