/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