/bin/sh: line 1: 54662 Quit (core dumped) z3 -T:3.74 -smt2 /tmp/SMTP54529-17 > /tmp/SMTS54529-18 /bin/sh: line 1: 54552 Quit (core dumped) z3 -T:5.984 -smt2 /tmp/SMTP54529-9 > /tmp/SMTS54529-11