/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