This page displays general informations on each benchmark in category "all categories"
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 220 | 42 | 30 | 1595 | 1 | 100 | 1594 | 22 | 20 | 0 | 10 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | 58dcfab840f802fd07e06728414a1271 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 300 | 50 | 35 | 1837 | 1 | 98 | 1836 | 30 | 20 | 0 | 10 | 15 | 1 | 1 | 16 | 5 | 0 | 0 | 0 | 0 | 1558329f241385327ddc7531dadf19cb | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo |
PARTIAL-LIN | 300 | 50 | 18 | 838 | 1 | 83 | 837 | 30 | 20 | 0 | 10 | 15 | 1 | 1 | 16 | 5 | 0 | 0 | 0 | 0 | 3c6d97869b06a147893cbce6b9d9d944 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 750 | 80 | 54 | 2808 | 1 | 100 | 2807 | 50 | 30 | 0 | 15 | 25 | 1 | 1 | 26 | 5 | 0 | 0 | 0 | 0 | 0dfee3407103fe38e7e280b581c141ed | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 2400 | 140 | 97 | 4448 | 1 | 98 | 4447 | 80 | 60 | 0 | 30 | 40 | 1 | 1 | 41 | 6 | 0 | 0 | 0 | 0 | 8fafed3c1d6e2397a3794663e42acace | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-66-100-0.wbo |
PARTIAL-LIN | 2400 | 140 | 52 | 2792 | 1 | 97 | 2791 | 80 | 60 | 0 | 30 | 40 | 1 | 1 | 41 | 6 | 0 | 0 | 0 | 0 | 1a6611d55faa1192d6715388626539e6 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 3280 | 162 | 117 | 5670 | 1 | 100 | 5669 | 82 | 80 | 0 | 40 | 41 | 1 | 1 | 42 | 6 | 0 | 0 | 0 | 0 | 85c61b41516c561b6bc7de90e3cecd83 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo |
PARTIAL-LIN | 3600 | 170 | 63 | 3157 | 1 | 97 | 3156 | 90 | 80 | 0 | 40 | 45 | 1 | 1 | 46 | 6 | 0 | 0 | 0 | 0 | 4aa959acef268827fee52a48855c070a | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 5500 | 210 | 145 | 7273 | 1 | 100 | 7272 | 110 | 100 | 0 | 50 | 55 | 1 | 1 | 56 | 6 | 0 | 0 | 0 | 0 | 5a26684c778fa1de5039a887c1250f16 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo |
PARTIAL-LIN | 5500 | 210 | 72 | 3934 | 1 | 98 | 3933 | 110 | 100 | 0 | 50 | 55 | 1 | 1 | 56 | 6 | 0 | 0 | 0 | 0 | 71978cc300e1cee51e577cd2bf81c379 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1783 | 90636 | 1 | 100 | 90635 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 687 | 10 | 0 | 0 | 0 | 0 | 11f83a0df6220c4f8de8dfc598d97eff | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 927 | 45360 | 1 | 100 | 45359 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 745 | 10 | 0 | 0 | 0 | 0 | c44296df46be636a3d5069e5616e3fa6 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1777 | 90281 | 1 | 100 | 90280 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 723 | 10 | 0 | 0 | 0 | 0 | 3785d842bac6fe989ed69b09e3d5f780 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1868 | 94981 | 1 | 100 | 94980 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 709 | 10 | 0 | 0 | 0 | 0 | 986151a138d2ed587805254495fec40d | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 899 | 46330 | 1 | 100 | 46329 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 625 | 10 | 0 | 0 | 0 | 0 | 72fe16d1fc7fd28b9f4f62909a70b72d | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 892 | 45060 | 1 | 100 | 45059 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 685 | 10 | 0 | 0 | 0 | 0 | ec2511efc2417fb1e9e041199c221bd7 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 899 | 46330 | 1 | 100 | 46329 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 749 | 10 | 0 | 0 | 0 | 0 | dddb0d744d834e2d5f9db141b6c49ab7 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 937 | 46894 | 1 | 100 | 46893 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 733 | 10 | 0 | 0 | 0 | 0 | 07149bb688e9c24b651465ffa2b1083b | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1816 | 92461 | 1 | 100 | 92460 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 661 | 10 | 0 | 0 | 0 | 0 | 100b8721f67ac4f330c7a6443b255629 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1802 | 91108 | 1 | 100 | 91107 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 671 | 10 | 0 | 0 | 0 | 0 | d9ce9dadf7577308886436a03b54d963 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 69 | 3204 | 1 | 97 | 3203 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1188 | 11 | 0 | 0 | 0 | 0 | 78530bd9d8566fef18fc3cd1ae043ffe | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 3426 | 1 | 99 | 3425 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1239 | 11 | 0 | 0 | 0 | 0 | 3fe609e3abfc3ea6e01c0dbccbf479ce | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 28 | 1415 | 1 | 98 | 1414 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1239 | 11 | 0 | 0 | 0 | 0 | 938b841d1fff451a1013f00070492fe7 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 29 | 1556 | 1 | 100 | 1555 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1221 | 11 | 0 | 0 | 0 | 0 | 67a49b7d053d3e2f816c9cc46337a5e2 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 3426 | 1 | 99 | 3425 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1202 | 11 | 0 | 0 | 0 | 0 | bde05d98e9c3034ba9efb528ac470ce1 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 2925 | 1 | 96 | 2924 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1259 | 11 | 0 | 0 | 0 | 0 | 6e5ad560d764b7fb98c12fb74c689226 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 3426 | 1 | 99 | 3425 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1248 | 11 | 0 | 0 | 0 | 0 | 88b7c0c564c77620507551e3e8601c53 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 69 | 3204 | 1 | 97 | 3203 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1228 | 11 | 0 | 0 | 0 | 0 | a01c9ef9d0240b56467a0aa37bdb71bd | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 69 | 3204 | 1 | 97 | 3203 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1262 | 11 | 0 | 0 | 0 | 0 | fbadd88cc8883de0bbcabc353cdf916b | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 2925 | 1 | 96 | 2924 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1314 | 11 | 0 | 0 | 0 | 0 | a8e26e0eab79e9f1a54c86bac5b7dd59 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo |
PARTIAL-LIN | 10500 | 205 | 132 | 6845 | 1 | 100 | 6844 | 105 | 100 | 0 | 100 | 105 | 1 | 1 | 106 | 7 | 0 | 0 | 0 | 0 | 75ee7f9a14b4a98582c10eea27279857 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo |
PARTIAL-LIN | 110 | 21 | 4 | 193 | 1 | 93 | 192 | 11 | 10 | 0 | 10 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | 86c2c4a60c85d3f2ad84119b620b05dd | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo |
PARTIAL-LIN | 500 | 45 | 13 | 596 | 1 | 93 | 595 | 25 | 20 | 0 | 20 | 25 | 1 | 1 | 26 | 5 | 0 | 0 | 0 | 0 | d5d4039752cbc55583a85d3067e00cbd | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo |
PARTIAL-LIN | 930 | 61 | 16 | 916 | 1 | 96 | 915 | 31 | 30 | 0 | 30 | 31 | 1 | 1 | 32 | 6 | 0 | 0 | 0 | 0 | 624a339f0217b19ce83ed2965f11f6c0 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo |
PARTIAL-LIN | 3660 | 121 | 81 | 3401 | 1 | 96 | 3400 | 61 | 60 | 0 | 60 | 61 | 1 | 1 | 62 | 6 | 0 | 0 | 0 | 0 | 3585fb426f9029f6e955b919f6710c5b | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo |
PARTIAL-LIN | 3900 | 125 | 39 | 2003 | 1 | 97 | 2002 | 65 | 60 | 0 | 60 | 65 | 1 | 1 | 66 | 7 | 0 | 0 | 0 | 0 | 12291a6fa56cb5d9903f2acb67174802 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo |
PARTIAL-LIN | 5250 | 145 | 53 | 2739 | 1 | 100 | 2738 | 75 | 70 | 0 | 70 | 75 | 1 | 1 | 76 | 7 | 0 | 0 | 0 | 0 | 06a2e497e51c1e9d30e1cb041d3ceb6a | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo |
PARTIAL-LIN | 6800 | 165 | 110 | 6303 | 1 | 100 | 6302 | 85 | 80 | 0 | 80 | 85 | 1 | 1 | 86 | 7 | 0 | 0 | 0 | 0 | 90805506c3ef3a167cca93afc34c9333 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo |
PARTIAL-LIN | 8190 | 181 | 121 | 5805 | 1 | 100 | 5804 | 91 | 90 | 0 | 90 | 91 | 1 | 1 | 92 | 7 | 0 | 0 | 0 | 0 | ec58dba4412352f1670990b2e8a914b8 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo |
PARTIAL-LIN | 8550 | 185 | 61 | 3342 | 1 | 99 | 3341 | 95 | 90 | 0 | 90 | 95 | 1 | 1 | 96 | 7 | 0 | 0 | 0 | 0 | 80a2188f6647c65e3e0a2bad64ccc9d8 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-66-100-0.wbo |
PARTIAL-LIN | 3655 | 8686 | 3009 | 152193 | 1 | 100 | 152192 | 7982 | 0 | 704 | 1 | 15 | 158 | 8 | 539 | 10 | 0 | 0 | 0 | 0 | 0360e68254327c2795750db3df3216c7 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-66-100-0.wbo |
PARTIAL-LIN | 1612 | 3653 | 1247 | 63484 | 1 | 100 | 63483 | 3273 | 0 | 380 | 1 | 13 | 79 | 7 | 268 | 9 | 0 | 0 | 0 | 0 | 9a0142c8cfee75093b3c4f120661251b | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 3618 | 3931 | 1336 | 67716 | 1 | 100 | 67715 | 2865 | 0 | 1066 | 1 | 25 | 7394 | 13 | 19679 | 15 | 0 | 0 | 0 | 0 | 1935ec107fcf97a1d9961f0d64a5e0c9 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 23837 | 67568 | 22831 | 1153610 | 1 | 100 | 1153609 | 64398 | 0 | 3170 | 1 | 13 | 66 | 7 | 256 | 9 | 0 | 0 | 0 | 0 | ad91ea88b68d6dd6ada6c10490616c15 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-33-100-0.wbo |
PARTIAL-LIN | 67 | 132 | 87 | 4175 | 1 | 98 | 4174 | 120 | 0 | 12 | 1 | 7 | 10 | 4 | 31 | 5 | 0 | 0 | 0 | 0 | 0483f5b41c9f7bd54f3005320714ebca | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 1328 | 3349 | 1145 | 58120 | 1 | 100 | 58119 | 3165 | 0 | 184 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | 4eec87b7dd232824d79f008d996386c7 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo |
PARTIAL-LIN | 3939 | 10412 | 6994 | 349089 | 1 | 100 | 349088 | 9740 | 0 | 672 | 1 | 13 | 69 | 7 | 258 | 9 | 0 | 0 | 0 | 0 | fcd01ea1026463f094965248803e85ff | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo |
PARTIAL-LIN | 109757 | 313451 | 210179 | 10622405 | 1 | 100 | 10622404 | 295929 | 0 | 17522 | 1 | 15 | 130 | 8 | 512 | 10 | 0 | 0 | 0 | 0 | 83ab53751f0d079b369ec7d5616a78bc | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 3736 | 10457 | 3516 | 177995 | 1 | 100 | 177994 | 10089 | 0 | 368 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | b9e4bf4d6140c91cb266031462fadfd8 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 20605 | 59851 | 20266 | 1021972 | 1 | 100 | 1021971 | 58675 | 0 | 1176 | 1 | 11 | 41 | 6 | 134 | 8 | 0 | 0 | 0 | 0 | e4fd3967a6a2ec462f653a1a84918b95 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 29282 | 92908 | 31669 | 1605974 | 1 | 100 | 1605973 | 92428 | 0 | 480 | 1 | 93 | 32 | 6 | 554 | 10 | 0 | 0 | 0 | 0 | 267510a1ea4cacab83d8ba49d7b7c44e | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j120/ normalized-j12027_7-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 27588 | 91561 | 61241 | 3099658 | 1 | 100 | 3099657 | 91109 | 0 | 452 | 1 | 66 | 21 | 5 | 415 | 9 | 0 | 0 | 0 | 0 | 2e4d01321953204035915c899f35b9ad | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j120/ normalized-j1205_1-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 22264 | 70239 | 23796 | 1198419 | 1 | 100 | 1198418 | 69875 | 0 | 364 | 1 | 34 | 28 | 5 | 210 | 8 | 0 | 0 | 0 | 0 | 1c51aa55b04f305c5995e8e96fdbf742 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 4960 | 16157 | 10743 | 536531 | 1 | 100 | 536530 | 15841 | 0 | 316 | 1 | 30 | 19 | 5 | 201 | 8 | 0 | 0 | 0 | 0 | ba194272c44599b761eb44cd6c0bfaf3 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 4960 | 16157 | 5468 | 278200 | 1 | 100 | 278199 | 15841 | 0 | 316 | 1 | 30 | 19 | 5 | 201 | 8 | 0 | 0 | 0 | 0 | bc45bcdbecbc5e781b95a5731515dca1 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j30/ normalized-j3041_4-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 4836 | 16649 | 5540 | 277431 | 1 | 100 | 277430 | 16341 | 0 | 308 | 1 | 26 | 15 | 4 | 166 | 8 | 0 | 0 | 0 | 0 | 923657a6fd3eb2085ad43ac66fc2fa4a | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 9272 | 29174 | 19508 | 985166 | 1 | 100 | 985165 | 28874 | 0 | 300 | 1 | 35 | 18 | 5 | 231 | 8 | 0 | 0 | 0 | 0 | c4d02b25c9b6c00fd2e79a16638fdb72 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9012_2-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 12922 | 40512 | 27111 | 1376604 | 1 | 100 | 1376603 | 40232 | 0 | 280 | 1 | 69 | 102 | 7 | 504 | 9 | 0 | 0 | 0 | 0 | 4b4098f9cb0984cad8bc216ac489f0b3 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 14196 | 44553 | 15324 | 775307 | 1 | 100 | 775306 | 44245 | 0 | 308 | 1 | 90 | 66 | 7 | 565 | 10 | 0 | 0 | 0 | 0 | 433c169bffb9d16d04a273c7da0ca21c | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9039_3-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 15106 | 51849 | 34948 | 1769987 | 1 | 100 | 1769986 | 51521 | 0 | 328 | 1 | 50 | 42 | 6 | 335 | 9 | 0 | 0 | 0 | 0 | 0a4b6b08a9fed495148997222c3d5a86 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-16wqueens_wcsp.wbo |
PARTIAL-LIN | 256 | 4608 | 4592 | 17 | 1 | 17 | 74992 | 4592 | 16 | 0 | 1 | 16 | 1 | 1 | 17 | 5 | 0 | 0 | 0 | 0 | 2dafe2a67a8b184b6713205cde938c5b | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-4queens_wcsp.wbo |
PARTIAL-LIN | 16 | 264 | 260 | 1 | 1 | 1 | 260 | 260 | 4 | 0 | 2 | 4 | 3 | 2 | 7 | 3 | 0 | 0 | 0 | 0 | 9a7236d3f9b37225813cfa83ab713602 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-4wqueens_wcsp.wbo |
PARTIAL-LIN | 16 | 64 | 60 | 5 | 1 | 5 | 268 | 60 | 4 | 0 | 1 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | 68ba75e8b45c150ebae58395e6aa0904 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-donald_wcsp.wbo |
PARTIAL-LIN | 107 | 6557 | 6542 | 1 | 1 | 1 | 6542 | 6542 | 15 | 0 | 2 | 10 | 4 | 3 | 11 | 4 | 0 | 0 | 0 | 0 | 45d95fd07d7162f271127978cc7ab15a | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-langford-2-4_wcsp.wbo |
PARTIAL-LIN | 64 | 470 | 462 | 1 | 1 | 1 | 462 | 462 | 8 | 0 | 2 | 8 | 1 | 1 | 9 | 4 | 0 | 0 | 0 | 0 | b04b2c0ff2bcd923aab403abb7b31516 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-send_wcsp.wbo |
PARTIAL-LIN | 84 | 11473 | 11462 | 1 | 1 | 1 | 11462 | 11462 | 11 | 0 | 2 | 10 | 4 | 3 | 11 | 4 | 0 | 0 | 0 | 0 | d10a0e940c7226e170e59c59d745fc7e | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ academics/ normalized-slangford-3-11_wcsp.wbo |
PARTIAL-LIN | 1089 | 53185 | 53152 | 976 | 1 | 976 | 37740146 | 53152 | 33 | 0 | 2 | 33 | 1 | 1 | 34 | 6 | 0 | 0 | 0 | 0 | d1e83745c12c7ec680c949b5ab02beb5 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-warehouse0_wcsp.wbo |
PARTIAL-LIN | 60 | 120 | 105 | 954 | 1 | 954 | 50513 | 105 | 15 | 0 | 1 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | f13c2de30163793e2ab4d575c6162552 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-warehouse1_wcsp.wbo |
PARTIAL-LIN | 418 | 818 | 779 | 2939907 | 1 | 2939907 | 1138582091 | 779 | 39 | 0 | 1 | 19 | 1 | 1 | 20 | 5 | 0 | 0 | 0 | 0 | 30eba44d9a633242c7fdfd5aebca1c83 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo |
PARTIAL-LIN | 125 | 15290 | 15265 | 1 | 1 | 1 | 15265 | 15265 | 25 | 0 | 1 | 5 | 4 | 3 | 9 | 4 | 0 | 0 | 0 | 0 | 99790f2664be6800e1752e97b07386a2 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt3cc_wcsp.wbo |
PARTIAL-LIN | 131 | 915 | 870 | 1697 | 1 | 1697 | 1425299 | 870 | 45 | 0 | 1 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | e1e1625dd1af3b9ca38b032c1d4b0485 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt3c_wcsp.wbo |
PARTIAL-LIN | 131 | 915 | 870 | 2827 | 1 | 2827 | 2373959 | 870 | 45 | 0 | 1 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | 22ba1d9e3b9c5dfbf523388bd05690a3 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt4bc_wcsp.wbo |
PARTIAL-LIN | 584 | 10179 | 10000 | 5818 | 1 | 5818 | 57498240 | 10000 | 179 | 0 | 1 | 18 | 1 | 1 | 19 | 5 | 0 | 0 | 0 | 0 | 2b31762170bd21f2d2449fc5c5e070c4 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt4cc_wcsp.wbo |
PARTIAL-LIN | 584 | 10179 | 10000 | 9051 | 1 | 9051 | 89450564 | 10000 | 179 | 0 | 1 | 18 | 1 | 1 | 19 | 5 | 0 | 0 | 0 | 0 | 6b9bbf5f8b7e74ed9454dc93ad3e9326 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt4c_wcsp.wbo |
PARTIAL-LIN | 584 | 10179 | 10000 | 11277 | 1 | 11277 | 111447782 | 10000 | 179 | 0 | 1 | 18 | 1 | 1 | 19 | 5 | 0 | 0 | 0 | 0 | d40a41d8bfb1266befa1f6df61f00c6f | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt5ac_wcsp.wbo |
PARTIAL-LIN | 1460 | 39214 | 38783 | 27977 | 1 | 27977 | 1077135708 | 38783 | 431 | 0 | 1 | 27 | 1 | 1 | 28 | 5 | 0 | 0 | 0 | 0 | 4da636d34dde7f0c095a67f32c170039 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt5bc_wcsp.wbo |
PARTIAL-LIN | 1460 | 39214 | 38783 | 11646 | 1 | 11646 | 448380107 | 38783 | 431 | 0 | 1 | 27 | 1 | 1 | 28 | 5 | 0 | 0 | 0 | 0 | 52081b6286713c285863d1e675321789 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt5cc_wcsp.wbo |
PARTIAL-LIN | 1460 | 39214 | 38783 | 22083 | 1 | 22083 | 850217582 | 38783 | 431 | 0 | 1 | 27 | 1 | 1 | 28 | 5 | 0 | 0 | 0 | 0 | 07304fa998cbbdc372755dd3e091553c | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt6_wcsp.wbo |
PARTIAL-LIN | 2890 | 101446 | 100609 | 45422 | 1 | 45422 | 4544914888 | 100609 | 837 | 0 | 1 | 38 | 1 | 1 | 39 | 6 | 0 | 0 | 0 | 0 | d08a43eb116f13cdfc311bda4eeb58b1 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub0_wcsp.wbo |
PARTIAL-LIN | 640 | 123180 | 123164 | 45316 | 1 | 1000 | 22402430 | 123164 | 16 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | c1daaa37b7d013b8df922d639958f72d | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo |
PARTIAL-LIN | 336 | 69031 | 69017 | 47694 | 1 | 1000 | 9891329 | 69017 | 14 | 0 | 2 | 24 | 1 | 1 | 25 | 5 | 0 | 0 | 0 | 0 | 0fb77b786bdb5828a2775dbdb30deb06 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub1_wcsp.wbo |
PARTIAL-LIN | 616 | 241978 | 241964 | 48694 | 1 | 1000 | 34489736 | 241964 | 14 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 4332859c61197d8e78afa6b8b48bb73c | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub3_wcsp.wbo |
PARTIAL-LIN | 776 | 319436 | 319418 | 58724 | 1 | 1000 | 41665382 | 319418 | 18 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 25adf5b940a77273e2a5bcad45fe6bb3 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub4_wcsp.wbo |
PARTIAL-LIN | 928 | 353054 | 353032 | 69697 | 1 | 1000 | 47779432 | 353032 | 22 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 951d8ca9c19f6c1f8975ac3bbc5eec26 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar7-sub0_wcsp.wbo |
PARTIAL-LIN | 666 | 125013 | 124997 | 9605862 | 1 | 1000000 | 4487093978 | 124997 | 16 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 6bd6ea5dd1d3d3bae9a72705def63daf | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar7-sub1_wcsp.wbo |
PARTIAL-LIN | 616 | 249748 | 249734 | 39275680 | 1 | 1000000 | 19104596930 | 249734 | 14 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | daf2f1ed087a94b78160429ad112bf14 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar7-sub3_wcsp.wbo |
PARTIAL-LIN | 776 | 326836 | 326818 | 45857915 | 1 | 1000000 | 23120752168 | 326818 | 18 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | ab58973f8a134afc7bedbaa01ab0bdb8 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo |
PARTIAL-LIN | 444 | 80644 | 80622 | 54058235 | 1 | 1000000 | 6107276475 | 80622 | 22 | 0 | 2 | 22 | 1 | 1 | 23 | 5 | 0 | 0 | 0 | 0 | d7d01ec0794d07991a9972239b49c230 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar7-sub4_wcsp.wbo |
PARTIAL-LIN | 928 | 357050 | 357028 | 55058437 | 1 | 1000000 | 28629521944 | 357028 | 22 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 017722a65fbbcf3be40a97a1e4190efb | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo |
PARTIAL-LIN | 500 | 3069 | 2944 | 737 | 1 | 1 | 2944 | 2944 | 125 | 0 | 2 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | 4a9eb458ba5998baf9d85c7a824f8669 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-dsjc125-1-5_wcsp.wbo |
PARTIAL-LIN | 625 | 3805 | 3680 | 737 | 1 | 1 | 3680 | 3680 | 125 | 0 | 2 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | 0971c962bf2581d0ee8c4d9aaf2e583b | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-geom30a-5_wcsp.wbo |
PARTIAL-LIN | 150 | 435 | 405 | 82 | 1 | 1 | 405 | 405 | 30 | 0 | 2 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | 5821ab8ff6a6257c3649066fd92bc505 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-geom40-3_wcsp.wbo |
PARTIAL-LIN | 120 | 274 | 234 | 79 | 1 | 1 | 234 | 234 | 40 | 0 | 2 | 3 | 1 | 1 | 4 | 3 | 0 | 0 | 0 | 0 | 0d982385405223056eaac275cd15bd76 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-geom40-5_wcsp.wbo |
PARTIAL-LIN | 200 | 430 | 390 | 79 | 1 | 1 | 390 | 390 | 40 | 0 | 2 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | 32a9ef92da1ebaf3b33e027dd9745527 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-geom40-6_wcsp.wbo |
PARTIAL-LIN | 240 | 508 | 468 | 79 | 1 | 1 | 468 | 468 | 40 | 0 | 2 | 6 | 1 | 1 | 7 | 3 | 0 | 0 | 0 | 0 | 4ad72f607a595ae747a85b2da31fc478 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-le450-5a-2_wcsp.wbo |
PARTIAL-LIN | 900 | 11878 | 11428 | 5715 | 1 | 1 | 11428 | 11428 | 450 | 0 | 2 | 2 | 1 | 1 | 3 | 2 | 0 | 0 | 0 | 0 | 6c085f75a45f8dc628de423430f6f9d1 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-le450-5a-4_wcsp.wbo |
PARTIAL-LIN | 1800 | 23306 | 22856 | 5715 | 1 | 1 | 22856 | 22856 | 450 | 0 | 2 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | 6f720b4722bfdee79227a462351755e1 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo |
PARTIAL-LIN | 235 | 1227 | 1180 | 237 | 1 | 1 | 1180 | 1180 | 47 | 0 | 2 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | 3494b890a231ad778a05b94b9d7caa9e | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-queen5-5-4_wcsp.wbo |
PARTIAL-LIN | 100 | 665 | 640 | 161 | 1 | 1 | 640 | 640 | 25 | 0 | 2 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | cb6ea9648287f931b56a2a3b8dcad6ec | ||
| PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01ac_wcsp.wbo |
PARTIAL-LIN | 173 | 765 | 700 | 13672 | 1 | 13672 | 8981646 | 700 | 65 | 0 | 1 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | 7d0485ea02852128d4d182e65fb8a743 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01bc_wcsp.wbo |
PARTIAL-LIN | 173 | 765 | 700 | 13822 | 1 | 13822 | 9080206 | 700 | 65 | 0 | 1 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | 1e71fbc295307d8307c380369dbc4872 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01cc_wcsp.wbo |
PARTIAL-LIN | 173 | 765 | 700 | 9801 | 1 | 9801 | 6438293 | 700 | 65 | 0 | 1 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | c7fdbb4b183caa2dbb290679c2cb8e9b | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-bf0432-007_ext.wbo |
PARTIAL-LIN | 2080 | 4708 | 3668 | 3669 | 1 | 1 | 3668 | 3668 | 1040 | 0 | 1 | 6 | 5 | 3 | 11 | 4 | 0 | 0 | 0 | 0 | a50f1c077d4fcfcb9f3a11cab761839d | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo |
PARTIAL-LIN | 120 | 220 | 160 | 161 | 1 | 1 | 160 | 160 | 60 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 9d9fdada59c4564a897aaba3ca196804 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois21_ext.wbo |
PARTIAL-LIN | 126 | 231 | 168 | 169 | 1 | 1 | 168 | 168 | 63 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 509a959af0c950a8d560ae1635b129cf | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois23_ext.wbo |
PARTIAL-LIN | 138 | 253 | 184 | 185 | 1 | 1 | 184 | 184 | 69 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 29e053dd359348cb53273f641f699245 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois28_ext.wbo |
PARTIAL-LIN | 168 | 308 | 224 | 225 | 1 | 1 | 224 | 224 | 84 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 44a7c10fd5f1c4ff826fb33f3d07582b | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_25_ext.wbo |
PARTIAL-LIN | 300 | 550 | 400 | 401 | 1 | 1 | 400 | 400 | 150 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 62701ea25d944c2002344b5f329a0a28 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo |
PARTIAL-LIN | 300 | 550 | 400 | 401 | 1 | 1 | 400 | 400 | 150 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | d55cac5b2b1ce62efc155cd4d3566dc4 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo |
PARTIAL-LIN | 120 | 220 | 160 | 161 | 1 | 1 | 160 | 160 | 60 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 69782c1f0853f8b1a3e221c0e17166d7 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/dimacs/ normalized-ssa0432-003_ext.wbo |
PARTIAL-LIN | 870 | 1462 | 1027 | 1028 | 1 | 1 | 1027 | 1027 | 435 | 0 | 1 | 5 | 4 | 3 | 9 | 4 | 0 | 0 | 0 | 0 | 2ddfb8f92a58e9b80b09db9b967cf9fb | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/dimacs/ normalized-ssa2670-141_ext.wbo |
PARTIAL-LIN | 1972 | 3301 | 2315 | 2316 | 1 | 1 | 2315 | 2315 | 986 | 0 | 1 | 5 | 4 | 3 | 9 | 4 | 0 | 0 | 0 | 0 | 522ae1af94bb440c80c9834d9aaefd7d | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog01bc_wcsp.wbo |
PARTIAL-LIN | 195 | 808 | 737 | 12087 | 1 | 12087 | 8049657 | 737 | 71 | 0 | 1 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | 3e4221fcb5848e7d9cd3a98aa481d0bc | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog02ac_wcsp.wbo |
PARTIAL-LIN | 1161 | 24270 | 23969 | 58637 | 1 | 58637 | 1373628189 | 23969 | 301 | 0 | 1 | 8 | 1 | 1 | 9 | 4 | 0 | 0 | 0 | 0 | b176be79b7d8c2eac54ed4a0d408a517 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog02bc_wcsp.wbo |
PARTIAL-LIN | 1161 | 24270 | 23969 | 62624 | 1 | 62624 | 1467027651 | 23969 | 301 | 0 | 1 | 8 | 1 | 1 | 9 | 4 | 0 | 0 | 0 | 0 | a7de8a7695e2783312a6967cbbe52728 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog04ac_wcsp.wbo |
PARTIAL-LIN | 1026 | 22742 | 22470 | 47382 | 1 | 47382 | 1041643943 | 22470 | 272 | 0 | 1 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | 384955075981d83e23fa298c2f8a1e4f | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog04bc_wcsp.wbo |
PARTIAL-LIN | 1026 | 22742 | 22470 | 57921 | 1 | 57921 | 1273334291 | 22470 | 272 | 0 | 1 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | 999fbbf0845c0cc7102144ac87eb74ba | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog04cc_wcsp.wbo |
PARTIAL-LIN | 1026 | 22742 | 22470 | 83979 | 1 | 83979 | 1846191905 | 22470 | 272 | 0 | 1 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | d25a68a1d5200623f56e252cb600ce8e | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog05cc_wcsp.wbo |
PARTIAL-LIN | 1359 | 37158 | 36807 | 108619 | 1 | 108619 | 3926793432 | 36807 | 351 | 0 | 1 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | 3a053c93e9d0e4397f450be459e8f306 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog08bc_wcsp.wbo |
PARTIAL-LIN | 1583 | 57898 | 57490 | 71841 | 1 | 71841 | 4073527593 | 57490 | 408 | 0 | 1 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | 469180c9410b03a55d75b196a7ac7a0a | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog08cc_wcsp.wbo |
PARTIAL-LIN | 1583 | 57897 | 57489 | 138975 | 1 | 138975 | 7880159662 | 57489 | 408 | 0 | 1 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | bf2d92b6beba5b56a6442a8de68f6478 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlogs03_wcsp.wbo |
PARTIAL-LIN | 862 | 14841 | 14606 | 43257 | 1 | 43257 | 614810168 | 14606 | 235 | 0 | 1 | 8 | 1 | 1 | 9 | 4 | 0 | 0 | 0 | 0 | 2818ac3ace7c551dfd1d87a16a0a53ae | ||
| PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo |
PARTIAL-LIN | 3708 | 521269 | 521169 | 229599 | 1 | 1000 | 117319947 | 521169 | 100 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 6dcf243f3bd81c615377274654cfc335 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo |
PARTIAL-LIN | 7542 | 1065451 | 1065251 | 476244 | 1 | 1000 | 266649860 | 1065251 | 200 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 38287b4f81b650595c9c747bdd7f38d4 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo |
PARTIAL-LIN | 5160 | 512485 | 512344 | 463736 | 1 | 1000 | 146536849 | 512344 | 141 | 0 | 1 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 9031472e82cc640e2367b3bed0c7412c | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ graphs/ normalized-graph11reducmore_wcsp.wbo |
PARTIAL-LIN | 5747 | 283088 | 282856 | 3080 | 1 | 3080 | 64455868 | 282856 | 232 | 0 | 1 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 4f5be5c84a0d76ec975a3a6b3be3f2ae | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/graphs/ normalized-graph11reduc_wcsp.wbo |
PARTIAL-LIN | 5855 | 283196 | 282856 | 3080 | 1 | 3080 | 64455868 | 282856 | 340 | 0 | 1 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 4f9f31b2d576e76fab744cedabc86032 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo |
PARTIAL-LIN | 12820 | 1878918 | 1878578 | 824749 | 1 | 1000 | 470565953 | 1878578 | 340 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 877f3997f9257d793d2a0e209c393814 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo |
PARTIAL-LIN | 9502 | 1168253 | 1168001 | 939023 | 1 | 1000 | 296009396 | 1168001 | 252 | 0 | 1 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | f7c32201343af4658b05b95f6b622952 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ graphs/ normalized-graph13reducmore_wcsp.wbo |
PARTIAL-LIN | 13153 | 970904 | 970450 | 10110 | 1 | 3670 | 307075871 | 970450 | 454 | 0 | 1 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 67fbd2e887926488e60ea47b7a4ad243 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/graphs/ normalized-graph13reduc_wcsp.wbo |
PARTIAL-LIN | 13155 | 970906 | 970450 | 10110 | 1 | 3670 | 307075871 | 970450 | 456 | 0 | 1 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 997078d0f46188c46d8061e8f06b5aa8 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo |
PARTIAL-LIN | 17588 | 2800426 | 2799968 | 1167526 | 1 | 1000 | 719469320 | 2799968 | 458 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 3b3f4aa0f9e5bc80725226257d35d467 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh05_wcsp.wbo |
PARTIAL-LIN | 200 | 950 | 850 | 420926 | 1 | 1000 | 420925 | 850 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | d1a6099a7e542581102c3929cc4a77fe | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh06_wcsp.wbo |
PARTIAL-LIN | 200 | 950 | 850 | 420926 | 1 | 1000 | 420925 | 850 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 15eb5937329c6e47f91976fcfd901f5f | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh08_wcsp.wbo |
PARTIAL-LIN | 200 | 950 | 850 | 420926 | 1 | 1000 | 420925 | 850 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | c3f100ed45bfa0d0f8d6863e1afa59b4 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh11_wcsp.wbo |
PARTIAL-LIN | 200 | 950 | 850 | 420926 | 1 | 1000 | 420925 | 850 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 319100b57addc0b4cf3c4ce671e8a7bd | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh13_wcsp.wbo |
PARTIAL-LIN | 200 | 950 | 850 | 420926 | 1 | 1000 | 420925 | 850 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 51e9be49ac27224642d269e28bf47845 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh16_wcsp.wbo |
PARTIAL-LIN | 200 | 950 | 850 | 420926 | 1 | 1000 | 420925 | 850 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | dabc75a1324f8759f1d0112902e45697 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh203_wcsp.wbo |
PARTIAL-LIN | 200 | 900 | 800 | 394239 | 1 | 1000 | 394238 | 800 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 6a8096bd29146d4f8b8c9e030aa650ad | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh214_wcsp.wbo |
PARTIAL-LIN | 200 | 900 | 800 | 394239 | 1 | 1000 | 394238 | 800 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 1ab7cc3b3028eae736c05f0bf63271e7 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh304_wcsp.wbo |
PARTIAL-LIN | 200 | 1000 | 900 | 444855 | 1 | 1000 | 444854 | 900 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | f6db78aa5c07ad3d47adec5aa1d227ba | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh309_wcsp.wbo |
PARTIAL-LIN | 200 | 1000 | 900 | 444855 | 1 | 1000 | 444854 | 900 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 96a7bb3d2f4d960817b831e20b609ac8 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ logistics/ normalized-logistics01ac_wcsp.wbo |
PARTIAL-LIN | 490 | 3171 | 3007 | 70552 | 1 | 70552 | 198669792 | 3007 | 164 | 0 | 1 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | 110180dcd4d8e759c565b3e8848a76a6 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ logistics/ normalized-logistics01bc_wcsp.wbo |
PARTIAL-LIN | 490 | 3171 | 3007 | 64011 | 1 | 64011 | 180251281 | 3007 | 164 | 0 | 1 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | e9422cd15ab207ba607f7a9791fa89b8 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ logistics/ normalized-logistics01cc_wcsp.wbo |
PARTIAL-LIN | 490 | 3179 | 3015 | 33536 | 1 | 33536 | 94436428 | 3015 | 164 | 0 | 1 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | a439f352c84ff44e9b002fc376a61d64 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime01ac_wcsp.wbo |
PARTIAL-LIN | 733 | 18009 | 17802 | 11602 | 1 | 11602 | 203889015 | 17802 | 207 | 0 | 1 | 18 | 1 | 1 | 19 | 5 | 0 | 0 | 0 | 0 | c04af6d2d0ca60140ae2effc818ae0f8 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime01bc_wcsp.wbo |
PARTIAL-LIN | 733 | 18009 | 17802 | 11752 | 1 | 11752 | 206527027 | 17802 | 207 | 0 | 1 | 18 | 1 | 1 | 19 | 5 | 0 | 0 | 0 | 0 | 43ded743d4c17e5098dedde879dce721 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime01cc_wcsp.wbo |
PARTIAL-LIN | 733 | 18009 | 17802 | 40400 | 1 | 40400 | 709989424 | 17802 | 207 | 0 | 1 | 18 | 1 | 1 | 19 | 5 | 0 | 0 | 0 | 0 | aa98086d40bdf7eb9179c65a0bdc71b3 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime03ac_wcsp.wbo |
PARTIAL-LIN | 139 | 747 | 698 | 4227 | 1 | 4227 | 2750768 | 698 | 49 | 0 | 1 | 10 | 1 | 1 | 11 | 4 | 0 | 0 | 0 | 0 | 90d9a7c43df6695f57487056befe0e1f | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime03bc_wcsp.wbo |
PARTIAL-LIN | 139 | 747 | 698 | 4932 | 1 | 4932 | 3209913 | 698 | 49 | 0 | 1 | 10 | 1 | 1 | 11 | 4 | 0 | 0 | 0 | 0 | 1d58acf0281cbdad75540f6cfe140de8 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime03cc_wcsp.wbo |
PARTIAL-LIN | 139 | 747 | 698 | 8971 | 1 | 8971 | 5839502 | 698 | 49 | 0 | 1 | 10 | 1 | 1 | 11 | 4 | 0 | 0 | 0 | 0 | c9f3c430187112dd14e5fbdcefb001bc | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime04ac_wcsp.wbo |
PARTIAL-LIN | 1421 | 34460 | 34016 | 28322 | 1 | 28322 | 953769951 | 34016 | 444 | 0 | 1 | 20 | 1 | 1 | 21 | 5 | 0 | 0 | 0 | 0 | b8c8dc2234ccc3005eb27bbf4d9e5d12 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime04bc_wcsp.wbo |
PARTIAL-LIN | 1421 | 34460 | 34016 | 31228 | 1 | 31228 | 1051627367 | 34016 | 444 | 0 | 1 | 20 | 1 | 1 | 21 | 5 | 0 | 0 | 0 | 0 | 1c14883641067c687dddba5864a70aed | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime04cc_wcsp.wbo |
PARTIAL-LIN | 1421 | 34460 | 34016 | 59668 | 1 | 59668 | 2009377573 | 34016 | 444 | 0 | 1 | 20 | 1 | 1 | 21 | 5 | 0 | 0 | 0 | 0 | 15692bf53df2b0e52c697f3bc8188ff9 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-eye_wcsp.wbo |
PARTIAL-LIN | 756 | 200096 | 200060 | 29 | 1 | 29 | 5786060 | 200060 | 36 | 0 | 1 | 21 | 2 | 2 | 22 | 5 | 0 | 0 | 0 | 0 | 4b6a10b924703f39ba2bfb2cf9649014 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-pedck1000_wcsp.wbo |
PARTIAL-LIN | 6000 | 126390 | 125390 | 791 | 1 | 791 | 96062990 | 125390 | 1000 | 0 | 1 | 6 | 2 | 2 | 7 | 3 | 0 | 0 | 0 | 0 | 1c46f022378038623af46a7f02f30d6d | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-pedck350l3_wcsp.wbo |
PARTIAL-LIN | 3500 | 175982 | 175632 | 349 | 1 | 349 | 60205632 | 175632 | 350 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | d12ee730ee94518733bc962a9378f976 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-pedck350_wcsp.wbo |
PARTIAL-LIN | 3500 | 175982 | 175632 | 349 | 1 | 349 | 60205632 | 175632 | 350 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | 803163f8c4ec83baa6e84e90f2e866a2 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo |
PARTIAL-LIN | 89900 | 5924003 | 5915013 | 2482 | 1 | 2482 | 14625664017 | 5915013 | 8990 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | 4e6635c5c95c47c2cfb6034439056f8c | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo |
PARTIAL-LIN | 19440 | 986724 | 984780 | 245 | 1 | 245 | 240735276 | 984780 | 1944 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | 19aaa36ca5a1ba4dd9761552938b2f34 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo |
PARTIAL-LIN | 20370 | 1081113 | 1079076 | 47 | 1 | 47 | 50697528 | 1079076 | 2037 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | 7a0d92481beb43a4996d09c2477e44bf | ||
| PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r_wcsp.wbo |
PARTIAL-LIN | 89200 | 5870368 | 5861448 | 2447 | 1 | 2447 | 14289117012 | 5861448 | 8920 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | b3d29a62e920b432ed1420af63cfe867 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo |
PARTIAL-LIN | 50 | 1541 | 1536 | 5 | 1 | 5 | 7536 | 1536 | 5 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | 064ac7116d923163b464c9497d168109 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo |
PARTIAL-LIN | 1764 | 1321572 | 1321523 | 38 | 1 | 38 | 50169959 | 1321523 | 49 | 0 | 1 | 36 | 2 | 2 | 37 | 6 | 0 | 0 | 0 | 0 | d209bb579b31e9f057bcb8dfc272a731 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02ac_wcsp.wbo |
PARTIAL-LIN | 517 | 5630 | 5478 | 36256 | 1 | 36256 | 193061822 | 5478 | 152 | 0 | 1 | 24 | 1 | 1 | 25 | 5 | 0 | 0 | 0 | 0 | 9d3e5a73e0255e24215e2a03fef02fff | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02bc_wcsp.wbo |
PARTIAL-LIN | 517 | 5630 | 5478 | 39029 | 1 | 39029 | 207827588 | 5478 | 152 | 0 | 1 | 24 | 1 | 1 | 25 | 5 | 0 | 0 | 0 | 0 | a8ec89f0a135b1766f21068a119bf90f | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02cc_wcsp.wbo |
PARTIAL-LIN | 517 | 5630 | 5478 | 28823 | 1 | 28823 | 153481097 | 5478 | 152 | 0 | 1 | 24 | 1 | 1 | 25 | 5 | 0 | 0 | 0 | 0 | 22ee0c65b5b46f3917aeac0195b7007f | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ satellite/ normalized-satellite01ac_wcsp.wbo |
PARTIAL-LIN | 411 | 12603 | 12524 | 80782 | 1 | 80782 | 990224691 | 12524 | 79 | 0 | 1 | 8 | 1 | 1 | 9 | 4 | 0 | 0 | 0 | 0 | 20ca35d530815638a38e8bede30cc706 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ satellite/ normalized-satellite01bc_wcsp.wbo |
PARTIAL-LIN | 411 | 12603 | 12524 | 93194 | 1 | 93194 | 1142370455 | 12524 | 79 | 0 | 1 | 8 | 1 | 1 | 9 | 4 | 0 | 0 | 0 | 0 | 5f072f514c797fe8baaab5dd868b6a1c | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ satellite/ normalized-satellite02ac_wcsp.wbo |
PARTIAL-LIN | 1030 | 43694 | 43512 | 156112 | 1 | 156112 | 6685649767 | 43512 | 182 | 0 | 1 | 9 | 1 | 1 | 10 | 4 | 0 | 0 | 0 | 0 | 022d1494f6130b0a4572cc40f0203308 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/wcsp/ satellite/ normalized-satellite02bc_wcsp.wbo |
PARTIAL-LIN | 1030 | 43694 | 43512 | 214775 | 1 | 214775 | 9197950033 | 43512 | 182 | 0 | 1 | 9 | 1 | 1 | 10 | 4 | 0 | 0 | 0 | 0 | 16713d3fa0552eafdb06b909d1729aab | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ satellite/ normalized-satellite02cc_wcsp.wbo |
PARTIAL-LIN | 1030 | 43694 | 43512 | 127181 | 1 | 127181 | 5446651447 | 43512 | 182 | 0 | 1 | 9 | 1 | 1 | 10 | 4 | 0 | 0 | 0 | 0 | 38439ab221140b685b8242adf5aca64f | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo |
PARTIAL-LIN | 1921 | 124511 | 124429 | 3389 | 1 | 2436 | 44162576 | 124429 | 82 | 0 | 1 | 28 | 1 | 1 | 29 | 5 | 0 | 0 | 0 | 0 | b650e80a3f64e6bae4fbc25304197493 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo |
PARTIAL-LIN | 1758 | 105203 | 105121 | 3389 | 1 | 2436 | 36645766 | 105121 | 82 | 0 | 1 | 26 | 1 | 1 | 27 | 5 | 0 | 0 | 0 | 0 | 85c9e899b779dcafda2f7e25c2fdc65d | ||
| PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-18_wcsp.wbo |
PARTIAL-LIN | 2210 | 246592 | 246492 | 255184 | 1 | 1000 | 44859114 | 246492 | 100 | 0 | 2 | 26 | 1 | 1 | 27 | 5 | 0 | 0 | 0 | 0 | 7ac97bb2deff70454cbda9bb64710db6 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo |
PARTIAL-LIN | 1430 | 70954 | 70873 | 3389 | 1 | 2435 | 23717414 | 70873 | 81 | 0 | 1 | 22 | 1 | 1 | 23 | 5 | 0 | 0 | 0 | 0 | 145fe6fe39a80fcaff25336bfbc8c080 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-22_wcsp.wbo |
PARTIAL-LIN | 1810 | 164594 | 164495 | 252932 | 1 | 1000 | 28915211 | 164495 | 99 | 0 | 1 | 22 | 1 | 1 | 23 | 5 | 0 | 0 | 0 | 0 | aae80251a5a7b6924749ae451d053245 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen06-24reduc_wcsp.wbo |
PARTIAL-LIN | 1275 | 56482 | 56401 | 3389 | 1 | 2434 | 18368517 | 56401 | 81 | 0 | 1 | 20 | 1 | 1 | 21 | 5 | 0 | 0 | 0 | 0 | b6dc5c4972e391c215675692adb96c84 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-30_wcsp.wbo |
PARTIAL-LIN | 1018 | 50646 | 50547 | 245952 | 1 | 1000 | 7842900 | 50547 | 99 | 0 | 1 | 14 | 1 | 1 | 15 | 4 | 0 | 0 | 0 | 0 | 78328f487213678b2b5d4b2f93871f54 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo |
PARTIAL-LIN | 2008 | 48581 | 48385 | 448020002 | 1 | 990001 | 12702738385 | 48385 | 196 | 0 | 1 | 14 | 1 | 1 | 15 | 4 | 0 | 0 | 0 | 0 | 8c159ddcc7c8e6257617bd9db371f9a1 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen07_wcsp.wbo |
PARTIAL-LIN | 7976 | 1810140 | 1809940 | 468527294 | 1 | 1000000 | 286472940853 | 1809940 | 200 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | fbb4da79d40095d38c594df560c89a05 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen08reduc_wcsp.wbo |
PARTIAL-LIN | 14194 | 1450105 | 1449740 | 262 | 1 | 30 | 6361774 | 1449740 | 365 | 0 | 1 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 6173017921cf4cdc7f10e0dda09f7db9 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1403_wcsp.wbo |
PARTIAL-LIN | 1982 | 20201 | 19536 | 635406 | 1 | 635406 | 11991382031 | 19536 | 665 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 2cd9cebb7540fdd6e098c60b3eb18ca6 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1405_wcsp.wbo |
PARTIAL-LIN | 2670 | 30776 | 29921 | 635638 | 1 | 635638 | 18476089745 | 29921 | 855 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 5c0e6d849ef2d250f0711f771f74da32 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1407_wcsp.wbo |
PARTIAL-LIN | 3412 | 38047 | 36990 | 635869 | 1 | 635869 | 22849316645 | 36990 | 1057 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 1d8b1e0defd9ae59134635ae9ca4f432 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1504_wcsp.wbo |
PARTIAL-LIN | 1858 | 7198 | 6593 | 285545 | 1 | 285545 | 1710129004 | 6593 | 605 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | d79cf9a7b6c59a9835ae34c324e345a6 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1506_wcsp.wbo |
PARTIAL-LIN | 3000 | 25688 | 24748 | 522809 | 1 | 522809 | 12447559480 | 24748 | 940 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 135a68c9debb045fad147346bf0d4d42 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo |
PARTIAL-LIN | 202 | 774 | 692 | 20092 | 1 | 20092 | 12276211 | 692 | 82 | 0 | 1 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | 5f413b04ce5bf31c45b055969f32f1ab | ||
| PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-408_wcsp.wbo |
PARTIAL-LIN | 528 | 3349 | 3149 | 9311 | 1 | 9311 | 27467449 | 3149 | 200 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 1d7d50b59898632446aa2d9216819715 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-503_wcsp.wbo |
PARTIAL-LIN | 402 | 1077 | 934 | 20210 | 1 | 20210 | 16006319 | 934 | 143 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 59e0b30c5afbb9088a29ed906c5799c4 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-505_wcsp.wbo |
PARTIAL-LIN | 688 | 3672 | 3432 | 34354 | 1 | 34354 | 109692321 | 3432 | 240 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | d100a871b5608897409afc29abc6542c | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/spot5/ normalized-spot5-8_wcsp.wbo |
PARTIAL-LIN | 24 | 33 | 25 | 13 | 1 | 13 | 233 | 25 | 8 | 0 | 1 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | e1cfd942bebf1dae2fb5a8905c41d878 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap101_wcsp.wbo |
PARTIAL-LIN | 1300 | 2598 | 2523 | 59386724 | 1 | 59386724 | 74836280126 | 2523 | 75 | 0 | 1 | 25 | 1 | 1 | 26 | 5 | 0 | 0 | 0 | 0 | 67d067d79b844c4946a358fd5c7ae34f | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap104_wcsp.wbo |
PARTIAL-LIN | 1300 | 2598 | 2523 | 63586724 | 1 | 63586724 | 80090480126 | 2523 | 75 | 0 | 1 | 25 | 1 | 1 | 26 | 5 | 0 | 0 | 0 | 0 | 8ae6cf967e584e12cada7dd8fbc9b19b | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap111_wcsp.wbo |
PARTIAL-LIN | 2600 | 5148 | 5048 | 61306436 | 1 | 61306436 | 154547346300 | 5048 | 100 | 0 | 1 | 50 | 1 | 1 | 51 | 6 | 0 | 0 | 0 | 0 | 9202fc79e8368b67f7e7060a66676775 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap42_wcsp.wbo |
PARTIAL-LIN | 832 | 1680 | 1614 | 56493026 | 1 | 56493026 | 45549155826 | 1614 | 66 | 0 | 1 | 16 | 1 | 1 | 17 | 5 | 0 | 0 | 0 | 0 | f1281546bfdcfa9fb50b608c743ffb37 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap44_wcsp.wbo |
PARTIAL-LIN | 832 | 1680 | 1614 | 58368026 | 1 | 58368026 | 47051030826 | 1614 | 66 | 0 | 1 | 16 | 1 | 1 | 17 | 5 | 0 | 0 | 0 | 0 | 5a30a67be6312dd77591c1a6d070d2d2 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capa_wcsp.wbo |
PARTIAL-LIN | 100200 | 201200 | 200100 | 238092768 | 1 | 238092768 | 23812436850104 | 200100 | 1100 | 0 | 1 | 100 | 1 | 1 | 101 | 7 | 0 | 0 | 0 | 0 | 46e0d756161cd5ef2c7ad446f7e56841 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capc_wcsp.wbo |
PARTIAL-LIN | 100200 | 201200 | 200100 | 111161202 | 1 | 111161202 | 11119131116287 | 200100 | 1100 | 0 | 1 | 100 | 1 | 1 | 101 | 7 | 0 | 0 | 0 | 0 | 9b8d50b4ab26d18579e54219e9497fc1 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo3_wcsp.wbo |
PARTIAL-LIN | 10200 | 20300 | 20100 | 21147472 | 1 | 21147472 | 211613168177 | 20100 | 200 | 0 | 1 | 100 | 1 | 1 | 101 | 7 | 0 | 0 | 0 | 0 | a6ee01287cd5e8ae1d72d6c38154c871 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo4_wcsp.wbo |
PARTIAL-LIN | 10200 | 20300 | 20100 | 19552592 | 1 | 19552592 | 195667093770 | 20100 | 200 | 0 | 1 | 100 | 1 | 1 | 101 | 7 | 0 | 0 | 0 | 0 | 9d34295abc6f68e09f7e7b16ac8586bc | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmq1_wcsp.wbo |
PARTIAL-LIN | 90600 | 180900 | 180300 | 167360670 | 1 | 167360670 | 15063769612171 | 180300 | 600 | 0 | 1 | 300 | 1 | 1 | 301 | 9 | 0 | 0 | 0 | 0 | f2e6d50712d8e4dd21820824b9e97e2e | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel02ac_wcsp.wbo |
PARTIAL-LIN | 423 | 8096 | 7980 | 100447 | 1 | 100447 | 787703441 | 7980 | 116 | 0 | 1 | 19 | 1 | 1 | 20 | 5 | 0 | 0 | 0 | 0 | cc387e2ad093b88ef647d6d29119f112 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel02bc_wcsp.wbo |
PARTIAL-LIN | 423 | 8096 | 7980 | 89847 | 1 | 89847 | 704578241 | 7980 | 116 | 0 | 1 | 19 | 1 | 1 | 20 | 5 | 0 | 0 | 0 | 0 | 47e9328f1cdb955baf469f8b86a27101 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel02cc_wcsp.wbo |
PARTIAL-LIN | 423 | 8096 | 7980 | 23921 | 1 | 23921 | 187588067 | 7980 | 116 | 0 | 1 | 19 | 1 | 1 | 20 | 5 | 0 | 0 | 0 | 0 | b1938efbf4e559ea216fccba0135d580 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel04ac_wcsp.wbo |
PARTIAL-LIN | 878 | 26204 | 25965 | 206992 | 1 | 206992 | 5314722545 | 25965 | 239 | 0 | 1 | 24 | 1 | 1 | 25 | 5 | 0 | 0 | 0 | 0 | 89daafb4c3d28b71035c78fb1e6c4ece | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel04bc_wcsp.wbo |
PARTIAL-LIN | 878 | 26204 | 25965 | 190742 | 1 | 190742 | 4897487545 | 25965 | 239 | 0 | 1 | 24 | 1 | 1 | 25 | 5 | 0 | 0 | 0 | 0 | fb292e319d9da7454900a64f5cfd092c | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel04cc_wcsp.wbo |
PARTIAL-LIN | 878 | 26204 | 25965 | 51934 | 1 | 51934 | 1333456227 | 25965 | 239 | 0 | 1 | 24 | 1 | 1 | 25 | 5 | 0 | 0 | 0 | 0 | 7d71283e624e6f956950e14b99d75b7d | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 220 | 42 | 42 | 2167 | 1 | 97 | 2166 | 22 | 20 | 0 | 10 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | 2579890085d501026900faecb1210e44 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 400 | 60 | 60 | 2653 | 1 | 98 | 2652 | 40 | 20 | 0 | 10 | 20 | 1 | 1 | 21 | 5 | 0 | 0 | 0 | 0 | d6f30eafb787975283c0eede77b5a69b | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 480 | 62 | 62 | 2961 | 1 | 97 | 2960 | 32 | 30 | 0 | 15 | 16 | 1 | 1 | 17 | 5 | 0 | 0 | 0 | 0 | 70531ee5749151dad1953cdd0a25cead | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 1860 | 122 | 122 | 5869 | 1 | 99 | 5868 | 62 | 60 | 0 | 30 | 31 | 1 | 1 | 32 | 6 | 0 | 0 | 0 | 0 | 56f113729af746fd86a72114a36af771 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 2100 | 130 | 130 | 6361 | 1 | 99 | 6360 | 70 | 60 | 0 | 30 | 35 | 1 | 1 | 36 | 6 | 0 | 0 | 0 | 0 | a225f26da97a8b38da33ab7979240ae3 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 2400 | 140 | 140 | 7122 | 1 | 99 | 7121 | 80 | 60 | 0 | 30 | 40 | 1 | 1 | 41 | 6 | 0 | 0 | 0 | 0 | f977381de07a8adf78994d931911735f | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 3280 | 162 | 162 | 8163 | 1 | 99 | 8162 | 82 | 80 | 0 | 40 | 41 | 1 | 1 | 42 | 6 | 0 | 0 | 0 | 0 | a0a69f5de97d273b453558b207808764 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 4000 | 180 | 180 | 9197 | 1 | 99 | 9196 | 100 | 80 | 0 | 40 | 50 | 1 | 1 | 51 | 6 | 0 | 0 | 0 | 0 | 5f9a4657d4fc1eb8e2b90c48691b3c7c | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 5100 | 202 | 202 | 10037 | 1 | 100 | 10036 | 102 | 100 | 0 | 50 | 51 | 1 | 1 | 52 | 6 | 0 | 0 | 0 | 0 | 7739b4d9ca7025fb6750e4f7ea1afab1 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 6000 | 220 | 220 | 11307 | 1 | 99 | 11306 | 120 | 100 | 0 | 50 | 60 | 1 | 1 | 61 | 6 | 0 | 0 | 0 | 0 | 0f3f13f284911f7b441b5c43a99c56d2 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136614 | 1 | 100 | 136613 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 721 | 10 | 0 | 0 | 0 | 0 | 9db53b9de24bf429e61c95cb9f7b1f1e | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 135715 | 1 | 100 | 135714 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 665 | 10 | 0 | 0 | 0 | 0 | 0ec8eded4864fc6a1104762af3da9593 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 137245 | 1 | 100 | 137244 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 745 | 10 | 0 | 0 | 0 | 0 | c80b6180d98478604df0f17e55c6d3fe | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136614 | 1 | 100 | 136613 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 687 | 10 | 0 | 0 | 0 | 0 | 36362ea9910434cf11826d6f0f3d2816 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136180 | 1 | 100 | 136179 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 779 | 10 | 0 | 0 | 0 | 0 | 128eb31e74e9d5316274ee97a7821bb0 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136614 | 1 | 100 | 136613 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 723 | 10 | 0 | 0 | 0 | 0 | bba5b9128642b2db23fc07428dc31bb7 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136368 | 1 | 100 | 136367 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 801 | 10 | 0 | 0 | 0 | 0 | 3a80f9a705c5ec8a5a9c03ad559eff2a | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136625 | 1 | 100 | 136624 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 693 | 10 | 0 | 0 | 0 | 0 | 3be5de5dccad0a17ab99c6901729ec82 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 135865 | 1 | 100 | 135864 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 697 | 10 | 0 | 0 | 0 | 0 | 216f6331a5059337c4eb768f690a17ee | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 134314 | 1 | 100 | 134313 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 683 | 10 | 0 | 0 | 0 | 0 | 65d50eee5968fd8142e7f90f77179a12 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1298 | 11 | 0 | 0 | 0 | 0 | 8c76a6ecd3f287ba954f7f96ea04e868 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1188 | 11 | 0 | 0 | 0 | 0 | 41d1b4d4384aa524edb9fde13f69bc5b | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1228 | 11 | 0 | 0 | 0 | 0 | 986066746e2edb3d16d0f5e5ee0c7391 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1171 | 11 | 0 | 0 | 0 | 0 | bcf92f404e969c6877896aa9568ceb80 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5180 | 1 | 99 | 5179 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1210 | 11 | 0 | 0 | 0 | 0 | eaf96ee6198d5284013e332932f4fc98 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5180 | 1 | 99 | 5179 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1202 | 11 | 0 | 0 | 0 | 0 | 08c36baecafc06c82dd9dd4b73b5d103 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1248 | 11 | 0 | 0 | 0 | 0 | d8bde1d9f75ba3ef092f7984f4cee006 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1192 | 11 | 0 | 0 | 0 | 0 | f3b20153a1a8190549e87197e657cd34 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1217 | 11 | 0 | 0 | 0 | 0 | d5b7dd3f19481dcab9106ea158e7abe4 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227326--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1273 | 11 | 0 | 0 | 0 | 0 | 4761f563f09502a78ce898236394c35e | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo |
SOFT-LIN | 10500 | 205 | 205 | 10882 | 1 | 100 | 10881 | 105 | 100 | 0 | 100 | 105 | 1 | 1 | 106 | 7 | 0 | 0 | 0 | 0 | c66f98de66363c027b91b13746033783 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo |
SOFT-LIN | 420 | 41 | 41 | 1724 | 1 | 99 | 1723 | 21 | 20 | 0 | 20 | 21 | 1 | 1 | 22 | 5 | 0 | 0 | 0 | 0 | 40fe69deba25156f693d1482e89859ad | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo |
SOFT-LIN | 1050 | 65 | 65 | 3654 | 1 | 99 | 3653 | 35 | 30 | 0 | 30 | 35 | 1 | 1 | 36 | 6 | 0 | 0 | 0 | 0 | 771a3697f2de3f6d96c4fa7631416e8a | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo |
SOFT-LIN | 2550 | 101 | 101 | 5465 | 1 | 99 | 5464 | 51 | 50 | 0 | 50 | 51 | 1 | 1 | 52 | 6 | 0 | 0 | 0 | 0 | 96381e53effe0faa5b6fb6e6d9b14b44 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo |
SOFT-LIN | 2750 | 105 | 105 | 5686 | 1 | 99 | 5685 | 55 | 50 | 0 | 50 | 55 | 1 | 1 | 56 | 6 | 0 | 0 | 0 | 0 | 3c4c720e4925df29da5c60ffed631611 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo |
SOFT-LIN | 3900 | 125 | 125 | 6098 | 1 | 100 | 6097 | 65 | 60 | 0 | 60 | 65 | 1 | 1 | 66 | 7 | 0 | 0 | 0 | 0 | dcfaeafc0fa838421980cb74d6caacda | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo |
SOFT-LIN | 4970 | 141 | 141 | 7546 | 1 | 99 | 7545 | 71 | 70 | 0 | 70 | 71 | 1 | 1 | 72 | 7 | 0 | 0 | 0 | 0 | 30fc2a06a98f4774098732df7c3fc8c4 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo |
SOFT-LIN | 5250 | 145 | 145 | 7458 | 1 | 100 | 7457 | 75 | 70 | 0 | 70 | 75 | 1 | 1 | 76 | 7 | 0 | 0 | 0 | 0 | 9b60ab1c395a8a4ea9e1c58e7ae4b4ea | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo |
SOFT-LIN | 6800 | 165 | 165 | 7728 | 1 | 100 | 7727 | 85 | 80 | 0 | 80 | 85 | 1 | 1 | 86 | 7 | 0 | 0 | 0 | 0 | 16f89ea133c5fbcfee23ba2cd06c865f | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo |
SOFT-LIN | 8550 | 185 | 185 | 9532 | 1 | 99 | 9531 | 95 | 90 | 0 | 90 | 95 | 1 | 1 | 96 | 7 | 0 | 0 | 0 | 0 | d8836277a2f272973163abf8780fbedd | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-44s.smv--soft-0-100-0.wbo |
SOFT-LIN | 495 | 940 | 940 | 46815 | 1 | 100 | 46814 | 800 | 0 | 140 | 1 | 13 | 68 | 7 | 257 | 9 | 0 | 0 | 0 | 0 | b36e85102c0aa6188e1be702d84f308a | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo |
SOFT-LIN | 274 | 259 | 259 | 12525 | 1 | 100 | 12524 | 159 | 0 | 100 | 1 | 13 | 68 | 7 | 257 | 9 | 0 | 0 | 0 | 0 | cbf77e95b47e1812a475fa6c0f808df8 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-0-100-0.wbo |
SOFT-LIN | 19944 | 50842 | 50842 | 2571036 | 1 | 100 | 2571035 | 43898 | 0 | 6944 | 1 | 19 | 641 | 10 | 2174 | 12 | 0 | 0 | 0 | 0 | 3ecc8154a848f9e644c7ae7003c7049e | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-0-100-0.wbo |
SOFT-LIN | 2355 | 6744 | 6744 | 341452 | 1 | 100 | 341451 | 6568 | 0 | 176 | 1 | 9 | 17 | 5 | 62 | 6 | 0 | 0 | 0 | 0 | f8936bf513cf214d5098f23a79bd3cde | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo |
SOFT-LIN | 7578 | 21401 | 21401 | 1076192 | 1 | 100 | 1076191 | 20501 | 0 | 900 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | cd5851c8accd1f6745e787977810cadd | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-0-100-0.wbo |
SOFT-LIN | 18069 | 52475 | 52475 | 2649679 | 1 | 100 | 2649678 | 51555 | 0 | 920 | 1 | 11 | 39 | 6 | 132 | 8 | 0 | 0 | 0 | 0 | 019851c9ae4a243fdb8d17f573cedafe | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo |
SOFT-LIN | 1804 | 4931 | 4931 | 248953 | 1 | 100 | 248952 | 4707 | 0 | 224 | 1 | 9 | 19 | 5 | 64 | 7 | 0 | 0 | 0 | 0 | 5c99007ab0c844b346484c471f4c57e4 | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-0-100-0.wbo |
SOFT-LIN | 6832 | 19477 | 19477 | 989271 | 1 | 100 | 989270 | 18953 | 0 | 524 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | 422b47731253e11b6937aedb0da90672 | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-0-100-0.wbo |
SOFT-LIN | 9071 | 25914 | 25914 | 1307646 | 1 | 100 | 1307645 | 25190 | 0 | 724 | 1 | 11 | 39 | 6 | 132 | 8 | 0 | 0 | 0 | 0 | db1a8fd1e0f423c1d2eb15479c500cc7 | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-0-100-0.wbo |
SOFT-LIN | 3249 | 8983 | 8983 | 454955 | 1 | 100 | 454954 | 8599 | 0 | 384 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | 426cbf56e292cea19e974b4ecba921dc | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j120/ normalized-j12013_1-unsat--soft-0-100-0.wbo |
SOFT-LIN | 29282 | 92908 | 92908 | 4698532 | 1 | 100 | 4698531 | 92428 | 0 | 480 | 1 | 93 | 32 | 6 | 554 | 10 | 0 | 0 | 0 | 0 | 505d78aa9227fb875e0dbdc3613ae899 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j120/ normalized-j12015_3-unsat--soft-0-100-0.wbo |
SOFT-LIN | 21054 | 66352 | 66352 | 3337053 | 1 | 100 | 3337052 | 66008 | 0 | 344 | 1 | 93 | 46 | 6 | 599 | 10 | 0 | 0 | 0 | 0 | 18c39288ed23615941737d5b505374c3 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #constr | # of soft constraints | top cost | minimum cost | maximum cost | sum of all costs | #clauses | #card. constr. | #PB constr. | min. constr. length | max. constr. length | biggest coef. | #bits of biggest coef. | biggest sum of coef. in a constraint | #bits of biggest sum of coef. in a constraint | #products (including duplicates) | total size of products (including duplicates) | # different products | total size of different products | md5sum |
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j30/ normalized-j301_4-unsat--soft-0-100-0.wbo |
SOFT-LIN | 3844 | 11854 | 11854 | 596117 | 1 | 100 | 596116 | 11610 | 0 | 244 | 1 | 13 | 15 | 4 | 99 | 7 | 0 | 0 | 0 | 0 | cb131e0ad38361b2d0eb2fa8f7531261 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j30/ normalized-j3029_8-unsat--soft-0-100-0.wbo |
SOFT-LIN | 4960 | 16157 | 16157 | 812826 | 1 | 100 | 812825 | 15841 | 0 | 316 | 1 | 30 | 19 | 5 | 201 | 8 | 0 | 0 | 0 | 0 | 36667ceb652fd3faee014f579e034408 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j30/ normalized-j3041_4-unsat--soft-0-100-0.wbo |
SOFT-LIN | 4836 | 16649 | 16649 | 842394 | 1 | 100 | 842393 | 16341 | 0 | 308 | 1 | 26 | 15 | 4 | 166 | 8 | 0 | 0 | 0 | 0 | 23a988ddfb654df09568eafe82f1da1a | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j30/ normalized-j308_1-unsat--soft-0-100-0.wbo |
SOFT-LIN | 2728 | 8382 | 8382 | 422384 | 1 | 100 | 422383 | 8210 | 0 | 172 | 1 | 17 | 32 | 6 | 143 | 8 | 0 | 0 | 0 | 0 | 42ba6ff63d9bb3e4033d54867a5b7866 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j60/ normalized-j602_7-unsat--soft-0-100-0.wbo |
SOFT-LIN | 6466 | 19939 | 19939 | 1003722 | 1 | 100 | 1003721 | 19731 | 0 | 208 | 1 | 19 | 22 | 5 | 112 | 7 | 0 | 0 | 0 | 0 | 46940b11f2ff9a7992dfeb17445fb4fe | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j60/ normalized-j6033_2-unsat--soft-0-100-0.wbo |
SOFT-LIN | 12200 | 42056 | 42056 | 2126290 | 1 | 100 | 2126289 | 41660 | 0 | 396 | 1 | 18 | 13 | 4 | 116 | 7 | 0 | 0 | 0 | 0 | 0dff13c3c581941b6581add441602e0d | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j90/ normalized-j9010_6-unsat--soft-0-100-0.wbo |
SOFT-LIN | 16744 | 52975 | 52975 | 2678330 | 1 | 100 | 2678329 | 52611 | 0 | 364 | 1 | 72 | 41 | 6 | 413 | 9 | 0 | 0 | 0 | 0 | 7667e15f44a3012fd6e0dfec443bb7df | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j90/ normalized-j9014_1-unsat--soft-0-100-0.wbo |
SOFT-LIN | 16198 | 50975 | 50975 | 2569553 | 1 | 100 | 2569552 | 50623 | 0 | 352 | 1 | 90 | 51 | 6 | 588 | 10 | 0 | 0 | 0 | 0 | 287df718efd9726decbf79f15687b691 |