[Test] add tests from MINLPTests.jl

Author: odow

src/Test/MINLPTests/nlp_cvx_expr_001_010.json

@@ -0,0 +1,35 @@
+{
+    "primal":{"x":-2.0430107680954848,"y":-0.4301075068564087},
+    "model":{
+        "name":"MathOptFormat Model",
+        "variables":[{"name":"x"},{"name":"y"}],
+        "constraints":[{
+            "name":"c1",
+            "function":{"constant":0.0,"terms":[{"coefficient":3.0,"variable":"x"},{"coefficient":9.0,"variable":"y"}],"type":"ScalarAffineFunction"},
+            "set":{"lower":-10.0,"type":"GreaterThan"}
+        }, {
+            "name":"c2",
+            "function":{"constant":0.0,"terms":[{"coefficient":10.0,"variable":"x"},{"coefficient":-1.0,"variable":"y"}],"type":"ScalarAffineFunction"},
+            "set":{"lower":-20.0,"type":"GreaterThan"}
+        }, {
+            "name":"c1_1",
+            "function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":1.0,"variable":"y"}],"type":"ScalarAffineFunction"},
+            "set":{"type":"LessThan","upper":5.0}
+        }, {
+            "name":"c2_1",
+            "function":{"constant":0.0,"terms":[{"coefficient":2.0,"variable":"x"},{"coefficient":-1.0,"variable":"y"}],"type":"ScalarAffineFunction"},
+            "set":{"type":"LessThan","upper":3.0}
+        }, {
+            "name":"c3",
+            "function":{"constant":0.0,"terms":[{"coefficient":-1.0,"variable":"x"},{"coefficient":2.0,"variable":"y"}],"type":"ScalarAffineFunction"},
+            "set":{"type":"LessThan","upper":8.0}
+        }],
+        "objective":{
+            "function":{"name":"x","type":"Variable"},
+            "sense":"min"
+        },
+        "version":{"major":1,"minor":7}
+    },
+    "objective":-2.0430107680954848,
+    "is_feasible":true
+}

src/Test/MINLPTests/nlp_cvx_expr_001_011.json

