stein27.pb 3.52 KB
Newer Older
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
*  #variable= 27 #constraint= 118
*  converted from file: submitted/een/stein27.opb
min: +1 x0 +1 x1 +1 x2 +1 x3 +1 x4 +1 x5 +1 x6 +1 x7 +1 x8 +1 x9 +1 x10 +1 x11 +1 x12 +1 x13 +1 x14 +1 x15 +1 x16 +1 x17 +1 x18 +1 x19 +1 x20 +1 x21 +1 x22 +1 x23 +1 x24 +1 x25 +1 x26 ;
+1 x2 +1 x13 +1 x18 >= +1;
+1 x1 +1 x2 +1 x3 >= +1;
+1 x0 +1 x2 +1 x4 >= +1;
+1 x0 +1 x1 +1 x5 >= +1;
+1 x4 +1 x5 +1 x6 >= +1;
+1 x3 +1 x5 +1 x7 >= +1;
+1 x3 +1 x4 +1 x8 >= +1;
+1 x0 +1 x7 +1 x8 >= +1;
+1 x1 +1 x6 +1 x8 >= +1;
+1 x2 +1 x6 +1 x7 >= +1;
+1 x0 +1 x3 +1 x6 >= +1;
+1 x1 +1 x4 +1 x7 >= +1;
+1 x2 +1 x5 +1 x8 >= +1;
+1 x10 +1 x11 +1 x12 >= +1;
+1 x9 +1 x11 +1 x13 >= +1;
+1 x9 +1 x10 +1 x14 >= +1;
+1 x13 +1 x14 +1 x15 >= +1;
+1 x12 +1 x14 +1 x16 >= +1;
+1 x12 +1 x13 +1 x17 >= +1;
+1 x9 +1 x16 +1 x17 >= +1;
+1 x10 +1 x15 +1 x17 >= +1;
+1 x11 +1 x15 +1 x16 >= +1;
+1 x9 +1 x12 +1 x15 >= +1;
+1 x10 +1 x13 +1 x16 >= +1;
+1 x11 +1 x14 +1 x17 >= +1;
+1 x19 +1 x20 +1 x21 >= +1;
+1 x18 +1 x20 +1 x22 >= +1;
+1 x18 +1 x19 +1 x23 >= +1;
+1 x22 +1 x23 +1 x24 >= +1;
+1 x0 +1 x16 +1 x26 >= +1;
+1 x0 +1 x15 +1 x21 >= +1;
+1 x0 +1 x14 +1 x19 >= +1;
+1 x0 +1 x13 +1 x20 >= +1;
+1 x0 +1 x12 +1 x24 >= +1;
+1 x0 +1 x11 +1 x22 >= +1;
+1 x0 +1 x10 +1 x23 >= +1;
+1 x0 +1 x9 +1 x18 >= +1;
+1 x20 +1 x23 +1 x26 >= +1;
+1 x19 +1 x22 +1 x25 >= +1;
+1 x18 +1 x21 +1 x24 >= +1;
+1 x20 +1 x24 +1 x25 >= +1;
+1 x19 +1 x24 +1 x26 >= +1;
+1 x18 +1 x25 +1 x26 >= +1;
+1 x21 +1 x22 +1 x26 >= +1;
+1 x0 +1 x17 +1 x25 >= +1;
+1 x1 +1 x9 +1 x23 >= +1;
+1 x1 +1 x10 +1 x19 >= +1;
+1 x1 +1 x11 +1 x21 >= +1;
+1 x1 +1 x12 +1 x20 >= +1;
+1 x1 +1 x13 +1 x25 >= +1;
+1 x1 +1 x14 +1 x18 >= +1;
+1 x1 +1 x15 +1 x26 >= +1;
+1 x1 +1 x16 +1 x22 >= +1;
+1 x1 +1 x17 +1 x24 >= +1;
+1 x2 +1 x9 +1 x22 >= +1;
+1 x2 +1 x10 +1 x21 >= +1;
+1 x2 +1 x11 +1 x20 >= +1;
+1 x2 +1 x12 +1 x19 >= +1;
+1 x2 +1 x14 +1 x26 >= +1;
+1 x2 +1 x15 +1 x25 >= +1;
+1 x2 +1 x16 +1 x24 >= +1;
+1 x2 +1 x17 +1 x23 >= +1;
+1 x3 +1 x9 +1 x24 >= +1;
+1 x3 +1 x10 +1 x20 >= +1;
+1 x3 +1 x11 +1 x19 >= +1;
+1 x3 +1 x12 +1 x21 >= +1;
+1 x3 +1 x13 +1 x26 >= +1;
+1 x3 +1 x14 +1 x25 >= +1;
+1 x3 +1 x15 +1 x18 >= +1;
+1 x3 +1 x16 +1 x23 >= +1;
+1 x3 +1 x17 +1 x22 >= +1;
+1 x4 +1 x9 +1 x20 >= +1;
+1 x4 +1 x10 +1 x25 >= +1;
+1 x4 +1 x11 +1 x18 >= +1;
+1 x4 +1 x12 +1 x26 >= +1;
+1 x4 +1 x13 +1 x22 >= +1;
+1 x4 +1 x14 +1 x24 >= +1;
+1 x4 +1 x15 +1 x23 >= +1;
+1 x4 +1 x16 +1 x19 >= +1;
+1 x4 +1 x17 +1 x21 >= +1;
+1 x5 +1 x9 +1 x19 >= +1;
+1 x5 +1 x10 +1 x18 >= +1;
+1 x5 +1 x11 +1 x26 >= +1;
+1 x5 +1 x12 +1 x25 >= +1;
+1 x5 +1 x13 +1 x24 >= +1;
+1 x5 +1 x14 +1 x23 >= +1;
+1 x5 +1 x15 +1 x22 >= +1;
+1 x21 +1 x23 +1 x25 >= +1;
+1 x5 +1 x16 +1 x21 >= +1;
+1 x5 +1 x17 +1 x20 >= +1;
+1 x6 +1 x9 +1 x21 >= +1;
+1 x6 +1 x10 +1 x26 >= +1;
+1 x6 +1 x11 +1 x25 >= +1;
+1 x6 +1 x12 +1 x18 >= +1;
+1 x6 +1 x13 +1 x23 >= +1;
+1 x6 +1 x14 +1 x22 >= +1;
+1 x6 +1 x15 +1 x24 >= +1;
+1 x6 +1 x16 +1 x20 >= +1;
+1 x6 +1 x17 +1 x19 >= +1;
+1 x7 +1 x9 +1 x26 >= +1;
+1 x7 +1 x10 +1 x22 >= +1;
+1 x7 +1 x11 +1 x24 >= +1;
+1 x8 +1 x17 +1 x26 >= +1;
+1 x8 +1 x16 +1 x18 >= +1;
+1 x8 +1 x15 +1 x19 >= +1;
+1 x8 +1 x14 +1 x20 >= +1;
+1 x8 +1 x13 +1 x21 >= +1;
+1 x8 +1 x12 +1 x22 >= +1;
+1 x8 +1 x11 +1 x23 >= +1;
+1 x8 +1 x10 +1 x24 >= +1;
+1 x8 +1 x9 +1 x25 >= +1;
+1 x7 +1 x17 +1 x18 >= +1;
+1 x7 +1 x16 +1 x25 >= +1;
+1 x7 +1 x15 +1 x20 >= +1;
+1 x7 +1 x14 +1 x21 >= +1;
+1 x7 +1 x13 +1 x19 >= +1;
+1 x7 +1 x12 +1 x23 >= +1;
+1 x0 +1 x1 +1 x2 +1 x3 +1 x4 +1 x5 +1 x6 +1 x7 +1 x8 +1 x9 +1 x10 +1 x11 +1 x12 +1 x13 +1 x14 +1 x15 +1 x16 +1 x17 +1 x18 +1 x19 +1 x20 +1 x21 +1 x22 +1 x23 +1 x24 +1 x25 +1 x26 >= +13;