/bin/sh: line 1: 26357 Quit (core dumped) z3 -T:2.643 -smt2 /tmp/SMTP26250-44 > /tmp/SMTS26250-45 /bin/sh: line 1: 26369 Quit (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP26250-74 > /tmp/SMTS26250-75 /bin/sh: line 1: 26363 Quit (core dumped) z3 -T:4.405 -smt2 /tmp/SMTP26250-52 > /tmp/SMTS26250-53 /bin/sh: line 1: 26390 Quit (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP26250-24 > /tmp/SMTS26250-25 /bin/sh: line 1: 26395 Quit (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP26250-34 > /tmp/SMTS26250-35 /bin/sh: line 1: 26379 Quit (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP26250-76 > /tmp/SMTS26250-77 /bin/sh: line 1: 26385 Quit (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP26250-58 > /tmp/SMTS26250-59 /bin/sh: line 1: 26358 Quit (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP26250-27 > /tmp/SMTS26250-29 /bin/sh: line 1: 26454 Killed z3 -T:6.936 -smt2 /tmp/SMTP26250-86 > /tmp/SMTS26250-87