/bin/sh: line 1: 49685 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP49480-116 > /tmp/SMTS49480-117 /bin/sh: line 1: 49617 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP49480-92 > /tmp/SMTS49480-93 /bin/sh: line 1: 49699 Quit (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP49480-30 > /tmp/SMTS49480-31 /bin/sh: line 1: 49696 Quit (core dumped) z3 -T:7.104 -smt2 /tmp/SMTP49480-121 > /tmp/SMTS49480-122 /bin/sh: line 1: 49714 Quit (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP49480-28 > /tmp/SMTS49480-29 /bin/sh: line 1: 49740 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP49480-131 > /tmp/SMTS49480-132 /bin/sh: line 1: 49711 Quit (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP49480-106 > /tmp/SMTS49480-107 /bin/sh: line 1: 49672 Quit (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP49480-90 > /tmp/SMTS49480-91 /bin/sh: line 1: 49765 Killed z3 -T:13.32 -smt2 /tmp/SMTP49480-41 > /tmp/SMTS49480-42 /bin/sh: line 1: 49775 Killed z3 -T:6.712 -smt2 /tmp/SMTP49480-64 > /tmp/SMTS49480-65