/bin/sh: line 1: 43489 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP43177-50 > /tmp/SMTS43177-51 /bin/sh: line 1: 43492 Quit (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP43177-94 > /tmp/SMTS43177-96 /bin/sh: line 1: 43448 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP43177-90 > /tmp/SMTS43177-91 /bin/sh: line 1: 43499 Quit (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP43177-59 > /tmp/SMTS43177-60 /bin/sh: line 1: 43505 Quit (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP43177-97 > /tmp/SMTS43177-98 /bin/sh: line 1: 43521 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-93 > /tmp/SMTS43177-95 /bin/sh: line 1: 43528 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-24 > /tmp/SMTS43177-26 /bin/sh: line 1: 43542 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-63 > /tmp/SMTS43177-64 /bin/sh: line 1: 43502 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-34 > /tmp/SMTS43177-35 /bin/sh: line 1: 43525 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-89 > /tmp/SMTS43177-92 /bin/sh: line 1: 43509 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP43177-67 > /tmp/SMTS43177-68 /bin/sh: line 1: 43553 Killed z3 -T:14.25 -smt2 /tmp/SMTP43177-87 > /tmp/SMTS43177-88