/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