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-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-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo |
PARTIAL-LIN | 840 | 82 | 35 | 1734 | 1 | 95 | 1733 | 42 | 40 | 0 | 20 | 21 | 1 | 1 | 22 | 5 | 0 | 0 | 0 | 0 | e793794a85ece4d5be2c2af53f9d89e3 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-66-100-0.wbo |
PARTIAL-LIN | 1000 | 90 | 38 | 1923 | 1 | 95 | 1922 | 50 | 40 | 0 | 20 | 25 | 1 | 1 | 26 | 5 | 0 | 0 | 0 | 0 | a0649ac02a214ae558cba11d4d4cdc0c | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 2100 | 130 | 90 | 4485 | 1 | 100 | 4484 | 70 | 60 | 0 | 30 | 35 | 1 | 1 | 36 | 6 | 0 | 0 | 0 | 0 | 7df65365f3c65c2e8ec4462cdd2da85a | ||
| 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-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo |
PARTIAL-LIN | 3150 | 160 | 62 | 3271 | 1 | 98 | 3270 | 90 | 70 | 0 | 35 | 45 | 1 | 1 | 46 | 6 | 0 | 0 | 0 | 0 | 0082296d40e68a0e46e2b1fde66444f5 | ||
| 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-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo |
PARTIAL-LIN | 4000 | 180 | 67 | 3472 | 1 | 98 | 3471 | 100 | 80 | 0 | 40 | 50 | 1 | 1 | 51 | 6 | 0 | 0 | 0 | 0 | 17cf67a4eb1c7fd9d1716e80f9f194fb | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 5100 | 202 | 140 | 6854 | 1 | 100 | 6853 | 102 | 100 | 0 | 50 | 51 | 1 | 1 | 52 | 6 | 0 | 0 | 0 | 0 | 1e3769b07c3693b9c2d0301291c3df03 | ||
| 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.1900548667--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1804 | 90822 | 1 | 100 | 90821 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 625 | 10 | 0 | 0 | 0 | 0 | e599c58796234958c08655c6dfcc6a9e | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 899 | 46330 | 1 | 100 | 46329 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 709 | 10 | 0 | 0 | 0 | 0 | c15318471eb481ff3136f7b1273ebcda | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1848 | 94973 | 1 | 100 | 94972 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 649 | 10 | 0 | 0 | 0 | 0 | e0f5b8c496706166093e658dafb137cf | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1839 | 91769 | 1 | 100 | 91768 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 719 | 10 | 0 | 0 | 0 | 0 | ffbcf114b8cfbb9b2a4be85f932e908e | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 911 | 45526 | 1 | 100 | 45525 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 705 | 10 | 0 | 0 | 0 | 0 | 7eeea0a5ae67eaaa9df9b6925b5f7a51 | ||
| 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.1900573901--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 892 | 45060 | 1 | 100 | 45059 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 701 | 10 | 0 | 0 | 0 | 0 | 6c350243626ad59fee36f0c0c4ca6aec | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 904 | 44120 | 1 | 100 | 44119 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 697 | 10 | 0 | 0 | 0 | 0 | 2194bd3e220045805e37f927c62549b1 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1830 | 92327 | 1 | 100 | 92326 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 683 | 10 | 0 | 0 | 0 | 0 | d8e3409fff4cfc8b321c1633367f55c0 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900667195--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 911 | 46278 | 1 | 100 | 46277 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 655 | 10 | 0 | 0 | 0 | 0 | 9c38cd3ca9ce03bc95887fa4980035cd | ||
| 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-66-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 42 | 1838 | 1 | 97 | 1837 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1188 | 11 | 0 | 0 | 0 | 0 | 71412f4ab48d800438b0b4aca34cfa4f | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 3426 | 1 | 99 | 3425 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1242 | 11 | 0 | 0 | 0 | 0 | dc059f92ec8d41c90f54155fae5a65e0 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--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 | 99792c62123dc9037cf66116a6131b3a | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 69 | 3204 | 1 | 97 | 3203 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1215 | 11 | 0 | 0 | 0 | 0 | bea76f6b90527d2c4dd9362f34821cb3 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 69 | 3204 | 1 | 97 | 3203 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1171 | 11 | 0 | 0 | 0 | 0 | 9509f06b4a3e387e991de3db581016d4 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 3426 | 1 | 99 | 3425 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1247 | 11 | 0 | 0 | 0 | 0 | 2e962af4924ad14d3fe6e714273a512e | ||
| 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.1111223004--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 69 | 3204 | 1 | 97 | 3203 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1227 | 11 | 0 | 0 | 0 | 0 | 3fda8886c53643a4f6cb32bdace19421 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-66-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 42 | 1838 | 1 | 97 | 1837 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1270 | 11 | 0 | 0 | 0 | 0 | de684f1921dea3504086f42f2d0da904 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 28 | 1415 | 1 | 98 | 1414 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1190 | 11 | 0 | 0 | 0 | 0 | 79c6230aacccdef67d7938960f1fe42a | ||
| 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-35-30--soft-33-100-0.wbo |
PARTIAL-LIN | 1050 | 65 | 44 | 2588 | 1 | 100 | 2587 | 35 | 30 | 0 | 30 | 35 | 1 | 1 | 36 | 6 | 0 | 0 | 0 | 0 | 0cfb3d7977fc6ca45bdf013d2b9e8ffe | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo |
PARTIAL-LIN | 1640 | 81 | 21 | 1107 | 1 | 96 | 1106 | 41 | 40 | 0 | 40 | 41 | 1 | 1 | 42 | 6 | 0 | 0 | 0 | 0 | 09cbf74d5e01556cf924efb0ee496ef4 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo |
PARTIAL-LIN | 2550 | 101 | 30 | 1659 | 1 | 98 | 1658 | 51 | 50 | 0 | 50 | 51 | 1 | 1 | 52 | 6 | 0 | 0 | 0 | 0 | 5a94344981bc483c9b9ebb20deadafce | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo |
PARTIAL-LIN | 2750 | 105 | 35 | 1904 | 1 | 97 | 1903 | 55 | 50 | 0 | 50 | 55 | 1 | 1 | 56 | 6 | 0 | 0 | 0 | 0 | e125108bd770bbf88b85d3e277967f9b | ||
| 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-61-60--soft-66-100-0.wbo |
PARTIAL-LIN | 3660 | 121 | 39 | 2003 | 1 | 97 | 2002 | 61 | 60 | 0 | 60 | 61 | 1 | 1 | 62 | 6 | 0 | 0 | 0 | 0 | a22726e8ae7688ae81f5a92ef61c05ca | ||
| 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-33-100-0.wbo |
PARTIAL-LIN | 5250 | 145 | 94 | 4943 | 1 | 99 | 4942 | 75 | 70 | 0 | 70 | 75 | 1 | 1 | 76 | 7 | 0 | 0 | 0 | 0 | 1fdb6511fd14c410fdaf16ce2f5df015 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo |
PARTIAL-LIN | 6800 | 165 | 53 | 2598 | 1 | 94 | 2597 | 85 | 80 | 0 | 80 | 85 | 1 | 1 | 86 | 7 | 0 | 0 | 0 | 0 | 9070a44f2901a1c66e716fd67c25d3d7 | ||
| 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 | ||
| 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-blast-floppy1-3.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 274 | 259 | 87 | 4353 | 1 | 94 | 4352 | 159 | 0 | 100 | 1 | 13 | 68 | 7 | 257 | 9 | 0 | 0 | 0 | 0 | 7dc9fd0c021ed203b296a294fd7447da | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-33-100-0.wbo |
PARTIAL-LIN | 87751 | 254772 | 171160 | 8641599 | 1 | 100 | 8641598 | 247060 | 0 | 7712 | 1 | 15 | 130 | 8 | 512 | 10 | 0 | 0 | 0 | 0 | dcdb322967843064cad0b9ba87a4af6a | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 62704 | 187107 | 63512 | 3204757 | 1 | 100 | 3204756 | 186603 | 0 | 504 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | bd5a86f3e338918813c03c4b733ca191 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-33-100-0.wbo |
PARTIAL-LIN | 9051 | 25833 | 17178 | 867053 | 1 | 100 | 867052 | 24941 | 0 | 892 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | 4979350c53d2363824b5af99ad1336ab | ||
| 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.rf8.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 6059 | 16684 | 5671 | 286742 | 1 | 100 | 286741 | 15940 | 0 | 744 | 1 | 11 | 34 | 6 | 127 | 7 | 0 | 0 | 0 | 0 | c676cc516375a66ff59b230e5fcf1d9f | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 4622 | 12569 | 4285 | 220151 | 1 | 100 | 220150 | 11753 | 0 | 816 | 1 | 11 | 36 | 6 | 130 | 8 | 0 | 0 | 0 | 0 | 66be61fc2411e6510c7a8faefe60e2d5 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-33-100-0.wbo |
PARTIAL-LIN | 49621 | 138346 | 92968 | 4678577 | 1 | 100 | 4678576 | 127390 | 0 | 10956 | 1 | 15 | 129 | 8 | 510 | 9 | 0 | 0 | 0 | 0 | 01e740a2aa1c760ff782401505d4d2e6 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 109757 | 313451 | 106894 | 5385165 | 1 | 100 | 5385164 | 295929 | 0 | 17522 | 1 | 15 | 130 | 8 | 512 | 10 | 0 | 0 | 0 | 0 | 5c71983465ceabe30eba5c10627ad921 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-33-100-0.wbo |
PARTIAL-LIN | 3249 | 8983 | 6015 | 304920 | 1 | 100 | 304919 | 8599 | 0 | 384 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | 150cf25c1c4153c012bda250c377ad62 | ||
| 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-j12027_7-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 27588 | 91561 | 30956 | 1560468 | 1 | 100 | 1560467 | 91109 | 0 | 452 | 1 | 66 | 21 | 5 | 415 | 9 | 0 | 0 | 0 | 0 | 0fcfa873b0be8d2bb02466114e4583a4 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j120/ normalized-j12041_4-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 28072 | 97590 | 65496 | 3299469 | 1 | 100 | 3299468 | 97130 | 0 | 460 | 1 | 36 | 13 | 4 | 231 | 8 | 0 | 0 | 0 | 0 | a6529069ac2c06ebac9648420efda10d | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j120/ normalized-j1205_1-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 22264 | 70239 | 47222 | 2382027 | 1 | 100 | 2382026 | 69875 | 0 | 364 | 1 | 34 | 28 | 5 | 210 | 8 | 0 | 0 | 0 | 0 | 9d8e1b2a2cbc85a27fd2f2559f3d2e16 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j30/ normalized-j308_1-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 2728 | 8382 | 2841 | 145413 | 1 | 100 | 145412 | 8210 | 0 | 172 | 1 | 17 | 32 | 6 | 143 | 8 | 0 | 0 | 0 | 0 | 4d29ba8fce07a127badf56caae537567 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j30/ normalized-j309_10-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 5456 | 17015 | 11436 | 576064 | 1 | 100 | 576063 | 16667 | 0 | 348 | 1 | 26 | 16 | 5 | 177 | 8 | 0 | 0 | 0 | 0 | c3f4dc497dc99d720bdc811bb7c6baf6 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j60/ normalized-j6010_2-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 7564 | 23412 | 8041 | 408107 | 1 | 100 | 408106 | 23168 | 0 | 244 | 1 | 50 | 44 | 6 | 333 | 9 | 0 | 0 | 0 | 0 | 56b5df5d3846530a43ffbc2b16ff6eec | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9010_6-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 16744 | 52975 | 35473 | 1793643 | 1 | 100 | 1793642 | 52611 | 0 | 364 | 1 | 72 | 41 | 6 | 413 | 9 | 0 | 0 | 0 | 0 | fc0d823839f1ebf2c2f9f5719b053903 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9012_2-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 12922 | 40512 | 13779 | 694337 | 1 | 100 | 694336 | 40232 | 0 | 280 | 1 | 69 | 102 | 7 | 504 | 9 | 0 | 0 | 0 | 0 | 3b6e158ab44f08cbd30a9e465dbce8a4 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 13832 | 45398 | 15436 | 781630 | 1 | 100 | 781629 | 45098 | 0 | 300 | 1 | 73 | 68 | 7 | 479 | 9 | 0 | 0 | 0 | 0 | c165ea07f0c53ba06eed5c8e0627bf26 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9048_1-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 15106 | 51743 | 34693 | 1746055 | 1 | 100 | 1746054 | 51415 | 0 | 328 | 1 | 90 | 105 | 7 | 658 | 10 | 0 | 0 | 0 | 0 | d4f85b02385a31f7d2caf029382e283c | ||
| 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-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-8wqueens_wcsp.wbo |
PARTIAL-LIN | 64 | 560 | 552 | 9 | 1 | 9 | 4584 | 552 | 8 | 0 | 1 | 8 | 1 | 1 | 9 | 4 | 0 | 0 | 0 | 0 | eee0ae6126b5493e1008eae27949579e | ||
| 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-langford-3-11_wcsp.wbo |
PARTIAL-LIN | 1089 | 40843 | 40810 | 1 | 1 | 1 | 40810 | 40810 | 33 | 0 | 2 | 33 | 1 | 1 | 34 | 6 | 0 | 0 | 0 | 0 | dc0c1b337d286273cd261e7868deb02f | ||
| 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 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-zebre-ext_wcsp.wbo |
PARTIAL-LIN | 115 | 460 | 437 | 1 | 1 | 1 | 437 | 437 | 23 | 0 | 1 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | 8348dba5340c3cac20fa03fbf3fc3ab5 | ||
| 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-sub2_wcsp.wbo |
PARTIAL-LIN | 688 | 280826 | 280810 | 52140 | 1 | 1000 | 37167130 | 280810 | 16 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 3b293c70ef0b1b0b4ae40fd7d560d8ea | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub4reduc_wcsp.wbo |
PARTIAL-LIN | 816 | 142008 | 141988 | 3230 | 1 | 2200 | 35467150 | 141988 | 20 | 0 | 1 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | fda5da57972dd77ccec8adba64462c64 | ||
| 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-sub1-20_wcsp.wbo |
PARTIAL-LIN | 280 | 49254 | 49240 | 38275680 | 1 | 1000000 | 3660538699 | 49240 | 14 | 0 | 2 | 20 | 1 | 1 | 21 | 5 | 0 | 0 | 0 | 0 | 249b0b6133e523d403961c26ec3d3249 | ||
| 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-sub2_wcsp.wbo |
PARTIAL-LIN | 688 | 292466 | 292450 | 41497095 | 1 | 1000000 | 19773833908 | 292450 | 16 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | df23fbf0fc06a8dde2a3b450db42c164 | ||
| 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-geom30a-3_wcsp.wbo |
PARTIAL-LIN | 90 | 273 | 243 | 82 | 1 | 1 | 243 | 243 | 30 | 0 | 2 | 3 | 1 | 1 | 4 | 3 | 0 | 0 | 0 | 0 | a54a5c885adb8cfe852b8fc368f0998a | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-geom30a-4_wcsp.wbo |
PARTIAL-LIN | 120 | 354 | 324 | 82 | 1 | 1 | 324 | 324 | 30 | 0 | 2 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | e53235cd5dfe550483d4f3e67152665e | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-geom40-4_wcsp.wbo |
PARTIAL-LIN | 160 | 352 | 312 | 79 | 1 | 1 | 312 | 312 | 40 | 0 | 2 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | 5bb27f7dc4737e973225d47c470e9724 | ||
| 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-3_wcsp.wbo |
PARTIAL-LIN | 1350 | 17592 | 17142 | 5715 | 1 | 1 | 17142 | 17142 | 450 | 0 | 2 | 3 | 1 | 1 | 4 | 3 | 0 | 0 | 0 | 0 | ba46843969465965b44fc895ec2faac6 | ||
| 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-queen5-5-3_wcsp.wbo |
PARTIAL-LIN | 75 | 505 | 480 | 161 | 1 | 1 | 480 | 480 | 25 | 0 | 2 | 3 | 1 | 1 | 4 | 3 | 0 | 0 | 0 | 0 | 5fb432547fc3d9f11897171831f10021 | ||
| 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/coloring/ normalized-queen5-5-5_wcsp.wbo |
PARTIAL-LIN | 125 | 825 | 800 | 161 | 1 | 1 | 800 | 800 | 25 | 0 | 2 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | ca9b8cb49f53f769cb9b7be62cea69ae | ||
| 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-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-dubois24_ext.wbo |
PARTIAL-LIN | 144 | 264 | 192 | 193 | 1 | 1 | 192 | 192 | 72 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 40baaf8c8a2fa800b2df2d392937c2a7 | ||
| 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-dubois29_ext.wbo |
PARTIAL-LIN | 174 | 319 | 232 | 233 | 1 | 1 | 232 | 232 | 87 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 60670d7a778f540d271aeb19ae8c9dac | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_25_ext.wbo |
PARTIAL-LIN | 120 | 220 | 160 | 161 | 1 | 1 | 160 | 160 | 60 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 04e985a42255880e7c1d886fe8b500fe | ||
| 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 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo |
PARTIAL-LIN | 120 | 220 | 160 | 161 | 1 | 1 | 160 | 160 | 60 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 2ea60aa2099edb7aadf5916154f3d668 | ||
| 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-driverlog01c_wcsp.wbo |
PARTIAL-LIN | 195 | 808 | 737 | 5887 | 1 | 5887 | 3920457 | 737 | 71 | 0 | 1 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | 63b86ae7df05ce7cc9aee3a547bb8286 | ||
| 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-driverlog02cc_wcsp.wbo |
PARTIAL-LIN | 1161 | 24270 | 23969 | 79319 | 1 | 79319 | 1858126350 | 23969 | 301 | 0 | 1 | 8 | 1 | 1 | 9 | 4 | 0 | 0 | 0 | 0 | 1fc90b7cd2e7235b22305d3b70b4c605 | ||
| 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-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-driverlog05bc_wcsp.wbo |
PARTIAL-LIN | 1359 | 37158 | 36807 | 70185 | 1 | 70185 | 2537326809 | 36807 | 351 | 0 | 1 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | bb7920ac1be77c444e35e77cb8ff194d | ||
| 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-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-jnh07_wcsp.wbo |
PARTIAL-LIN | 200 | 950 | 850 | 420926 | 1 | 1000 | 420925 | 850 | 100 | 0 | 2 | 10 | 9 | 4 | 19 | 5 | 0 | 0 | 0 | 0 | 96e14e4c6eb01a4f095f5cf38f278b6e | ||
| 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-jnh19_wcsp.wbo |
PARTIAL-LIN | 200 | 950 | 850 | 420926 | 1 | 1000 | 420925 | 850 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 27a14671562c1b61b89a404519b43ed1 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh211_wcsp.wbo |
PARTIAL-LIN | 200 | 900 | 800 | 394239 | 1 | 1000 | 394238 | 800 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 6fab309b84d1bfdb5c2532d941f35d8a | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh216_wcsp.wbo |
PARTIAL-LIN | 200 | 900 | 800 | 394239 | 1 | 1000 | 394238 | 800 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 3f5612849a3eaca04bbdcd67147cb6f8 | ||
| 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-jnh306_wcsp.wbo |
PARTIAL-LIN | 200 | 1000 | 900 | 444855 | 1 | 1000 | 444854 | 900 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 74caa398aef105d9798453bbf07fd6c2 | ||
| 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-jnh308_wcsp.wbo |
PARTIAL-LIN | 200 | 1000 | 900 | 444855 | 1 | 1000 | 444854 | 900 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 9c900b2444e2d58a86c89cecffe68b3f | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh310_wcsp.wbo |
PARTIAL-LIN | 200 | 1000 | 900 | 444855 | 1 | 1000 | 444854 | 900 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 9471aebdb8afc5929839b3ae46a3589e | ||
| 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-connell_wcsp.wbo |
PARTIAL-LIN | 72 | 1151 | 1139 | 8 | 1 | 8 | 8867 | 1139 | 12 | 0 | 1 | 6 | 2 | 2 | 7 | 3 | 0 | 0 | 0 | 0 | c944d99cd6c6465dc242003de0f4e63c | ||
| 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-pedck350l2_wcsp.wbo |
PARTIAL-LIN | 3500 | 175982 | 175632 | 349 | 1 | 349 | 60205632 | 175632 | 350 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | 9c68184f5e0cdfc8a0d147070333d54f | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo |
PARTIAL-LIN | 600 | 36600 | 36540 | 61 | 1 | 61 | 2196540 | 36540 | 60 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | a03eca185af8829ae31b2e71631e3582 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-pedck60-L2_wcsp.wbo |
PARTIAL-LIN | 600 | 36582 | 36522 | 59 | 1 | 59 | 2124522 | 36522 | 60 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | 2c20b879ee2b2e43ba58d8049adb257f | ||
| 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-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 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-sheep4r-4-2_wcsp.wbo |
PARTIAL-LIN | 22540 | 1101088 | 1098834 | 899 | 1 | 899 | 980594130 | 1098834 | 2254 | 0 | 1 | 10 | 2 | 2 | 11 | 4 | 0 | 0 | 0 | 0 | 7656b12ac996aa688e4006ce14bebb41 | ||
| 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-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-20reduc_wcsp.wbo |
PARTIAL-LIN | 1594 | 87251 | 87169 | 3389 | 1 | 2436 | 29876722 | 87169 | 82 | 0 | 1 | 24 | 1 | 1 | 25 | 5 | 0 | 0 | 0 | 0 | 7dad1a14c72e86cc3ff77d9672745bc4 | ||
| 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-30reduc_wcsp.wbo |
PARTIAL-LIN | 771 | 19461 | 19380 | 2088 | 1 | 2088 | 5475303 | 19380 | 81 | 0 | 1 | 14 | 1 | 1 | 15 | 4 | 0 | 0 | 0 | 0 | b930431bad6a09b7641b73adbbdd5577 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen06_wcsp.wbo |
PARTIAL-LIN | 4010 | 828064 | 827964 | 255194 | 1 | 1000 | 158723721 | 827964 | 100 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 6cf6093805b81482d093fc222108b171 | ||
| 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/scens/ normalized-scen08_wcsp.wbo |
PARTIAL-LIN | 18100 | 3332577 | 3332119 | 12711 | 1 | 4 | 7905729 | 3332119 | 458 | 0 | 2 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 132688db35b296021e4e84f56a2dfb57 | ||
| 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-scen09_wcsp.wbo |
PARTIAL-LIN | 7876 | 873462 | 873262 | 875784 | 1 | 1000 | 231851719 | 873262 | 200 | 0 | 1 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 322df830329f06d389f01dedbd257544 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen10_wcsp.wbo |
PARTIAL-LIN | 7876 | 873462 | 873262 | 13608940 | 1 | 100000 | 719718355 | 873262 | 200 | 0 | 1 | 44 | 1 | 1 | 45 | 6 | 0 | 0 | 0 | 0 | 74a66f65a8d139e29d772f0c0eac826f | ||
| PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1401_wcsp.wbo |
PARTIAL-LIN | 1402 | 15782 | 15294 | 635168 | 1 | 635168 | 9404932575 | 15294 | 488 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 0a29b7741aa4fed5aca4f474b1ce636d | ||
| 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-1502_wcsp.wbo |
PARTIAL-LIN | 622 | 743 | 534 | 89201 | 1 | 89201 | 29079525 | 534 | 209 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 8b182fe3da3950dcef4cc9c2810fceee | ||
| 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-414_wcsp.wbo |
PARTIAL-LIN | 1056 | 14903 | 14539 | 60599 | 1 | 60599 | 859051423 | 14539 | 364 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 2452411e7d53b4184f08359a7309571d | ||
| 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-42_wcsp.wbo |
PARTIAL-LIN | 494 | 2206 | 2016 | 263118 | 1 | 263118 | 480716585 | 2016 | 190 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 1326e4af8c5cfa7236310d585f6ba84a | ||
| PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-509_wcsp.wbo |
PARTIAL-LIN | 1000 | 12591 | 12243 | 55572 | 1 | 55572 | 661084511 | 12243 | 348 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 506a92b17493b20cc36a94510db5babf | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap103_wcsp.wbo |
PARTIAL-LIN | 1300 | 2598 | 2523 | 61786724 | 1 | 61786724 | 77838680126 | 2523 | 75 | 0 | 1 | 25 | 1 | 1 | 26 | 5 | 0 | 0 | 0 | 0 | ba857364af295ab8f3555d8567fc7cd2 | ||
| 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-cap43_wcsp.wbo |
PARTIAL-LIN | 832 | 1680 | 1614 | 57243026 | 1 | 57243026 | 46149905826 | 1614 | 66 | 0 | 1 | 16 | 1 | 1 | 17 | 5 | 0 | 0 | 0 | 0 | 775b012ea4690e9017013bb80db10bb4 | ||
| 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-capmo1_wcsp.wbo |
PARTIAL-LIN | 10200 | 20300 | 20100 | 16472577 | 1 | 16472577 | 164860388479 | 20100 | 200 | 0 | 1 | 100 | 1 | 1 | 101 | 7 | 0 | 0 | 0 | 0 | 7203545f0120ca71deeb3428f0615313 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmp5_wcsp.wbo |
PARTIAL-LIN | 40400 | 80600 | 80200 | 73551998 | 1 | 73551998 | 2942636678406 | 80200 | 400 | 0 | 1 | 200 | 1 | 1 | 201 | 8 | 0 | 0 | 0 | 0 | a73f495032ccf6a6d78a79cd79ebad00 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmq2_wcsp.wbo |
PARTIAL-LIN | 90600 | 180900 | 180300 | 170764190 | 1 | 170764190 | 15370053062545 | 180300 | 600 | 0 | 1 | 300 | 1 | 1 | 301 | 9 | 0 | 0 | 0 | 0 | 731767f3d4bf240c693e52a57e378eeb | ||
| 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-capmq3_wcsp.wbo |
PARTIAL-LIN | 90600 | 180900 | 180300 | 156989569 | 1 | 156989569 | 14130358978021 | 180300 | 600 | 0 | 1 | 300 | 1 | 1 | 301 | 9 | 0 | 0 | 0 | 0 | cac45aa9b8a0a170f5d2971ec5829655 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmq4_wcsp.wbo |
PARTIAL-LIN | 90600 | 180900 | 180300 | 157287652 | 1 | 157287652 | 14157263284542 | 180300 | 600 | 0 | 1 | 300 | 1 | 1 | 301 | 9 | 0 | 0 | 0 | 0 | 1d7372f946d935a99ab8f07669875abc | ||
| 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_15_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 300 | 50 | 50 | 2726 | 1 | 98 | 2725 | 30 | 20 | 0 | 10 | 15 | 1 | 1 | 16 | 5 | 0 | 0 | 0 | 0 | 768d4caef7269669a81af3ea69231aa1 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 1000 | 90 | 90 | 4573 | 1 | 98 | 4572 | 50 | 40 | 0 | 20 | 25 | 1 | 1 | 26 | 5 | 0 | 0 | 0 | 0 | ede49bd1d15b22979a8ba24db53ae47d | ||
| 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-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 1200 | 100 | 100 | 4887 | 1 | 99 | 4886 | 60 | 40 | 0 | 20 | 30 | 1 | 1 | 31 | 5 | 0 | 0 | 0 | 0 | faa8272e216cdab2cc5fdf20b98dc310 | ||
| 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_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-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 3150 | 160 | 160 | 8094 | 1 | 99 | 8093 | 90 | 70 | 0 | 35 | 45 | 1 | 1 | 46 | 6 | 0 | 0 | 0 | 0 | 069fedf28a96d7c50d9928e95247975c | ||
| 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-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_55_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 5500 | 210 | 210 | 10479 | 1 | 100 | 10478 | 110 | 100 | 0 | 50 | 55 | 1 | 1 | 56 | 6 | 0 | 0 | 0 | 0 | d4788959a2e7b45c25b7f7d6000cdd65 | ||
| 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.1900546417--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 137946 | 1 | 100 | 137945 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 689 | 10 | 0 | 0 | 0 | 0 | bf0e18f69bc4ae870e00276f905f729f | ||
| 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 | ||
| 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.1900553647--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 134314 | 1 | 100 | 134313 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 715 | 10 | 0 | 0 | 0 | 0 | a5fd027e04dacef4214ab52a164e7887 | ||
| 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.1900554420--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 134314 | 1 | 100 | 134313 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 689 | 10 | 0 | 0 | 0 | 0 | ad3ff4ce6dbb092a4c85a5c99afa7076 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 137245 | 1 | 100 | 137244 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 719 | 10 | 0 | 0 | 0 | 0 | a78c94b6f4549eea363686d9af131a6f | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136843 | 1 | 100 | 136842 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 669 | 10 | 0 | 0 | 0 | 0 | ed04f64dac6d6857347bc2e85876a810 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 135280 | 1 | 100 | 135279 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 711 | 10 | 0 | 0 | 0 | 0 | ceda8307a9211ca9e20cfff054566546 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136625 | 1 | 100 | 136624 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 671 | 10 | 0 | 0 | 0 | 0 | bc96371ed96ff7d09cec6edb99a27c56 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 135715 | 1 | 100 | 135714 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 671 | 10 | 0 | 0 | 0 | 0 | 93d49801d0262331a4abc03db399906f | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1318 | 11 | 0 | 0 | 0 | 0 | bae6c482aaf8f9f3011d5993c77ba77c | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5180 | 1 | 99 | 5179 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1242 | 11 | 0 | 0 | 0 | 0 | 2d395efca146de1063c190cf8f4a5e35 | ||
| 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.1111219348--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1212 | 11 | 0 | 0 | 0 | 0 | b1c6556c479a26f575122f951a1c5138 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1259 | 11 | 0 | 0 | 0 | 0 | 909acc74f3250bb2bc9f4edd73e6a56a | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1230 | 11 | 0 | 0 | 0 | 0 | e6cba5e69f7a7ed0e6a1f5e8ad963bdf | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1264 | 11 | 0 | 0 | 0 | 0 | b196fc65069e8545549c3d51c3576333 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225122--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1250 | 11 | 0 | 0 | 0 | 0 | afa3f2a3e143e45be38aa798acf1f2a1 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1231 | 11 | 0 | 0 | 0 | 0 | 10fcd5720e5cccbfac708c069f95798b | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1190 | 11 | 0 | 0 | 0 | 0 | af9d4868dd4e3c44d14fae6eb8549a4d | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1225 | 11 | 0 | 0 | 0 | 0 | 174224df0edff6e04d24401555f6da2c | ||
| 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-11-10--soft-0-100-0.wbo |
SOFT-LIN | 110 | 21 | 21 | 827 | 1 | 88 | 826 | 11 | 10 | 0 | 10 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | bb794de334345008f73c7267fdb18db5 | ||
| 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-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 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo |
SOFT-LIN | 930 | 61 | 61 | 3358 | 1 | 97 | 3357 | 31 | 30 | 0 | 30 | 31 | 1 | 1 | 32 | 6 | 0 | 0 | 0 | 0 | a7833ead80b5f65e4da042907b9a7424 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo |
SOFT-LIN | 1640 | 81 | 81 | 4603 | 1 | 99 | 4602 | 41 | 40 | 0 | 40 | 41 | 1 | 1 | 42 | 6 | 0 | 0 | 0 | 0 | c1d46d608f2fe007fd02ce0eb1e8713a | ||
| 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-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-91-90--soft-0-100-0.wbo |
SOFT-LIN | 8190 | 181 | 181 | 8850 | 1 | 100 | 8849 | 91 | 90 | 0 | 90 | 91 | 1 | 1 | 92 | 7 | 0 | 0 | 0 | 0 | e7f38115db987780c79c33c71728cb00 | ||
| 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-7.ucl--soft-0-100-0.wbo |
SOFT-LIN | 2913 | 3105 | 3105 | 157316 | 1 | 100 | 157315 | 2259 | 0 | 846 | 1 | 25 | 6518 | 13 | 18803 | 15 | 0 | 0 | 0 | 0 | 792962aae8d94447e85948a0aa93dd9c | ||
| 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-floppy1-8.ucl--soft-0-100-0.wbo |
SOFT-LIN | 3618 | 3931 | 3931 | 199976 | 1 | 100 | 199975 | 2865 | 0 | 1066 | 1 | 25 | 7394 | 13 | 19679 | 15 | 0 | 0 | 0 | 0 | 14d47b5fa143d3b380840dd3e796e409 | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-0-100-0.wbo |
SOFT-LIN | 6392 | 18058 | 18058 | 911376 | 1 | 100 | 911375 | 17278 | 0 | 780 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | c3ff3a6493c70b23a4b133fc76040d0a | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-0-100-0.wbo |
SOFT-LIN | 55066 | 160619 | 160619 | 8104936 | 1 | 100 | 8104935 | 156587 | 0 | 4032 | 1 | 13 | 67 | 7 | 256 | 9 | 0 | 0 | 0 | 0 | 4f34cbfed7a19ac688e4f9e2f21858cc | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-0-100-0.wbo |
SOFT-LIN | 67 | 132 | 132 | 6582 | 1 | 100 | 6581 | 120 | 0 | 12 | 1 | 7 | 10 | 4 | 31 | 5 | 0 | 0 | 0 | 0 | bb705ea3827ff4748ca81b5a0e2960ab | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-0-100-0.wbo |
SOFT-LIN | 1328 | 3349 | 3349 | 169122 | 1 | 100 | 169121 | 3165 | 0 | 184 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | 42b20a7038565d8603bfe926b5d4d8be | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-0-100-0.wbo |
SOFT-LIN | 20445 | 58444 | 58444 | 2944721 | 1 | 100 | 2944720 | 56420 | 0 | 2024 | 1 | 13 | 65 | 7 | 254 | 8 | 0 | 0 | 0 | 0 | b768909408c966faf3772208e954fb50 | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-0-100-0.wbo |
SOFT-LIN | 3736 | 10457 | 10457 | 528640 | 1 | 100 | 528639 | 10089 | 0 | 368 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | a0659843280e15748989aeaa938592a1 | ||
| 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/PB10/ oliveras/j120/ normalized-j12023_3-unsat--soft-0-100-0.wbo |
SOFT-LIN | 23958 | 79333 | 79333 | 4012486 | 1 | 100 | 4012485 | 78941 | 0 | 392 | 1 | 38 | 22 | 5 | 225 | 8 | 0 | 0 | 0 | 0 | cba82a7d1f37163d211d3ef99a40b4d5 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j120/ normalized-j1205_1-unsat--soft-0-100-0.wbo |
SOFT-LIN | 22264 | 70239 | 70239 | 3558921 | 1 | 100 | 3558920 | 69875 | 0 | 364 | 1 | 34 | 28 | 5 | 210 | 8 | 0 | 0 | 0 | 0 | 998939d3751df9503d0a1067c00e7f89 | ||
| 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-j309_10-unsat--soft-0-100-0.wbo |
SOFT-LIN | 5456 | 17015 | 17015 | 855983 | 1 | 100 | 855982 | 16667 | 0 | 348 | 1 | 26 | 16 | 5 | 177 | 8 | 0 | 0 | 0 | 0 | 0d3a4d45118c3fa61832a29e06aeb368 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j60/ normalized-j6030_9-unsat--soft-0-100-0.wbo |
SOFT-LIN | 11956 | 39426 | 39426 | 1992515 | 1 | 100 | 1992514 | 39038 | 0 | 388 | 1 | 60 | 33 | 6 | 416 | 9 | 0 | 0 | 0 | 0 | c6137bdf698ffa402fbc6dac44231b46 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j60/ normalized-j603_2-unsat--soft-0-100-0.wbo |
SOFT-LIN | 8418 | 26241 | 26241 | 1318846 | 1 | 100 | 1318845 | 25969 | 0 | 272 | 1 | 18 | 23 | 5 | 119 | 7 | 0 | 0 | 0 | 0 | a2185ffb97efd1f2d0cc2845728975fa | ||
| 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-j9012_2-unsat--soft-0-100-0.wbo |
SOFT-LIN | 12922 | 40512 | 40512 | 2047706 | 1 | 100 | 2047705 | 40232 | 0 | 280 | 1 | 69 | 102 | 7 | 504 | 9 | 0 | 0 | 0 | 0 | 22995c328a204b2a50e76ccfa4b311f5 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j90/ normalized-j9028_2-unsat--soft-0-100-0.wbo |
SOFT-LIN | 13832 | 45398 | 45398 | 2287724 | 1 | 100 | 2287723 | 45098 | 0 | 300 | 1 | 73 | 68 | 7 | 479 | 9 | 0 | 0 | 0 | 0 | b5d0bb32cd0b3ec302c9cb26a3482ff4 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j90/ normalized-j903_10-unsat--soft-0-100-0.wbo |
SOFT-LIN | 11830 | 36862 | 36862 | 1867680 | 1 | 100 | 1867679 | 36606 | 0 | 256 | 1 | 29 | 36 | 6 | 203 | 8 | 0 | 0 | 0 | 0 | ca02215f85b63c6f74da1e1ff834e953 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j90/ normalized-j9048_1-unsat--soft-0-100-0.wbo |
SOFT-LIN | 15106 | 51743 | 51743 | 2612877 | 1 | 100 | 2612876 | 51415 | 0 | 328 | 1 | 90 | 105 | 7 | 658 | 10 | 0 | 0 | 0 | 0 | 1d1b49f7958106304c382cdbaee0c1f8 |