/bin/sh: line 1: 25896 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP25814-52 > /tmp/SMTS25814-53
/bin/sh: line 1: 25907 Quit                    (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP25814-58 > /tmp/SMTS25814-59
/bin/sh: line 1: 25936 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP25814-68 > /tmp/SMTS25814-69
/bin/sh: line 1: 25947 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP25814-54 > /tmp/SMTS25814-55
/bin/sh: line 1: 25958 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP25814-64 > /tmp/SMTS25814-65
/bin/sh: line 1: 25961 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP25814-70 > /tmp/SMTS25814-71