/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