/bin/sh: line 1:  2425 Quit                    (core dumped) z3 -T:11.745000000000001 -smt2 /tmp/SMTP2269-52 > /tmp/SMTS2269-53
/bin/sh: line 1:  2463 Quit                    (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP2269-112 > /tmp/SMTS2269-113
/bin/sh: line 1:  2432 Quit                    (core dumped) z3 -T:11.745000000000001 -smt2 /tmp/SMTP2269-46 > /tmp/SMTS2269-47
/bin/sh: line 1:  2419 Quit                    (core dumped) z3 -T:6.264 -smt2 /tmp/SMTP2269-82 > /tmp/SMTS2269-83
/bin/sh: line 1:  2457 Quit                    (core dumped) z3 -T:11.745000000000001 -smt2 /tmp/SMTP2269-50 > /tmp/SMTS2269-51
/bin/sh: line 1:  2351 Quit                    (core dumped) z3 -T:11.745000000000001 -smt2 /tmp/SMTP2269-22 > /tmp/SMTS2269-25
/bin/sh: line 1:  2376 Quit                    (core dumped) z3 -T:11.745000000000001 -smt2 /tmp/SMTP2269-16 > /tmp/SMTS2269-17
/bin/sh: line 1:  2503 Killed                  z3 -T:11.745000000000001 -smt2 /tmp/SMTP2269-44 > /tmp/SMTS2269-45
/bin/sh: line 1:  2524 Killed                  z3 -T:7.048 -smt2 /tmp/SMTP2269-110 > /tmp/SMTS2269-111