/bin/sh: line 1:  6479 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP6292-69 > /tmp/SMTS6292-70
/bin/sh: line 1:  6492 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6292-76 > /tmp/SMTS6292-77
/bin/sh: line 1:  6510 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6292-34 > /tmp/SMTS6292-72
/bin/sh: line 1:  6514 Quit                    (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP6292-108 > /tmp/SMTS6292-109
/bin/sh: line 1:  6505 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6292-47 > /tmp/SMTS6292-50
/bin/sh: line 1:  6520 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP6292-102 > /tmp/SMTS6292-103
/bin/sh: line 1:  6524 Quit                    (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP6292-110 > /tmp/SMTS6292-111
/bin/sh: line 1:  6487 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6292-32 > /tmp/SMTS6292-33
/bin/sh: line 1:  6516 Quit                    (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP6292-106 > /tmp/SMTS6292-107
/bin/sh: line 1:  6467 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP6292-100 > /tmp/SMTS6292-101
/bin/sh: line 1:  6500 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6292-63 > /tmp/SMTS6292-64
/bin/sh: line 1:  6482 Quit                    (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP6292-78 > /tmp/SMTS6292-79
/bin/sh: line 1:  6540 Killed                  z3 -T:7.496 -smt2 /tmp/SMTP6292-120 > /tmp/SMTS6292-121