/bin/sh: line 1: 45198 Quit (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP44995-84 > /tmp/SMTS44995-85 /bin/sh: line 1: 45251 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP44995-98 > /tmp/SMTS44995-99 /bin/sh: line 1: 45258 Quit (core dumped) z3 -T:13.74 -smt2 /tmp/SMTP44995-68 > /tmp/SMTS44995-69 /bin/sh: line 1: 45268 Quit (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP44995-100 > /tmp/SMTS44995-101 /bin/sh: line 1: 45261 Quit (core dumped) z3 -T:13.74 -smt2 /tmp/SMTP44995-76 > /tmp/SMTS44995-77 /bin/sh: line 1: 45158 Quit (core dumped) z3 -T:13.74 -smt2 /tmp/SMTP44995-18 > /tmp/SMTS44995-19 /bin/sh: line 1: 45368 Killed z3 -T:7.328 -smt2 /tmp/SMTP44995-105 > /tmp/SMTS44995-106