Test 1:  *** pass
ineq = 10 , var = 5
[-65*x1-63*x2-87*x3+66*x4+10*x5 <= 77, -81*x1+x2+6*x3+23*x4-92*x5 <= -17, -99*x1+43*x2+40*x3-66*x4-21*x5 <= -56, -3*x1+63*x2-22*x3-82*x4+85*x5 <= 70, 37*x1-64*x2+88*x3+29*x4-43*x5 <= -98, 41*x1-38*x2+66*x3+38*x4-28*x5 <= 10, 71*x1-52*x2-34*x3+80*x4+38*x5 <= 75, 25*x1-9*x2-5*x3-77*x4+99*x5 <= 91, 33*x1-5*x2+30*x3-82*x4+97*x5 <= -16, 56*x1+77*x2+48*x3-11*x4+60*x5 <= -58]

Test -:  *****not tested
[2*x1+2*x2-2*x3+2*x4-2*x5+x6-x8+x10 <= -2, -2*x1-x2-2*x3+x4-2*x6-2*x8+x9+2*x10 <= 0, -x2-x3-2*x4+2*x6+2*x7+x8-x10 <= -2, 2*x4+2*x5-2*x6+2*x7+x8-x9-x10 <= 2, -2*x1-2*x2+2*x4+x5-x6+x7-2*x8+2*x9+x10 <= 2, -x1+x2-2*x3+2*x4-x5+x6+2*x7-2*x10 <= 1, -2*x2+2*x3-2*x5-x6+2*x7+x8-2*x10 <= -2, x1+2*x2-x3-2*x4-x8-2*x10 <= -2, x1-x2-x4-x6+2*x7+2*x8-x10 <= 2, -2*x3-x4-x5+x6+2*x7-2*x10 <= -1]

Test 2: *** core dump

ineq = 17 , var = 10
l := [2*x2+8*x3+2*x4+9*x5+6*x6-3*x7-3*x9+x10 <= 1, -x1-6*x2-6*x3+9*x4+x6+4*x7+2*x8-10*x10 <= 7, -4*x1+5*x3+9*x4-5*x5+10*x6-8*x7+9*x8+8*x9-9*x10 <= 1, -6*x1+9*x2+6*x3+8*x4-7*x5-5*x6-2*x7+9*x8+7*x9-2*x10 <= -8, -8*x1-8*x2-9*x3+2*x4+5*x5+4*x6+7*x7-x8+9*x9-x10 <= 10, -9*x1+4*x2+6*x3-x4-5*x5+4*x6-5*x7-6*x8+3*x9+6*x10 <= 0, -7*x1-8*x2-x3-8*x4-5*x5+5*x6-x7+3*x8+x9+5*x10 <= -5, -6*x1-6*x2+9*x3+9*x4+4*x5+10*x6+9*x7-7*x8-2*x9+6*x10 <= -3, -8*x1+9*x2+7*x3+6*x4-5*x5-2*x6-6*x7+x8+2*x9+9*x10 <= 9, 2*x1+8*x2+8*x3-8*x4-9*x6-4*x7-8*x8-3*x9-2*x10 <= -7, x1+9*x2-2*x3+6*x4-8*x5-7*x6+x7+2*x8-7*x9-x10 <= 7, 10*x1+6*x2+10*x3+3*x4-x5-6*x6-7*x7-8*x8-6*x9-7*x10 <= -1, 7*x1+2*x2-8*x3-x5+7*x6+10*x7-6*x8-3*x10 <= -2, 6*x1-4*x2-9*x3-6*x4+10*x5-2*x6+5*x7+3*x8+8*x9-x10 <= -3, 10*x1-10*x2+4*x3+10*x4-10*x5+5*x6-4*x7+6*x8+4*x9-x10 <= 4, 7*x1+8*x2+x3-6*x4-4*x5+4*x6+x7-9*x8-7*x9 <= -3, 4*x1+3*x2-8*x3-7*x4+7*x5-10*x6+2*x7-x8+9*x9+x10 <= 3]

Test 3:  **pass
ineq = 12 , var = 10

