/bin/sh: line 1: 21274 Quit (core dumped) z3 -T:7.104 -smt2 /tmp/SMTP21042-78 > /tmp/SMTS21042-79 /bin/sh: line 1: 21246 Quit (core dumped) z3 -T:7.104 -smt2 /tmp/SMTP21042-80 > /tmp/SMTS21042-81 /bin/sh: line 1: 21127 Quit (core dumped) z3 -T:4.6850000000000005 -smt2 /tmp/SMTP21042-31 > /tmp/SMTS21042-32 /bin/sh: line 1: 21162 Quit (core dumped) z3 -T:7.104 -smt2 /tmp/SMTP21042-76 > /tmp/SMTS21042-77 /bin/sh: line 1: 21072 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP21042-10 > /tmp/SMTS21042-13 /bin/sh: line 1: 21119 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP21042-60 > /tmp/SMTS21042-61 /bin/sh: line 1: 21340 Killed z3 -T:14.055000000000001 -smt2 /tmp/SMTP21042-54 > /tmp/SMTS21042-55 /bin/sh: line 1: 21418 Killed z3 -T:14.055000000000001 -smt2 /tmp/SMTP21042-65 > /tmp/SMTS21042-66