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(ms(C,A,B),0,[],[A+ -B>=0,2*B>= -1,A>=0,C>=0]). %eq(ms(A,B,E),40,[ms(A,B,C),ms(A,D,E)],[B+E+ -2*D>= -2,B+E+ -2*F>= -2,-B+ -E+2*D>=0,-B+ -E+2*F>=0,-B+E>=1,B>=0,A>=0,C+ -F= -1]). %eq(ms(A,B,E),40,[ms(A,B,C),ms(A,D,E),m1(A,E,C,B,B,F)],[B+E+ -2*D>= -2,B+E+ -2*F>= -2,-B+ -E+2*D>=0,-B+ -E+2*F>=0,-B+E>=1,B>=0,A>=0,C+ -F= -1]). entry(m1(A,B,C,D,E,F):[1*E>=0,1*B+1*E+ -2*F>= -2,1*B+ -1*E>=1,-1*B+ -1*E+2*F>=0,1*A>=0,1*C+ -1*F= -1,1*D+ -1*E=0]). eq(m1(A,B,C,H,E,G),15,[m1(A,B,C,D,E,F)],[-C+E>=1,B+ -D>= -1,B>=1,A>=0,G+ -F= -1,H+ -D= -1]). eq(m1(A,B,C,G,H,F),19,[m1(A,B,C,D,E,F)],[B+ -G>=0,C+ -E>= -1,-B+F>=1,B>=1,A>=0,G+ -D= -1,H+ -E= -1]). eq(m1(A,B,C,G,E,H),25,[m1(A,B,C,D,E,F)],[B+ -G>=0,B+ -F>= -1,C+ -E>=0,B>=1,A>=0,G+ -D= -1,H+ -F= -1]). eq(m1(A,B,C,G,H,F),26,[m1(A,B,C,D,E,F)],[B+ -G>=0,B+ -F>=0,C+ -E>= -1,B>=1,A>=0,H+ -E= -1,G+ -D= -1]). eq(m1(C,A,D,B,E,F),3,[],[-A+B>=1,A>=1,C>=0]). %eq(m3(A,C),11,[m3(A,B)],[A>=1,A+ -C>=0,C>=0,C+ -B= -1]). %eq(m3(A,B),3,[],[-A+B>=1,A>=1]). File Entry IEntry # Compute Upper Bound (Normal) Upper Bound (series) Lower Bound (series)