/bin/sh: line 1:  1332 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP1222-48 > /tmp/SMTS1222-49
/bin/sh: line 1:  1327 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP1222-50 > /tmp/SMTS1222-51
/bin/sh: line 1:  1246 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP1222-4 > /tmp/SMTS1222-5
/bin/sh: line 1:  1298 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP1222-25 > /tmp/SMTS1222-27
/bin/sh: line 1:  1251 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP1222-2 > /tmp/SMTS1222-3
/bin/sh: line 1:  1305 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP1222-22 > /tmp/SMTS1222-23