l := [-7*x2+2*x3+9*x4-3*x6-9*x7-5*x8+x9-10*x10 <= -5, -8*x1-4*x2-3*x3+9*x5-5*x6+2*x7+3*x8-3*x9-3*x10 <= -2, -8*x1-7*x2-8*x3-x4-8*x5+7*x6-8*x7+9*x8+7*x9-x10 <= -1, -7*x1+x2-8*x3+4*x4+4*x5-7*x6+5*x7-10*x8-4*x9 <= 0, -5*x1-5*x2-2*x3+x4-x5+x6+3*x7+3*x9+3*x10 <= 9, -5*x1-9*x2-7*x4-2*x5+5*x6-2*x7-3*x8+7*x9+6*x10 <= 8, -5*x1-x2+2*x3+2*x4-2*x5-5*x6+9*x7+9*x8+4*x9+10*x10 <= -9, 7*x1-x2+2*x3+4*x4-9*x5+x6-3*x7+6*x8-8*x9-4*x10 <= -1, 10*x1+3*x2+8*x3+2*x4-x5+3*x6-8*x7-6*x8+4*x9-3*x10 <= -1, 8*x1+9*x2+6*x3-7*x4+2*x5-6*x6+10*x7+7*x8-4*x9-2*x10 <= -7, 3*x1+x2+4*x3+8*x4+10*x5+4*x6-3*x7-9*x8-7*x9+2*x10 <= -5, 3*x1+3*x2+x3-9*x4+x5-9*x6+x7-2*x8-6*x9+10*x10 <= 1]

N1Test:

ineq = 95 , var = 53

l:=[-i9 <= 0, i9 <= 1, -i8 <= 0, i8 <= 1, -i7 <= 0, i7 <= 1, -i6 <= 0, i6 <= 1, -i52 <= 0, -i51 <= 0, -i5 <= 0, i5 <= 1, -i49 <= 0, -i48 <= 0, -i47 <= 0, -i46 <= 0, -i45 <= 0, -i43-i51+i52 <= 0, -i43 <= 0, -i41-i49+i50 <= 0, -i4 <= 0, i4 <= 1, -i39-i47+i48 <= 0, -i39 <= 0, -i37-i45+i46 <= 0, -i37 <= 0, -i35 <= 0, -i35+i44+i49-i50+i9 <= 0, -i35+i44+i49-i50+i51-i52+i8 <= 0, i35-i44-i51+i52+i7 <= 0, i35-i44+i6 <= 0, i35-i44+i5 <= 0, i35+i4-i44+i51-i52 <= 0, -i34 <= 0, i34 <= 1, -i33 <= 0, i33 <= 1, -i32 <= 0, i32 <= 1, -i31 <= 0, i31 <= 1, -i30 <= 0, i30 <= 1, -i3 <= 0, i3 <= 1, i3+i49-i50 <= 0, -i29 <= 0, i29 <= 1, -i28 <= 0, i28 <= 1, -i27 <= 0, i27 <= 1, -i26 <= 0, i26 <= 1, -i25 <= 0, i25 <= 1, -i24 <= 0, i24 <= 1, -i23 <= 0, i23 <= 1, -i22 <= 0, i22 <= 1, -i21 <= 0, i21 <= 1, -i20 <= 0, i20 <= 1, -i2 <= 0, -i19 <= 0, i19 <= 1, -i18 <= 0, i18 <= 1, -i17 <= 0, i17 <= 1, -i16 <= 0, i16 <= 1, -i15 <= 0, i15-i35+i44+i49-i50 <= 0, i15 <= 1, -i14 <= 0, i14 <= 1, i14+i35-i44+i51-i52 <= 0, -i13 <= 0, i13 <= 1, i13+i35-i44 <= 0, -i12 <= 0, i12 <= 1, i12+i35-i44-i51+i52 <= 0, -i11 <= 0, i11 <= 1, i11+i49-i50 <= 0, -i10 <= 0, i10-i35+i44+i49-i50-i51+i52 <= 0, i10 <= 1, -i1 <= 0, -i0 <= 0]

Test 4:

ineq = 8 , var = 4

Test 5:

ineq = 10 , var = 5

[15*x2+16*x3-2*x4-2*x5 <= 17, -x2-2*x3+12*x4+13*x5-3*x1 <= 7, -10*x3-x4+11*x5-3*x1 <= 4, 14*x3+11*x4-10*x5-4*x1 <= 17, 16*x2+6*x3-x4-4*x5-8*x1 <= -5, 10*x1-8*x2+4*x3-3*x4+7*x5 <= 2, 11*x1-3*x2-x3-7*x4+10*x5 <= 8, 5*x1+14*x3-x4+18*x5 <= 17, 10*x1+20*x2+7*x3+6*x4-8*x5 <= -8, 7*x1+16*x2-9*x3+8*x4+15*x5 <= 2]

