/bin/sh: line 1: 10674 Quit                    (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP10456-106 > /tmp/SMTS10456-107
/bin/sh: line 1: 10742 Quit                    (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP10456-133 > /tmp/SMTS10456-134
/bin/sh: line 1: 10721 Quit                    (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP10456-84 > /tmp/SMTS10456-85
/bin/sh: line 1: 10735 Quit                    (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP10456-120 > /tmp/SMTS10456-121
/bin/sh: line 1: 10719 Quit                    (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP10456-124 > /tmp/SMTS10456-125
/bin/sh: line 1: 10685 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP10456-64 > /tmp/SMTS10456-67
/bin/sh: line 1: 10688 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP10456-51 > /tmp/SMTS10456-52
/bin/sh: line 1: 10682 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP10456-15 > /tmp/SMTS10456-16