/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