File tree 7 files changed +18
-68
lines changed
examples/GMI/check/testset
7 files changed +18
-68
lines changed Original file line number Diff line number Diff line change @@ -342,7 +342,7 @@ set(instances_Bilinrelax
342342# PB instances
343343#
344344set (instances_PB
345- "instances/PseudoBoolean/factor-mod-size=9-P0=67 -P1=349 -P2=67 -P3=499-P4=79-P5=347-P6=307 -B.opb\; 3"
345+ "instances/PseudoBoolean/factor-mod-size=9-P0=263 -P1=409 -P2=29 -P3=379 -B.opb\; 3"
346346 "instances/PseudoBoolean/normalized-bsg_10_4_5.opb\; -4"
347347 "instances/PseudoBoolean/normalized-mds_10_4_3.opb\; 2"
348348 "instances/PseudoBoolean/normalized-mds_50_25_5.opb\; 3"
Original file line number Diff line number Diff line change 1+ * #variable= 81 #constraint= 7 #equal= 3 intsize= 19 #product= 243 sizeproduct= 486
2+ ****************************************
3+ * begin normalizer comments
4+ * category= OPT-NLC
5+ * end normalizer comments
6+ ****************************************
7+ min: +1 x1 +2 x2 +4 x3 +8 x4 +16 x5 +32 x6 +64 x7 +128 x8 +256 x9 ;
8+ +1 x1 +2 x2 +4 x3 +8 x4 +16 x5 +32 x6 +64 x7 +128 x8 +256 x9 >= 2 ;
9+ +1 x10 +2 x11 +4 x12 +8 x13 +16 x14 +32 x15 +64 x16 +128 x17 +256 x18 >= 2 ;
10+ +1 x19 +2 x20 +4 x21 +8 x22 +16 x23 +32 x24 +64 x25 +128 x26 +256 x27 >= 2 ;
11+ +1 x28 +2 x29 +4 x30 +8 x31 +16 x32 +32 x33 +64 x34 +128 x35 +256 x36 >= 2 ;
12+ +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 ;
13+ +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 ;
14+ +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 ;
Load Diff This file was deleted.
Original file line number Diff line number Diff line change @@ -30,7 +30,7 @@ instances/MINLP/meanvarx.mps
3030instances/MINLP/meanvarxsc.lp
3131instances/MINLP/parincQuadratic.osil
3232instances/MINLP/tltr.mps
33- instances/PseudoBoolean/factor-mod-size=9-P0=67 -P1=349 -P2=67 -P3=499-P4=79-P5=347-P6=307 -B.opb
33+ instances/PseudoBoolean/factor-mod-size=9-P0=263 -P1=409 -P2=29 -P3=379 -B.opb
3434instances/PseudoBoolean/normalized-bsg_10_4_5.opb
3535instances/PseudoBoolean/normalized-mds_10_4_3.opb
3636instances/PseudoBoolean/normalized-mds_50_25_5.opb
Original file line number Diff line number Diff line change 2929=opt= tltr 48.0666666667
3030=opt= semicon1 1.1
3131=opt= meanvarxsc 14.3692321148754
32- =opt= factor-mod-size=9-P0=67 -P1=349 -P2=67 -P3=499-P4=79-P5=347-P6=307 -B 3
32+ =opt= factor-mod-size=9-P0=263 -P1=409 -P2=29 -P3=379 -B 3
3333=opt= normalized-bsg_10_4_5 -4
3434=opt= normalized-mds_10_4_3 2
3535=opt= normalized-mds_50_25_5 3
Original file line number Diff line number Diff line change @@ -30,7 +30,7 @@ instances/MINLP/m3.osil
3030instances/MINLP/parincQuadratic.osil
3131instances/MINLP/tltr.mps
3232instances/MINLP/tltr.nl
33- instances/PseudoBoolean/factor-mod-size=9-P0=67 -P1=349 -P2=67 -P3=499-P4=79-P5=347-P6=307 -B.opb
33+ instances/PseudoBoolean/factor-mod-size=9-P0=263 -P1=409 -P2=29 -P3=379 -B.opb
3434instances/PseudoBoolean/normalized-bsg_10_4_5.opb
3535instances/PseudoBoolean/normalized-mds_10_4_3.opb
3636instances/PseudoBoolean/normalized-mds_50_25_5.opb
Original file line number Diff line number Diff line change 1010=opt= misc03 3360
1111=opt= p0033 3089
1212=opt= p0548 8691
13- =opt= parincQuadratic 49920.5564
1413=opt= rgn 82.1999974
1514=opt= stein27 18
1615=inf= stein27_inf
17- =opt= stein27_super 1
1816=opt= vpm2 13.75
19- =opt= mcf64-4-1 10
20- =opt= mcf128-4-1 14
21- =opt= sparse2 26.0
22- =opt= findRoot 1.0
23- =opt= pcu_0.01 0.167527525
24- =opt= pcu_0.1 0.185145653
25- =opt= bip_cross_min.10.10.10.1 1
26- =opt= ex1266 16.3
27- =opt= meanvarx 14.3692321148754
28- =opt= tltr 48.0666666667
29- =opt= semicon1 1.1
30- =opt= meanvarxsc 14.36918
31- =opt= factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B 3
32- =opt= normalized-bsg_10_4_5 -4
33- =opt= normalized-mds_10_4_3 2
34- =opt= normalized-mds_50_25_5 3
35- =opt= normalized-t2001.13queen13.1110976730--soft-33-100-0 4
36- =inf= normalized-t2001.13queen13.1111218308
37- =opt= wheel010.lap.opb.pre 25
38- =opt= bart10.shuffled 0
39- =opt= linking 2
40- =opt= j301_2 47
41- =opt= gastrans 89.08584
42- =opt= ex1224 -0.943470548
43- =opt= m3 37.8
44- =opt= circle 4.57424778
45- =opt= packorb_1-FullIns_3 28
46- =opt= partorb_1-FullIns_3 4
47- =opt= disj_conj_rail 1324.43557422969
You can’t perform that action at this time.
0 commit comments