Replace pseudoboolean instance

Author: DominikKamp

Diff for: check/CMakeLists.txt

@@ -342,7 +342,7 @@ set(instances_Bilinrelax
 # PB instances
 #
 set(instances_PB
-    "instances/PseudoBoolean/factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb\;3"
+    "instances/PseudoBoolean/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb\;3"
     "instances/PseudoBoolean/normalized-bsg_10_4_5.opb\;-4"
     "instances/PseudoBoolean/normalized-mds_10_4_3.opb\;2"
     "instances/PseudoBoolean/normalized-mds_50_25_5.opb\;3"

Diff for: check/instances/PseudoBoolean/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb

@@ -0,0 +1,14 @@
+* #variable= 81 #constraint= 7 #equal= 3 intsize= 19 #product= 243 sizeproduct= 486
+****************************************
+* begin normalizer comments
+* category= OPT-NLC
+* end normalizer comments
+****************************************
+min: +1 x1 +2 x2 +4 x3 +8 x4 +16 x5 +32 x6 +64 x7 +128 x8 +256 x9 ;
++1 x1 +2 x2 +4 x3 +8 x4 +16 x5 +32 x6 +64 x7 +128 x8 +256 x9 >= 2 ;
++1 x10 +2 x11 +4 x12 +8 x13 +16 x14 +32 x15 +64 x16 +128 x17 +256 x18 >= 2 ;
++1 x19 +2 x20 +4 x21 +8 x22 +16 x23 +32 x24 +64 x25 +128 x26 +256 x27 >= 2 ;
++1 x28 +2 x29 +4 x30 +8 x31 +16 x32 +32 x33 +64 x34 +128 x35 +256 x36 >= 2 ;
++1 x1 x10 +2 x2 x10 +4 x3 x10 +8 x4 x10 +16 x5 x10 +32 x6 x10 +64 x7 x10 +128 x8 x10 +256 x9 x10 +2 x1 x11 +4 x2 x11 +8 x3 x11 +16 x4 x11 +32 x5 x11 +64 x6 x11 +128 x7 x11 +256 x8 x11 +512 x9 x11 +4 x1 x12 +8 x2 x12 +16 x3 x12 +32 x4 x12 +64 x5 x12 +128 x6 x12 +256 x7 x12 +512 x8 x12 +1024 x9 x12 +8 x1 x13 +16 x2 x13 +32 x3 x13 +64 x4 x13 +128 x5 x13 +256 x6 x13 +512 x7 x13 +1024 x8 x13 +2048 x9 x13 +16 x1 x14 +32 x2 x14 +64 x3 x14 +128 x4 x14 +256 x5 x14 +512 x6 x14 +1024 x7 x14 +2048 x8 x14 +4096 x9 x14 +32 x1 x15 +64 x2 x15 +128 x3 x15 +256 x4 x15 +512 x5 x15 +1024 x6 x15 +2048 x7 x15 +4096 x8 x15 +8192 x9 x15 +64 x1 x16 +128 x2 x16 +256 x3 x16 +512 x4 x16 +1024 x5 x16 +2048 x6 x16 +4096 x7 x16 +8192 x8 x16 +16384 x9 x16 +128 x1 x17 +256 x2 x17 +512 x3 x17 +1024 x4 x17 +2048 x5 x17 +4096 x6 x17 +8192 x7 x17 +16384 x8 x17 +32768 x9 x17 +256 x1 x18 +512 x2 x18 +1024 x3 x18 +2048 x4 x18 +4096 x5 x18 +8192 x6 x18 +16384 x7 x18 +32768 x8 x18 +65536 x9 x18 -1 x37 -2 x38 -4 x39 -8 x40 -16 x41 -32 x42 -64 x43 -128 x44 -256 x45 -512 x55 -1024 x56 -2048 x57 -4096 x58 -8192 x59 -16384 x60 -32768 x61 -65536 x62 -131072 x63 = 0 ;
++1 x19 x37 +2 x19 x38 +4 x19 x39 +8 x19 x40 +16 x19 x41 +32 x19 x42 +64 x19 x43 +128 x19 x44 +256 x19 x45 +2 x20 x37 +4 x20 x38 +8 x20 x39 +16 x20 x40 +32 x20 x41 +64 x20 x42 +128 x20 x43 +256 x20 x44 +512 x20 x45 +4 x21 x37 +8 x21 x38 +16 x21 x39 +32 x21 x40 +64 x21 x41 +128 x21 x42 +256 x21 x43 +512 x21 x44 +1024 x21 x45 +8 x22 x37 +16 x22 x38 +32 x22 x39 +64 x22 x40 +128 x22 x41 +256 x22 x42 +512 x22 x43 +1024 x22 x44 +2048 x22 x45 +16 x23 x37 +32 x23 x38 +64 x23 x39 +128 x23 x40 +256 x23 x41 +512 x23 x42 +1024 x23 x43 +2048 x23 x44 +4096 x23 x45 +32 x24 x37 +64 x24 x38 +128 x24 x39 +256 x24 x40 +512 x24 x41 +1024 x24 x42 +2048 x24 x43 +4096 x24 x44 +8192 x24 x45 +64 x25 x37 +128 x25 x38 +256 x25 x39 +512 x25 x40 +1024 x25 x41 +2048 x25 x42 +4096 x25 x43 +8192 x25 x44 +16384 x25 x45 +128 x26 x37 +256 x26 x38 +512 x26 x39 +1024 x26 x40 +2048 x26 x41 +4096 x26 x42 +8192 x26 x43 +16384 x26 x44 +32768 x26 x45 +256 x27 x37 +512 x27 x38 +1024 x27 x39 +2048 x27 x40 +4096 x27 x41 +8192 x27 x42 +16384 x27 x43 +32768 x27 x44 +65536 x27 x45 -1 x46 -2 x47 -4 x48 -8 x49 -16 x50 -32 x51 -64 x52 -128 x53 -256 x54 -512 x64 -1024 x65 -2048 x66 -4096 x67 -8192 x68 -16384 x69 -32768 x70 -65536 x71 -131072 x72 = 0 ;
++1 x28 x46 +2 x28 x47 +4 x28 x48 +8 x28 x49 +16 x28 x50 +32 x28 x51 +64 x28 x52 +128 x28 x53 +256 x28 x54 +2 x29 x46 +4 x29 x47 +8 x29 x48 +16 x29 x49 +32 x29 x50 +64 x29 x51 +128 x29 x52 +256 x29 x53 +512 x29 x54 +4 x30 x46 +8 x30 x47 +16 x30 x48 +32 x30 x49 +64 x30 x50 +128 x30 x51 +256 x30 x52 +512 x30 x53 +1024 x30 x54 +8 x31 x46 +16 x31 x47 +32 x31 x48 +64 x31 x49 +128 x31 x50 +256 x31 x51 +512 x31 x52 +1024 x31 x53 +2048 x31 x54 +16 x32 x46 +32 x32 x47 +64 x32 x48 +128 x32 x49 +256 x32 x50 +512 x32 x51 +1024 x32 x52 +2048 x32 x53 +4096 x32 x54 +32 x33 x46 +64 x33 x47 +128 x33 x48 +256 x33 x49 +512 x33 x50 +1024 x33 x51 +2048 x33 x52 +4096 x33 x53 +8192 x33 x54 +64 x34 x46 +128 x34 x47 +256 x34 x48 +512 x34 x49 +1024 x34 x50 +2048 x34 x51 +4096 x34 x52 +8192 x34 x53 +16384 x34 x54 +128 x35 x46 +256 x35 x47 +512 x35 x48 +1024 x35 x49 +2048 x35 x50 +4096 x35 x51 +8192 x35 x52 +16384 x35 x53 +32768 x35 x54 +256 x36 x46 +512 x36 x47 +1024 x36 x48 +2048 x36 x49 +4096 x36 x50 +8192 x36 x51 +16384 x36 x52 +32768 x36 x53 +65536 x36 x54 -512 x73 -1024 x74 -2048 x75 -4096 x76 -8192 x77 -16384 x78 -32768 x79 -65536 x80 -131072 x81 = 481 ;

Diff for: check/instances/PseudoBoolean/factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb

@@ -30,7 +30,7 @@ instances/MINLP/meanvarx.mps
 instances/MINLP/meanvarxsc.lp
 instances/MINLP/parincQuadratic.osil
 instances/MINLP/tltr.mps
-instances/PseudoBoolean/factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb
+instances/PseudoBoolean/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
 instances/PseudoBoolean/normalized-bsg_10_4_5.opb
 instances/PseudoBoolean/normalized-mds_10_4_3.opb
 instances/PseudoBoolean/normalized-mds_50_25_5.opb

Diff for: check/testset/coverage.test

@@ -29,7 +29,7 @@
 =opt= tltr                  48.0666666667
 =opt= semicon1                        1.1
 =opt= meanvarxsc         14.3692321148754
-=opt= factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B 3
+=opt= factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B 3
 =opt= normalized-bsg_10_4_5            -4
 =opt= normalized-mds_10_4_3             2
 =opt= normalized-mds_50_25_5            3

Diff for: check/testset/short.solu

@@ -30,7 +30,7 @@ instances/MINLP/m3.osil
 instances/MINLP/parincQuadratic.osil
 instances/MINLP/tltr.mps
 instances/MINLP/tltr.nl
-instances/PseudoBoolean/factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb
+instances/PseudoBoolean/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
 instances/PseudoBoolean/normalized-bsg_10_4_5.opb
 instances/PseudoBoolean/normalized-mds_10_4_3.opb
 instances/PseudoBoolean/normalized-mds_50_25_5.opb