/bin/sh: line 1: 38438 Segmentation fault      (core dumped) z3 -T:10.59 -smt2 /tmp/SMTP38024-62 > /tmp/SMTS38024-63
/bin/sh: line 1: 38479 Quit                    (core dumped) z3 -T:4.359999999999999 -smt2 /tmp/SMTP38024-97 > /tmp/SMTS38024-98
/bin/sh: line 1: 38473 Quit                    (core dumped) z3 -T:4.359999999999999 -smt2 /tmp/SMTP38024-109 > /tmp/SMTS38024-110
/bin/sh: line 1: 38467 Quit                    (core dumped) z3 -T:4.359999999999999 -smt2 /tmp/SMTP38024-95 > /tmp/SMTS38024-96
/bin/sh: line 1: 38497 Killed                  z3 -T:4.359999999999999 -smt2 /tmp/SMTP38024-117 > /tmp/SMTS38024-118
/bin/sh: line 1: 38507 Killed                  z3 -T:4.359999999999999 -smt2 /tmp/SMTP38024-85 > /tmp/SMTS38024-86