@@ -0,0 +1 @@
+{"primal":{"x":0.9999999993570394,"y":1.9999999996087852},"model":{"name":"MathOptFormat Model","variables":[{"name":"x"},{"name":"y"}],"constraints":[{"name":"c1","function":{"constant":0.0,"terms":[{"coefficient":3.0,"variable":"x"},{"coefficient":9.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":-10.0,"type":"GreaterThan"}},{"name":"c2","function":{"constant":0.0,"terms":[{"coefficient":10.0,"variable":"x"},{"coefficient":-1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":-20.0,"type":"GreaterThan"}},{"name":"c1_1","function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"type":"LessThan","upper":5.0}},{"name":"c2_1","function":{"constant":0.0,"terms":[{"coefficient":2.0,"variable":"x"},{"coefficient":-1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"type":"LessThan","upper":3.0}},{"name":"c3","function":{"constant":0.0,"terms":[{"coefficient":-1.0,"variable":"x"},{"coefficient":2.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"type":"LessThan","upper":8.0}}],"objective":{"function":{"constant":5.0,"affine_terms":[{"coefficient":-2.0,"variable":"x"},{"coefficient":-4.0,"variable":"y"}],"quadratic_terms":[{"variable_1":"x","variable_2":"x","coefficient":2.0},{"variable_1":"y","variable_2":"y","coefficient":2.0}],"type":"ScalarQuadraticFunction"},"sense":"min"},"version":{"major":1,"minor":7}},"objective":4.440892098500626e-16,"is_feasible":true}

src/Test/MINLPTests/nlp_cvx_expr_002_010.json

@@ -0,0 +1 @@
+{"primal":{"x":2.4137930845761546,"y":1.5517241221264648},"model":{"name":"MathOptFormat Model","variables":[{"name":"x"},{"name":"y"}],"constraints":[{"name":"c1","function":{"constant":0.0,"terms":[{"coefficient":3.0,"variable":"x"},{"coefficient":5.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":15.0,"type":"GreaterThan"}},{"name":"c2","function":{"constant":0.0,"terms":[{"coefficient":7.0,"variable":"x"},{"coefficient":2.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":20.0,"type":"GreaterThan"}},{"name":"c3","function":{"constant":0.0,"terms":[{"coefficient":9.0,"variable":"x"},{"coefficient":1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":20.0,"type":"GreaterThan"}},{"name":"c4","function":{"constant":0.0,"terms":[{"coefficient":3.0,"variable":"x"},{"coefficient":7.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":17.0,"type":"GreaterThan"}},{"name":"c1_1","function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":-3.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"type":"LessThan","upper":3.0}},{"name":"c2_1","function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":-5.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"type":"LessThan","upper":0.0}}],"objective":{"function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"sense":"min"},"version":{"major":1,"minor":7}},"objective":3.9655172067026196,"is_feasible":true}

src/Test/MINLPTests/nlp_cvx_expr_002_011.json

@@ -0,0 +1 @@
+{"primal":{"x":3.0000000042044173,"y":2.00000000521016},"model":{"name":"MathOptFormat Model","variables":[{"name":"x"},{"name":"y"}],"constraints":[{"name":"c1","function":{"constant":0.0,"terms":[{"coefficient":3.0,"variable":"x"},{"coefficient":5.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":15.0,"type":"GreaterThan"}},{"name":"c2","function":{"constant":0.0,"terms":[{"coefficient":7.0,"variable":"x"},{"coefficient":2.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":20.0,"type":"GreaterThan"}},{"name":"c3","function":{"constant":0.0,"terms":[{"coefficient":9.0,"variable":"x"},{"coefficient":1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":20.0,"type":"GreaterThan"}},{"name":"c4","function":{"constant":0.0,"terms":[{"coefficient":3.0,"variable":"x"},{"coefficient":7.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":17.0,"type":"GreaterThan"}},{"name":"c1_1","function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":-3.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"type":"LessThan","upper":3.0}},{"name":"c2_1","function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":-5.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"type":"LessThan","upper":0.0}}],"objective":{"function":{"constant":13.0,"affine_terms":[{"coefficient":-6.0,"variable":"x"},{"coefficient":-4.0,"variable":"y"}],"quadratic_terms":[{"variable_1":"x","variable_2":"x","coefficient":2.0},{"variable_1":"y","variable_2":"y","coefficient":2.0}],"type":"ScalarQuadraticFunction"},"sense":"min"},"version":{"major":1,"minor":7}},"objective":-1.7763568394002505e-15,"is_feasible":true}

src/Test/MINLPTests/nlp_cvx_expr_101_010.json

@@ -0,0 +1 @@
+{"primal":{"x":0.707106783469219,"y":0.707106783469219},"model":{"name":"MathOptFormat Model","variables":[{"name":"x"},{"name":"y"}],"constraints":[{"name":"c1","function":{"constant":0.0,"affine_terms":[],"quadratic_terms":[{"variable_1":"x","variable_2":"x","coefficient":2.0},{"variable_1":"y","variable_2":"y","coefficient":2.0}],"type":"ScalarQuadraticFunction"},"set":{"type":"LessThan","upper":1.0}},{"function":{"name":"x","type":"Variable"},"set":{"lower":-2.0,"type":"GreaterThan"}},{"function":{"name":"y","type":"Variable"},"set":{"lower":-2.0,"type":"GreaterThan"}},{"function":{"name":"x","type":"Variable"},"set":{"type":"LessThan","upper":2.0}},{"function":{"name":"y","type":"Variable"},"set":{"type":"LessThan","upper":2.0}}],"objective":{"function":{"constant":0.0,"terms":[{"coefficient":-1.0,"variable":"x"},{"coefficient":-1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"sense":"min"},"version":{"major":1,"minor":7}},"objective":-1.414213566938438,"is_feasible":true}

src/Test/MINLPTests/nlp_cvx_expr_101_011.json

@@ -0,0 +1 @@
+{"primal":{"x":1.0000000024948417,"y":0.0},"model":{"name":"MathOptFormat Model","variables":[{"name":"x"},{"name":"y"}],"constraints":[{"name":"c1","function":{"constant":0.0,"affine_terms":[],"quadratic_terms":[{"variable_1":"x","variable_2":"x","coefficient":2.0},{"variable_1":"y","variable_2":"y","coefficient":2.0}],"type":"ScalarQuadraticFunction"},"set":{"type":"LessThan","upper":1.0}},{"function":{"name":"x","type":"Variable"},"set":{"lower":-2.0,"type":"GreaterThan"}},{"function":{"name":"y","type":"Variable"},"set":{"lower":-2.0,"type":"GreaterThan"}},{"function":{"name":"x","type":"Variable"},"set":{"type":"LessThan","upper":2.0}},{"function":{"name":"y","type":"Variable"},"set":{"type":"LessThan","upper":2.0}}],"objective":{"function":{"constant":0.0,"terms":[{"coefficient":-1.0,"variable":"x"}],"type":"ScalarAffineFunction"},"sense":"min"},"version":{"major":1,"minor":7}},"objective":-1.0000000024948417,"is_feasible":true}

src/Test/MINLPTests/nlp_cvx_expr_101_012.json

@@ -0,0 +1 @@
+{"primal":{"x":1.0000000024948417,"y":0.0},"model":{"name":"MathOptFormat Model","variables":[{"name":"x"},{"name":"y"}],"constraints":[{"name":"c1","function":{"constant":0.0,"affine_terms":[],"quadratic_terms":[{"variable_1":"x","variable_2":"x","coefficient":2.0},{"variable_1":"y","variable_2":"y","coefficient":2.0}],"type":"ScalarQuadraticFunction"},"set":{"type":"LessThan","upper":1.0}},{"function":{"name":"x","type":"Variable"},"set":{"lower":-2.0,"type":"GreaterThan"}},{"function":{"name":"y","type":"Variable"},"set":{"lower":-2.0,"type":"GreaterThan"}},{"function":{"name":"x","type":"Variable"},"set":{"type":"LessThan","upper":2.0}},{"function":{"name":"y","type":"Variable"},"set":{"type":"LessThan","upper":2.0}}],"objective":{"function":{"name":"x","type":"Variable"},"sense":"max"},"version":{"major":1,"minor":7}},"objective":1.0000000024948417,"is_feasible":true}

src/Test/MINLPTests/nlp_cvx_expr_102_010.json

@@ -0,0 +1 @@
+{"primal":{"x":0.9741657437159129,"y":0.2258342542139506},"model":{"name":"MathOptFormat Model","variables":[{"name":"x"},{"name":"y"}],"constraints":[{"name":"c1","function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":1.2,"type":"GreaterThan"}},{"name":"c1_1","function":{"constant":0.0,"affine_terms":[],"quadratic_terms":[{"variable_1":"x","variable_2":"x","coefficient":2.0},{"variable_1":"y","variable_2":"y","coefficient":2.0}],"type":"ScalarQuadraticFunction"},"set":{"type":"LessThan","upper":1.0}}],"objective":{"function":{"constant":0.0,"terms":[{"coefficient":-1.0,"variable":"x"}],"type":"ScalarAffineFunction"},"sense":"min"},"version":{"major":1,"minor":7}},"objective":-0.9741657437159129,"is_feasible":true}

src/Test/MINLPTests/nlp_cvx_expr_102_011.json

@@ -0,0 +1 @@
+{"primal":{"x":0.5999999952615055,"y":0.5999999952615053},"model":{"name":"MathOptFormat Model","variables":[{"name":"x"},{"name":"y"}],"constraints":[{"name":"c1","function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":1.2,"type":"GreaterThan"}},{"name":"c1_1","function":{"constant":0.0,"affine_terms":[],"quadratic_terms":[{"variable_1":"x","variable_2":"x","coefficient":2.0},{"variable_1":"y","variable_2":"y","coefficient":2.0}],"type":"ScalarQuadraticFunction"},"set":{"type":"LessThan","upper":1.0}}],"objective":{"function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"sense":"min"},"version":{"major":1,"minor":7}},"objective":1.1999999905230108,"is_feasible":true}

src/Test/MINLPTests/nlp_cvx_expr_102_012.json

@@ -0,0 +1 @@
+{"primal":{"x":0.707106783460569,"y":0.707106783460569},"model":{"name":"MathOptFormat Model","variables":[{"name":"x"},{"name":"y"}],"constraints":[{"name":"c1","function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"set":{"lower":1.2,"type":"GreaterThan"}},{"name":"c1_1","function":{"constant":0.0,"affine_terms":[],"quadratic_terms":[{"variable_1":"x","variable_2":"x","coefficient":2.0},{"variable_1":"y","variable_2":"y","coefficient":2.0}],"type":"ScalarQuadraticFunction"},"set":{"type":"LessThan","upper":1.0}}],"objective":{"function":{"constant":0.0,"terms":[{"coefficient":1.0,"variable":"x"},{"coefficient":1.0,"variable":"y"}],"type":"ScalarAffineFunction"},"sense":"max"},"version":{"major":1,"minor":7}},"objective":1.414213566921138,"is_feasible":true}