PUBS: A Practical Upper Bounds Solver
Please follow these steps (more details in the help section):

Step 1: Provide a Cost Equation System.
Step 2: Provide an Entry or leave it empty and the solver will take the first equation as an entry. Also select the type of Computation.
Step 3: Click on the Solve button.

 CES eq(multiply(A,B),0,[m6(A,B)],[]). eq(m0(A,B),3,[m1(A,B,C,D)],[A>=1,A+ -C>=0,C>=0,A+ -D=0,B+ -C=0]). eq(m2(A,B),3,[m3(A,B,C,D)],[C>=0,A+ -D=0,B+ -C=0]). eq(m4(A,B,C),3,[m5(A,B,C,D,E)],[B+ -E=0,C+ -D=0]). eq(m6(A,B),0,[m7(A,B)],[]). eq(m8,0,[],[]). eq(m9(A,B),0,[],[]). eq(n0(A,B),0,[],[]). eq(n1(A,B),0,[],[]). eq(m5(A,B,C,D,E),0,[n2(A,B,C,D,E)],[]). eq(m5(C,D,E,A,B),0,[m9(A,B)],[]). eq(m3(A,B,C,D),0,[n3(A,B,C,D)],[]). eq(m3(C,D,A,B),0,[n0(A,B)],[]). eq(m1(A,B,C,D),0,[n4(A,B,C,D)],[]). eq(m1(C,D,A,B),0,[n1(A,B)],[]). eq(n2(A,C,E,G,F),4,[m4(A,C,D),m2(A,B)],[C+ -D>=0,E+ -D= -1,B=0,C+ -F=0,G+ -D= -1]). eq(n3(A,E,D,F),4,[m2(A,C),m0(A,B)],[A+ -C>=0,C>=1,D+ -C= -1,E+ -C= -1,B=0,A+ -F=0]). eq(m7(E,D),14,[m8,m4(A,B,C)],[D+ -B=0,C=0,E+ -A=0]). eq(n4(A,C,D,E),24,[m0(A,B)],[A+ -B>=0,B>=1,C+ -B= -1,D+ -B= -1,A+ -E=0]). File Entry IEntry # Compute Upper Bound (Normal) Upper Bound (series) Lower Bound (series)