/bin/sh: line 1: 43488 Quit (core dumped) z3 -T:4.545 -smt2 /tmp/SMTP43344-37 > /tmp/SMTS43344-40 /bin/sh: line 1: 43462 Quit (core dumped) z3 -T:2.7270000000000003 -smt2 /tmp/SMTP43344-19 > /tmp/SMTS43344-20 /bin/sh: line 1: 43566 Quit (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP43344-69 > /tmp/SMTS43344-71 /bin/sh: line 1: 43553 Quit (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP43344-76 > /tmp/SMTS43344-77 /bin/sh: line 1: 43584 Quit (core dumped) z3 -T:7.272 -smt2 /tmp/SMTP43344-86 > /tmp/SMTS43344-87 /bin/sh: line 1: 43601 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP43344-33 > /tmp/SMTS43344-35 /bin/sh: line 1: 43591 Quit (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP43344-78 > /tmp/SMTS43344-79 /bin/sh: line 1: 43581 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP43344-48 > /tmp/SMTS43344-49 /bin/sh: line 1: 43484 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP43344-24 > /tmp/SMTS43344-25 /bin/sh: line 1: 43549 Quit (core dumped) z3 -T:13.635 -smt2 /tmp/SMTP43344-38 > /tmp/SMTS43344-41