Skip to content

Instantly share code, notes, and snippets.

@mlubin
Last active August 16, 2016 03:01
Show Gist options
  • Save mlubin/4097be181f60bbd3eea948f344c22db1 to your computer and use it in GitHub Desktop.
Save mlubin/4097be181f60bbd3eea948f344c22db1 to your computer and use it in GitHub Desktop.
ConicIP incorrectly reports infeasible
using ECOS, ConicIP
c = [101.694104,375.559556,242.996185,274.45252,168.179886,271.828411,286.858066,427.461022,120.942543,244.334243,299.824754,210.180312,388.892135,422.59942,286.344197,256.977626,113.64941,200.502313,329.434173,305.032801,266.014052,227.507071,348.05538,256.668778,141.252367,220.980567,300.996731,304.402129,182.737715,118.292891,328.086548,275.544938,249.30281,666.250009,129.036119,257.180466,302.986897,565.452727,213.580365,712.799593,282.103532,503.020468,112.07971,114.749608,376.581031,535.628369,61.305196,506.511515,199.884708,54.876085,318.249896,261.212247,333.560946,287.95327,308.196084,9.2809114,146.600278,378.517476,54.629471,82.980989,243.86939,379.31011,69.320146,395.511019,436.180797,729.454703,299.194726,439.267364,259.43267,504.245329,367.903981,775.329267,143.302061,286.234398,24.004148,76.187937,175.307064,275.846331,32.137771,294.815597,323.149362,499.890448,249.494355,336.089448,189.470927,331.170643,292.570164,531.886787,386.379613,352.257299,589.301628,594.297104,379.093615,145.568442,626.072789,430.497877,557.991213,236.198868,805.161015,665.760784,859.597395,753.979842,774.050309,142.825454,307.532175,459.130143,393.498357,456.637248,129.754087,130.016953,448.089905,522.689053,43.57512,211.607162,161.405278,119.18735,224.403129,273.97111,160.99304,228.486934,192.385344,231.262208,199.435317,125.564074,319.862961,361.83003,166.077648,210.593449,187.457547,329.646138,488.71974,471.981814,351.436831,281.387151,524.904536,417.329145,212.270839,485.495098,145.743575,29.586487,411.558181,565.978851,102.753698,494.327093,350.208261,668.944242,87.504843,221.091196,377.791173,613.626927,124.776586,691.289038,199.209896,78.050657,312.308472,248.797188,343.948992,309.810854,298.61035,35.008053,316.491169,48.541052,520.221192,446.514846,500.223667,397.2998,514.450894,73.805936,143.199334,316.144318,100.44412,168.262323,85.548471,220.939376,142.458516,342.147264,326.864575,724.934847,121.202975,295.308254,301.6135,589.794213,218.038103,769.479403,272.330601,381.237748,203.035914,139.696875,390.600293,482.390513,155.941482,365.868941,25.902741,287.403802,185.875449,175.639571,214.58272,290.154457,205.296512,320.40107,105.364432,337.191117,86.292894,123.417337,182.49599,307.635014,118.359783,361.664938,264.544112,395.999945,579.521668,577.016929,370.995694,243.439633,627.249365,500.283669,446.712124,803.928026,255.240392,423.549445,299.179936,593.483526,335.994745,851.43727,194.095381,408.241084,312.644745,364.848218,97.949711,181.07704,365.935154,470.54359,227.092721,355.334783,487.768455,492.111064,298.829867,195.279168,531.198498,443.749908,414.433159,152.175076,97.803245,498.705496,177.439899,112.258661,290.112578,121.053035,82.936613,355.905279,141.777149,94.909108,288.617137,119.022408,81.06773,337.332309,133.582027,89.157686,360.338888,141.06308,93.611695,424.591178,161.976259,106.110175,85959.7395,85959.7395,85959.7395,85959.7395,85959.7395,85959.7395,85959.7395,85959.7395,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0]
b = [0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0]
con_cones = [(:Zero,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39]),(:NonPos,[40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71]),(:Zero,[72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143]),(:Zero,[144,145,146]),(:Zero,[147,148,149]),(:Zero,[150,151,152]),(:Zero,[153,154,155]),(:Zero,[156,157,158]),(:Zero,[159,160,161]),(:Zero,[162,163,164]),(:Zero,[165,166,167]),(:Zero,[168,169,170]),(:Zero,[171,172,173]),(:Zero,[174,175,176]),(:Zero,[177,178,179]),(:Zero,[180,181,182]),(:Zero,[183,184,185]),(:Zero,[186,187,188]),(:Zero,[189,190,191]),(:Zero,[192,193,194]),(:Zero,[195,196,197]),(:Zero,[198,199,200]),(:Zero,[201,202,203]),(:Zero,[204,205,206]),(:Zero,[207,208,209]),(:Zero,[210,211,212]),(:Zero,[213,214,215]),(:NonPos,[216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479]),(:SOC,[480,481,482]),(:SOC,[483,484,485]),(:SOC,[486,487,488]),(:SOC,[489,490,491]),(:SOC,[492,493,494]),(:SOC,[495,496,497]),(:SOC,[498,499,500]),(:SOC,[501,502,503]),(:SOC,[504,505,506]),(:SOC,[507,508,509]),(:SOC,[510,511,512]),(:SOC,[513,514,515]),(:SOC,[516,517,518]),(:SOC,[519,520,521]),(:SOC,[522,523,524]),(:SOC,[525,526,527]),(:SOC,[528,529,530]),(:SOC,[531,532,533]),(:SOC,[534,535,536]),(:SOC,[537,538,539]),(:SOC,[540,541,542]),(:SOC,[543,544,545]),(:SOC,[546,547,548]),(:SOC,[549,550,551])]
var_cones = [(:NonNeg,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296]),(:NonNeg,[297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368]),(:Free,[369,370,371]),(:Free,[372,373,374]),(:Free,[375,376,377]),(:Free,[378,379,380]),(:Free,[381,382,383]),(:Free,[384,385,386]),(:Free,[387,388,389]),(:Free,[390,391,392]),(:Free,[393,394,395]),(:Free,[396,397,398]),(:Free,[399,400,401]),(:Free,[402,403,404]),(:Free,[405,406,407]),(:Free,[408,409,410]),(:Free,[411,412,413]),(:Free,[414,415,416]),(:Free,[417,418,419]),(:Free,[420,421,422]),(:Free,[423,424,425]),(:Free,[426,427,428]),(:Free,[429,430,431]),(:Free,[432,433,434]),(:Free,[435,436,437]),(:Free,[438,439,440])]
I = [2,10,216,3,10,217,4,10,218,5,10,219,6,10,220,7,10,221,8,10,222,9,10,223,2,11,224,3,11,225,4,11,226,5,11,227,6,11,228,7,11,229,8,11,230,9,11,231,2,12,232,3,12,233,4,12,234,5,12,235,6,12,236,7,12,237,8,12,238,9,12,239,2,13,240,3,13,241,4,13,242,5,13,243,6,13,244,7,13,245,8,13,246,9,13,247,2,14,248,3,14,249,4,14,250,5,14,251,6,14,252,7,14,253,8,14,254,9,14,255,2,15,256,3,15,257,4,15,258,5,15,259,6,15,260,7,15,261,8,15,262,9,15,263,2,16,264,3,16,265,4,16,266,5,16,267,6,16,268,7,16,269,8,16,270,9,16,271,2,17,272,3,17,273,4,17,274,5,17,275,6,17,276,7,17,277,8,17,278,9,17,279,2,18,280,3,18,281,4,18,282,5,18,283,6,18,284,7,18,285,8,18,286,9,18,287,2,19,288,3,19,289,4,19,290,5,19,291,6,19,292,7,19,293,8,19,294,9,19,295,2,20,296,3,20,297,4,20,298,5,20,299,6,20,300,7,20,301,8,20,302,9,20,303,2,21,304,3,21,305,4,21,306,5,21,307,6,21,308,7,21,309,8,21,310,9,21,311,2,22,312,3,22,313,4,22,314,5,22,315,6,22,316,7,22,317,8,22,318,9,22,319,2,23,320,3,23,321,4,23,322,5,23,323,6,23,324,7,23,325,8,23,326,9,23,327,2,24,328,3,24,329,4,24,330,5,24,331,6,24,332,7,24,333,8,24,334,9,24,335,2,25,336,3,25,337,4,25,338,5,25,339,6,25,340,7,25,341,8,25,342,9,25,343,2,26,344,3,26,345,4,26,346,5,26,347,6,26,348,7,26,349,8,26,350,9,26,351,2,27,352,3,27,353,4,27,354,5,27,355,6,27,356,7,27,357,8,27,358,9,27,359,2,28,360,3,28,361,4,28,362,5,28,363,6,28,364,7,28,365,8,28,366,9,28,367,2,29,368,3,29,369,4,29,370,5,29,371,6,29,372,7,29,373,8,29,374,9,29,375,2,30,376,3,30,377,4,30,378,5,30,379,6,30,380,7,30,381,8,30,382,9,30,383,2,31,384,3,31,385,4,31,386,5,31,387,6,31,388,7,31,389,8,31,390,9,31,391,2,32,392,3,32,393,4,32,394,5,32,395,6,32,396,7,32,397,8,32,398,9,32,399,2,33,400,3,33,401,4,33,402,5,33,403,6,33,404,7,33,405,8,33,406,9,33,407,2,34,408,3,34,409,4,34,410,5,34,411,6,34,412,7,34,413,8,34,414,9,34,415,2,35,416,3,35,417,4,35,418,5,35,419,6,35,420,7,35,421,8,35,422,9,35,423,2,36,424,3,36,425,4,36,426,5,36,427,6,36,428,7,36,429,8,36,430,9,36,431,2,37,432,3,37,433,4,37,434,5,37,435,6,37,436,7,37,437,8,37,438,9,37,439,2,38,440,3,38,441,4,38,442,5,38,443,6,38,444,7,38,445,8,38,446,9,38,447,2,39,448,3,39,449,4,39,450,5,39,451,6,39,452,7,39,453,8,39,454,9,39,455,40,48,456,40,49,457,40,50,458,41,51,459,41,52,460,41,53,461,42,54,462,42,55,463,42,56,464,43,57,465,43,58,466,43,59,467,44,60,468,44,61,469,44,62,470,45,63,471,45,64,472,45,65,473,46,66,474,46,67,475,46,68,476,47,69,477,47,70,478,47,71,479,72,73,74,96,97,98,120,121,122,75,76,77,99,100,101,123,124,125,78,79,80,102,103,104,126,127,128,81,82,83,105,106,107,129,130,131,84,85,86,108,109,110,132,133,134,87,88,89,111,112,113,135,136,137,90,91,92,114,115,116,138,139,140,93,94,95,117,118,119,141,142,143,2,48,72,2,49,73,2,50,74,3,51,75,3,52,76,3,53,77,4,54,78,4,55,79,4,56,80,5,57,81,5,58,82,5,59,83,6,60,84,6,61,85,6,62,86,7,63,87,7,64,88,7,65,89,8,66,90,8,67,91,8,68,92,9,69,93,9,70,94,9,71,95,72,145,73,148,74,151,75,154,76,157,77,160,78,163,79,166,80,169,81,172,82,175,83,178,84,181,85,184,86,187,87,190,88,193,89,196,90,199,91,202,92,205,93,208,94,211,95,214,96,144,97,147,98,150,99,153,100,156,101,159,102,162,103,165,104,168,105,171,106,174,107,177,108,180,109,183,110,186,111,189,112,192,113,195,114,198,115,201,116,204,117,207,118,210,119,213,120,146,121,149,122,152,123,155,124,158,125,161,126,164,127,167,128,170,129,173,130,176,131,179,132,182,133,185,134,188,135,191,136,194,137,197,138,200,139,203,140,206,141,209,142,212,143,215,144,480,481,145,480,481,146,482,147,483,484,148,483,484,149,485,150,486,487,151,486,487,152,488,153,489,490,154,489,490,155,491,156,492,493,157,492,493,158,494,159,495,496,160,495,496,161,497,162,498,499,163,498,499,164,500,165,501,502,166,501,502,167,503,168,504,505,169,504,505,170,506,171,507,508,172,507,508,173,509,174,510,511,175,510,511,176,512,177,513,514,178,513,514,179,515,180,516,517,181,516,517,182,518,183,519,520,184,519,520,185,521,186,522,523,187,522,523,188,524,189,525,526,190,525,526,191,527,192,528,529,193,528,529,194,530,195,531,532,196,531,532,197,533,198,534,535,199,534,535,200,536,201,537,538,202,537,538,203,539,204,540,541,205,540,541,206,542,207,543,544,208,543,544,209,545,210,546,547,211,546,547,212,548,213,549,550,214,549,550,215,551]
J = [1,1,1,2,2,2,3,3,3,4,4,4,5,5,5,6,6,6,7,7,7,8,8,8,9,9,9,10,10,10,11,11,11,12,12,12,13,13,13,14,14,14,15,15,15,16,16,16,17,17,17,18,18,18,19,19,19,20,20,20,21,21,21,22,22,22,23,23,23,24,24,24,25,25,25,26,26,26,27,27,27,28,28,28,29,29,29,30,30,30,31,31,31,32,32,32,33,33,33,34,34,34,35,35,35,36,36,36,37,37,37,38,38,38,39,39,39,40,40,40,41,41,41,42,42,42,43,43,43,44,44,44,45,45,45,46,46,46,47,47,47,48,48,48,49,49,49,50,50,50,51,51,51,52,52,52,53,53,53,54,54,54,55,55,55,56,56,56,57,57,57,58,58,58,59,59,59,60,60,60,61,61,61,62,62,62,63,63,63,64,64,64,65,65,65,66,66,66,67,67,67,68,68,68,69,69,69,70,70,70,71,71,71,72,72,72,73,73,73,74,74,74,75,75,75,76,76,76,77,77,77,78,78,78,79,79,79,80,80,80,81,81,81,82,82,82,83,83,83,84,84,84,85,85,85,86,86,86,87,87,87,88,88,88,89,89,89,90,90,90,91,91,91,92,92,92,93,93,93,94,94,94,95,95,95,96,96,96,97,97,97,98,98,98,99,99,99,100,100,100,101,101,101,102,102,102,103,103,103,104,104,104,105,105,105,106,106,106,107,107,107,108,108,108,109,109,109,110,110,110,111,111,111,112,112,112,113,113,113,114,114,114,115,115,115,116,116,116,117,117,117,118,118,118,119,119,119,120,120,120,121,121,121,122,122,122,123,123,123,124,124,124,125,125,125,126,126,126,127,127,127,128,128,128,129,129,129,130,130,130,131,131,131,132,132,132,133,133,133,134,134,134,135,135,135,136,136,136,137,137,137,138,138,138,139,139,139,140,140,140,141,141,141,142,142,142,143,143,143,144,144,144,145,145,145,146,146,146,147,147,147,148,148,148,149,149,149,150,150,150,151,151,151,152,152,152,153,153,153,154,154,154,155,155,155,156,156,156,157,157,157,158,158,158,159,159,159,160,160,160,161,161,161,162,162,162,163,163,163,164,164,164,165,165,165,166,166,166,167,167,167,168,168,168,169,169,169,170,170,170,171,171,171,172,172,172,173,173,173,174,174,174,175,175,175,176,176,176,177,177,177,178,178,178,179,179,179,180,180,180,181,181,181,182,182,182,183,183,183,184,184,184,185,185,185,186,186,186,187,187,187,188,188,188,189,189,189,190,190,190,191,191,191,192,192,192,193,193,193,194,194,194,195,195,195,196,196,196,197,197,197,198,198,198,199,199,199,200,200,200,201,201,201,202,202,202,203,203,203,204,204,204,205,205,205,206,206,206,207,207,207,208,208,208,209,209,209,210,210,210,211,211,211,212,212,212,213,213,213,214,214,214,215,215,215,216,216,216,217,217,217,218,218,218,219,219,219,220,220,220,221,221,221,222,222,222,223,223,223,224,224,224,225,225,225,226,226,226,227,227,227,228,228,228,229,229,229,230,230,230,231,231,231,232,232,232,233,233,233,234,234,234,235,235,235,236,236,236,237,237,237,238,238,238,239,239,239,240,240,240,241,241,241,242,242,242,243,243,243,244,244,244,245,245,245,246,246,246,247,247,247,248,248,248,249,249,249,250,250,250,251,251,251,252,252,252,253,253,253,254,254,254,255,255,255,256,256,256,257,257,257,258,258,258,259,259,259,260,260,260,261,261,261,262,262,262,263,263,263,264,264,264,265,265,265,265,265,265,265,265,265,266,266,266,266,266,266,266,266,266,267,267,267,267,267,267,267,267,267,268,268,268,268,268,268,268,268,268,269,269,269,269,269,269,269,269,269,270,270,270,270,270,270,270,270,270,271,271,271,271,271,271,271,271,271,272,272,272,272,272,272,272,272,272,273,273,273,274,274,274,275,275,275,276,276,276,277,277,277,278,278,278,279,279,279,280,280,280,281,281,281,282,282,282,283,283,283,284,284,284,285,285,285,286,286,286,287,287,287,288,288,288,289,289,289,290,290,290,291,291,291,292,292,292,293,293,293,294,294,294,295,295,295,296,296,296,297,297,298,298,299,299,300,300,301,301,302,302,303,303,304,304,305,305,306,306,307,307,308,308,309,309,310,310,311,311,312,312,313,313,314,314,315,315,316,316,317,317,318,318,319,319,320,320,321,321,322,322,323,323,324,324,325,325,326,326,327,327,328,328,329,329,330,330,331,331,332,332,333,333,334,334,335,335,336,336,337,337,338,338,339,339,340,340,341,341,342,342,343,343,344,344,345,345,346,346,347,347,348,348,349,349,350,350,351,351,352,352,353,353,354,354,355,355,356,356,357,357,358,358,359,359,360,360,361,361,362,362,363,363,364,364,365,365,366,366,367,367,368,368,369,369,369,370,370,370,371,371,372,372,372,373,373,373,374,374,375,375,375,376,376,376,377,377,378,378,378,379,379,379,380,380,381,381,381,382,382,382,383,383,384,384,384,385,385,385,386,386,387,387,387,388,388,388,389,389,390,390,390,391,391,391,392,392,393,393,393,394,394,394,395,395,396,396,396,397,397,397,398,398,399,399,399,400,400,400,401,401,402,402,402,403,403,403,404,404,405,405,405,406,406,406,407,407,408,408,408,409,409,409,410,410,411,411,411,412,412,412,413,413,414,414,414,415,415,415,416,416,417,417,417,418,418,418,419,419,420,420,420,421,421,421,422,422,423,423,423,424,424,424,425,425,426,426,426,427,427,427,428,428,429,429,429,430,430,430,431,431,432,432,432,433,433,433,434,434,435,435,435,436,436,436,437,437,438,438,438,439,439,439,440,440]
V = [-1.0229871,-1.0,-1.0,-1.0229871,-1.0,-1.0,-1.0229871,-1.0,-1.0,-1.0229871,-1.0,-1.0,-1.0229871,-1.0,-1.0,-1.0229871,-1.0,-1.0,-1.0229871,-1.0,-1.0,-1.0229871,-1.0,-1.0,-1.0164864,-1.0,-1.0,-1.0164864,-1.0,-1.0,-1.0164864,-1.0,-1.0,-1.0164864,-1.0,-1.0,-1.0164864,-1.0,-1.0,-1.0164864,-1.0,-1.0,-1.0164864,-1.0,-1.0,-1.0164864,-1.0,-1.0,-0.91558112,-1.0,-1.0,-0.91558112,-1.0,-1.0,-0.91558112,-1.0,-1.0,-0.91558112,-1.0,-1.0,-0.91558112,-1.0,-1.0,-0.91558112,-1.0,-1.0,-0.91558112,-1.0,-1.0,-0.91558112,-1.0,-1.0,-0.76816226,-1.0,-1.0,-0.76816226,-1.0,-1.0,-0.76816226,-1.0,-1.0,-0.76816226,-1.0,-1.0,-0.76816226,-1.0,-1.0,-0.76816226,-1.0,-1.0,-0.76816226,-1.0,-1.0,-0.76816226,-1.0,-1.0,-1.3963879,-1.0,-1.0,-1.3963879,-1.0,-1.0,-1.3963879,-1.0,-1.0,-1.3963879,-1.0,-1.0,-1.3963879,-1.0,-1.0,-1.3963879,-1.0,-1.0,-1.3963879,-1.0,-1.0,-1.3963879,-1.0,-1.0,-0.87023479,-1.0,-1.0,-0.87023479,-1.0,-1.0,-0.87023479,-1.0,-1.0,-0.87023479,-1.0,-1.0,-0.87023479,-1.0,-1.0,-0.87023479,-1.0,-1.0,-0.87023479,-1.0,-1.0,-0.87023479,-1.0,-1.0,-0.57060242,-1.0,-1.0,-0.57060242,-1.0,-1.0,-0.57060242,-1.0,-1.0,-0.57060242,-1.0,-1.0,-0.57060242,-1.0,-1.0,-0.57060242,-1.0,-1.0,-0.57060242,-1.0,-1.0,-0.57060242,-1.0,-1.0,-0.82196299,-1.0,-1.0,-0.82196299,-1.0,-1.0,-0.82196299,-1.0,-1.0,-0.82196299,-1.0,-1.0,-0.82196299,-1.0,-1.0,-0.82196299,-1.0,-1.0,-0.82196299,-1.0,-1.0,-0.82196299,-1.0,-1.0,-1.0072971,-1.0,-1.0,-1.0072971,-1.0,-1.0,-1.0072971,-1.0,-1.0,-1.0072971,-1.0,-1.0,-1.0072971,-1.0,-1.0,-1.0072971,-1.0,-1.0,-1.0072971,-1.0,-1.0,-1.0072971,-1.0,-1.0,-0.50753799,-1.0,-1.0,-0.50753799,-1.0,-1.0,-0.50753799,-1.0,-1.0,-0.50753799,-1.0,-1.0,-0.50753799,-1.0,-1.0,-0.50753799,-1.0,-1.0,-0.50753799,-1.0,-1.0,-0.50753799,-1.0,-1.0,-0.62650751,-1.0,-1.0,-0.62650751,-1.0,-1.0,-0.62650751,-1.0,-1.0,-0.62650751,-1.0,-1.0,-0.62650751,-1.0,-1.0,-0.62650751,-1.0,-1.0,-0.62650751,-1.0,-1.0,-0.62650751,-1.0,-1.0,-0.97366002,-1.0,-1.0,-0.97366002,-1.0,-1.0,-0.97366002,-1.0,-1.0,-0.97366002,-1.0,-1.0,-0.97366002,-1.0,-1.0,-0.97366002,-1.0,-1.0,-0.97366002,-1.0,-1.0,-0.97366002,-1.0,-1.0,-1.2613593,-1.0,-1.0,-1.2613593,-1.0,-1.0,-1.2613593,-1.0,-1.0,-1.2613593,-1.0,-1.0,-1.2613593,-1.0,-1.0,-1.2613593,-1.0,-1.0,-1.2613593,-1.0,-1.0,-1.2613593,-1.0,-1.0,-0.88094215,-1.0,-1.0,-0.88094215,-1.0,-1.0,-0.88094215,-1.0,-1.0,-0.88094215,-1.0,-1.0,-0.88094215,-1.0,-1.0,-0.88094215,-1.0,-1.0,-0.88094215,-1.0,-1.0,-0.88094215,-1.0,-1.0,-0.70851352,-1.0,-1.0,-0.70851352,-1.0,-1.0,-0.70851352,-1.0,-1.0,-0.70851352,-1.0,-1.0,-0.70851352,-1.0,-1.0,-0.70851352,-1.0,-1.0,-0.70851352,-1.0,-1.0,-0.70851352,-1.0,-1.0,-0.52970232,-1.0,-1.0,-0.52970232,-1.0,-1.0,-0.52970232,-1.0,-1.0,-0.52970232,-1.0,-1.0,-0.52970232,-1.0,-1.0,-0.52970232,-1.0,-1.0,-0.52970232,-1.0,-1.0,-0.52970232,-1.0,-1.0,-1.3338019,-1.0,-1.0,-1.3338019,-1.0,-1.0,-1.3338019,-1.0,-1.0,-1.3338019,-1.0,-1.0,-1.3338019,-1.0,-1.0,-1.3338019,-1.0,-1.0,-1.3338019,-1.0,-1.0,-1.3338019,-1.0,-1.0,-1.1219368,-1.0,-1.0,-1.1219368,-1.0,-1.0,-1.1219368,-1.0,-1.0,-1.1219368,-1.0,-1.0,-1.1219368,-1.0,-1.0,-1.1219368,-1.0,-1.0,-1.1219368,-1.0,-1.0,-1.1219368,-1.0,-1.0,-1.1048284,-1.0,-1.0,-1.1048284,-1.0,-1.0,-1.1048284,-1.0,-1.0,-1.1048284,-1.0,-1.0,-1.1048284,-1.0,-1.0,-1.1048284,-1.0,-1.0,-1.1048284,-1.0,-1.0,-1.1048284,-1.0,-1.0,-0.58675066,-1.0,-1.0,-0.58675066,-1.0,-1.0,-0.58675066,-1.0,-1.0,-0.58675066,-1.0,-1.0,-0.58675066,-1.0,-1.0,-0.58675066,-1.0,-1.0,-0.58675066,-1.0,-1.0,-0.58675066,-1.0,-1.0,-0.89673547,-1.0,-1.0,-0.89673547,-1.0,-1.0,-0.89673547,-1.0,-1.0,-0.89673547,-1.0,-1.0,-0.89673547,-1.0,-1.0,-0.89673547,-1.0,-1.0,-0.89673547,-1.0,-1.0,-0.89673547,-1.0,-1.0,-0.59081349,-1.0,-1.0,-0.59081349,-1.0,-1.0,-0.59081349,-1.0,-1.0,-0.59081349,-1.0,-1.0,-0.59081349,-1.0,-1.0,-0.59081349,-1.0,-1.0,-0.59081349,-1.0,-1.0,-0.59081349,-1.0,-1.0,-1.3321776,-1.0,-1.0,-1.3321776,-1.0,-1.0,-1.3321776,-1.0,-1.0,-1.3321776,-1.0,-1.0,-1.3321776,-1.0,-1.0,-1.3321776,-1.0,-1.0,-1.3321776,-1.0,-1.0,-1.3321776,-1.0,-1.0,-0.64882503,-1.0,-1.0,-0.64882503,-1.0,-1.0,-0.64882503,-1.0,-1.0,-0.64882503,-1.0,-1.0,-0.64882503,-1.0,-1.0,-0.64882503,-1.0,-1.0,-0.64882503,-1.0,-1.0,-0.64882503,-1.0,-1.0,-0.87483357,-1.0,-1.0,-0.87483357,-1.0,-1.0,-0.87483357,-1.0,-1.0,-0.87483357,-1.0,-1.0,-0.87483357,-1.0,-1.0,-0.87483357,-1.0,-1.0,-0.87483357,-1.0,-1.0,-0.87483357,-1.0,-1.0,-0.78080365,-1.0,-1.0,-0.78080365,-1.0,-1.0,-0.78080365,-1.0,-1.0,-0.78080365,-1.0,-1.0,-0.78080365,-1.0,-1.0,-0.78080365,-1.0,-1.0,-0.78080365,-1.0,-1.0,-0.78080365,-1.0,-1.0,-1.4643592,-1.0,-1.0,-1.4643592,-1.0,-1.0,-1.4643592,-1.0,-1.0,-1.4643592,-1.0,-1.0,-1.4643592,-1.0,-1.0,-1.4643592,-1.0,-1.0,-1.4643592,-1.0,-1.0,-1.4643592,-1.0,-1.0,-1.2021589,-1.0,-1.0,-1.2021589,-1.0,-1.0,-1.2021589,-1.0,-1.0,-1.2021589,-1.0,-1.0,-1.2021589,-1.0,-1.0,-1.2021589,-1.0,-1.0,-1.2021589,-1.0,-1.0,-1.2021589,-1.0,-1.0,-0.98893781,-1.0,-1.0,-0.98893781,-1.0,-1.0,-0.98893781,-1.0,-1.0,-0.98893781,-1.0,-1.0,-0.98893781,-1.0,-1.0,-0.98893781,-1.0,-1.0,-0.98893781,-1.0,-1.0,-0.98893781,-1.0,-1.0,-1.2466856,-1.0,-1.0,-1.2466856,-1.0,-1.0,-1.2466856,-1.0,-1.0,-1.2466856,-1.0,-1.0,-1.2466856,-1.0,-1.0,-1.2466856,-1.0,-1.0,-1.2466856,-1.0,-1.0,-1.2466856,-1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,1.0,2.5645403,-1.0,-1.0,5.1290805,-1.0,-1.0,7.6936208,-1.0,-1.0,2.8077152,-1.0,-1.0,5.6154304,-1.0,-1.0,8.4231456,-1.0,-1.0,2.6344109,-1.0,-1.0,5.2688219,-1.0,-1.0,7.9032328,-1.0,-1.0,2.8121524,-1.0,-1.0,5.6243047,-1.0,-1.0,8.4364571,-1.0,-1.0,2.5300634,-1.0,-1.0,5.0601268,-1.0,-1.0,7.5901902,-1.0,-1.0,2.6182863,-1.0,-1.0,5.2365725,-1.0,-1.0,7.8548588,-1.0,-1.0,2.7021321,-1.0,-1.0,5.4042642,-1.0,-1.0,8.1063963,-1.0,-1.0,2.9464602,-1.0,-1.0,5.8929205,-1.0,-1.0,8.8393807,-1.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-2.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,-1.0,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951,1.0,-1.0,-1.0,1.0,-1.0,1.0,1.0,-1.4142135623730951]
A = sparse(I,J,V,length(b),length(c))
for solver in (ECOSSolver(),ConicIPSolver())
m = MathProgBase.ConicModel(solver)
MathProgBase.loadproblem!(m, c, A, b, con_cones, var_cones)
MathProgBase.optimize!(m)
@show MathProgBase.status(m)
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment