/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