relabel-overlap issue
improve the output of this
ltl2tgba -x relabel-overlap=7 -f '(G(!(G(p16) U G(p5))))&&((p5&&!p3&&p4&&!p2)) && ((p16&&!p14&&p5&&p15)) && (p5) && (p16) && (X(p5)) && (X(!(p2&&!p3&&p4&&!p5))) && (X(!(p3&&p4&&!p5))) && (X(X(!(p3&&!p5)))) && (X(X(!(p2&&!p3&&!p5)))) && (X(X(p5))) && (X((!p14&&p5))) && (X(X((!p14&&p5)))) && (F(G(p5))) && (F(G(!p16))) && (G((!p2||p3||p5))) && (G((!p3||p5))) && (G((!p2||p3||!p4||p5))) && (G((!p3||!p4||p5)))'
ltl2tgba -x relabel-overlap=8 -f '(G(!(G(p16) U G(p5))))&&((p5&&!p3&&p4&&!p2)) && ((p16&&!p14&&p5&&p15)) && (p5) && (p16) && (X(p5)) && (X(!(p2&&!p3&&p4&&!p5))) && (X(!(p3&&p4&&!p5))) && (X(X(!(p3&&!p5)))) && (X(X(!(p2&&!p3&&!p5)))) && (X(X(p5))) && (X((!p14&&p5))) && (X(X((!p14&&p5)))) && (F(G(p5))) && (F(G(!p16))) && (G((!p2||p3||p5))) && (G((!p3||p5))) && (G((!p2||p3||!p4||p5))) && (G((!p3||!p4||p5)))'