ampl/tp119.mod


If Cut/Copy and Paste fails, then click here for download.


# Model tp119
# Source version 1
# Simple APM canonicalizer version 1.3
# AMPL back end version 1.1
var x_1 >= 0, <= 5;
let x_1 := 10;
var x_2 >= 0, <= 5;
let x_2 := 10;
var x_3 >= 0, <= 5;
let x_3 := 10;
var x_4 >= 0, <= 5;
let x_4 := 10;
var x_5 >= 0, <= 5;
let x_5 := 10;
var x_6 >= 0, <= 5;
let x_6 := 10;
var x_7 >= 0, <= 5;
let x_7 := 10;
var x_8 >= 0, <= 5;
let x_8 := 10;
var x_9 >= 0, <= 5;
let x_9 := 10;
var x_10 >= 0, <= 5;
let x_10 := 10;
var x_11 >= 0, <= 5;
let x_11 := 10;
var x_12 >= 0, <= 5;
let x_12 := 10;
var x_13 >= 0, <= 5;
let x_13 := 10;
var x_14 >= 0, <= 5;
let x_14 := 10;
var x_15 >= 0, <= 5;
let x_15 := 10;
var x_16 >= 0, <= 5;
let x_16 := 10;
var c_1 = 0.22*x_1 + 0.2*x_2 + 0.19*x_3 + 0.25*x_4 + 0.15*x_5 + 0.11*x_6 + 0.12*x_7 + 0.13*x_8 + x_9 - 2.5;
var c_2 = (-1.46)*x_1 - 1.3*x_3 + 1.82*x_4 - 1.15*x_5 + 0.8*x_7 + x_10 - 1.1;
var c_3 = 1.29*x_1 - 0.89*x_2 - 1.16*x_5 - 0.96*x_6 - 0.49*x_8 + x_11 + 3.1;
var c_4 = (-1.1)*x_1 - 1.06*x_2 + 0.95*x_3 - 0.54*x_4 - 1.78*x_6 - 0.41*x_7 + x_12 + 3.5;
var c_5 = (-1.43)*x_4 + 1.51*x_5 + 0.59*x_6 - 0.33*x_7 - 0.43*x_8 + x_13 - 1.3;
var c_6 = (-1.72)*x_2 - 0.33*x_3 + 1.62*x_5 + 1.24*x_6 + 0.21*x_7 - 0.26*x_8 + x_14 - 2.1;
var c_7 = 1.12*x_1 + 0.31*x_4 + 1.12*x_7 - 0.36*x_9 + x_15 - 2.3;
var c_8 = 0.45*x_2 + 0.26*x_3 - 1.1*x_4 + 0.58*x_5 - 1.03*x_7 + 0.1*x_8 + x_16 + 1.5;
var s_1 = (x_1^2 + x_1 + 1) * (x_1^2 + x_1 + 1);
var s_2 = s_1 + (x_1^2 + x_1 + 1) * (x_4^2 + x_4 + 1);
var s_3 = s_2 + (x_1^2 + x_1 + 1) * (x_7^2 + x_7 + 1);
var s_4 = s_3 + (x_1^2 + x_1 + 1) * (x_8^2 + x_8 + 1);
var s_5 = s_4 + (x_1^2 + x_1 + 1) * (x_16^2 + x_16 + 1);
var s_6 = s_5 + (x_2^2 + x_2 + 1) * (x_2^2 + x_2 + 1);
var s_7 = s_6 + (x_2^2 + x_2 + 1) * (x_3^2 + x_3 + 1);
var s_8 = s_7 + (x_2^2 + x_2 + 1) * (x_7^2 + x_7 + 1);
var s_9 = s_8 + (x_2^2 + x_2 + 1) * (x_10^2 + x_10 + 1);
var s_10 = s_9 + (x_3^2 + x_3 + 1) * (x_3^2 + x_3 + 1);
var s_11 = s_10 + (x_3^2 + x_3 + 1) * (x_7^2 + x_7 + 1);
var s_12 = s_11 + (x_3^2 + x_3 + 1) * (x_9^2 + x_9 + 1);
var s_13 = s_12 + (x_3^2 + x_3 + 1) * (x_10^2 + x_10 + 1);
var s_14 = s_13 + (x_3^2 + x_3 + 1) * (x_14^2 + x_14 + 1);
var s_15 = s_14 + (x_4^2 + x_4 + 1) * (x_4^2 + x_4 + 1);
var s_16 = s_15 + (x_4^2 + x_4 + 1) * (x_7^2 + x_7 + 1);
var s_17 = s_16 + (x_4^2 + x_4 + 1) * (x_11^2 + x_11 + 1);
var s_18 = s_17 + (x_4^2 + x_4 + 1) * (x_15^2 + x_15 + 1);
var s_19 = s_18 + (x_5^2 + x_5 + 1) * (x_5^2 + x_5 + 1);
var s_20 = s_19 + (x_5^2 + x_5 + 1) * (x_6^2 + x_6 + 1);
var s_21 = s_20 + (x_5^2 + x_5 + 1) * (x_10^2 + x_10 + 1);
var s_22 = s_21 + (x_5^2 + x_5 + 1) * (x_12^2 + x_12 + 1);
var s_23 = s_22 + (x_5^2 + x_5 + 1) * (x_16^2 + x_16 + 1);
var s_24 = s_23 + (x_6^2 + x_6 + 1) * (x_6^2 + x_6 + 1);
var s_25 = s_24 + (x_6^2 + x_6 + 1) * (x_8^2 + x_8 + 1);
var s_26 = s_25 + (x_6^2 + x_6 + 1) * (x_15^2 + x_15 + 1);
var s_27 = s_26 + (x_7^2 + x_7 + 1) * (x_7^2 + x_7 + 1);
var s_28 = s_27 + (x_7^2 + x_7 + 1) * (x_11^2 + x_11 + 1);
var s_29 = s_28 + (x_7^2 + x_7 + 1) * (x_13^2 + x_13 + 1);
var s_30 = s_29 + (x_8^2 + x_8 + 1) * (x_8^2 + x_8 + 1);
var s_31 = s_30 + (x_8^2 + x_8 + 1) * (x_10^2 + x_10 + 1);
var s_32 = s_31 + (x_8^2 + x_8 + 1) * (x_15^2 + x_15 + 1);
var s_33 = s_32 + (x_9^2 + x_9 + 1) * (x_9^2 + x_9 + 1);
var s_34 = s_33 + (x_9^2 + x_9 + 1) * (x_12^2 + x_12 + 1);
var s_35 = s_34 + (x_9^2 + x_9 + 1) * (x_16^2 + x_16 + 1);
var s_36 = s_35 + (x_10^2 + x_10 + 1) * (x_10^2 + x_10 + 1);
var s_37 = s_36 + (x_10^2 + x_10 + 1) * (x_14^2 + x_14 + 1);
var s_38 = s_37 + (x_11^2 + x_11 + 1) * (x_11^2 + x_11 + 1);
var s_39 = s_38 + (x_11^2 + x_11 + 1) * (x_13^2 + x_13 + 1);
var s_40 = s_39 + (x_12^2 + x_12 + 1) * (x_12^2 + x_12 + 1);
var s_41 = s_40 + (x_12^2 + x_12 + 1) * (x_14^2 + x_14 + 1);
var s_42 = s_41 + (x_13^2 + x_13 + 1) * (x_13^2 + x_13 + 1);
var s_43 = s_42 + (x_13^2 + x_13 + 1) * (x_14^2 + x_14 + 1);
var s_44 = s_43 + (x_14^2 + x_14 + 1) * (x_14^2 + x_14 + 1);
var s_45 = s_44 + (x_15^2 + x_15 + 1) * (x_15^2 + x_15 + 1);
var s_46 = s_45 + (x_16^2 + x_16 + 1) * (x_16^2 + x_16 + 1);
var mf = s_46;
var myminfun = mf;
var myabsdevnod0_0 = abs(myminfun - 244.8996975168009);
var myreldevnod0_0 = abs(myminfun/244.8996975168009 - 1);
var myabsdevnod0_1 = abs(x_1 - 0.0398473514111225);
var myreldevnod0_1 = abs(x_1/0.0398473514111225 - 1);
var myabsdevnod0_2 = abs(x_2 - 0.7919831556883808);
var myreldevnod0_2 = abs(x_2/0.7919831556883808 - 1);
var myabsdevnod0_3 = abs(x_3 - 0.202870330251036);
var myreldevnod0_3 = abs(x_3/0.202870330251036 - 1);
var myabsdevnod0_4 = abs(x_4 - 0.844357916365675);
var myreldevnod0_4 = abs(x_4/0.844357916365675 - 1);
var myabsdevnod0_5 = abs(x_5 - 1.269906452866503);
var myreldevnod0_5 = abs(x_5/1.269906452866503 - 1);
var myabsdevnod0_6 = abs(x_6 - 0.934738707824643);
var myreldevnod0_6 = abs(x_6/0.934738707824643 - 1);
var myabsdevnod0_7 = abs(x_7 - 1.681961969246919);
var myreldevnod0_7 = abs(x_7/1.681961969246919 - 1);
var myabsdevnod0_8 = abs(x_8 - 0.1553008773895687);
var myreldevnod0_8 = abs(x_8/0.1553008773895687 - 1);
var myabsdevnod0_9 = abs(x_9 - 1.567870333551801);
var myreldevnod0_9 = abs(x_9/1.567870333551801 - 1);
var myabsdevnod0_10 = abs(x_10);
var myreldevnod0_10 = abs(x_10);
var myabsdevnod0_11 = abs(x_11);
var myreldevnod0_11 = abs(x_11);
var myabsdevnod0_12 = abs(x_12);
var myreldevnod0_12 = abs(x_12);
var myabsdevnod0_13 = abs(x_13 - 0.6602040660869546);
var myreldevnod0_13 = abs(x_13/0.6602040660869546 - 1);
var myabsdevnod0_14 = abs(x_14);
var myreldevnod0_14 = abs(x_14);
var myabsdevnod0_15 = abs(x_15 - 0.6742559268682825);
var myreldevnod0_15 = abs(x_15/0.6742559268682825 - 1);
var myabsdevnod0_16 = abs(x_16);
var myreldevnod0_16 = abs(x_16);
var myabsdevnod1_0 = (1/2)*(abs(myabsdevnod0_0 - myabsdevnod0_1) + (myabsdevnod0_0 + myabsdevnod0_1));
var myreldevnod1_0 = (1/2)*(abs(myreldevnod0_0 - myreldevnod0_1) + (myreldevnod0_0 + myreldevnod0_1));
var myabsdevnod1_2 = (1/2)*(abs(myabsdevnod0_2 - myabsdevnod0_3) + (myabsdevnod0_2 + myabsdevnod0_3));
var myreldevnod1_2 = (1/2)*(abs(myreldevnod0_2 - myreldevnod0_3) + (myreldevnod0_2 + myreldevnod0_3));
var myabsdevnod1_4 = (1/2)*(abs(myabsdevnod0_4 - myabsdevnod0_5) + (myabsdevnod0_4 + myabsdevnod0_5));
var myreldevnod1_4 = (1/2)*(abs(myreldevnod0_4 - myreldevnod0_5) + (myreldevnod0_4 + myreldevnod0_5));
var myabsdevnod1_6 = (1/2)*(abs(myabsdevnod0_6 - myabsdevnod0_7) + (myabsdevnod0_6 + myabsdevnod0_7));
var myreldevnod1_6 = (1/2)*(abs(myreldevnod0_6 - myreldevnod0_7) + (myreldevnod0_6 + myreldevnod0_7));
var myabsdevnod1_8 = (1/2)*(abs(myabsdevnod0_8 - myabsdevnod0_9) + (myabsdevnod0_8 + myabsdevnod0_9));
var myreldevnod1_8 = (1/2)*(abs(myreldevnod0_8 - myreldevnod0_9) + (myreldevnod0_8 + myreldevnod0_9));
var myabsdevnod1_10 = (1/2)*(abs(myabsdevnod0_10 - myabsdevnod0_11) + (myabsdevnod0_10 + myabsdevnod0_11));
var myreldevnod1_10 = (1/2)*(abs(myreldevnod0_10 - myreldevnod0_11) + (myreldevnod0_10 + myreldevnod0_11));
var myabsdevnod1_12 = (1/2)*(abs(myabsdevnod0_12 - myabsdevnod0_13) + (myabsdevnod0_12 + myabsdevnod0_13));
var myreldevnod1_12 = (1/2)*(abs(myreldevnod0_12 - myreldevnod0_13) + (myreldevnod0_12 + myreldevnod0_13));
var myabsdevnod1_14 = (1/2)*(abs(myabsdevnod0_14 - myabsdevnod0_15) + (myabsdevnod0_14 + myabsdevnod0_15));
var myreldevnod1_14 = (1/2)*(abs(myreldevnod0_14 - myreldevnod0_15) + (myreldevnod0_14 + myreldevnod0_15));
var myabsdevnod1_16 = myabsdevnod0_16;
var myreldevnod1_16 = myreldevnod0_16;
var myabsdevnod2_0 = (1/2)*(abs(myabsdevnod1_0 - myabsdevnod1_2) + (myabsdevnod1_0 + myabsdevnod1_2));
var myreldevnod2_0 = (1/2)*(abs(myreldevnod1_0 - myreldevnod1_2) + (myreldevnod1_0 + myreldevnod1_2));
var myabsdevnod2_4 = (1/2)*(abs(myabsdevnod1_4 - myabsdevnod1_6) + (myabsdevnod1_4 + myabsdevnod1_6));
var myreldevnod2_4 = (1/2)*(abs(myreldevnod1_4 - myreldevnod1_6) + (myreldevnod1_4 + myreldevnod1_6));
var myabsdevnod2_8 = (1/2)*(abs(myabsdevnod1_8 - myabsdevnod1_10) + (myabsdevnod1_8 + myabsdevnod1_10));
var myreldevnod2_8 = (1/2)*(abs(myreldevnod1_8 - myreldevnod1_10) + (myreldevnod1_8 + myreldevnod1_10));
var myabsdevnod2_12 = (1/2)*(abs(myabsdevnod1_12 - myabsdevnod1_14) + (myabsdevnod1_12 + myabsdevnod1_14));
var myreldevnod2_12 = (1/2)*(abs(myreldevnod1_12 - myreldevnod1_14) + (myreldevnod1_12 + myreldevnod1_14));
var myabsdevnod2_16 = myabsdevnod1_16;
var myreldevnod2_16 = myreldevnod1_16;
var myabsdevnod3_0 = (1/2)*(abs(myabsdevnod2_0 - myabsdevnod2_4) + (myabsdevnod2_0 + myabsdevnod2_4));
var myreldevnod3_0 = (1/2)*(abs(myreldevnod2_0 - myreldevnod2_4) + (myreldevnod2_0 + myreldevnod2_4));
var myabsdevnod3_8 = (1/2)*(abs(myabsdevnod2_8 - myabsdevnod2_12) + (myabsdevnod2_8 + myabsdevnod2_12));
var myreldevnod3_8 = (1/2)*(abs(myreldevnod2_8 - myreldevnod2_12) + (myreldevnod2_8 + myreldevnod2_12));
var myabsdevnod3_16 = myabsdevnod2_16;
var myreldevnod3_16 = myreldevnod2_16;
var myabsdevnod4_0 = (1/2)*(abs(myabsdevnod3_0 - myabsdevnod3_8) + (myabsdevnod3_0 + myabsdevnod3_8));
var myreldevnod4_0 = (1/2)*(abs(myreldevnod3_0 - myreldevnod3_8) + (myreldevnod3_0 + myreldevnod3_8));
var myabsdevnod4_16 = myabsdevnod3_16;
var myreldevnod4_16 = myreldevnod3_16;
var myabsdevnod5_0 = (1/2)*(abs(myabsdevnod4_0 - myabsdevnod4_16) + (myabsdevnod4_0 + myabsdevnod4_16));
var myreldevnod5_0 = (1/2)*(abs(myreldevnod4_0 - myreldevnod4_16) + (myreldevnod4_0 + myreldevnod4_16));
var zmyabsdevmax = myabsdevnod5_0;
var zmyreldevmax = myreldevnod5_0;
minimize obj: myminfun;
subject to ce_1: c_1 = 0;
subject to ce_2: c_2 = 0;
subject to ce_3: c_3 = 0;
subject to ce_4: c_4 = 0;
subject to ce_5: c_5 = 0;
subject to ce_6: c_6 = 0;
subject to ce_7: c_7 = 0;
subject to ce_8: c_8 = 0;
solve;
display x_1;
display x_2;
display x_3;
display x_4;
display x_5;
display x_6;
display x_7;
display x_8;
display x_9;
display x_10;
display x_11;
display x_12;
display x_13;
display x_14;
display x_15;
display x_16;
display myminfun;
display zmyabsdevmax;
display zmyreldevmax;
# End Model

Stephan K.H. Seidl