/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