/bin/sh: line 1: 16664 Quit                    (core dumped) z3 -T:5.984 -smt2 /tmp/SMTP16424-116 > /tmp/SMTS16424-122
/bin/sh: line 1: 16658 Quit                    (core dumped) z3 -T:6.5440000000000005 -smt2 /tmp/SMTP16424-97 > /tmp/SMTS16424-98
/bin/sh: line 1: 16641 Quit                    (core dumped) z3 -T:6.152 -smt2 /tmp/SMTP16424-84 > /tmp/SMTS16424-85
/bin/sh: line 1: 16655 Quit                    (core dumped) z3 -T:9.33 -smt2 /tmp/SMTP16424-30 > /tmp/SMTS16424-31