Test 6:  ***very large projection of w0, memory problem

ineq = 30 , var = 20

[-x1-97*x10*(1/67)+74*x11*(1/67)+83*x12*(1/67)+86*x13*(1/67)-23*x14*(1/67)+48*x15*(1/67)+95*x16*(1/67)+56*x17*(1/67)+98*x18*(1/67)+84*x19*(1/67)-36*x2*(1/67)-21*x20*(1/67)-25*x3*(1/67)+9*x4*(1/67)+26*x5*(1/67)-56*x6*(1/67)-37*x7*(1/67)-77*x8*(1/67)-29*x9*(1/67) <= 63/67, -x1-85*x10*(1/71)-24*x11*(1/71)+67*x12*(1/71)-99*x13*(1/71)+73*x14*(1/71)-16*x15*(1/71)-(1/71)*x16-5*x17*(1/71)+33*x18*(1/71)+25*x19*(1/71)-78*x2*(1/71)-91*x20*(1/71)+38*x3*(1/71)+57*x4*(1/71)-88*x5*(1/71)+65*x6*(1/71)+43*x7*(1/71)+87*x8*(1/71)-21*x9*(1/71) <= 10/71, -x1-67*x10*(1/74)+89*x11*(1/74)-48*x12*(1/37)-21*x13*(1/74)-26*x14*(1/37)-75*x15*(1/74)+34*x16*(1/37)+28*x17*(1/37)+20*x18*(1/37)+9*x19*(1/37)+17*x2*(1/74)+43*x20*(1/37)-7*x3*(1/37)+79*x4*(1/74)+10*x5*(1/37)+27*x6*(1/37)+53*x7*(1/74)+45*x8*(1/37)+33*x9*(1/74) <= -57/74, -x1-3*x10*(1/8)-21*x11*(1/20)-23*x12*(1/10)-(1/10)*x13+29*x14*(1/40)+7*x15*(1/20)+3*x16*(1/8)+8*x17*(1/5)-41*x18*(1/40)-59*x19*(1/40)+27*x2*(1/20)-33*x20*(1/20)-3*x3*(1/40)+7*x4*(1/20)-13*x5*(1/8)+11*x6*(1/20)+(1/5)*x7-3*x8*(1/20)+51*x9*(1/40) <= -19/40, -x1-26*x10*(1/95)-77*x11*(1/95)+7*x12*(1/95)-4*x13*(1/95)+12*x14*(1/95)-47*x15*(1/95)+8*x16*(1/19)+97*x17*(1/95)-17*x18*(1/19)+33*x19*(1/95)+72*x2*(1/95)-47*x20*(1/95)-21*x3*(1/95)-7*x4*(1/19)-78*x5*(1/95)-17*x6*(1/19)-93*x7*(1/95)+88*x8*(1/95)+37*x9*(1/95) <= -10/19, -x1+(1/87)*x10+32*x11*(1/87)-80*x12*(1/87)-26*x13*(1/29)-(1/3)*x14+43*x15*(1/87)-24*x16*(1/29)-91*x17*(1/87)+37*x18*(1/87)-21*x19*(1/29)+76*x2*(1/87)+53*x20*(1/87)-86*x3*(1/87)+16*x4*(1/87)+83*x5*(1/87)-80*x6*(1/87)+3*x7*(1/29)-55*x8*(1/87)-76*x9*(1/87) <= -1/3, -x1+37*x10*(1/97)-50*x11*(1/97)+72*x12*(1/97)+65*x13*(1/97)+29*x14*(1/97)+(1/97)*x15+20*x16*(1/97)-62*x17*(1/97)-99*x18*(1/97)+26*x19*(1/97)+12*x2*(1/97)-93*x20*(1/97)+8*x3*(1/97)+23*x4*(1/97)+40*x5*(1/97)+85*x6*(1/97)-13*x7*(1/97)+42*x8*(1/97)-85*x9*(1/97) <= 93/97, -x1+32*x10*(1/79)-40*x12*(1/79)+98*x13*(1/79)-35*x14*(1/79)+2*x15*(1/79)-42*x16*(1/79)+6*x17*(1/79)-77*x18*(1/79)+17*x19*(1/79)-82*x2*(1/79)-94*x20*(1/79)+24*x3*(1/79)-51*x4*(1/79)+93*x5*(1/79)-19*x6*(1/79)+93*x7*(1/79)-70*x8*(1/79)-24*x9*(1/79) <= 28/79, -x1+(1/2)*x10+47*x11*(1/19)-21*x12*(1/38)-2*x13+47*x14*(1/38)+59*x15*(1/38)-9*x16*(1/19)-(1/2)*x17+85*x18*(1/38)-12*x19*(1/19)-13*x2*(1/38)-55*x20*(1/38)-28*x3*(1/19)+14*x4*(1/19)-12*x5*(1/19)+33*x6*(1/19)+61*x7*(1/38)-81*x8*(1/38)-27*x9*(1/19) <= -21/19, -x1+52*x10*(1/35)+92*x11*(1/35)-94*x12*(1/35)-2*x13*(1/35)-11*x14*(1/7)-4*x15*(1/35)-64*x16*(1/35)-19*x17*(1/35)-62*x18*(1/35)-4*x19*(1/7)+2*x2*(1/7)-38*x20*(1/35)+4*x3*(1/5)-11*x4*(1/35)+(1/35)*x5+51*x6*(1/35)-58*x7*(1/35)-36*x8*(1/35)-27*x9*(1/35) <= 62/35, -x1+43*x10*(1/27)-17*x11*(1/18)-5*x12*(1/9)+5*x13*(1/6)-95*x14*(1/54)+2*x15*(1/9)+31*x16*(1/27)+47*x17*(1/54)+13*x18*(1/18)+59*x19*(1/54)+46*x2*(1/27)-5*x20*(1/6)+67*x3*(1/54)-77*x4*(1/54)-19*x5*(1/18)+7*x6*(1/18)-5*x7*(1/9)-3*x8*(1/2)+4*x9*(1/9) <= -97/54, -x1+82*x10*(1/49)-85*x11*(1/49)+8*x12*(1/49)+57*x13*(1/49)-x14+45*x15*(1/49)+80*x16*(1/49)-17*x17*(1/49)-17*x18*(1/49)+20*x19*(1/49)-13*x2*(1/49)-68*x20*(1/49)+39*x3*(1/49)-45*x4*(1/49)-65*x5*(1/49)-8*x6*(1/49)-17*x7*(1/49)-x8-61*x9*(1/49) <= -45/49, x1-47*x10*(1/3)+86*x11*(1/3)+31*x12+24*x13+92*x14*(1/3)-4*x15*(1/3)-28*x16*(1/3)+55*x17*(1/3)+23*x18+71*x19*(1/3)+10*x2*(1/3)-38*x20*(1/3)+4*x3*(1/3)+33*x4-82*x5*(1/3)-3*x6-10*x7*(1/3)+94*x8*(1/3)+2*x9 <= -7, x1-3*x10+19*x11*(1/17)+14*x12*(1/17)-78*x13*(1/17)-42*x14*(1/17)+42*x15*(1/17)+53*x16*(1/17)-39*x17*(1/17)+32*x18*(1/17)-63*x19*(1/17)-99*x2*(1/17)+32*x20*(1/17)+(1/17)*x3-98*x4*(1/17)+25*x5*(1/17)+10*x6*(1/17)+83*x7*(1/17)+90*x8*(1/17)-10*x9*(1/17) <= 20/17, x1-23*x10*(1/8)-5*x11*(1/6)+23*x12*(1/12)-85*x13*(1/24)-19*x14*(1/6)-(1/2)*x15-5*x16*(1/2)-15*x17*(1/8)+25*x18*(1/8)-41*x19*(1/12)+19*x2*(1/24)+31*x20*(1/12)+5*x3*(1/3)+11*x4*(1/3)-7*x5*(1/24)-97*x6*(1/24)+29*x7*(1/12)+11*x8*(1/6)-49*x9*(1/24) <= -17/6, x1-59*x10*(1/41)+81*x11*(1/41)+95*x12*(1/41)-35*x13*(1/41)-28*x14*(1/41)+24*x15*(1/41)+4*x16*(1/41)+83*x17*(1/41)-32*x18*(1/41)+85*x19*(1/41)-81*x2*(1/41)-47*x20*(1/41)+18*x3*(1/41)+45*x4*(1/41)+26*x5*(1/41)+34*x6*(1/41)+32*x7*(1/41)+35*x8*(1/41)+58*x9*(1/41) <= -57/41, x1-85*x10*(1/72)+7*x11*(1/72)-7*x12*(1/8)+43*x13*(1/72)+23*x14*(1/36)-5*x15*(1/36)-35*x16*(1/36)+73*x17*(1/72)-4*x18*(1/3)-17*x19*(1/72)+7*x2*(1/9)+55*x20*(1/72)-37*x3*(1/36)-49*x4*(1/36)+4*x5*(1/3)+3*x6*(1/4)-(1/36)*x7+37*x8*(1/72)+25*x9*(1/18) <= 47/36, x1-62*x10*(1/69)+68*x11*(1/69)-18*x12*(1/23)-20*x13*(1/23)+9*x14*(1/23)-16*x15*(1/69)-28*x16*(1/23)-4*x17*(1/69)+58*x18*(1/69)+100*x19*(1/69)-4*x2*(1/23)+16*x20*(1/23)+52*x3*(1/69)+24*x4*(1/23)+32*x5*(1/23)+(1/69)*x6-95*x7*(1/69)+21*x8*(1/23)+9*x9*(1/23) <= 33/23, x1-52*x10*(1/59)-72*x11*(1/59)-71*x12*(1/59)+63*x13*(1/59)+92*x14*(1/59)+12*x15*(1/59)-79*x16*(1/59)+72*x17*(1/59)+78*x18*(1/59)-18*x19*(1/59)-52*x2*(1/59)+17*x20*(1/59)+64*x3*(1/59)+45*x4*(1/59)-27*x5*(1/59)-63*x6*(1/59)-(1/59)*x7+9*x8*(1/59)-72*x9*(1/59) <= 98/59, x1-35*x10*(1/48)-29*x11*(1/32)+5*x12*(1/32)+13*x13*(1/48)+61*x14*(1/96)+7*x15*(1/8)-23*x16*(1/48)+25*x17*(1/48)-9*x18*(1/32)+15*x19*(1/32)+23*x2*(1/32)-43*x20*(1/96)+11*x3*(1/48)+73*x4*(1/96)-(1/8)*x5+11*x6*(1/48)-19*x7*(1/96)+79*x8*(1/96)-17*x9*(1/24) <= -61/96, x1-8*x10*(1/13)-77*x11*(1/39)-16*x12*(1/39)+29*x13*(1/39)+43*x14*(1/39)+62*x15*(1/39)-37*x16*(1/39)-23*x17*(1/39)+35*x18*(1/39)+61*x19*(1/39)-11*x2*(1/39)+47*x20*(1/39)+20*x3*(1/13)+31*x4*(1/13)-83*x5*(1/39)+18*x6*(1/13)+2*x7*(1/3)-22*x8*(1/39)-68*x9*(1/39) <= -11/39, x1-4*x10*(1/33)-2*x11*(1/33)+38*x12*(1/33)-53*x13*(1/66)-4*x14*(1/3)-31*x15*(1/33)+5*x16*(1/11)-59*x17*(1/66)+5*x18*(1/11)+40*x19*(1/33)+15*x2*(1/22)+31*x20*(1/66)-32*x3*(1/33)-95*x4*(1/66)-2*x5*(1/3)+(1/11)*x6-10*x7*(1/33)-43*x8*(1/33)-9*x9*(1/11) <= 10/11, x1-9*x10*(1/100)-41*x11*(1/50)-33*x12*(1/100)+89*x13*(1/100)-12*x14*(1/25)+(1/10)*x15+(1/4)*x16-3*x17*(1/100)-53*x18*(1/100)+(1/100)*x19+19*x2*(1/50)+21*x20*(1/100)+2*x3*(1/25)+(1/10)*x4-x5-77*x6*(1/100)-93*x7*(1/100)-9*x8*(1/50)-63*x9*(1/100) <= -4/5, x1+5*x10*(1/13)-7*x11*(1/78)-44*x12*(1/39)-7*x13*(1/78)-41*x14*(1/78)-(1/39)*x15-89*x16*(1/78)-59*x17*(1/78)-25*x18*(1/39)+11*x19*(1/13)-79*x2*(1/78)+44*x20*(1/39)-2*x3*(1/39)+31*x4*(1/26)+29*x5*(1/78)+23*x6*(1/39)+8*x7*(1/13)-31*x8*(1/26)+23*x9*(1/26) <= 3/13, x1+47*x10*(1/98)+19*x11*(1/49)-37*x12*(1/98)-25*x13*(1/98)-6*x14*(1/49)+(1/49)*x15-59*x16*(1/98)-10*x17*(1/49)-5*x18*(1/14)-17*x19*(1/98)-4*x2*(1/49)-4*x20*(1/49)+95*x3*(1/98)+41*x4*(1/98)-47*x5*(1/98)-(1/49)*x6-83*x7*(1/98)+11*x8*(1/98)-26*x9*(1/49) <= 53/98, x1+17*x10*(1/25)+4*x11*(1/3)+16*x12*(1/25)+22*x13*(1/25)-(1/5)*x14+61*x15*(1/75)-32*x16*(1/75)-16*x17*(1/75)+67*x18*(1/75)-17*x19*(1/75)-26*x2*(1/25)-21*x20*(1/25)+(1/5)*x3+8*x4*(1/15)+62*x5*(1/75)-12*x6*(1/25)-12*x7*(1/25)-x8-7*x9*(1/25) <= -1/75, x1+14*x10*(1/15)+61*x11*(1/45)+43*x12*(1/45)-8*x13*(1/15)+(1/45)*x14-91*x15*(1/45)+8*x16*(1/9)+82*x17*(1/45)+7*x18*(1/9)+2*x19*(1/9)+8*x2*(1/5)+28*x20*(1/45)+(1/15)*x3+31*x4*(1/15)-2*x5*(1/45)+7*x6*(1/15)+46*x7*(1/45)-29*x8*(1/15)+77*x9*(1/45) <= -16/15, x1+21*x10*(1/17)-97*x11*(1/68)+11*x12*(1/34)-14*x13*(1/17)-16*x14*(1/17)-(1/34)*x15+87*x16*(1/68)-83*x17*(1/68)+35*x18*(1/34)-37*x19*(1/68)+39*x2*(1/34)+3*x20*(1/34)-22*x3*(1/17)+3*x4*(1/68)-18*x5*(1/17)+41*x6*(1/68)-(1/4)*x7+23*x8*(1/17)-9*x9*(1/68) <= -1/17, x1+71*x10*(1/26)-77*x11*(1/26)+83*x12*(1/26)+11*x13*(1/13)-44*x14*(1/13)+12*x15*(1/13)+17*x16*(1/26)+29*x17*(1/26)+25*x18*(1/13)-21*x19*(1/13)+19*x2*(1/13)+77*x20*(1/26)-37*x3*(1/26)+31*x4*(1/13)+17*x5*(1/13)+15*x6*(1/26)+55*x7*(1/26)-37*x8*(1/13)-3*x9*(1/26) <= -71/26, x1+3*x10-5*x11*(1/33)-19*x12*(1/11)+56*x13*(1/33)+9*x14*(1/11)-82*x15*(1/33)+8*x16*(1/11)+25*x17*(1/11)+4*x18*(1/11)-74*x19*(1/33)-25*x2*(1/11)+x20-5*x3*(1/33)+12*x4*(1/11)+8*x5*(1/3)-67*x6*(1/33)+13*x7*(1/33)+26*x8*(1/33)+32*x9*(1/33) <= 10/33]


