/bin/sh: line 1: 11057 Quit (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP10826-100 > /tmp/SMTS10826-101 /bin/sh: line 1: 10893 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP10826-48 > /tmp/SMTS10826-49 /bin/sh: line 1: 11067 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-50 > /tmp/SMTS10826-51 /bin/sh: line 1: 11020 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-53 > /tmp/SMTS10826-55 /bin/sh: line 1: 11029 Quit (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP10826-84 > /tmp/SMTS10826-85 /bin/sh: line 1: 11043 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-60 > /tmp/SMTS10826-61 /bin/sh: line 1: 11040 Quit (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP10826-98 > /tmp/SMTS10826-99 /bin/sh: line 1: 11071 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP10826-109 > /tmp/SMTS10826-110 /bin/sh: line 1: 11004 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-62 > /tmp/SMTS10826-63 /bin/sh: line 1: 11032 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-30 > /tmp/SMTS10826-32 /bin/sh: line 1: 11007 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10826-35 > /tmp/SMTS10826-36 /bin/sh: line 1: 11086 Killed z3 -T:7.6 -smt2 /tmp/SMTP10826-118 > /tmp/SMTS10826-119