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_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_16_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 480 | 62 | 42 | 2053 | 1 | 100 | 2052 | 32 | 30 | 0 | 15 | 16 | 1 | 1 | 17 | 5 | 0 | 0 | 0 | 0 | 3abdc9c804a2fa9ad697d35e2dd7fc9e | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 1000 | 90 | 61 | 3008 | 1 | 98 | 3007 | 50 | 40 | 0 | 20 | 25 | 1 | 1 | 26 | 5 | 0 | 0 | 0 | 0 | 89aefd8d12d4ecfcc808149fbf6d13e8 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo |
PARTIAL-LIN | 1200 | 100 | 67 | 3602 | 1 | 100 | 3601 | 60 | 40 | 0 | 20 | 30 | 1 | 1 | 31 | 5 | 0 | 0 | 0 | 0 | 9a47f6062ac9d5e21b3bc610cb2ef093 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo |
PARTIAL-LIN | 1200 | 100 | 35 | 1842 | 1 | 96 | 1841 | 60 | 40 | 0 | 20 | 30 | 1 | 1 | 31 | 5 | 0 | 0 | 0 | 0 | 3f98d9dae6e37ed8fccc9a6610b1b02a | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo |
PARTIAL-LIN | 1860 | 122 | 42 | 2134 | 1 | 96 | 2133 | 62 | 60 | 0 | 30 | 31 | 1 | 1 | 32 | 6 | 0 | 0 | 0 | 0 | 35a8cd852ce9086466c166d9cb7fc9d5 | ||
| 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_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-66-100-0.wbo |
PARTIAL-LIN | 5100 | 202 | 71 | 3850 | 1 | 98 | 3849 | 102 | 100 | 0 | 50 | 51 | 1 | 1 | 52 | 6 | 0 | 0 | 0 | 0 | 485321322f8570ec0cc1d4f7566d27d9 | ||
| 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.1900545610--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1863 | 94064 | 1 | 100 | 94063 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 671 | 10 | 0 | 0 | 0 | 0 | 314f806452096a8f3ea5f4a2c578e7f2 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 906 | 44801 | 1 | 100 | 44800 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 739 | 10 | 0 | 0 | 0 | 0 | 2efdb5877ff4f95c4d1dead4991e69a5 | ||
| 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.1900556231--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 904 | 44120 | 1 | 100 | 44119 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 723 | 10 | 0 | 0 | 0 | 0 | 792f8158b3c5c4d73fe68a487e1b6a52 | ||
| 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.1900567985--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1777 | 90281 | 1 | 100 | 90280 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 669 | 10 | 0 | 0 | 0 | 0 | 77f55165083495946c7a1aa8a383d78e | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 1839 | 91769 | 1 | 100 | 91768 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 721 | 10 | 0 | 0 | 0 | 0 | 5dc975df9a8d23df34f7dde4f22624bf | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 927 | 45360 | 1 | 100 | 45359 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 721 | 10 | 0 | 0 | 0 | 0 | f9b0380a3863c794c987894acac8a024 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 925 | 46664 | 1 | 100 | 46663 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 693 | 10 | 0 | 0 | 0 | 0 | 0ed2b7bdafc8c8738b9b684f832049ad | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo |
PARTIAL-LIN | 231 | 2707 | 925 | 46664 | 1 | 100 | 46663 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 671 | 10 | 0 | 0 | 0 | 0 | 936bb4ccf7340dd69afc792c197fd7dd | ||
| 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.1110966688--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 3426 | 1 | 99 | 3425 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1237 | 11 | 0 | 0 | 0 | 0 | e503c4c849d035594fcf29f3d97946d5 | ||
| 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.1110968898--soft-66-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 28 | 1415 | 1 | 98 | 1414 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1261 | 11 | 0 | 0 | 0 | 0 | d87b9c477e8f9fff01722d84f9b2e16d | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 29 | 1556 | 1 | 100 | 1555 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1247 | 11 | 0 | 0 | 0 | 0 | aad9621fe8b368ffddca7a2c79d32a56 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--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 | f5f75a09e2e877f50baa0b30e386187f | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 2925 | 1 | 96 | 2924 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1248 | 11 | 0 | 0 | 0 | 0 | 45bb2d863335b9169620e5155269ff78 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 3426 | 1 | 99 | 3425 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1266 | 11 | 0 | 0 | 0 | 0 | 726519dbe78f481529a45968391fd805 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 2925 | 1 | 96 | 2924 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1248 | 11 | 0 | 0 | 0 | 0 | dc953b55042b846f202869f45bcfc1d0 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo |
PARTIAL-LIN | 169 | 101 | 64 | 2925 | 1 | 96 | 2924 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1248 | 11 | 0 | 0 | 0 | 0 | 67c3cebc428c8d3edf3feccfc9bf9000 | ||
| 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-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-15-10--soft-33-100-0.wbo |
PARTIAL-LIN | 150 | 25 | 21 | 877 | 1 | 83 | 876 | 15 | 10 | 0 | 10 | 15 | 1 | 1 | 16 | 5 | 0 | 0 | 0 | 0 | 1c95eb2a8775f9ba6f5db9b4c8ac7654 | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo |
PARTIAL-LIN | 420 | 41 | 32 | 1258 | 1 | 83 | 1257 | 21 | 20 | 0 | 20 | 21 | 1 | 1 | 22 | 5 | 0 | 0 | 0 | 0 | ae5896cca6b00814cba4dd38df793b74 | ||
| 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-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-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-33-100-0.wbo |
PARTIAL-LIN | 3900 | 125 | 82 | 4502 | 1 | 100 | 4501 | 65 | 60 | 0 | 60 | 65 | 1 | 1 | 66 | 7 | 0 | 0 | 0 | 0 | 93c5d8410dbbbd655917760e75f64d9f | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo |
PARTIAL-LIN | 4970 | 141 | 43 | 2285 | 1 | 97 | 2284 | 71 | 70 | 0 | 70 | 71 | 1 | 1 | 72 | 7 | 0 | 0 | 0 | 0 | faaafc1d2d1dba01ec3e252f861d3fdd | ||
| PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo |
PARTIAL-LIN | 6480 | 161 | 109 | 6056 | 1 | 100 | 6055 | 81 | 80 | 0 | 80 | 81 | 1 | 1 | 82 | 7 | 0 | 0 | 0 | 0 | 3994ba6f94443e756bf40be6bcc80c22 | ||
| 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-22s.smv--soft-33-100-0.wbo |
PARTIAL-LIN | 5985 | 15365 | 10251 | 518757 | 1 | 100 | 518756 | 14013 | 0 | 1352 | 1 | 15 | 165 | 8 | 546 | 10 | 0 | 0 | 0 | 0 | 25fc0d578c58b4eef45cbecfc7727dba | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo |
PARTIAL-LIN | 1612 | 3653 | 2427 | 124130 | 1 | 100 | 124129 | 3273 | 0 | 380 | 1 | 13 | 79 | 7 | 268 | 9 | 0 | 0 | 0 | 0 | cb398b67416b851b196eddd919bddf4e | ||
| 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.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-dlx1c.rwmem1.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 7578 | 21401 | 7353 | 376186 | 1 | 100 | 376185 | 20501 | 0 | 900 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | f6e1341d84f93f3293ca3ab4698e14a4 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 67 | 132 | 37 | 1680 | 1 | 99 | 1679 | 120 | 0 | 12 | 1 | 7 | 10 | 4 | 31 | 5 | 0 | 0 | 0 | 0 | 6de90c1d0e38185a16d4758cfacb3e97 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-33-100-0.wbo |
PARTIAL-LIN | 11476 | 33090 | 22107 | 1114426 | 1 | 100 | 1114425 | 32382 | 0 | 708 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | 3865c100b0a285dc87768d6f36f0a031 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 9071 | 25914 | 8807 | 449050 | 1 | 100 | 449049 | 25190 | 0 | 724 | 1 | 11 | 39 | 6 | 132 | 8 | 0 | 0 | 0 | 0 | 9d1c3866ab01b85f0c407d4285336d50 | ||
| 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 | ||
| PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-66-100-0.wbo |
PARTIAL-LIN | 3249 | 8983 | 3029 | 154751 | 1 | 100 | 154750 | 8599 | 0 | 384 | 1 | 11 | 33 | 6 | 126 | 7 | 0 | 0 | 0 | 0 | 0a60c91e2f2f57eb4bf742508c9f5d18 | ||
| 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-j12015_3-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 21054 | 66352 | 22705 | 1148508 | 1 | 100 | 1148507 | 66008 | 0 | 344 | 1 | 93 | 46 | 6 | 599 | 10 | 0 | 0 | 0 | 0 | b82e32a8fef353d3007819734d261cca | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j120/ normalized-j12026_5-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 32912 | 109848 | 37605 | 1909674 | 1 | 100 | 1909673 | 109308 | 0 | 540 | 1 | 66 | 18 | 5 | 428 | 9 | 0 | 0 | 0 | 0 | f67f54d6c01158525b1a2e818a4200ea | ||
| 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/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/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/j60/ normalized-j606_1-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 7320 | 22689 | 7780 | 391252 | 1 | 100 | 391251 | 22453 | 0 | 236 | 1 | 32 | 31 | 5 | 220 | 8 | 0 | 0 | 0 | 0 | 56507a547ab147f9415aeed41af3cad0 | ||
| PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9010_6-unsat--soft-66-100-0.wbo |
PARTIAL-LIN | 16744 | 52975 | 17935 | 908194 | 1 | 100 | 908193 | 52611 | 0 | 364 | 1 | 72 | 41 | 6 | 413 | 9 | 0 | 0 | 0 | 0 | 7b27f5baad0af5e58420fd3c1fc1851c | ||
| 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-j907_8-unsat--soft-33-100-0.wbo |
PARTIAL-LIN | 10920 | 34033 | 22812 | 1153249 | 1 | 100 | 1153248 | 33797 | 0 | 236 | 1 | 50 | 60 | 6 | 345 | 9 | 0 | 0 | 0 | 0 | 299d2dad4f4e3dd6e1a1b8a92c366aca | ||
| 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-langford-3-9_wcsp.wbo |
PARTIAL-LIN | 729 | 22248 | 22221 | 1 | 1 | 1 | 22221 | 22221 | 27 | 0 | 2 | 27 | 1 | 1 | 28 | 5 | 0 | 0 | 0 | 0 | 6172b52a970037bb43e5aaf6215d1e52 | ||
| 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-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 | ||
| 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_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-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-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-20_wcsp.wbo |
PARTIAL-LIN | 440 | 72754 | 72732 | 69687 | 1 | 1000 | 10145370 | 72732 | 22 | 0 | 2 | 20 | 1 | 1 | 21 | 5 | 0 | 0 | 0 | 0 | c20fa776bae7355b4d4e94acf2d6929f | ||
| 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-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-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/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-geom30a-6_wcsp.wbo |
PARTIAL-LIN | 180 | 516 | 486 | 82 | 1 | 1 | 486 | 486 | 30 | 0 | 2 | 6 | 1 | 1 | 7 | 3 | 0 | 0 | 0 | 0 | 0357adb7b5c9a89f4a5d9439f52a9be4 | ||
| 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-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-5_wcsp.wbo |
PARTIAL-LIN | 2250 | 29020 | 28570 | 5715 | 1 | 1 | 28570 | 28570 | 450 | 0 | 2 | 5 | 1 | 1 | 6 | 3 | 0 | 0 | 0 | 0 | 276e6058ed794d43d25daa514644ef1f | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-myciel5g-4_wcsp.wbo |
PARTIAL-LIN | 188 | 991 | 944 | 237 | 1 | 1 | 944 | 944 | 47 | 0 | 2 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | b56876b89107ed3e0a8ba992f083f41d | ||
| 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-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-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-dubois25_ext.wbo |
PARTIAL-LIN | 150 | 275 | 200 | 201 | 1 | 1 | 200 | 200 | 75 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | bc9f40d4fee12176d54785975ed8a1dc | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo |
PARTIAL-LIN | 156 | 286 | 208 | 209 | 1 | 1 | 208 | 208 | 78 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | cda6e9f4d0fd9a2ba394217379d42668 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo |
PARTIAL-LIN | 300 | 550 | 400 | 401 | 1 | 1 | 400 | 400 | 150 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | e7b3b2543c54698f6574a5f6e58a3d86 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo |
PARTIAL-LIN | 300 | 550 | 400 | 401 | 1 | 1 | 400 | 400 | 150 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 168f072e75b284c4cf854cec433a3c91 | ||
| 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-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 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo |
PARTIAL-LIN | 120 | 220 | 160 | 161 | 1 | 1 | 160 | 160 | 60 | 0 | 2 | 3 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 7dc622384a9e8f1250b42bfd51024168 | ||
| 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-driverlog01cc_wcsp.wbo |
PARTIAL-LIN | 195 | 808 | 737 | 11728 | 1 | 11728 | 7810208 | 737 | 71 | 0 | 1 | 4 | 1 | 1 | 5 | 3 | 0 | 0 | 0 | 0 | 56ee3d75b8ca2997b1fe1a4fa46f844d | ||
| 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-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-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-driverlog05ac_wcsp.wbo |
PARTIAL-LIN | 1359 | 37158 | 36807 | 66052 | 1 | 66052 | 2387909283 | 36807 | 351 | 0 | 1 | 11 | 1 | 1 | 12 | 4 | 0 | 0 | 0 | 0 | 1e90f71944b946a0637615dc742b3b49 | ||
| 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 | ||
| 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-driverlog09_wcsp.wbo |
PARTIAL-LIN | 2872 | 139820 | 139170 | 57492 | 1 | 57492 | 7912207592 | 139170 | 650 | 0 | 1 | 12 | 1 | 1 | 13 | 4 | 0 | 0 | 0 | 0 | a775ba4e40b6fa0cd8cccf00ddaf4c72 | ||
| 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-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-jnh10_wcsp.wbo |
PARTIAL-LIN | 200 | 950 | 850 | 420926 | 1 | 1000 | 420925 | 850 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | e4fa963c2f147d3fdfd6798e49b7dfa7 | ||
| 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-jnh201_wcsp.wbo |
PARTIAL-LIN | 200 | 900 | 800 | 394239 | 1 | 1000 | 394238 | 800 | 100 | 0 | 2 | 14 | 13 | 4 | 27 | 5 | 0 | 0 | 0 | 0 | a0fc9ddc99d25854f8b564d0ce1b8ee6 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh205_wcsp.wbo |
PARTIAL-LIN | 200 | 900 | 800 | 394239 | 1 | 1000 | 394238 | 800 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | ab4c426bf1ec0961b0fe0dde1bfe0a37 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh210_wcsp.wbo |
PARTIAL-LIN | 200 | 900 | 800 | 394239 | 1 | 1000 | 394238 | 800 | 100 | 0 | 2 | 10 | 9 | 4 | 19 | 5 | 0 | 0 | 0 | 0 | 9a6ca9f9779387f4d8ae6ecf148022d7 | ||
| 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-jnh218_wcsp.wbo |
PARTIAL-LIN | 200 | 900 | 800 | 394239 | 1 | 1000 | 394238 | 800 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | c643a167af0335c51d88be6f10656a92 | ||
| 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-jnh220_wcsp.wbo |
PARTIAL-LIN | 200 | 900 | 800 | 394239 | 1 | 1000 | 394238 | 800 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 34a0bfb70ed277f4c4c200df417ca196 | ||
| PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh303_wcsp.wbo |
PARTIAL-LIN | 200 | 1000 | 900 | 444855 | 1 | 1000 | 444854 | 900 | 100 | 0 | 2 | 11 | 10 | 4 | 21 | 5 | 0 | 0 | 0 | 0 | 14437dd445d0a3577faa1ec2467a3d2e | ||
| 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-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-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-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 | ||
| 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-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-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-sobel_wcsp.wbo |
PARTIAL-LIN | 42 | 712 | 705 | 4 | 1 | 4 | 2775 | 705 | 7 | 0 | 1 | 6 | 2 | 2 | 7 | 3 | 0 | 0 | 0 | 0 | d6201500cace1401c2ced896a3595f59 | ||
| 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-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-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-24_wcsp.wbo |
PARTIAL-LIN | 1612 | 129924 | 129825 | 250711 | 1 | 1000 | 22300299 | 129825 | 99 | 0 | 1 | 20 | 1 | 1 | 21 | 5 | 0 | 0 | 0 | 0 | 5f4845564474de72882a5c75d8b8b05c | ||
| 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-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_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 | ||
| 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 | ||
| 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-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-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-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-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-28_wcsp.wbo |
PARTIAL-LIN | 576 | 7352 | 7122 | 326159 | 1 | 326159 | 2248213986 | 7122 | 230 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | b5d1d81f4e188bace3bb605060dfa2e2 | ||
| 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-412_wcsp.wbo |
PARTIAL-LIN | 844 | 7574 | 7274 | 48484 | 1 | 48484 | 338175899 | 7274 | 300 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 84bec45daf3e2f2cbd3688999a3e29ea | ||
| 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 | ||
| PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-507_wcsp.wbo |
PARTIAL-LIN | 884 | 8460 | 8149 | 42528 | 1 | 42528 | 333376991 | 8149 | 311 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | f81c061b693f8d6b0a85fe0e32c56d8c | ||
| 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-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/spot5/ normalized-spot5-54_wcsp.wbo |
PARTIAL-LIN | 192 | 546 | 479 | 108 | 1 | 108 | 44603 | 479 | 67 | 0 | 1 | 4 | 2 | 2 | 5 | 3 | 0 | 0 | 0 | 0 | 08ba02d57fe47858af0a0c308aa835f9 | ||
| 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-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-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-capb_wcsp.wbo |
PARTIAL-LIN | 100200 | 201200 | 200100 | 132622180 | 1 | 132622180 | 13265314501093 | 200100 | 1100 | 0 | 1 | 100 | 1 | 1 | 101 | 7 | 0 | 0 | 0 | 0 | 555f44227e99fdf4d1a2c3e4bdbdc93d | ||
| 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-capmo2_wcsp.wbo |
PARTIAL-LIN | 10200 | 20300 | 20100 | 19304198 | 1 | 19304198 | 193196633046 | 20100 | 200 | 0 | 1 | 100 | 1 | 1 | 101 | 7 | 0 | 0 | 0 | 0 | cb8a3e593edd5cdc6866e1bd55b92f53 | ||
| 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-capmp2_wcsp.wbo |
PARTIAL-LIN | 40400 | 80600 | 80200 | 77435527 | 1 | 77435527 | 3097994347139 | 80200 | 400 | 0 | 1 | 200 | 1 | 1 | 201 | 8 | 0 | 0 | 0 | 0 | 051386ef64e197e68dda722c967b3146 | ||
| 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-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-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_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 | ||
| 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 | ||
| 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_20_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 600 | 70 | 70 | 3292 | 1 | 97 | 3291 | 40 | 30 | 0 | 15 | 20 | 1 | 1 | 21 | 5 | 0 | 0 | 0 | 0 | ee6d437ff887b8f66aa5734205ce994a | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo |
SOFT-LIN | 840 | 82 | 82 | 4216 | 1 | 98 | 4215 | 42 | 40 | 0 | 20 | 21 | 1 | 1 | 22 | 5 | 0 | 0 | 0 | 0 | f4fc3ffba48e986bbe8a03138b243a62 | ||
| 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 | ||
| 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_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-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-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 137946 | 1 | 100 | 137945 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 741 | 10 | 0 | 0 | 0 | 0 | efaee89c3e11534a23edbd8745820eb4 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 135641 | 1 | 100 | 135640 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 671 | 10 | 0 | 0 | 0 | 0 | 199e04bc8ae23cdbb04e568c1e7b7c33 | ||
| 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.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 | ||
| 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.1900558106--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136180 | 1 | 100 | 136179 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 815 | 10 | 0 | 0 | 0 | 0 | 574e9ed2efcb9dced2b2b81ad9d89ea9 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 137973 | 1 | 100 | 137972 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 649 | 10 | 0 | 0 | 0 | 0 | acf2a8782acc6b64a5ec9e051fb48cec | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 138262 | 1 | 100 | 138261 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 813 | 10 | 0 | 0 | 0 | 0 | 7c66fdb5a02c3f3e721d6b540a9bf06a | ||
| 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.1900577940--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136180 | 1 | 100 | 136179 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 661 | 10 | 0 | 0 | 0 | 0 | 51059ca2af55d3d702101de6e9ca1ef0 | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo |
SOFT-LIN | 231 | 2707 | 2707 | 136843 | 1 | 100 | 136842 | 2684 | 22 | 1 | 2 | 110 | 25 | 5 | 689 | 10 | 0 | 0 | 0 | 0 | ba0a841bff772832618a6d7dce9d1edb | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1248 | 11 | 0 | 0 | 0 | 0 | 092f7546bc0da8244a94d2351092ae3e | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1294 | 11 | 0 | 0 | 0 | 0 | ae3ae2de698e28281e50684e40f8959c | ||
| 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.1110977273--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1243 | 11 | 0 | 0 | 0 | 0 | fae134bf6f086b45946848ae2283affc | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1327 | 11 | 0 | 0 | 0 | 0 | 199f4c70e3f98180608476b3fb75042a | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5395 | 1 | 100 | 5394 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1207 | 11 | 0 | 0 | 0 | 0 | aefcc1660135af98a2c3681d0c8dc44b | ||
| PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 4944 | 1 | 98 | 4943 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1222 | 11 | 0 | 0 | 0 | 0 | 480e7033c0e6131d93c6a0171695ac31 | ||
| 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.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/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-0-100-0.wbo |
SOFT-LIN | 169 | 101 | 101 | 5034 | 1 | 98 | 5033 | 30 | 70 | 1 | 2 | 169 | 38 | 6 | 1265 | 11 | 0 | 0 | 0 | 0 | e4106093e116cfbf84fccb9b346952d3 | ||
| 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-101-100--soft-0-100-0.wbo |
SOFT-LIN | 10100 | 201 | 201 | 9959 | 1 | 100 | 9958 | 101 | 100 | 0 | 100 | 101 | 1 | 1 | 102 | 7 | 0 | 0 | 0 | 0 | 27dacbcdd21377e3b42728cc67725307 | ||
| 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-25-20--soft-0-100-0.wbo |
SOFT-LIN | 500 | 45 | 45 | 1950 | 1 | 99 | 1949 | 25 | 20 | 0 | 20 | 25 | 1 | 1 | 26 | 5 | 0 | 0 | 0 | 0 | 51383473035946e98f28657b2920aa2c | ||
| 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-45-40--soft-0-100-0.wbo |
SOFT-LIN | 1800 | 85 | 85 | 4848 | 1 | 99 | 4847 | 45 | 40 | 0 | 40 | 45 | 1 | 1 | 46 | 6 | 0 | 0 | 0 | 0 | 4eb60eb64b2e57ece37ce881f5113a6c | ||
| 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-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-81-80--soft-0-100-0.wbo |
SOFT-LIN | 6480 | 161 | 161 | 8472 | 1 | 99 | 8471 | 81 | 80 | 0 | 80 | 81 | 1 | 1 | 82 | 7 | 0 | 0 | 0 | 0 | 7df0ee65736edc2fe6c96a6234185884 | ||
| 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/web/ uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo |
SOFT-LIN | 5985 | 15365 | 15365 | 779706 | 1 | 100 | 779705 | 14013 | 0 | 1352 | 1 | 15 | 165 | 8 | 546 | 10 | 0 | 0 | 0 | 0 | 9f7bc2d72eb59d1ff4e90a0d27444b56 | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-25s.smv--soft-0-100-0.wbo |
SOFT-LIN | 5072 | 12829 | 12829 | 647371 | 1 | 100 | 647370 | 11721 | 0 | 1108 | 1 | 15 | 165 | 8 | 546 | 10 | 0 | 0 | 0 | 0 | 7dee1d56ee8e06fd7b6d2eac9fc76d65 | ||
| 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-37s.smv--soft-0-100-0.wbo |
SOFT-LIN | 1190 | 3183 | 3183 | 160956 | 1 | 100 | 160955 | 3055 | 0 | 128 | 1 | 11 | 43 | 6 | 136 | 8 | 0 | 0 | 0 | 0 | 3e2ec09c635f17d8702a97e6167955fd | ||
| 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-ibm-q-unbounded.Icl2arity.ucl--soft-0-100-0.wbo |
SOFT-LIN | 23837 | 67568 | 67568 | 3417467 | 1 | 100 | 3417466 | 64398 | 0 | 3170 | 1 | 13 | 66 | 7 | 256 | 9 | 0 | 0 | 0 | 0 | 324ca5b4d5a8dc2a581e17bf2477c244 | ||
| PB24/WBO/SOFT-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-0-100-0.wbo |
SOFT-LIN | 8937 | 26319 | 26319 | 1332841 | 1 | 100 | 1332840 | 26047 | 0 | 272 | 1 | 9 | 17 | 5 | 62 | 6 | 0 | 0 | 0 | 0 | 29a909fe8202c150694f0c306156f7e8 | ||
| 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-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.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.unbounded.all.ucl--soft-0-100-0.wbo |
SOFT-LIN | 84836 | 245062 | 245062 | 12371696 | 1 | 100 | 12371695 | 233598 | 0 | 11464 | 1 | 15 | 129 | 8 | 510 | 9 | 0 | 0 | 0 | 0 | fa7633c45ab1d5a90b04b0603cf0ccb2 | ||
| 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/j60/ normalized-j6010_2-unsat--soft-0-100-0.wbo |
SOFT-LIN | 7564 | 23412 | 23412 | 1189017 | 1 | 100 | 1189016 | 23168 | 0 | 244 | 1 | 50 | 44 | 6 | 333 | 9 | 0 | 0 | 0 | 0 | 510255a1a400777d793f4183b01d39bb | ||
| 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/j60/ normalized-j6027_4-unsat--soft-0-100-0.wbo |
SOFT-LIN | 7320 | 23840 | 23840 | 1196604 | 1 | 100 | 1196603 | 23604 | 0 | 236 | 1 | 48 | 44 | 6 | 309 | 9 | 0 | 0 | 0 | 0 | f40b4f93ab7c5ae68dc9a6a68dd593a0 | ||
| 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-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-j605_10-unsat--soft-0-100-0.wbo |
SOFT-LIN | 9638 | 30220 | 30220 | 1517847 | 1 | 100 | 1517846 | 29908 | 0 | 312 | 1 | 38 | 20 | 5 | 254 | 8 | 0 | 0 | 0 | 0 | 1d8e51255c66141a754eacf3550826f7 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j60/ normalized-j605_1-unsat--soft-0-100-0.wbo |
SOFT-LIN | 9272 | 29174 | 29174 | 1476087 | 1 | 100 | 1476086 | 28874 | 0 | 300 | 1 | 35 | 18 | 5 | 231 | 8 | 0 | 0 | 0 | 0 | ddce9cfdab166d4300e90993fc9a0236 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j60/ normalized-j606_1-unsat--soft-0-100-0.wbo |
SOFT-LIN | 7320 | 22689 | 22689 | 1139170 | 1 | 100 | 1139169 | 22453 | 0 | 236 | 1 | 32 | 31 | 5 | 220 | 8 | 0 | 0 | 0 | 0 | c2ef641a8e052b3dae4f7b449adafb12 | ||
| PB24/WBO/SOFT-LIN/PB10/ oliveras/j90/ normalized-j9015_10-unsat--soft-0-100-0.wbo |
SOFT-LIN | 14196 | 44553 | 44553 | 2254044 | 1 | 100 | 2254043 | 44245 | 0 | 308 | 1 | 90 | 66 | 7 | 565 | 10 | 0 | 0 | 0 | 0 | f6541fcf8c764d9b309e99544ccf6336 | ||
| 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 |