Test 6:

ineq = 20 , var = 10

r := [-13*x1-48*x2+50*x3+96*x4-80*x5-94*x6+81*x7+99*x8+21*x9-48*x10 <= 70, -392*x1-882*x2-1050*x3+406*x4-434*x5+602*x6-1218*x7-700*x8-56*x9-1232*x10 <= 1372, -676*x1-1105*x2+221*x3+533*x4+1261*x5-936*x6+1300*x7-1014*x8-325*x9-1274*x10 <= 507, -78*x1-43*x2+50*x3-66*x4-4*x5-58*x6+70*x7-85*x8-26*x9-75*x10 <= -77, -80*x1+60*x2+86*x3+9*x4+21*x5-9*x6+43*x7+98*x8+31*x9-35*x10 <= 98, -100*x1-44*x2-86*x3-39*x4-86*x5+92*x6+42*x7-10*x8+2*x9-28*x10 <= -3, -43*x1+30*x2-39*x3-58*x4+97*x5-100*x6-16*x7+93*x8-67*x9+12*x10 <= 79, -28*x1+42*x2+60*x3-19*x4+73*x5-65*x6+10*x7-4*x8+36*x9+11*x10 <= 43, -50*x1+82*x2-34*x3-65*x4+5*x5+75*x6-93*x7-29*x8-39*x9+95*x10 <= -52, 56*x1+17*x2-89*x3+10*x4+49*x5-98*x6+84*x7-46*x8+94*x9-90*x10 <= 62, 55*x1+67*x2-93*x3-94*x4-60*x5-63*x6+79*x7+11*x8+13*x9-75*x10 <= -20, 86*x1+75*x2-80*x3-53*x4+45*x5-88*x6-13*x7-56*x8+43*x9-83*x10 <= 4, 90*x1-12*x2-50*x3-58*x4-20*x5+5*x6+40*x7-16*x8-27*x9+4*x10 <= 2, 924*x1+468*x2-744*x3+972*x4-792*x5+408*x6+600*x7+1080*x8-624*x9+132*x10 <= 732, 96*x1+41*x2-45*x3-38*x4-83*x5-57*x6+34*x7+25*x8-70*x9+21*x10 <= -84, 36*x1-21*x2-96*x3-24*x5-69*x6+96*x7-17*x8-79*x9+12*x10 <= -40, 324*x1+256*x2-152*x3-260*x4-276*x5+76*x6+68*x7+100*x8-264*x9+208*x10 <= 236, 24*x1-15*x2-88*x3-89*x4+10*x5-59*x6-48*x7+9*x8+2*x9+18*x10 <= 87, 68*x1+37*x2+72*x3-47*x4+30*x5-54*x6+83*x7+36*x8+21*x9+59*x10 <= 67, 47*x1-74*x2-77*x3-92*x4+35*x5+14*x6+13*x7+34*x8+78*x9+56*x10 <= 54]

