/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