/bin/sh: line 1:   405 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-70 > /tmp/SMTS65507-71
/bin/sh: line 1:   396 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-35 > /tmp/SMTS65507-36
/bin/sh: line 1:   411 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-24 > /tmp/SMTS65507-25
/bin/sh: line 1:   439 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP65507-63 > /tmp/SMTS65507-64
/bin/sh: line 1:   412 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-65 > /tmp/SMTS65507-66
/bin/sh: line 1:   428 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-67 > /tmp/SMTS65507-68
/bin/sh: line 1:   442 Quit                    (core dumped) z3 -T:2.8499999999999996 -smt2 /tmp/SMTP65507-32 > /tmp/SMTS65507-33
/bin/sh: line 1:   421 Quit                    (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-37 > /tmp/SMTS65507-38
/bin/sh: line 1:   559 Killed                  z3 -T:14.25 -smt2 /tmp/SMTP65507-114 > /tmp/SMTS65507-115