/bin/sh: line 1:  6398 Quit                    (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP6318-27 > /tmp/SMTS6318-28
/bin/sh: line 1:  6422 Quit                    (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP6318-63 > /tmp/SMTS6318-64
/bin/sh: line 1:  6404 Quit                    (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP6318-46 > /tmp/SMTS6318-47
/bin/sh: line 1:  6407 Quit                    (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP6318-39 > /tmp/SMTS6318-40
/bin/sh: line 1:  6440 Killed                  z3 -T:12.584999999999999 -smt2 /tmp/SMTP6318-49 > /tmp/SMTS6318-50
/bin/sh: line 1:  6448 Killed                  z3 -T:12.584999999999999 -smt2 /tmp/SMTP6318-35 > /tmp/SMTS6318-36
/bin/sh: line 1:  6470 Killed                  z3 -T:6.992 -smt2 /tmp/SMTP6318-77 > /tmp/SMTS6318-78
/bin/sh: line 1:  6475 Killed                  z3 -T:6.992 -smt2 /tmp/SMTP6318-71 > /tmp/SMTS6318-72