/bin/sh: line 1: 14624 Quit                    (core dumped) z3 -T:6.88 -smt2 /tmp/SMTP14318-130 > /tmp/SMTS14318-131
/bin/sh: line 1: 14580 Quit                    (core dumped) z3 -T:6.432 -smt2 /tmp/SMTP14318-115 > /tmp/SMTS14318-116