/bin/sh: line 1: 39200 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP39024-70 > /tmp/SMTS39024-71
/bin/sh: line 1: 39207 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP39024-86 > /tmp/SMTS39024-87
/bin/sh: line 1: 39138 Quit                    (core dumped) z3 -T:4.6850000000000005 -smt2 /tmp/SMTP39024-36 > /tmp/SMTS39024-37
/bin/sh: line 1: 39218 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP39024-78 > /tmp/SMTS39024-79
/bin/sh: line 1: 39189 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP39024-57 > /tmp/SMTS39024-58
/bin/sh: line 1: 39258 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP39024-80 > /tmp/SMTS39024-81
/bin/sh: line 1: 39241 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP39024-44 > /tmp/SMTS39024-45
/bin/sh: line 1: 39269 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP39024-55 > /tmp/SMTS39024-56
/bin/sh: line 1: 39272 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP39024-62 > /tmp/SMTS39024-63
/bin/sh: line 1: 39369 Killed                  z3 -T:7.496 -smt2 /tmp/SMTP39024-97 > /tmp/SMTS39024-100