Test 7
 ineq = 8 , var = 5

 [-9*x1-55*x2+61*x3+95*x4-52*x5 <= 88, -69*x1-16*x2-33*x3+16*x4+86*x5 <= -61, -83*x1+45*x2-50*x3-67*x4+17*x5 <= 15, -96*x1+85*x2-98*x3-15*x4+82*x5 <= -97, 6*x1-62*x2+44*x3-51*x4-23*x5 <= 47, 20*x1-13*x2-22*x3-75*x4+54*x5 <= -18, 94*x1-15*x2+60*x3+82*x4-84*x5 <= 52, 85*x1+56*x2-36*x3+56*x4+27*x5 <= 62]

 Test 8:

 ineq = 10  , var = 7

 [-17 x0 - 79 x1 + 12 x2 - 40 x3 - 43 x4 + 30 x5 - 39 x6 <= 0, -83 x0 - 57 x1 + 34 x2 + 25 x3 - 70 x4 + 21 x5 - 84 x6 <= -4,-65 x0 + 10 x1 - 4 x2 + 36 x3 + 11 x4 + 43 x5 + 86 x6 <= 37, -66 x0 + 52 x1 + 59 x2 - 78 x3 - 43 x4 + 50 x5 - 66 x6 <= 59,-58 x0 + 70 x1 - 85 x2 - 26 x3 - 75 x4 - 77 x5 + 68 x6 <= -48, 17 x0 - 89 x1 + 10 x2 + 49 x3 - 98 x4 + 84 x5 - 46 x6 <= -38, 81 x0 - 66 x1 + 34 x2 + 50 x3 + 90 x4 - 52 x5 + 11 x6 <= 56, 9 x0 + 2 x1 + 18 x2 + 87 x3 + 96 x4 + 41 x5 - 45 x6 <= 94,67 x0 + 24 x1 - 15 x2 - 88 x3 - 89 x4 + 10 x5 - 59 x6 <= -94, 81 x0 + 99 x1 + 21 x2 - 48 x3 + 70 x4 + 77 x5 + 39 x6 <= 0]


