/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