/bin/sh: line 1: 15773 Quit (core dumped) z3 -T:4.615 -smt2 /tmp/SMTP15538-30 > /tmp/SMTS15538-31 /bin/sh: line 1: 15802 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP15538-69 > /tmp/SMTS15538-70 /bin/sh: line 1: 15766 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP15538-65 > /tmp/SMTS15538-66 /bin/sh: line 1: 15820 Quit (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP15538-86 > /tmp/SMTS15538-87 /bin/sh: line 1: 15824 Quit (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP15538-80 > /tmp/SMTS15538-81 /bin/sh: line 1: 15807 Quit (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP15538-76 > /tmp/SMTS15538-77 /bin/sh: line 1: 15861 Killed z3 -T:7.16 -smt2 /tmp/SMTP15538-96 > /tmp/SMTS15538-97 /bin/sh: line 1: 15871 Killed z3 -T:7.16 -smt2 /tmp/SMTP15538-99 > /tmp/SMTS15538-101