Test 13:
ineq = 19 , var = 9

[-11*x1-717*x2-149*x3+535*x4+112*x5-807*x6+640*x7-324*x8+785*x9 <= -690, -270*x1-890*x2-674*x3+354*x4-996*x5+869*x6+948*x7-371*x8+174*x9 <= 1000, -449*x1-929*x2+76*x3+413*x4-393*x5-491*x6-614*x7-470*x8+501*x9 <= -547, -807*x1-773*x2+512*x3-812*x4+x5-701*x6-572*x7+994*x8-902*x9 <= -786, -647*x1-325*x2+358*x3-214*x4+209*x5+243*x6-318*x7+299*x8+125*x9 <= -782, -596*x1-99*x2-499*x3+781*x4-197*x5-271*x6-319*x7-548*x8-112*x9 <= -928, -357*x1+62*x2+776*x3+974*x4-520*x5-263*x6-501*x7+882*x8-953*x9 <= -594, -432*x1+212*x2-779*x3+888*x4-309*x5+342*x6+34*x7+481*x8-843*x9 <= -22, -976*x1+658*x2+271*x3-160*x4+85*x5-659*x6+814*x7-109*x8+639*x9 <= -684, -753*x1+972*x2+742*x3-94*x4-569*x5+519*x6+180*x7-567*x8+684*x9 <= 369, -16401*x1+27874*x2-17171*x3+30184*x4-24717*x5-16709*x6+3234*x7-73997*x8+34419*x9 <= 37345, 359*x1-700*x2+746*x3+11*x4-709*x5-195*x6-219*x7+446*x8-276*x9 <= -378, 713*x1-863*x2+316*x3-556*x4-103*x5-943*x6+794*x7-284*x8+813*x9 <= 396, 935*x1+506*x2+586*x3+710*x4-887*x5-759*x6+440*x7+778*x8-540*x9 <= -500, 696*x1+496*x2-190*x3-619*x4-141*x5+17*x6-393*x7+303*x8+479*x9 <= -41, 576*x1+489*x2+462*x3-136*x4-9*x5+870*x6+811*x7+267*x8+733*x9 <= -56, 130*x1+147*x2+544*x3-661*x4+793*x5-287*x6-89*x7+420*x8+745*x9 <= 314, 364*x1+421*x2-682*x3+702*x4-862*x5-928*x6-378*x7+195*x8-952*x9 <= -934, 173*x1+467*x2+818*x3+547*x4+71*x5+382*x6+293*x7+555*x8+277*x9 <= 795]

Test14

ineq = 19 , var = 8

l1 := [-152*x1-167*x2-405*x3-396*x4+15*x5+945*x6-66*x7-234*x8 <= -87, -196*x1+797*x2+80*x3-894*x4-664*x5-23*x6+806*x7-442*x8 <= 372, 632*x1-824*x2+71*x3+256*x4-283*x5-988*x6-450*x7-286*x8 <= -870, -703*x1-870*x2+972*x3-762*x4-24*x5-x6+742*x7+738*x8 <= -25, 155*x1+440*x2+788*x3-787*x4+562*x5+909*x6-914*x7+737*x8 <= 971, 144*x1-334*x2-765*x3-19*x4-335*x5+503*x6+214*x7-867*x8 <= -455, 491*x1+469*x2-228*x3-153*x4+240*x5-184*x6-975*x7+448*x8 <= 180, -860*x1-114*x2-302*x3-701*x4+70*x5-296*x6-833*x7+815*x8 <= -769, -189*x1-623*x2-418*x3+555*x4-876*x5-46*x6+739*x7-183*x8 <= -162, 937*x1-483*x2+999*x3-888*x4-838*x5+939*x6+675*x7+695*x8 <= -177, 283*x1-997*x2+392*x3-636*x4+147*x5+420*x6-815*x7-27*x8 <= 111, 125*x1+144*x2+830*x3-231*x4+662*x5-481*x6+985*x7-172*x8 <= 946, 121*x1+394*x2+571*x3-622*x4-124*x5+118*x6+687*x7-659*x8 <= 772, 260*x1-686*x2-224*x3-648*x4-615*x5+650*x6-373*x7-836*x8 <= -941, 489*x1+577*x2-710*x3-270*x4-151*x5-679*x6-890*x7+664*x8 <= -19, -399*x1+381*x2+431*x3-541*x4-702*x5-680*x6-237*x7+353*x8 <= -80, -552*x1-738*x2-9*x3-390*x4-699*x5+760*x6-904*x7-782*x8 <= 60, 361*x1+62*x2+13*x3+360*x4-170*x5-326*x6-349*x7+881*x8 <= -72, -295*x1+809*x2-541*x3-78*x4-874*x5-922*x6+56*x7+356*x8 <= 270]


Test15

ineq = 18 , var = 6
