PB'12 competition: WBO track: General informations on benchmark

General informations on benchmarks in category "all categories"

This page displays general informations on each benchmark in category "all categories"

Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 19944 50842 34151 1732165 1 100 1732164 43898 0 6944 1 19 641 10 2174 12 0 0 0 0 be4346b323e62d6c5200062c69540261
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 81558 240469 160906 8140646 1 100 8140645 235865 0 4604 1 13 68 7 257 9 0 0 0 0 4413c11303f36c44f1f66d14c139a72d
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 81558 240469 81548 4119029 1 100 4119028 235865 0 4604 1 13 68 7 257 9 0 0 0 0 183bb2e2a61d9270f00fd9e637b7d95c
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 87751 254772 171160 8641599 1 100 8641598 247060 0 7712 1 15 130 8 512 10 0 0 0 0 9139ed650d8e3a05453e5f33c40a0f97
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 87751 254772 87185 4415279 1 100 4415278 247060 0 7712 1 15 130 8 512 10 0 0 0 0 44da2318c701d2d09f85776a05066743
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 23837 67568 45246 2286779 1 100 2286778 64398 0 3170 1 13 66 7 256 9 0 0 0 0 0afe629a1fa58c97510ae9a594e5d328
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 23837 67568 22831 1153610 1 100 1153609 64398 0 3170 1 13 66 7 256 9 0 0 0 0 1e3632de9e14ff29039922783c5be740
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv12.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 25800 76699 51382 2592280 1 100 2592279 76319 0 380 1 9 17 5 62 6 0 0 0 0 d2bb62ae8ab16c7fb57ef4b7c9a87326
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv12.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 25800 76699 26148 1311191 1 100 1311190 76319 0 380 1 9 17 5 62 6 0 0 0 0 8fec294e7b8c29ceea1b5e901ebe7f7f
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv14.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 62704 187107 125731 6367889 1 100 6367888 186603 0 504 1 11 33 6 126 7 0 0 0 0 65b8562e8b2a6565f581ae80d9fbd0ff
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv14.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 62704 187107 63512 3204757 1 100 3204756 186603 0 504 1 11 33 6 126 7 0 0 0 0 49b917538dc517f3b04d67f1cc33a27a
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf10.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 55066 160619 107915 5448275 1 100 5448274 156587 0 4032 1 13 67 7 256 9 0 0 0 0 156316cf84aa332443ca593967a9f611
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf10.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 55066 160619 54969 2786820 1 100 2786819 156587 0 4032 1 13 67 7 256 9 0 0 0 0 f5ed716c93f40a6a98b33ea846844855
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 20445 58444 38856 1963811 1 100 1963810 56420 0 2024 1 13 65 7 254 8 0 0 0 0 77b6d97d3956f909997161d03ad8f07d
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 21380 60984 40860 2056206 1 100 2056205 58828 0 2156 1 13 73 7 262 9 0 0 0 0 65b9bf1d082d7d3230c6dfeadb46e69c
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 49621 138346 92968 4678577 1 100 4678576 127390 0 10956 1 15 129 8 510 9 0 0 0 0 60a7a7d515eacc9a7281c84a700710f3
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 49621 138346 47147 2382740 1 100 2382739 127390 0 10956 1 15 129 8 510 9 0 0 0 0 68857518c481325121ef79374ff5f3e7
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 109757 313451 210179 10622405 1 100 10622404 295929 0 17522 1 15 130 8 512 10 0 0 0 0 7d8d22629e88b840ed91d7cf4ad8a196
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 109757 313451 106894 5385165 1 100 5385164 295929 0 17522 1 15 130 8 512 10 0 0 0 0 6208767dceeaee4005a754b6f8934b98
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 77106 218779 146522 7396999 1 100 7396998 205559 0 13220 1 15 129 8 510 9 0 0 0 0 d915342d89d3c1a99150a18d4b9b72d0
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 77106 218779 74126 3737047 1 100 3737046 205559 0 13220 1 15 129 8 510 9 0 0 0 0 d64ce0bd078e6525611d61225eb16a6d
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 18069 52475 35092 1770259 1 100 1770258 51555 0 920 1 11 39 6 132 8 0 0 0 0 6b9e0e7b8c2487ebb19e3d24e4eb9574
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 11476 33090 22107 1114426 1 100 1114425 32382 0 708 1 11 33 6 126 7 0 0 0 0 16edd19565c435db1c6980c47a901d3a
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 20605 59851 40072 2019653 1 100 2019652 58675 0 1176 1 11 41 6 134 8 0 0 0 0 a3e55b5451bbddd3df8a322bc84b8daa
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag14.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 40605 118930 79620 4014687 1 100 4014686 117190 0 1740 1 13 65 7 254 8 0 0 0 0 8cc46ddebf16c143eb9ddab1b9573c1a
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag14.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 40605 118930 40557 2051228 1 100 2051227 117190 0 1740 1 13 65 7 254 8 0 0 0 0 e03e95feed68526713fa955672f1692a
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 84836 245062 164405 8303909 1 100 8303908 233598 0 11464 1 15 129 8 510 9 0 0 0 0 762761f72e0afbc01d50f111610b6f68
/PARTIAL-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 84836 245062 83464 4203368 1 100 4203367 233598 0 11464 1 15 129 8 510 9 0 0 0 0 8a7b280af2f03093297f21c42e0139c3
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12013_1-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 29282 92908 62298 3133829 1 100 3133828 92428 0 480 1 93 32 6 554 10 0 0 0 0 af27a3363dc9db8608eaadebe8e447c1
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12013_1-unsat--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 29282 92908 31669 1605974 1 100 1605973 92428 0 480 1 93 32 6 554 10 0 0 0 0 d90996ead5d333f681473deac8f769b5
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12015_3-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 21054 66352 44341 2247790 1 100 2247789 66008 0 344 1 93 46 6 599 10 0 0 0 0 0c296f9c06ec0d444dee5de3ba1f40ca
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12015_3-unsat--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 21054 66352 22705 1148508 1 100 1148507 66008 0 344 1 93 46 6 599 10 0 0 0 0 bc708b854e4c482d071d3cd96a5bf63a
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12023_3-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 23958 79333 53071 2687283 1 100 2687282 78941 0 392 1 38 22 5 225 8 0 0 0 0 b714d3f434d598dffefda7bd58bad9a8
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12023_3-unsat--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 23958 79333 27000 1366623 1 100 1366622 78941 0 392 1 38 22 5 225 8 0 0 0 0 a804124947d8d61e7b46a8c92fb95b53
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12026_5-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 32912 109848 73680 3699128 1 100 3699127 109308 0 540 1 66 18 5 428 9 0 0 0 0 03b08701e36df5e014168edc711c28ff
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12026_5-unsat--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 32912 109848 37605 1909674 1 100 1909673 109308 0 540 1 66 18 5 428 9 0 0 0 0 61d4c9960e3fd82523e9755479fb1e31
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12027_7-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 27588 91561 61241 3099658 1 100 3099657 91109 0 452 1 66 21 5 415 9 0 0 0 0 6b5c89375fb1b18257ff01aee56d438b
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12027_7-unsat--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 27588 91561 30956 1560468 1 100 1560467 91109 0 452 1 66 21 5 415 9 0 0 0 0 61b09c52aa606f2c067f4a84aa85b64f
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12041_4-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 28072 97590 65496 3299469 1 100 3299468 97130 0 460 1 36 13 4 231 8 0 0 0 0 ffeb8ff8321cb24b27dd0634c49d54e3
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j12041_4-unsat--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 28072 97590 33203 1670101 1 100 1670100 97130 0 460 1 36 13 4 231 8 0 0 0 0 14ab67185b6bce14318908cc36011524
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j1205_1-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 22264 70239 47222 2382027 1 100 2382026 69875 0 364 1 34 28 5 210 8 0 0 0 0 d8fc8cb56dd6881cea17f17ced8f18c9
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j120/
normalized-j1205_1-unsat--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 22264 70239 23796 1198419 1 100 1198418 69875 0 364 1 34 28 5 210 8 0 0 0 0 b23d98b6a9e16ec7128727f044ea4649
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j6030_9-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 11956 39426 26435 1328063 1 100 1328062 39038 0 388 1 60 33 6 416 9 0 0 0 0 b7f7bf9a96b4a18a2b3361c5e215972e
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j6033_2-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 12200 42056 28257 1425422 1 100 1425421 41660 0 396 1 18 13 4 116 7 0 0 0 0 f53b47c8da57e8203b6ddda55aa63e31
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9010_6-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 16744 52975 35473 1793643 1 100 1793642 52611 0 364 1 72 41 6 413 9 0 0 0 0 3dd043b5603271bb03502f22a5b65c71
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9012_2-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 12922 40512 27111 1376604 1 100 1376603 40232 0 280 1 69 102 7 504 9 0 0 0 0 dad192078946e4e501b7d3b25da46ada
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9014_1-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 16198 50975 34106 1723662 1 100 1723661 50623 0 352 1 90 51 6 588 10 0 0 0 0 ddc90e45ab3c829416cbbd46ed39fa55
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9015_10-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 14196 44553 29847 1501276 1 100 1501275 44245 0 308 1 90 66 7 565 10 0 0 0 0 3402b4987c79c2ab9cecc3296840b6e6
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9028_2-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 13832 45398 30404 1539905 1 100 1539904 45098 0 300 1 73 68 7 479 9 0 0 0 0 1096a1113afd2ce4c9ae102562d2176b
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j903_10-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 11830 36862 24617 1242431 1 100 1242430 36606 0 256 1 29 36 6 203 8 0 0 0 0 363e34ae88e6852946e02bd75c4c07f9
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9035_1-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 17836 61428 41185 2080586 1 100 2080585 61040 0 388 1 25 28 5 185 8 0 0 0 0 ad298ec3d1b23c2d09641db93f834dc3
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9035_1-unsat--soft-66-100-0.wbo
PARTIAL-BIGINT-LIN 17836 61428 20829 1054711 1 100 1054710 61040 0 388 1 25 28 5 185 8 0 0 0 0 969b375fcb390f88767629d66e41387b
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9039_3-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 15106 51849 34948 1769987 1 100 1769986 51521 0 328 1 50 42 6 335 9 0 0 0 0 6cc35be76a92b4bf23f7bdaafc76a3c9
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9048_1-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 15106 51743 34693 1746055 1 100 1746054 51415 0 328 1 90 105 7 658 10 0 0 0 0 b52f4371da43cfec5ed1cc41a72b95c0
/PARTIAL-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j907_8-unsat--soft-33-100-0.wbo
PARTIAL-BIGINT-LIN 10920 34033 22812 1153249 1 100 1153248 33797 0 236 1 50 60 6 345 9 0 0 0 0 4e95d2f358a1d03e64dd8ae41095cef7
/PARTIAL-BIGINT-LIN/wcsp/
academics/
normalized-slangford-3-11_wcsp.wbo
PARTIAL-BIGINT-LIN 1089 53185 53152 976 1 976 37740146 53152 33 0 2 33 1 1 34 6 0 0 0 0 6f58e736787ec730241fe31cbfb7f2ba
/PARTIAL-BIGINT-LIN/
wcsp/academics/
normalized-warehouse1_wcsp.wbo
PARTIAL-BIGINT-LIN 418 818 779 2939907 1 2939907 1138582091 779 39 0 1 19 1 1 20 5 0 0 0 0 e84f9fd9c38a67d9707b8aa628966b83
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt3cc_wcsp.wbo
PARTIAL-BIGINT-LIN 131 915 870 1697 1 1697 1425299 870 45 0 1 11 1 1 12 4 0 0 0 0 ad4e8a89b46c26281718e94b098a5280
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt3c_wcsp.wbo
PARTIAL-BIGINT-LIN 131 915 870 2827 1 2827 2373959 870 45 0 1 11 1 1 12 4 0 0 0 0 42cd8d36e1811214b6bd0f52f86c09ef
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt4bc_wcsp.wbo
PARTIAL-BIGINT-LIN 584 10179 10000 5818 1 5818 57498240 10000 179 0 1 18 1 1 19 5 0 0 0 0 7ee2a90f05486ba8d26b0a90d88bdec6
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt4cc_wcsp.wbo
PARTIAL-BIGINT-LIN 584 10179 10000 9051 1 9051 89450564 10000 179 0 1 18 1 1 19 5 0 0 0 0 149b27bf16ece9fbc73943d3b9d84b04
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt4c_wcsp.wbo
PARTIAL-BIGINT-LIN 584 10179 10000 11277 1 11277 111447782 10000 179 0 1 18 1 1 19 5 0 0 0 0 2ba010ecc16338ea8bf4f8f693aaf628
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt5ac_wcsp.wbo
PARTIAL-BIGINT-LIN 1460 39214 38783 27977 1 27977 1077135708 38783 431 0 1 27 1 1 28 5 0 0 0 0 e6cb8c237ebf928a95a5b374a54ff5af
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt5bc_wcsp.wbo
PARTIAL-BIGINT-LIN 1460 39214 38783 11646 1 11646 448380107 38783 431 0 1 27 1 1 28 5 0 0 0 0 0e1a5fa327eef36773918cc05fbcc929
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt5cc_wcsp.wbo
PARTIAL-BIGINT-LIN 1460 39214 38783 22083 1 22083 850217582 38783 431 0 1 27 1 1 28 5 0 0 0 0 9b0963d94e6070d2d7af1d01a6081aa8
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt5c_wcsp.wbo
PARTIAL-BIGINT-LIN 1460 39214 38783 27977 1 27977 1077135708 38783 431 0 1 27 1 1 28 5 0 0 0 0 e6cb8c237ebf928a95a5b374a54ff5af
/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt6_wcsp.wbo
PARTIAL-BIGINT-LIN 2890 101446 100609 45422 1 45422 4544914888 100609 837 0 1 38 1 1 39 6 0 0 0 0 8ae59784e6c297215d44f43e21c7f806
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub0_wcsp.wbo
PARTIAL-BIGINT-LIN 640 123180 123164 45316 1 1000 22402430 123164 16 0 2 44 1 1 45 6 0 0 0 0 5c315664b873ce8198536ea2fe9f11ce
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub1-24_wcsp.wbo
PARTIAL-BIGINT-LIN 336 69031 69017 47694 1 1000 9891329 69017 14 0 2 24 1 1 25 5 0 0 0 0 1923b56554147f45c1335542a0a2f539
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub1_wcsp.wbo
PARTIAL-BIGINT-LIN 616 241978 241964 48694 1 1000 34489736 241964 14 0 2 44 1 1 45 6 0 0 0 0 2761e2185b4635bfb360739bf2448c3f
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub2_wcsp.wbo
PARTIAL-BIGINT-LIN 688 280826 280810 52140 1 1000 37167130 280810 16 0 2 44 1 1 45 6 0 0 0 0 4fd86302e553a3e850920dece7efe22c
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub3_wcsp.wbo
PARTIAL-BIGINT-LIN 776 319436 319418 58724 1 1000 41665382 319418 18 0 2 44 1 1 45 6 0 0 0 0 7147229393bb1207f35c1dba942bbf83
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub4-20_wcsp.wbo
PARTIAL-BIGINT-LIN 440 72754 72732 69687 1 1000 10145370 72732 22 0 2 20 1 1 21 5 0 0 0 0 5f5e1cce587d06ad23ab7b467bfd3ca9
/PARTIAL-BIGINT-LIN/wcsp/
celar/
normalized-celar6-sub4reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 816 142008 141988 3230 1 2200 35467150 141988 20 0 1 44 1 1 45 6 0 0 0 0 7520d228fece47913158c53d65540c90
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar6-sub4_wcsp.wbo
PARTIAL-BIGINT-LIN 928 353054 353032 69697 1 1000 47779432 353032 22 0 2 44 1 1 45 6 0 0 0 0 ca9d0852ab5b196169871de07952f6ec
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub0_wcsp.wbo
PARTIAL-BIGINT-LIN 666 125013 124997 9605862 1 1000000 4487093978 124997 16 0 2 44 1 1 45 6 0 0 0 0 d8a44627d908ff02a953710aed6bae1f
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub1-20_wcsp.wbo
PARTIAL-BIGINT-LIN 280 49254 49240 38275680 1 1000000 3660538699 49240 14 0 2 20 1 1 21 5 0 0 0 0 8392c6f9a9c070c17f5e6e6f3dfa2fdc
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub1_wcsp.wbo
PARTIAL-BIGINT-LIN 616 249748 249734 39275680 1 1000000 19104596930 249734 14 0 2 44 1 1 45 6 0 0 0 0 ffd43b20815bdb15a4cc4b3290fc84ae
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub2_wcsp.wbo
PARTIAL-BIGINT-LIN 688 292466 292450 41497095 1 1000000 19773833908 292450 16 0 2 44 1 1 45 6 0 0 0 0 2dd7369dce38347df0a942929e2a998a
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub3_wcsp.wbo
PARTIAL-BIGINT-LIN 776 326836 326818 45857915 1 1000000 23120752168 326818 18 0 2 44 1 1 45 6 0 0 0 0 d6c23c2e453f33e41c20e3f242d7394d
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub4-22_wcsp.wbo
PARTIAL-BIGINT-LIN 444 80644 80622 54058235 1 1000000 6107276475 80622 22 0 2 22 1 1 23 5 0 0 0 0 084c96587a40d0de1efffb4a052bae0f
/PARTIAL-BIGINT-LIN/
wcsp/celar/
normalized-celar7-sub4_wcsp.wbo
PARTIAL-BIGINT-LIN 928 357050 357028 55058437 1 1000000 28629521944 357028 22 0 2 44 1 1 45 6 0 0 0 0 d0b0b5ffd622ea62c2efad9dcf2f5ece
/PARTIAL-BIGINT-LIN/
wcsp/depot/
normalized-depot01ac_wcsp.wbo
PARTIAL-BIGINT-LIN 173 765 700 13672 1 13672 8981646 700 65 0 1 5 1 1 6 3 0 0 0 0 19703bcbbfe663e698ae3419f5640730
/PARTIAL-BIGINT-LIN/
wcsp/depot/
normalized-depot01bc_wcsp.wbo
PARTIAL-BIGINT-LIN 173 765 700 13822 1 13822 9080206 700 65 0 1 5 1 1 6 3 0 0 0 0 9c506146ddb6a0ef8777eee67f2fc777
/PARTIAL-BIGINT-LIN/
wcsp/depot/
normalized-depot01cc_wcsp.wbo
PARTIAL-BIGINT-LIN 173 765 700 9801 1 9801 6438293 700 65 0 1 5 1 1 6 3 0 0 0 0 10f5fce695bf85648ffae9229919abbc
/PARTIAL-BIGINT-LIN/wcsp/depot/
normalized-depot01c_wcsp.wbo
PARTIAL-BIGINT-LIN 173 765 700 13672 1 13672 8981646 700 65 0 1 5 1 1 6 3 0 0 0 0 19703bcbbfe663e698ae3419f5640730
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog01bc_wcsp.wbo
PARTIAL-BIGINT-LIN 195 808 737 12087 1 12087 8049657 737 71 0 1 4 1 1 5 3 0 0 0 0 db320813b29b4bcbd96c3dac35125a5b
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog01cc_wcsp.wbo
PARTIAL-BIGINT-LIN 195 808 737 11728 1 11728 7810208 737 71 0 1 4 1 1 5 3 0 0 0 0 ae3da1373d27eef810c7a9893a753cd2
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog01c_wcsp.wbo
PARTIAL-BIGINT-LIN 195 808 737 5887 1 5887 3920457 737 71 0 1 4 1 1 5 3 0 0 0 0 6962e24558d96fad887a7698920f98a2
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog02ac_wcsp.wbo
PARTIAL-BIGINT-LIN 1161 24270 23969 58637 1 58637 1373628189 23969 301 0 1 8 1 1 9 4 0 0 0 0 d9b0c8cfc52d0386d59e30810c41a02d
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog02bc_wcsp.wbo
PARTIAL-BIGINT-LIN 1161 24270 23969 62624 1 62624 1467027651 23969 301 0 1 8 1 1 9 4 0 0 0 0 6a76b8786b5a30f7037aa2c36c4aa761
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog02cc_wcsp.wbo
PARTIAL-BIGINT-LIN 1161 24270 23969 79319 1 79319 1858126350 23969 301 0 1 8 1 1 9 4 0 0 0 0 8e3e9a0f8d8c9183365173df7e0a4175
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog02c_wcsp.wbo
PARTIAL-BIGINT-LIN 1161 24270 23969 58637 1 58637 1373628189 23969 301 0 1 8 1 1 9 4 0 0 0 0 d9b0c8cfc52d0386d59e30810c41a02d
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog04ac_wcsp.wbo
PARTIAL-BIGINT-LIN 1026 22742 22470 47382 1 47382 1041643943 22470 272 0 1 11 1 1 12 4 0 0 0 0 6c0d1f9e1e20434d9703449804930bc4
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog04bc_wcsp.wbo
PARTIAL-BIGINT-LIN 1026 22742 22470 57921 1 57921 1273334291 22470 272 0 1 11 1 1 12 4 0 0 0 0 551141cc1a01338bb1889d669ce0274f
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog04cc_wcsp.wbo
PARTIAL-BIGINT-LIN 1026 22742 22470 83979 1 83979 1846191905 22470 272 0 1 11 1 1 12 4 0 0 0 0 cfb64da96a3d79dc0d59d6750e90f7b5
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog04c_wcsp.wbo
PARTIAL-BIGINT-LIN 1026 22742 22470 47382 1 47382 1041643943 22470 272 0 1 11 1 1 12 4 0 0 0 0 6c0d1f9e1e20434d9703449804930bc4
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog05ac_wcsp.wbo
PARTIAL-BIGINT-LIN 1359 37158 36807 66052 1 66052 2387909283 36807 351 0 1 11 1 1 12 4 0 0 0 0 4a9698a367fd536b10c2caf05e789011
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog05bc_wcsp.wbo
PARTIAL-BIGINT-LIN 1359 37158 36807 70185 1 70185 2537326809 36807 351 0 1 11 1 1 12 4 0 0 0 0 c28e945ac1d1d6d02825900832acad8e
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog05cc_wcsp.wbo
PARTIAL-BIGINT-LIN 1359 37158 36807 108619 1 108619 3926793432 36807 351 0 1 11 1 1 12 4 0 0 0 0 79dd0f696cc1355ea217cc553e6149ae
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog05c_wcsp.wbo
PARTIAL-BIGINT-LIN 1359 37158 36807 66052 1 66052 2387909283 36807 351 0 1 11 1 1 12 4 0 0 0 0 4a9698a367fd536b10c2caf05e789011
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog08ac_wcsp.wbo
PARTIAL-BIGINT-LIN 1583 57898 57490 69552 1 69552 3943734351 57490 408 0 1 11 1 1 12 4 0 0 0 0 62397aa7c126b847e0d119b2fed1111c
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog08bc_wcsp.wbo
PARTIAL-BIGINT-LIN 1583 57898 57490 71841 1 71841 4073527593 57490 408 0 1 11 1 1 12 4 0 0 0 0 7606a259cb7f676549ec962f9f596d4d
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog08cc_wcsp.wbo
PARTIAL-BIGINT-LIN 1583 57897 57489 138975 1 138975 7880159662 57489 408 0 1 11 1 1 12 4 0 0 0 0 e04678693bb909543875ed5d2b3dac43
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog08c_wcsp.wbo
PARTIAL-BIGINT-LIN 1583 57898 57490 69552 1 69552 3943734351 57490 408 0 1 11 1 1 12 4 0 0 0 0 62397aa7c126b847e0d119b2fed1111c
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlog09_wcsp.wbo
PARTIAL-BIGINT-LIN 2872 139820 139170 57492 1 57492 7912207592 139170 650 0 1 12 1 1 13 4 0 0 0 0 e8d7313df49fc885ba8636db08f3e8b8
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlogs03_wcsp.wbo
PARTIAL-BIGINT-LIN 862 14841 14606 43257 1 43257 614810168 14606 235 0 1 8 1 1 9 4 0 0 0 0 2a7b9b233224ce80aa11a515af30e7d3
/PARTIAL-BIGINT-LIN/
wcsp/driver/
normalized-driverlogs06_wcsp.wbo
PARTIAL-BIGINT-LIN 921 17322 17064 43047 1 43047 715439363 17064 258 0 1 8 1 1 9 4 0 0 0 0 19127f0069bbd9562730ef25c179d0e7
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph05_wcsp.wbo
PARTIAL-BIGINT-LIN 3708 521269 521169 229599 1 1000 117319947 521169 100 0 2 44 1 1 45 6 0 0 0 0 16314cc1180b662b2cbfb0443cd0a158
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph06_wcsp.wbo
PARTIAL-BIGINT-LIN 7542 1065451 1065251 476244 1 1000 266649860 1065251 200 0 2 44 1 1 45 6 0 0 0 0 b42a0c18226ee2c23d631dce3f98019c
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo
PARTIAL-BIGINT-LIN 5160 512485 512344 463736 1 1000 146536849 512344 141 0 1 44 1 1 45 6 0 0 0 0 fddb3e21e350e2df5161d1678905aa9f
/PARTIAL-BIGINT-LIN/wcsp/
graphs/
normalized-graph11reducmore_wcsp.wbo
PARTIAL-BIGINT-LIN 5747 283088 282856 3080 1 3080 64455868 282856 232 0 1 44 1 1 45 6 0 0 0 0 9d2ab30053c8c5defa77d9f47c64bb3c
/PARTIAL-BIGINT-LIN/
wcsp/graphs/
normalized-graph11reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 5855 283196 282856 3080 1 3080 64455868 282856 340 0 1 44 1 1 45 6 0 0 0 0 3ff13fa479c6c78fc8aaed860067b111
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph11_wcsp.wbo
PARTIAL-BIGINT-LIN 12820 1878918 1878578 824749 1 1000 470565953 1878578 340 0 2 44 1 1 45 6 0 0 0 0 6246a3a3522110451ca95f5d2be44880
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph12_wcsp.wbo
PARTIAL-BIGINT-LIN 9502 1168253 1168001 939023 1 1000 296009396 1168001 252 0 1 44 1 1 45 6 0 0 0 0 baac82f1e5c2363a05a67929a02d4991
/PARTIAL-BIGINT-LIN/wcsp/
graphs/
normalized-graph13reducmore_wcsp.wbo
PARTIAL-BIGINT-LIN 13153 970904 970450 10110 1 3670 307075871 970450 454 0 1 44 1 1 45 6 0 0 0 0 ea40a0e629962acadf81be421b26ca75
/PARTIAL-BIGINT-LIN/
wcsp/graphs/
normalized-graph13reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 13155 970906 970450 10110 1 3670 307075871 970450 456 0 1 44 1 1 45 6 0 0 0 0 e8a3fc4e5070ef9b31eb0b16df3c02d4
/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph13_wcsp.wbo
PARTIAL-BIGINT-LIN 17588 2800426 2799968 1167526 1 1000 719469320 2799968 458 0 2 44 1 1 45 6 0 0 0 0 0e82f4b503d348a993f5f25b1601fee8
/PARTIAL-BIGINT-LIN/wcsp/
logistics/
normalized-logistics01ac_wcsp.wbo
PARTIAL-BIGINT-LIN 490 3171 3007 70552 1 70552 198669792 3007 164 0 1 4 1 1 5 3 0 0 0 0 01957484b2c99b85e5a2190fb59000ea
/PARTIAL-BIGINT-LIN/wcsp/
logistics/
normalized-logistics01bc_wcsp.wbo
PARTIAL-BIGINT-LIN 490 3171 3007 64011 1 64011 180251281 3007 164 0 1 4 1 1 5 3 0 0 0 0 673b76ee48b71431b264d23912de8dfb
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/wcsp/
logistics/
normalized-logistics01cc_wcsp.wbo
PARTIAL-BIGINT-LIN 490 3179 3015 33536 1 33536 94436428 3015 164 0 1 4 1 1 5 3 0 0 0 0 0efbcca36ef016461f7a86cda6be3e66
/PARTIAL-BIGINT-LIN/wcsp/
logistics/
normalized-logistics01c_wcsp.wbo
PARTIAL-BIGINT-LIN 490 3171 3007 70552 1 70552 198669792 3007 164 0 1 4 1 1 5 3 0 0 0 0 01957484b2c99b85e5a2190fb59000ea
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime01ac_wcsp.wbo
PARTIAL-BIGINT-LIN 733 18009 17802 11602 1 11602 203889015 17802 207 0 1 18 1 1 19 5 0 0 0 0 b6e14fdba85251f7b3f2d00029d0ec92
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime01bc_wcsp.wbo
PARTIAL-BIGINT-LIN 733 18009 17802 11752 1 11752 206527027 17802 207 0 1 18 1 1 19 5 0 0 0 0 2f1aef9fe3d6523d4346c4779fee85d9
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime01cc_wcsp.wbo
PARTIAL-BIGINT-LIN 733 18009 17802 40400 1 40400 709989424 17802 207 0 1 18 1 1 19 5 0 0 0 0 a5b138948f5c7079c508c3bfa1ead813
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime01c_wcsp.wbo
PARTIAL-BIGINT-LIN 733 18009 17802 11602 1 11602 203889015 17802 207 0 1 18 1 1 19 5 0 0 0 0 b6e14fdba85251f7b3f2d00029d0ec92
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime03ac_wcsp.wbo
PARTIAL-BIGINT-LIN 139 747 698 4227 1 4227 2750768 698 49 0 1 10 1 1 11 4 0 0 0 0 5c7268e89ad7dac71239c46ba08a4c41
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime03bc_wcsp.wbo
PARTIAL-BIGINT-LIN 139 747 698 4932 1 4932 3209913 698 49 0 1 10 1 1 11 4 0 0 0 0 be1cffc43a6e520c7c18a7927302cbb0
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime03cc_wcsp.wbo
PARTIAL-BIGINT-LIN 139 747 698 8971 1 8971 5839502 698 49 0 1 10 1 1 11 4 0 0 0 0 7ef1883937287b157f15bd1487370347
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime03c_wcsp.wbo
PARTIAL-BIGINT-LIN 139 747 698 4227 1 4227 2750768 698 49 0 1 10 1 1 11 4 0 0 0 0 5c7268e89ad7dac71239c46ba08a4c41
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime04ac_wcsp.wbo
PARTIAL-BIGINT-LIN 1421 34460 34016 28322 1 28322 953769951 34016 444 0 1 20 1 1 21 5 0 0 0 0 fc3a524545b2e5fdb30916fbda921972
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime04bc_wcsp.wbo
PARTIAL-BIGINT-LIN 1421 34460 34016 31228 1 31228 1051627367 34016 444 0 1 20 1 1 21 5 0 0 0 0 20c59d9f37ae45ea2b872aa74a929d57
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime04cc_wcsp.wbo
PARTIAL-BIGINT-LIN 1421 34460 34016 59668 1 59668 2009377573 34016 444 0 1 20 1 1 21 5 0 0 0 0 9f0fd5856c6a10db0a2efe5713b070df
/PARTIAL-BIGINT-LIN/
wcsp/mprime/
normalized-mprime04c_wcsp.wbo
PARTIAL-BIGINT-LIN 1421 34460 34016 28322 1 28322 953769951 34016 444 0 1 20 1 1 21 5 0 0 0 0 fc3a524545b2e5fdb30916fbda921972
/PARTIAL-BIGINT-LIN/wcsp/
pedigree/normalized-eye_wcsp.wbo
PARTIAL-BIGINT-LIN 756 200096 200060 29 1 29 5786060 200060 36 0 1 21 2 2 22 5 0 0 0 0 49ab490e8cc0467d3e1dbf5e85811db5
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck1000_wcsp.wbo
PARTIAL-BIGINT-LIN 6000 126390 125390 791 1 791 96062990 125390 1000 0 1 6 2 2 7 3 0 0 0 0 82700d008cd9c3ba313762a68af1a75d
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck350l2_wcsp.wbo
PARTIAL-BIGINT-LIN 3500 175982 175632 349 1 349 60205632 175632 350 0 1 10 2 2 11 4 0 0 0 0 3c30fee743070b218a20363b23cb3855
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck350l3_wcsp.wbo
PARTIAL-BIGINT-LIN 3500 175982 175632 349 1 349 60205632 175632 350 0 1 10 2 2 11 4 0 0 0 0 d7862a822412480b28df012bc7cc24ea
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck350_wcsp.wbo
PARTIAL-BIGINT-LIN 3500 175982 175632 349 1 349 60205632 175632 350 0 1 10 2 2 11 4 0 0 0 0 e2757f2920d6e140e406742169823c41
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck60-L12_wcsp.wbo
PARTIAL-BIGINT-LIN 600 36600 36540 61 1 61 2196540 36540 60 0 1 10 2 2 11 4 0 0 0 0 6aa53d960869fabc4eef8f7c27928383
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck60-L1_wcsp.wbo
PARTIAL-BIGINT-LIN 600 36600 36540 61 1 61 2196540 36540 60 0 1 10 2 2 11 4 0 0 0 0 141c70ccdeff9d61b79607f99f3cbf6c
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-pedck60-L2_wcsp.wbo
PARTIAL-BIGINT-LIN 600 36582 36522 59 1 59 2124522 36522 60 0 1 10 2 2 11 4 0 0 0 0 a154904367c42b9bf10cdf781e825b6c
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-saudiarabia_wcsp.wbo
PARTIAL-BIGINT-LIN 555 83019 82982 14 1 14 1159382 82982 37 0 1 15 2 2 16 5 0 0 0 0 2a28247785af680144eb63c27bd085ca
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4nr_wcsp.wbo
PARTIAL-BIGINT-LIN 89900 5924003 5915013 2482 1 2482 14625664017 5915013 8990 0 1 10 2 2 11 4 0 0 0 0 838792388aba1cb33fb875c1c7fc5e90
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4r-4-0_wcsp.wbo
PARTIAL-BIGINT-LIN 19440 986724 984780 245 1 245 240735276 984780 1944 0 1 10 2 2 11 4 0 0 0 0 77d086fe6e58286424d14a47ccc7717b
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4r-4-1_wcsp.wbo
PARTIAL-BIGINT-LIN 20370 1081113 1079076 47 1 47 50697528 1079076 2037 0 1 10 2 2 11 4 0 0 0 0 9484feda1dfd442233b4ec59a851c185
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4r-4-2_wcsp.wbo
PARTIAL-BIGINT-LIN 22540 1101088 1098834 899 1 899 980594130 1098834 2254 0 1 10 2 2 11 4 0 0 0 0 4279ee44886a475273bf158c4a05b4f8
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4r-4-3_wcsp.wbo
PARTIAL-BIGINT-LIN 26850 1527009 1524324 1259 1 1259 1904880840 1524324 2685 0 1 10 2 2 11 4 0 0 0 0 376764ac4c5c3f094ec1a2d2f7cbae71
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-sheep4r_wcsp.wbo
PARTIAL-BIGINT-LIN 89200 5870368 5861448 2447 1 2447 14289117012 5861448 8920 0 1 10 2 2 11 4 0 0 0 0 6de6e540477f7e35d5e4504631857538
/PARTIAL-BIGINT-LIN/
wcsp/pedigree/
normalized-wijsmanguo_wcsp.wbo
PARTIAL-BIGINT-LIN 1764 1321572 1321523 38 1 38 50169959 1321523 49 0 1 36 2 2 37 6 0 0 0 0 da89659dd699cc1727d62b1327048859
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/rover/
normalized-rovers02ac_wcsp.wbo
PARTIAL-BIGINT-LIN 517 5630 5478 36256 1 36256 193061822 5478 152 0 1 24 1 1 25 5 0 0 0 0 3f23aa3ca1a467f99a1444f18e90dfdd
/PARTIAL-BIGINT-LIN/
wcsp/rover/
normalized-rovers02bc_wcsp.wbo
PARTIAL-BIGINT-LIN 517 5630 5478 39029 1 39029 207827588 5478 152 0 1 24 1 1 25 5 0 0 0 0 f979c1832315cab6fee80f9ac23a47b2
/PARTIAL-BIGINT-LIN/
wcsp/rover/
normalized-rovers02cc_wcsp.wbo
PARTIAL-BIGINT-LIN 517 5630 5478 28823 1 28823 153481097 5478 152 0 1 24 1 1 25 5 0 0 0 0 90f1adf44f71bd275099effb0fe31852
/PARTIAL-BIGINT-LIN/
wcsp/rover/
normalized-rovers02c_wcsp.wbo
PARTIAL-BIGINT-LIN 517 5630 5478 36256 1 36256 193061822 5478 152 0 1 24 1 1 25 5 0 0 0 0 3f23aa3ca1a467f99a1444f18e90dfdd
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite01ac_wcsp.wbo
PARTIAL-BIGINT-LIN 411 12603 12524 80782 1 80782 990224691 12524 79 0 1 8 1 1 9 4 0 0 0 0 cf734c31856eb9bf93a29f59ba7065c3
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite01bc_wcsp.wbo
PARTIAL-BIGINT-LIN 411 12603 12524 93194 1 93194 1142370455 12524 79 0 1 8 1 1 9 4 0 0 0 0 dd19e02a7457d03f7179fdf841ccdbd0
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite01cc_wcsp.wbo
PARTIAL-BIGINT-LIN 411 12603 12524 80782 1 80782 990224691 12524 79 0 1 8 1 1 9 4 0 0 0 0 cf734c31856eb9bf93a29f59ba7065c3
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite01c_wcsp.wbo
PARTIAL-BIGINT-LIN 411 12603 12524 80782 1 80782 990224691 12524 79 0 1 8 1 1 9 4 0 0 0 0 cf734c31856eb9bf93a29f59ba7065c3
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite02ac_wcsp.wbo
PARTIAL-BIGINT-LIN 1030 43694 43512 156112 1 156112 6685649767 43512 182 0 1 9 1 1 10 4 0 0 0 0 625905d96a2d3a608ce2060a4ce96773
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite02bc_wcsp.wbo
PARTIAL-BIGINT-LIN 1030 43694 43512 214775 1 214775 9197950033 43512 182 0 1 9 1 1 10 4 0 0 0 0 5ff44be474cc118d1f1e3f86110017ca
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/wcsp/
satellite/
normalized-satellite02cc_wcsp.wbo
PARTIAL-BIGINT-LIN 1030 43694 43512 127181 1 127181 5446651447 43512 182 0 1 9 1 1 10 4 0 0 0 0 3d9a63c494322fe1d74d5c6a8698ea06
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-16reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 1921 124511 124429 3389 1 2436 44162576 124429 82 0 1 28 1 1 29 5 0 0 0 0 e51a1e905ff19ece48b75fd81968c4c3
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-16_wcsp.wbo
PARTIAL-BIGINT-LIN 2410 293522 293422 255194 1 1000 54015430 293422 100 0 2 28 1 1 29 5 0 0 0 0 ee2a7941708829c599959db851b73ff3
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-18reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 1758 105203 105121 3389 1 2436 36645766 105121 82 0 1 26 1 1 27 5 0 0 0 0 da80b320d983b4610e4558746e61248d
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-18_wcsp.wbo
PARTIAL-BIGINT-LIN 2210 246592 246492 255184 1 1000 44859114 246492 100 0 2 26 1 1 27 5 0 0 0 0 2582e52fbf68981b5c6eeba11c628b49
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-20reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 1594 87251 87169 3389 1 2436 29876722 87169 82 0 1 24 1 1 25 5 0 0 0 0 e94b4395b6b3ba71e47be69bc3403ba0
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-20_wcsp.wbo
PARTIAL-BIGINT-LIN 2010 203297 203197 254962 1 1000 36398479 203197 100 0 2 24 1 1 25 5 0 0 0 0 6c2f2c11e47932282f910f849622cbfd
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-22reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 1430 70954 70873 3389 1 2435 23717414 70873 81 0 1 22 1 1 23 5 0 0 0 0 ec72443b0cc1ba3c5724b6333eaaea9c
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-22_wcsp.wbo
PARTIAL-BIGINT-LIN 1810 164594 164495 252932 1 1000 28915211 164495 99 0 1 22 1 1 23 5 0 0 0 0 a17cc9631cce6dbec0a98622ec920de1
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-24reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 1275 56482 56401 3389 1 2434 18368517 56401 81 0 1 20 1 1 21 5 0 0 0 0 e44e20f2150f9b61d01ff52511cd8892
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-24_wcsp.wbo
PARTIAL-BIGINT-LIN 1612 129924 129825 250711 1 1000 22300299 129825 99 0 1 20 1 1 21 5 0 0 0 0 4777de5a2c38ee1894dc5fa8598904ab
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-30reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 771 19461 19380 2088 1 2088 5475303 19380 81 0 1 14 1 1 15 4 0 0 0 0 83352c08e9e644ee4de360a67fac8960
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06-30_wcsp.wbo
PARTIAL-BIGINT-LIN 1018 50646 50547 245952 1 1000 7842900 50547 99 0 1 14 1 1 15 4 0 0 0 0 6fa6f4309c56d1f5de2d242aa329505b
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen06reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 3196 341814 341732 3389 1 2302 126251161 341732 82 0 1 44 1 1 45 6 0 0 0 0 c6376a45287ec410a1be42a1f73e9b68
/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen06_wcsp.wbo
PARTIAL-BIGINT-LIN 4010 828064 827964 255194 1 1000 158723721 827964 100 0 2 44 1 1 45 6 0 0 0 0 90857ecb9aeacb8642741d0114c4e950
/PARTIAL-BIGINT-LIN/wcsp/
scens/
normalized-scen07_10000_30r_wcsp.wbo
PARTIAL-BIGINT-LIN 2008 48581 48385 448020002 1 990001 12702738385 48385 196 0 1 14 1 1 15 4 0 0 0 0 5c91a7da8edb093488f35ff23162ac3f
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen07reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 4824 564001 563839 343592 1 343592 24999659190 563839 162 0 1 44 1 1 45 6 0 0 0 0 6effabdb5f06e7cb39e8e89923338a20
/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen07_wcsp.wbo
PARTIAL-BIGINT-LIN 7976 1810140 1809940 468527294 1 1000000 286472940853 1809940 200 0 2 44 1 1 45 6 0 0 0 0 df1c90215af2cae95a5e30d22d51f060
/PARTIAL-BIGINT-LIN/
wcsp/scens/
normalized-scen08reduc_wcsp.wbo
PARTIAL-BIGINT-LIN 14194 1450105 1449740 262 1 30 6361774 1449740 365 0 1 44 1 1 45 6 0 0 0 0 a57c8a6c45b3bda1a2096d1102135404
/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen08_wcsp.wbo
PARTIAL-BIGINT-LIN 18100 3332577 3332119 12711 1 4 7905729 3332119 458 0 2 44 1 1 45 6 0 0 0 0 bbfd21207c093d43885742df561df69b
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen09_wcsp.wbo
PARTIAL-BIGINT-LIN 7876 873462 873262 875784 1 1000 231851719 873262 200 0 1 44 1 1 45 6 0 0 0 0 9da5a371764752ef421f1f627b5fffdd
/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen10_wcsp.wbo
PARTIAL-BIGINT-LIN 7876 873462 873262 13608940 1 100000 719718355 873262 200 0 1 44 1 1 45 6 0 0 0 0 54e92cd5947dc873b8532e16d02cdb9a
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1401_wcsp.wbo
PARTIAL-BIGINT-LIN 1402 15782 15294 635168 1 635168 9404932575 15294 488 0 1 4 2 2 5 3 0 0 0 0 601f69ae6cca4f399a846decf942ed61
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1403_wcsp.wbo
PARTIAL-BIGINT-LIN 1982 20201 19536 635406 1 635406 11991382031 19536 665 0 1 4 2 2 5 3 0 0 0 0 7ea8b14d7d00297f62e55266f373a635
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1405_wcsp.wbo
PARTIAL-BIGINT-LIN 2670 30776 29921 635638 1 635638 18476089745 29921 855 0 1 4 2 2 5 3 0 0 0 0 26d84ad15c3c68fd23eb83f2d18b525f
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1407_wcsp.wbo
PARTIAL-BIGINT-LIN 3412 38047 36990 635869 1 635869 22849316645 36990 1057 0 1 4 2 2 5 3 0 0 0 0 40cd4a5e56e00d16aaea7172056030a1
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1502_wcsp.wbo
PARTIAL-BIGINT-LIN 622 743 534 89201 1 89201 29079525 534 209 0 1 4 2 2 5 3 0 0 0 0 5d88a80efe7697cc210830a3f6a69d8c
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1504_wcsp.wbo
PARTIAL-BIGINT-LIN 1858 7198 6593 285545 1 285545 1710129004 6593 605 0 1 4 2 2 5 3 0 0 0 0 ac5f702c0244d39cd9a7af5ec1155cb5
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-1506_wcsp.wbo
PARTIAL-BIGINT-LIN 3000 25688 24748 522809 1 522809 12447559480 24748 940 0 1 4 2 2 5 3 0 0 0 0 8f6297577574dc4387b695354f571fd4
/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-28_wcsp.wbo
PARTIAL-BIGINT-LIN 576 7352 7122 326159 1 326159 2248213986 7122 230 0 1 4 2 2 5 3 0 0 0 0 a55ceb8d29eae2e4164c23000e30d1cb
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-29_wcsp.wbo
PARTIAL-BIGINT-LIN 202 774 692 20092 1 20092 12276211 692 82 0 1 4 1 1 5 3 0 0 0 0 429cc4a9012eaf2031e2cb9a0fbbc756
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-408_wcsp.wbo
PARTIAL-BIGINT-LIN 528 3349 3149 9311 1 9311 27467449 3149 200 0 1 4 2 2 5 3 0 0 0 0 48ac1863348303136e0aa9da5ae3256d
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-412_wcsp.wbo
PARTIAL-BIGINT-LIN 844 7574 7274 48484 1 48484 338175899 7274 300 0 1 4 2 2 5 3 0 0 0 0 20e917da45fd344d820e2b12e2c32ca6
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-414_wcsp.wbo
PARTIAL-BIGINT-LIN 1056 14903 14539 60599 1 60599 859051423 14539 364 0 1 4 2 2 5 3 0 0 0 0 c2a654bdd9be16ff6670711f2793090a
/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-42_wcsp.wbo
PARTIAL-BIGINT-LIN 494 2206 2016 263118 1 263118 480716585 2016 190 0 1 4 2 2 5 3 0 0 0 0 2650719d8056982b79efe8547fa4e1ef
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-503_wcsp.wbo
PARTIAL-BIGINT-LIN 402 1077 934 20210 1 20210 16006319 934 143 0 1 4 2 2 5 3 0 0 0 0 08f4b88f9040f70d336d7e223b6d5133
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-505_wcsp.wbo
PARTIAL-BIGINT-LIN 688 3672 3432 34354 1 34354 109692321 3432 240 0 1 4 2 2 5 3 0 0 0 0 aac7e90374eb115b0312a3cfc81835b8
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-507_wcsp.wbo
PARTIAL-BIGINT-LIN 884 8460 8149 42528 1 42528 333376991 8149 311 0 1 4 2 2 5 3 0 0 0 0 70f7d720e5307fef10b429a6228b2be3
/PARTIAL-BIGINT-LIN/
wcsp/spot5/
normalized-spot5-509_wcsp.wbo
PARTIAL-BIGINT-LIN 1000 12591 12243 55572 1 55572 661084511 12243 348 0 1 4 2 2 5 3 0 0 0 0 0a22110b19ff8df475cc5d040170176a
/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-5_wcsp.wbo
PARTIAL-BIGINT-LIN 1118 14967 14658 377 1 377 5409949 14658 309 0 1 4 2 2 5 3 0 0 0 0 c2eaa81317da42a84288274e542e014d
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap101_wcsp.wbo
PARTIAL-BIGINT-LIN 1300 2598 2523 59386724 1 59386724 74836280126 2523 75 0 1 25 1 1 26 5 0 0 0 0 82056375080d1ec55a672c8d47702d0f
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap103_wcsp.wbo
PARTIAL-BIGINT-LIN 1300 2598 2523 61786724 1 61786724 77838680126 2523 75 0 1 25 1 1 26 5 0 0 0 0 731e2b3d085e2d31d63a0bd0dc294faf
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap112_wcsp.wbo
PARTIAL-BIGINT-LIN 2600 5148 5048 63756436 1 63756436 160674796300 5048 100 0 1 50 1 1 51 6 0 0 0 0 f4b0099465ae664e0955235299f0c44e
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap113_wcsp.wbo
PARTIAL-BIGINT-LIN 2600 5148 5048 66206436 1 66206436 166802246300 5048 100 0 1 50 1 1 51 6 0 0 0 0 ea836e0f976b6c1eccda327c2ccf56b9
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap114_wcsp.wbo
PARTIAL-BIGINT-LIN 2600 5148 5048 69881436 1 69881436 175993421300 5048 100 0 1 50 1 1 51 6 0 0 0 0 8eeb21bef0624b36d5575dec4c8f650d
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap123_wcsp.wbo
PARTIAL-BIGINT-LIN 2600 5148 5048 66206436 1 66206436 166802246300 5048 100 0 1 50 1 1 51 6 0 0 0 0 ea836e0f976b6c1eccda327c2ccf56b9
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap124_wcsp.wbo
PARTIAL-BIGINT-LIN 2600 5148 5048 69881436 1 69881436 175993421300 5048 100 0 1 50 1 1 51 6 0 0 0 0 8eeb21bef0624b36d5575dec4c8f650d
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap131_wcsp.wbo
PARTIAL-BIGINT-LIN 2600 5148 5048 61306436 1 61306436 154547346300 5048 100 0 1 50 1 1 51 6 0 0 0 0 4ad1347278976f19411afc1ab6eea52f
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap132_wcsp.wbo
PARTIAL-BIGINT-LIN 2600 5148 5048 63756436 1 63756436 160674796300 5048 100 0 1 50 1 1 51 6 0 0 0 0 f4b0099465ae664e0955235299f0c44e
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap134_wcsp.wbo
PARTIAL-BIGINT-LIN 2600 5148 5048 69881436 1 69881436 175993421300 5048 100 0 1 50 1 1 51 6 0 0 0 0 8eeb21bef0624b36d5575dec4c8f650d
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap42_wcsp.wbo
PARTIAL-BIGINT-LIN 832 1680 1614 56493026 1 56493026 45549155826 1614 66 0 1 16 1 1 17 5 0 0 0 0 832b6d889e2e04fac8730ab9437bdddf
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap43_wcsp.wbo
PARTIAL-BIGINT-LIN 832 1680 1614 57243026 1 57243026 46149905826 1614 66 0 1 16 1 1 17 5 0 0 0 0 6884eb16d9ca5647137a605a0e2a2e0d
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap44_wcsp.wbo
PARTIAL-BIGINT-LIN 832 1680 1614 58368026 1 58368026 47051030826 1614 66 0 1 16 1 1 17 5 0 0 0 0 eea9483bb210b3ae31db150f2467fbf7
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap61_wcsp.wbo
PARTIAL-BIGINT-LIN 832 1680 1614 55743026 1 55743026 44948405826 1614 66 0 1 16 1 1 17 5 0 0 0 0 58e4788c719f1a12516705b51263d664
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap62_wcsp.wbo
PARTIAL-BIGINT-LIN 832 1680 1614 56493026 1 56493026 45549155826 1614 66 0 1 16 1 1 17 5 0 0 0 0 832b6d889e2e04fac8730ab9437bdddf
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap64_wcsp.wbo
PARTIAL-BIGINT-LIN 832 1680 1614 58368026 1 58368026 47051030826 1614 66 0 1 16 1 1 17 5 0 0 0 0 eea9483bb210b3ae31db150f2467fbf7
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap73_wcsp.wbo
PARTIAL-BIGINT-LIN 832 1680 1614 57243026 1 57243026 46149905826 1614 66 0 1 16 1 1 17 5 0 0 0 0 6884eb16d9ca5647137a605a0e2a2e0d
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap74_wcsp.wbo
PARTIAL-BIGINT-LIN 832 1680 1614 58368026 1 58368026 47051030826 1614 66 0 1 16 1 1 17 5 0 0 0 0 eea9483bb210b3ae31db150f2467fbf7
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap81_wcsp.wbo
PARTIAL-BIGINT-LIN 1300 2598 2523 59386724 1 59386724 74836280126 2523 75 0 1 25 1 1 26 5 0 0 0 0 82056375080d1ec55a672c8d47702d0f
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-cap82_wcsp.wbo
PARTIAL-BIGINT-LIN 1300 2598 2523 60586724 1 60586724 76337480126 2523 75 0 1 25 1 1 26 5 0 0 0 0 b16cae5e7c1377276bc10d7f18825659
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmo1_wcsp.wbo
PARTIAL-BIGINT-LIN 10200 20300 20100 16472577 1 16472577 164860388479 20100 200 0 1 100 1 1 101 7 0 0 0 0 01729ffda5d5346f55f0d16a731d6c31
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmo2_wcsp.wbo
PARTIAL-BIGINT-LIN 10200 20300 20100 19304198 1 19304198 193196633046 20100 200 0 1 100 1 1 101 7 0 0 0 0 fae2f00dc57ff1dba83c1276ab8a2bc1
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmo3_wcsp.wbo
PARTIAL-BIGINT-LIN 10200 20300 20100 21147472 1 21147472 211613168177 20100 200 0 1 100 1 1 101 7 0 0 0 0 f7000888ed6726edb3e77162c68c4211
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmo4_wcsp.wbo
PARTIAL-BIGINT-LIN 10200 20300 20100 19552592 1 19552592 195667093770 20100 200 0 1 100 1 1 101 7 0 0 0 0 4acc3a5419b938688cb78ca12bf017b9
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmp1_wcsp.wbo
PARTIAL-BIGINT-LIN 40400 80600 80200 68755531 1 68755531 2750823703914 80200 400 0 1 200 1 1 201 8 0 0 0 0 741f37f00d13c62b4f0b1409f82c4642
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmp2_wcsp.wbo
PARTIAL-BIGINT-LIN 40400 80600 80200 77435527 1 77435527 3097994347139 80200 400 0 1 200 1 1 201 8 0 0 0 0 ffaee973dfddebb70c04b2948d40db31
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmp3_wcsp.wbo
PARTIAL-BIGINT-LIN 40400 80600 80200 83553490 1 83553490 3342705609061 80200 400 0 1 200 1 1 201 8 0 0 0 0 667e87c159ca7c6072a3d3832704da71
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmp4_wcsp.wbo
PARTIAL-BIGINT-LIN 40400 80600 80200 84696307 1 84696307 3388448953050 80200 400 0 1 200 1 1 201 8 0 0 0 0 ab64898f14726c00b5b326809073dd57
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmq1_wcsp.wbo
PARTIAL-BIGINT-LIN 90600 180900 180300 167360670 1 167360670 15063769612171 180300 600 0 1 300 1 1 301 9 0 0 0 0 e8bcb76dae4005526534cba50c92556d
/PARTIAL-BIGINT-LIN/
wcsp/warehouse/
normalized-capmq5_wcsp.wbo
PARTIAL-BIGINT-LIN 90600 180900 180300 163170779 1 163170779 14686737483247 180300 600 0 1 300 1 1 301 9 0 0 0 0 84cd85c95cced1b7045b580cb3e3a3b7
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel02ac_wcsp.wbo
PARTIAL-BIGINT-LIN 423 8096 7980 100447 1 100447 787703441 7980 116 0 1 19 1 1 20 5 0 0 0 0 4b904f6ad53040fc0308c95ff970bc82
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel02bc_wcsp.wbo
PARTIAL-BIGINT-LIN 423 8096 7980 89847 1 89847 704578241 7980 116 0 1 19 1 1 20 5 0 0 0 0 4d71d97261f348ab1fac318e42cd0133
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel02cc_wcsp.wbo
PARTIAL-BIGINT-LIN 423 8096 7980 23921 1 23921 187588067 7980 116 0 1 19 1 1 20 5 0 0 0 0 f7fbceb2db366adfa00d3571e2c07795
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel02c_wcsp.wbo
PARTIAL-BIGINT-LIN 423 8096 7980 100447 1 100447 787703441 7980 116 0 1 19 1 1 20 5 0 0 0 0 4b904f6ad53040fc0308c95ff970bc82
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel04ac_wcsp.wbo
PARTIAL-BIGINT-LIN 878 26204 25965 206992 1 206992 5314722545 25965 239 0 1 24 1 1 25 5 0 0 0 0 83af53458897dbd6968104bb040d9756
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel04bc_wcsp.wbo
PARTIAL-BIGINT-LIN 878 26204 25965 190742 1 190742 4897487545 25965 239 0 1 24 1 1 25 5 0 0 0 0 0be960ac933c235160ae751a8e210264
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel04cc_wcsp.wbo
PARTIAL-BIGINT-LIN 878 26204 25965 51934 1 51934 1333456227 25965 239 0 1 24 1 1 25 5 0 0 0 0 0f35ccce732dddd3e216420b1d446366
/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/
normalized-zenotravel04c_wcsp.wbo
PARTIAL-BIGINT-LIN 878 26204 25965 206992 1 206992 5314722545 25965 239 0 1 24 1 1 25 5 0 0 0 0 83af53458897dbd6968104bb040d9756
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 220 42 30 1595 1 100 1594 22 20 0 10 11 1 1 12 4 0 0 0 0 0b915fd051dbce2f3b4ec1d342cdefca
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 220 42 14 689 1 85 688 22 20 0 10 11 1 1 12 4 0 0 0 0 c780377f89ccbb35442bcce6ab556752
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 300 50 35 1837 1 98 1836 30 20 0 10 15 1 1 16 5 0 0 0 0 9dd19a07ee6b8e6f4864d631925ae108
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 400 60 41 2005 1 100 2004 40 20 0 10 20 1 1 21 5 0 0 0 0 f76bfef4498edf916ad0f53b817cfd69
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 400 60 16 813 1 95 812 40 20 0 10 20 1 1 21 5 0 0 0 0 1f875ef306d18e6f86db860a031faa4e
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 480 62 22 1066 1 83 1065 32 30 0 15 16 1 1 17 5 0 0 0 0 c3b83188909f121458b2a501f16a66ab
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 600 70 46 2255 1 98 2254 40 30 0 15 20 1 1 21 5 0 0 0 0 c848ab0f9e18d54de025021d8a38abe4
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 600 70 26 1337 1 86 1336 40 30 0 15 20 1 1 21 5 0 0 0 0 cf0241dbee717fce31205c3d6c127ed0
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 750 80 54 2808 1 100 2807 50 30 0 15 25 1 1 26 5 0 0 0 0 4fda08e2dc650152cad1c676f7fa8f96
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 840 82 55 2274 1 99 2273 42 40 0 20 21 1 1 22 5 0 0 0 0 fbd3a39d50404986b242d7bfefa0e7f6
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 840 82 35 1734 1 95 1733 42 40 0 20 21 1 1 22 5 0 0 0 0 d97c5722fe377ef62d4d83eb3fe2e1eb
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 1000 90 61 3008 1 98 3007 50 40 0 20 25 1 1 26 5 0 0 0 0 a9a2270f2536f669bb9dfa31ae05dbb5
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 1200 100 67 3602 1 100 3601 60 40 0 20 30 1 1 31 5 0 0 0 0 7b4c43120f8532700d0af4fec83df613
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 1200 100 35 1842 1 96 1841 60 40 0 20 30 1 1 31 5 0 0 0 0 c77cfb1ee053e7c4147458beb2d99117
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 1860 122 83 4163 1 100 4162 62 60 0 30 31 1 1 32 6 0 0 0 0 a55e12002eaa3d7d50414499a072c521
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 1860 122 42 2134 1 96 2133 62 60 0 30 31 1 1 32 6 0 0 0 0 ea89038de81a2a24e795de2249a907ab
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 2100 130 47 2325 1 96 2324 70 60 0 30 35 1 1 36 6 0 0 0 0 f839b9b81895c491ec67614997c8bc2d
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 2520 142 51 2505 1 96 2504 72 70 0 35 36 1 1 37 6 0 0 0 0 1ee612fae97412540ece88664cb7382e
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 2800 150 51 2354 1 87 2353 80 70 0 35 40 1 1 41 6 0 0 0 0 fb4b4aad89d54269a5ce80fb177bfc09
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 3150 160 101 4835 1 100 4834 90 70 0 35 45 1 1 46 6 0 0 0 0 3aafd47af6446049bcdbc11c9b966efe
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 3150 160 62 3271 1 98 3270 90 70 0 35 45 1 1 46 6 0 0 0 0 a1a1d6ef1095be996fe403c53206d252
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 3280 162 117 5670 1 100 5669 82 80 0 40 41 1 1 42 6 0 0 0 0 f511ebc8ef7d333a60d28a0c67ab699d
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 3600 170 116 5929 1 100 5928 90 80 0 40 45 1 1 46 6 0 0 0 0 8648a4908eeb88d76ecf84cd5dcb68ad
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 4000 180 127 6095 1 100 6094 100 80 0 40 50 1 1 51 6 0 0 0 0 757312960b1468f2853dd7cd5a4d6fc6
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 4000 180 67 3472 1 98 3471 100 80 0 40 50 1 1 51 6 0 0 0 0 0158a6ff32db5686aa85d7a9b49d6df3
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 5100 202 140 6854 1 100 6853 102 100 0 50 51 1 1 52 6 0 0 0 0 fc69cf5fb8ed09269ce87a121862dce7
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 5100 202 71 3850 1 98 3849 102 100 0 50 51 1 1 52 6 0 0 0 0 5648463b311d39ee56e08f95de13a148
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 5500 210 145 7273 1 100 7272 110 100 0 50 55 1 1 56 6 0 0 0 0 9e4fdadcc7668e5ef6d5afa26a2e782c
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 6000 220 152 7443 1 100 7442 120 100 0 50 60 1 1 61 6 0 0 0 0 e79d43742b4ee40954b18e2a5bb4c066
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 6000 220 76 4191 1 98 4190 120 100 0 50 60 1 1 61 6 0 0 0 0 2683f5c0f2bcb2ef48b38611ac907218
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1857 93863 1 100 93862 2684 22 1 2 110 25 5 741 10 0 0 0 0 97e6423088cc7ef1f08dcccdf9e01ef4
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1839 91769 1 100 91768 2684 22 1 2 110 25 5 721 10 0 0 0 0 d310a80e65163d39f069d6307e99d88f
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 911 45526 1 100 45525 2684 22 1 2 110 25 5 665 10 0 0 0 0 c177cc73697745a978507901f2a8beaa
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 930 46532 1 100 46531 2684 22 1 2 110 25 5 727 10 0 0 0 0 aabd2abc5a32dbb90eb5074319abd403
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1816 92461 1 100 92460 2684 22 1 2 110 25 5 779 10 0 0 0 0 c3adda683c0d048bf44386b3ccfc9e41
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1863 94064 1 100 94063 2684 22 1 2 110 25 5 689 10 0 0 0 0 2c7bc414eea5148dc6372ccd38f2fe74
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1777 90281 1 100 90280 2684 22 1 2 110 25 5 723 10 0 0 0 0 32bdb0ca9ee10d9e7c56deff56e319ba
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1868 94981 1 100 94980 2684 22 1 2 110 25 5 709 10 0 0 0 0 908c51b3c7715396d94712713af78fd9
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 937 46894 1 100 46893 2684 22 1 2 110 25 5 815 10 0 0 0 0 125243b279b6e24b77d57dd07a5f7014
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1857 93863 1 100 93862 2684 22 1 2 110 25 5 625 10 0 0 0 0 42cd11e454ef36c6d0d0a1a4a75ff12f
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 892 45060 1 100 45059 2684 22 1 2 110 25 5 665 10 0 0 0 0 48850acf7a795604147e976fcd80db7d
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1839 91769 1 100 91768 2684 22 1 2 110 25 5 755 10 0 0 0 0 05d9157cdbd186fca72e4e6dc0ec425d
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1777 90281 1 100 90280 2684 22 1 2 110 25 5 761 10 0 0 0 0 98ba7b6540ae93cc2daebc624abceb03
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 904 44120 1 100 44119 2684 22 1 2 110 25 5 761 10 0 0 0 0 32795eb517f73910564f73a4c3c20f9d
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1777 90281 1 100 90280 2684 22 1 2 110 25 5 669 10 0 0 0 0 a6a8a46a44ac0bf94795779c3ec9db34
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1868 94981 1 100 94980 2684 22 1 2 110 25 5 749 10 0 0 0 0 a7f6c0c06b26873046d2d80874a938bb
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 899 46330 1 100 46329 2684 22 1 2 110 25 5 749 10 0 0 0 0 404f4a35cd4ec5708f20e119eb7d26f2
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1863 94064 1 100 94063 2684 22 1 2 110 25 5 761 10 0 0 0 0 87777454fd73e41b31dd9b36586c9c7c
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 906 44555 1 100 44554 2684 22 1 2 110 25 5 761 10 0 0 0 0 f1c7b8b76066043f2c00dac441c2cac6
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1783 90636 1 100 90635 2684 22 1 2 110 25 5 701 10 0 0 0 0 c6676bcfc0f6c4806260dd430fa1f6e3
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 937 46894 1 100 46893 2684 22 1 2 110 25 5 667 10 0 0 0 0 e5d1aa875e736e237b742aec181b44f0
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1777 90281 1 100 90280 2684 22 1 2 110 25 5 697 10 0 0 0 0 a6a99f7cb7296aed3ef8f4a1cd1ac483
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1785 88246 1 100 88245 2684 22 1 2 110 25 5 671 10 0 0 0 0 b0bcd9e760e7f0ffa9653d41066a148b
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1837 93832 1 100 93831 2684 22 1 2 110 25 5 641 10 0 0 0 0 8591b35e74198f55af565a685d4a35ec
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 928 47257 1 100 47256 2684 22 1 2 110 25 5 641 10 0 0 0 0 4c1853ff60c53f26c44f2cbc4e9273c7
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 911 46278 1 100 46277 2684 22 1 2 110 25 5 683 10 0 0 0 0 1aa357a852c71e740dd551340d4d5189
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1868 94981 1 100 94980 2684 22 1 2 110 25 5 689 10 0 0 0 0 8d817301a4b1c2c9b4fea9d5d7fdc9d1
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 911 45526 1 100 45525 2684 22 1 2 110 25 5 695 10 0 0 0 0 ed627c94e924dd829be1b38440fce2ad
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1788 89002 1 100 89001 2684 22 1 2 110 25 5 707 10 0 0 0 0 cbb94832f8cf89251c53c05bd4717107
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 231 2707 1802 91108 1 100 91107 2684 22 1 2 110 25 5 671 10 0 0 0 0 1266a85a20696deb0d7aee67f4c2d0a0
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 2925 1 96 2924 30 70 1 2 169 38 6 1298 11 0 0 0 0 ee1a48d1e3b75eba43e09ed993a809da
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 3426 1 99 3425 30 70 1 2 169 38 6 1145 11 0 0 0 0 fa579923f1914e3dd4bd69a6764b2913
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 69 3204 1 97 3203 30 70 1 2 169 38 6 1247 11 0 0 0 0 8c7284b7ccf7c3e8bad0ea1f2a54ab5e
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 2925 1 96 2924 30 70 1 2 169 38 6 1255 11 0 0 0 0 272549dcfc1a9500042cdae4b8981d82
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 42 1838 1 97 1837 30 70 1 2 169 38 6 1255 11 0 0 0 0 8b066002eb3185cd3fd0fbc9dbe06f59
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 28 1415 1 98 1414 30 70 1 2 169 38 6 1239 11 0 0 0 0 cabbc57a5ab962c45538fe46c723245f
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 69 3204 1 97 3203 30 70 1 2 169 38 6 1228 11 0 0 0 0 9aae741b51a1836a01c8daeb1bffcdf7
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 2925 1 96 2924 30 70 1 2 169 38 6 1246 11 0 0 0 0 fefb0803ef3749855e286a972cf1f155
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 3426 1 99 3425 30 70 1 2 169 38 6 1221 11 0 0 0 0 9a2a28c5bb6a02365b79a03ef797cc3c
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 28 1415 1 98 1414 30 70 1 2 169 38 6 1327 11 0 0 0 0 b7777dd5fa41ca59afb23064bb503e66
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 3426 1 99 3425 30 70 1 2 169 38 6 1210 11 0 0 0 0 43af695f5d89afd81852305c494200d4
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 42 1838 1 97 1837 30 70 1 2 169 38 6 1199 11 0 0 0 0 f6f5996763a3538cd959432d54a4a5d7
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 69 3204 1 97 3203 30 70 1 2 169 38 6 1222 11 0 0 0 0 077b9c494cf23f6ff18d9e6ba287604c
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 2925 1 96 2924 30 70 1 2 169 38 6 1228 11 0 0 0 0 a7711a7b19a36d7c95277483b0aa560c
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 28 1415 1 98 1414 30 70 1 2 169 38 6 1228 11 0 0 0 0 c7dcb25d665cb550b68931937f8d1bd8
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 28 1415 1 98 1414 30 70 1 2 169 38 6 1266 11 0 0 0 0 8ae5062c7652fddde3927693898a40dc
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 2925 1 96 2924 30 70 1 2 169 38 6 1259 11 0 0 0 0 14adea07f674cbc6036223afab3dc3b4
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 2925 1 96 2924 30 70 1 2 169 38 6 1248 11 0 0 0 0 92e9d82ea45c04735bed18ced94c3392
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 3426 1 99 3425 30 70 1 2 169 38 6 1248 11 0 0 0 0 76159a1844a191e7556569a339118f97
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 28 1415 1 98 1414 30 70 1 2 169 38 6 1248 11 0 0 0 0 0e6c262e00c2bafdec71b4c92c644f07
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 69 3204 1 97 3203 30 70 1 2 169 38 6 1262 11 0 0 0 0 f911862f5398bb5461d300f11ba5c15b
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 2925 1 96 2924 30 70 1 2 169 38 6 1192 11 0 0 0 0 477adc333907175569d22a28ba04c3fe
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 69 3204 1 97 3203 30 70 1 2 169 38 6 1227 11 0 0 0 0 3ecfb348b02f410f6916aad78d9eab96
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 42 1838 1 97 1837 30 70 1 2 169 38 6 1227 11 0 0 0 0 2781b3371b432984c0fe1e8064068870
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 2925 1 96 2924 30 70 1 2 169 38 6 1314 11 0 0 0 0 9ffea189547a7afa9054418ab91a7dbf
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 28 1415 1 98 1414 30 70 1 2 169 38 6 1240 11 0 0 0 0 0b429bb598a1356114a5dedac9be9982
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 69 3204 1 97 3203 30 70 1 2 169 38 6 1270 11 0 0 0 0 ae60804d96363031fd1d95f40cdae528
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 28 1415 1 98 1414 30 70 1 2 169 38 6 1190 11 0 0 0 0 dca485207caaa579309a7d2385685aa8
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 26 1243 1 96 1242 30 70 1 2 169 38 6 1220 11 0 0 0 0 bda3418eb2779577fc492619368d84b3
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 169 101 64 2925 1 96 2924 30 70 1 2 169 38 6 1265 11 0 0 0 0 4d45122e251aca3cc1eaa7c8fe64e1aa
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 10100 201 65 3414 1 97 3413 101 100 0 100 101 1 1 102 7 0 0 0 0 d7ec3e5f8584fe7f5e0e066c760adfab
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 10500 205 132 6845 1 100 6844 105 100 0 100 105 1 1 106 7 0 0 0 0 5089c419eb4145debb9fb5e7fd1214f5
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 10500 205 74 3754 1 100 3753 105 100 0 100 105 1 1 106 7 0 0 0 0 877b894215c8e906897b9f5c7b76fab3
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 150 25 21 877 1 83 876 15 10 0 10 15 1 1 16 5 0 0 0 0 f8d5ed276152247cc0d8dd0253710bfc
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 150 25 5 239 1 93 238 15 10 0 10 15 1 1 16 5 0 0 0 0 9acc4a01e291192ca8cd72bb114b6c35
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 420 41 11 551 1 93 550 21 20 0 20 21 1 1 22 5 0 0 0 0 92adeb187a48a927ab5078673cfa945b
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 500 45 35 1410 1 83 1409 25 20 0 20 25 1 1 26 5 0 0 0 0 48f3bbbf57f9425639eae287513fe205
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 930 61 41 2356 1 100 2355 31 30 0 30 31 1 1 32 6 0 0 0 0 b618f143f0ce2a95508bc08f0990c2c8
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 930 61 16 916 1 96 915 31 30 0 30 31 1 1 32 6 0 0 0 0 318c9cc5b16e210b9b0a9873d7c14d4c
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 1050 65 44 2588 1 100 2587 35 30 0 30 35 1 1 36 6 0 0 0 0 515e8ce2c7c31d2b78b34efd1db422a9
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 1640 81 54 3128 1 100 3127 41 40 0 40 41 1 1 42 6 0 0 0 0 821b84a7358221fefacfb8b50c463b59
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 1640 81 21 1107 1 96 1106 41 40 0 40 41 1 1 42 6 0 0 0 0 b19b36a9eeef0aa91319f6277ed84276
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 1800 85 24 1255 1 96 1254 45 40 0 40 45 1 1 46 6 0 0 0 0 a455ffab78a89665145255f789204852
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 2550 101 66 3685 1 100 3684 51 50 0 50 51 1 1 52 6 0 0 0 0 153666059db7da507c96674bc7662476
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 2550 101 30 1659 1 98 1658 51 50 0 50 51 1 1 52 6 0 0 0 0 c9611a719411a0f5e82fa4122f33d8f1
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 2750 105 69 3856 1 100 3855 55 50 0 50 55 1 1 56 6 0 0 0 0 7dae57beceb3170ed40c9307fdc88b85
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 2750 105 35 1904 1 97 1903 55 50 0 50 55 1 1 56 6 0 0 0 0 d7a0ad39836c923faf2776c1a468a22d
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 3660 121 81 3401 1 96 3400 61 60 0 60 61 1 1 62 6 0 0 0 0 e56482878ee36dcbb361a64b1d161fc3
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 3660 121 39 2003 1 97 2002 61 60 0 60 61 1 1 62 6 0 0 0 0 93dc403e7aa7832c1308ab9b3db02163
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 3900 125 82 4502 1 100 4501 65 60 0 60 65 1 1 66 7 0 0 0 0 62825c7b78173675be8da33e26a62860
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 3900 125 39 2003 1 97 2002 65 60 0 60 65 1 1 66 7 0 0 0 0 7e0724db75f314e84b0472c27c0a5114
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 4970 141 94 5200 1 100 5199 71 70 0 70 71 1 1 72 7 0 0 0 0 374ed8d346409439b64d782bc7a820e5
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 4970 141 43 2285 1 97 2284 71 70 0 70 71 1 1 72 7 0 0 0 0 6ce7da05711cce00ec3b2d5a1c7699c2
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 5250 145 94 4943 1 99 4942 75 70 0 70 75 1 1 76 7 0 0 0 0 bbaf7e04a2e14186c5cc5b74d1689780
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 5250 145 53 2739 1 100 2738 75 70 0 70 75 1 1 76 7 0 0 0 0 9f59d922c085a32576bd21436364ce6a
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 6480 161 109 6056 1 100 6055 81 80 0 80 81 1 1 82 7 0 0 0 0 8ea1de4cad02f20126bf15704ca9ee6a
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 6800 165 110 6303 1 100 6302 85 80 0 80 85 1 1 86 7 0 0 0 0 b2b0b6245f8ec2d35e44e032ffc67cea
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 6800 165 53 2598 1 94 2597 85 80 0 80 85 1 1 86 7 0 0 0 0 6d906c6a0b5d527a5b0feb820bb742c0
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 8550 185 120 6763 1 100 6762 95 90 0 90 95 1 1 96 7 0 0 0 0 bad48add975eecf801ffda2fc733cf44
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 8550 185 61 3342 1 99 3341 95 90 0 90 95 1 1 96 7 0 0 0 0 3f020b13e6cf17982f0e6d51d5561da8
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-22s.smv--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 5985 15365 10251 518757 1 100 518756 14013 0 1352 1 15 165 8 546 10 0 0 0 0 3ccb93ae8827142e7c54ff7ef98be667
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-25s.smv--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 5072 12829 8490 429589 1 100 429588 11721 0 1108 1 15 165 8 546 10 0 0 0 0 24165b373ac62bb316922f56a500ddfe
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-37s.smv--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 1190 3183 2165 109769 1 100 109768 3055 0 128 1 11 43 6 136 8 0 0 0 0 40b347a62af31a808b4e2de550ac7867
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-46s.smv--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 1612 3653 2427 124130 1 100 124129 3273 0 380 1 13 79 7 268 9 0 0 0 0 c0de7a271d508347ff52629783e8132d
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 152 127 88 4363 1 100 4362 77 0 50 1 19 772 10 2305 12 0 0 0 0 41c5d5bb21666da1060ef5877d8823b7
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 152 127 41 1893 1 92 1892 77 0 50 1 19 772 10 2305 12 0 0 0 0 a607111f042ada22bfc64331fa1ae9a2
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 274 259 167 9191 1 100 9190 159 0 100 1 13 68 7 257 9 0 0 0 0 e0a386232805af8ddb0c67f40a0a75f2
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 274 259 87 4353 1 94 4352 159 0 100 1 13 68 7 257 9 0 0 0 0 d7082d6fd5cfc868fbb069ecaeb398e5
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 719 593 204 10312 1 99 10311 371 0 222 1 19 773 10 2306 12 0 0 0 0 31cf4204a9fca25e8a4f7b19cec87ed8
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 2913 3105 2088 104380 1 100 104379 2259 0 846 1 25 6518 13 18803 15 0 0 0 0 0513f373de819ad63cf76545ce499638
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 2913 3105 1046 52307 1 100 52306 2259 0 846 1 25 6518 13 18803 15 0 0 0 0 fc4fc608292ff0814d25e97efc86eb19
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 3618 3931 2594 130293 1 100 130292 2865 0 1066 1 25 7394 13 19679 15 0 0 0 0 79b867d4294d19cc249114a715561a23
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 3618 3931 1336 67716 1 100 67715 2865 0 1066 1 25 7394 13 19679 15 0 0 0 0 2f5b39eda2f3d2ee24cba69641294774
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 2221 3050 2040 104315 1 100 104314 2330 0 720 1 19 641 10 2174 12 0 0 0 0 5f8009069df980e2f8c5fa5b8614d35c
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 2221 3050 1032 51236 1 100 51235 2330 0 720 1 19 641 10 2174 12 0 0 0 0 0247a92efb3a5cf006eb89af633011d2
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 19944 50842 17258 865635 1 100 865634 43898 0 6944 1 19 641 10 2174 12 0 0 0 0 b00997dbe8c129e1e2409a2ca7003a2b
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 8937 26319 8922 446674 1 100 446673 26047 0 272 1 9 17 5 62 6 0 0 0 0 d386dfc8e47349268f453a2b59efbfb7
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 7578 21401 14255 718356 1 100 718355 20501 0 900 1 11 33 6 126 7 0 0 0 0 6d82afa4a3cb51b65db40c85a755382b
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 9051 25833 8852 443736 1 100 443735 24941 0 892 1 11 33 6 126 7 0 0 0 0 912ca607d723e7995f4e9e6209c25e32
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 6392 18058 12226 617866 1 100 617865 17278 0 780 1 11 33 6 126 7 0 0 0 0 835b153aeac9652072cec4414ff34af5
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 6059 16684 11088 559152 1 100 559151 15940 0 744 1 11 34 6 127 7 0 0 0 0 0213af97bcb368564904cb77675881c0
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 20445 58444 19808 1010028 1 100 1010027 56420 0 2024 1 13 65 7 254 8 0 0 0 0 436e932860314596b9609870688d381f
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 2152 5613 3755 190301 1 100 190300 5137 0 476 1 11 35 6 129 8 0 0 0 0 43c69d80a873dc3228a1cf2a948ae102
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 4622 12569 8453 425712 1 100 425711 11753 0 816 1 11 36 6 130 8 0 0 0 0 2dda6fbf8d261259c880dca3531a1919
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 3939 10412 6994 349089 1 100 349088 9740 0 672 1 13 69 7 258 9 0 0 0 0 68c125c2e3e966fc6e8a8bc50cef96ab
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 1804 4931 3355 169923 1 100 169922 4707 0 224 1 9 19 5 64 7 0 0 0 0 9604cc8b4028b285fc8feb4fe9530b1c
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 6832 19477 13064 665815 1 100 665814 18953 0 524 1 11 33 6 126 7 0 0 0 0 0f4cdf827473fd69202dfaa2ec82572c
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 11476 33090 11224 569299 1 100 569298 32382 0 708 1 11 33 6 126 7 0 0 0 0 b9fa744ec68633cb4114d71740485b31
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 9071 25914 17208 857979 1 100 857978 25190 0 724 1 11 39 6 132 8 0 0 0 0 d8e7fa9590f436b33ef13e9171ac617f
/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 20605 59851 20266 1021972 1 100 1021971 58675 0 1176 1 11 41 6 134 8 0 0 0 0 51de4f9a349da19d6e38b7104085cf7d
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j301_4-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 3844 11854 7954 399620 1 100 399619 11610 0 244 1 13 15 4 99 7 0 0 0 0 55bc063057ce6e5238203b79e8fa6b9b
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j301_4-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 3844 11854 4065 205056 1 100 205055 11610 0 244 1 13 15 4 99 7 0 0 0 0 3c0ab74eb8c9db5a91042a699e6b4444
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3029_8-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 4960 16157 10743 536531 1 100 536530 15841 0 316 1 30 19 5 201 8 0 0 0 0 94a4b61e4b099e692126d009e42b1552
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 4960 16157 5468 278200 1 100 278199 15841 0 316 1 30 19 5 201 8 0 0 0 0 114c0408840a95cae960ebc399875ecb
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 4836 16649 5540 277431 1 100 277430 16341 0 308 1 26 15 4 166 8 0 0 0 0 f676428e29d52379a445f7afa72f565b
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3046_4-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 3968 13430 8969 452114 1 100 452113 13178 0 252 1 30 25 5 187 8 0 0 0 0 21194a5c96fb00b1cb0d9bbfc15b0e5d
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3046_4-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 3968 13430 4564 230935 1 100 230934 13178 0 252 1 30 25 5 187 8 0 0 0 0 64f71ed3d387d8d9e46ec44993350335
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j308_1-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 2728 8382 5630 280780 1 100 280779 8210 0 172 1 17 32 6 143 8 0 0 0 0 0541e9779bfbef683d2818db74c4cdd4
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j309_10-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 5456 17015 5692 285936 1 100 285935 16667 0 348 1 26 16 5 177 8 0 0 0 0 f8e585aed580dee910146256b9cb9d64
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j6010_2-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 7564 23412 15681 793815 1 100 793814 23168 0 244 1 50 44 6 333 9 0 0 0 0 c0c0bebc7e31a6df8b165cc7ff9f27e8
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j6010_2-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 7564 23412 8041 408107 1 100 408106 23168 0 244 1 50 44 6 333 9 0 0 0 0 c8727fb292de6f0ef34aa00aa6399d46
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j6027_4-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 7320 23840 16041 809660 1 100 809659 23604 0 236 1 48 44 6 309 9 0 0 0 0 6a7f449e486d568e73cc99fdaf022cfa
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j6027_4-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 7320 23840 8226 414472 1 100 414471 23604 0 236 1 48 44 6 309 9 0 0 0 0 4284f071b36aadaba2198ae83304d6e9
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j602_7-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 6466 19939 13432 686652 1 100 686651 19731 0 208 1 19 22 5 112 7 0 0 0 0 ca01bfc21a1e057687efc2b7fef91d1f
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j602_7-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 6466 19939 6819 347791 1 100 347790 19731 0 208 1 19 22 5 112 7 0 0 0 0 542acc6a88f2f74cb83091764e7f930f
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j6030_9-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 11956 39426 13393 678604 1 100 678603 39038 0 388 1 60 33 6 416 9 0 0 0 0 1889fba1555b8697309aed0b2b80cc12
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j603_2-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 8418 26241 17646 886111 1 100 886110 25969 0 272 1 18 23 5 119 7 0 0 0 0 00a8bd0bea2ac0513d2ebf3c8ede1f03
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j603_2-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 8418 26241 8842 445005 1 100 445004 25969 0 272 1 18 23 5 119 7 0 0 0 0 a7745b03d5f34a8c8e093e23f8a69b95
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j6033_2-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 12200 42056 14390 725721 1 100 725720 41660 0 396 1 18 13 4 116 7 0 0 0 0 88bd8107cec9b448bb9d4a61d3b4c661
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 9638 30220 20091 1014619 1 100 1014618 29908 0 312 1 38 20 5 254 8 0 0 0 0 511a250f181b5f88452d86a600065d28
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j605_1-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 9272 29174 19508 985166 1 100 985165 28874 0 300 1 35 18 5 231 8 0 0 0 0 45ee7d19535e08aa25eac21bd6c9cde2
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j605_1-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 9272 29174 9967 504083 1 100 504082 28874 0 300 1 35 18 5 231 8 0 0 0 0 3da4f5c3e5e38abb2c08bf92ba94a43a
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j606_1-unsat--soft-33-100-0.wbo
PARTIAL-SMALLINT-LIN 7320 22689 15221 775540 1 100 775539 22453 0 236 1 32 31 5 220 8 0 0 0 0 872a81971ad579271bbf67d1b84f3091
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j90/
normalized-j9012_2-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 12922 40512 13779 694337 1 100 694336 40232 0 280 1 69 102 7 504 9 0 0 0 0 cbe4c3d53eb1efe1b988611d439eb8ee
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j90/
normalized-j9014_1-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 16198 50975 17448 887339 1 100 887338 50623 0 352 1 90 51 6 588 10 0 0 0 0 6c5df40b176000d7248c596dfbe96e3b
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j90/
normalized-j9015_10-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 14196 44553 15324 775307 1 100 775306 44245 0 308 1 90 66 7 565 10 0 0 0 0 c52ec7834abd1e8394b3225d7d9a7136
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j90/
normalized-j9028_2-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 13832 45398 15436 781630 1 100 781629 45098 0 300 1 73 68 7 479 9 0 0 0 0 c93ff145655ec29711075f2ee972c9ae
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j90/
normalized-j903_10-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 11830 36862 12660 641154 1 100 641153 36606 0 256 1 29 36 6 203 8 0 0 0 0 dedae6261f3c03a02c47ea0595dc06e5
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j90/
normalized-j9039_3-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 15106 51849 17749 895680 1 100 895679 51521 0 328 1 50 42 6 335 9 0 0 0 0 6b812e3bd45da6d63d6d9a24d1cd16b1
/PARTIAL-SMALLINT-LIN/PB10/
oliveras/j90/
normalized-j907_8-unsat--soft-66-100-0.wbo
PARTIAL-SMALLINT-LIN 10920 34033 11497 583113 1 100 583112 33797 0 236 1 50 60 6 345 9 0 0 0 0 8152575fe2efc1e2a3706cdbc35535cf
/PARTIAL-SMALLINT-LIN/
wcsp/academics/
normalized-16wqueens_wcsp.wbo
PARTIAL-SMALLINT-LIN 256 4608 4592 17 1 17 74992 4592 16 0 1 16 1 1 17 5 0 0 0 0 0eca1cee1f66f0b91a7a0aa842de562c
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4queens_wcsp.wbo
PARTIAL-SMALLINT-LIN 16 264 260 1 1 1 260 260 4 0 2 4 3 2 7 3 0 0 0 0 1d8258c22bc483b2975ac7eb72afa9f4
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-4wqueens_wcsp.wbo
PARTIAL-SMALLINT-LIN 16 64 60 5 1 5 268 60 4 0 1 4 1 1 5 3 0 0 0 0 04eb373ee5185e16350580c417b54465
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8queens_wcsp.wbo
PARTIAL-SMALLINT-LIN 64 512 504 1 1 1 504 504 8 0 2 8 1 1 9 4 0 0 0 0 6918f920750f88dfbef1b43610925e28
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-8wqueens_wcsp.wbo
PARTIAL-SMALLINT-LIN 64 560 552 9 1 9 4584 552 8 0 1 8 1 1 9 4 0 0 0 0 c761615988dcb65c5397adcfc7124c5d
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-donald_wcsp.wbo
PARTIAL-SMALLINT-LIN 107 6557 6542 1 1 1 6542 6542 15 0 2 10 4 3 11 4 0 0 0 0 877b81089f5b4ced79a7d6c9f3245147
/PARTIAL-SMALLINT-LIN/
wcsp/academics/
normalized-langford-2-4_wcsp.wbo
PARTIAL-SMALLINT-LIN 64 470 462 1 1 1 462 462 8 0 2 8 1 1 9 4 0 0 0 0 2c9f437db7e633c5e31fffbd9a7127d5
/PARTIAL-SMALLINT-LIN/
wcsp/academics/
normalized-langford-3-11_wcsp.wbo
PARTIAL-SMALLINT-LIN 1089 40843 40810 1 1 1 40810 40810 33 0 2 33 1 1 34 6 0 0 0 0 69dbc7406636817ba2a44752a9d60525
/PARTIAL-SMALLINT-LIN/
wcsp/academics/
normalized-langford-3-9_wcsp.wbo
PARTIAL-SMALLINT-LIN 729 22248 22221 1 1 1 22221 22221 27 0 2 27 1 1 28 5 0 0 0 0 5add7de3ccff8290bd0d3a32154c6477
/PARTIAL-SMALLINT-LIN/wcsp/
academics/normalized-send_wcsp.wbo
PARTIAL-SMALLINT-LIN 84 11473 11462 1 1 1 11462 11462 11 0 2 10 4 3 11 4 0 0 0 0 579550ba8a4368ea911c9080981cd647
/PARTIAL-SMALLINT-LIN/
wcsp/academics/
normalized-warehouse0_wcsp.wbo
PARTIAL-SMALLINT-LIN 60 120 105 954 1 954 50513 105 15 0 1 5 1 1 6 3 0 0 0 0 1666aebbbae4b4440b4a935980e38a5c
/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-zebra_wcsp.wbo
PARTIAL-SMALLINT-LIN 125 15290 15265 1 1 1 15265 15265 25 0 1 5 4 3 9 4 0 0 0 0 fd165bcc49ab0d58e5df6e322efb7976
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/
wcsp/academics/
normalized-zebre-ext_wcsp.wbo
PARTIAL-SMALLINT-LIN 115 460 437 1 1 1 437 437 23 0 1 5 1 1 6 3 0 0 0 0 dfefad7e9fca834da79a456032de5db6
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
PARTIAL-SMALLINT-LIN 500 3069 2944 737 1 1 2944 2944 125 0 2 4 1 1 5 3 0 0 0 0 b95440184c2619269a303a66296dd7fe
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-dsjc125-1-5_wcsp.wbo
PARTIAL-SMALLINT-LIN 625 3805 3680 737 1 1 3680 3680 125 0 2 5 1 1 6 3 0 0 0 0 1e03c0838cb45b8ff7a074bb8c15e2b5
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-3_wcsp.wbo
PARTIAL-SMALLINT-LIN 90 273 243 82 1 1 243 243 30 0 2 3 1 1 4 3 0 0 0 0 531d8636127ef9c1ca088d2ef0ec4c38
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-4_wcsp.wbo
PARTIAL-SMALLINT-LIN 120 354 324 82 1 1 324 324 30 0 2 4 1 1 5 3 0 0 0 0 de59a4d263badb761d8b1cfdb0f0d5d5
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-5_wcsp.wbo
PARTIAL-SMALLINT-LIN 150 435 405 82 1 1 405 405 30 0 2 5 1 1 6 3 0 0 0 0 d1c3accd983cc55f3458e6ff2209f659
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-6_wcsp.wbo
PARTIAL-SMALLINT-LIN 180 516 486 82 1 1 486 486 30 0 2 6 1 1 7 3 0 0 0 0 f90a27dc84ea26cc1e1bd524595c9b49
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-2_wcsp.wbo
PARTIAL-SMALLINT-LIN 80 196 156 79 1 1 156 156 40 0 2 2 1 1 3 2 0 0 0 0 dc0207dd780e8486ac4fdb37fec549e2
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-3_wcsp.wbo
PARTIAL-SMALLINT-LIN 120 274 234 79 1 1 234 234 40 0 2 3 1 1 4 3 0 0 0 0 68a0eeb33c9e68aad96fcdb3b1335b2c
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-4_wcsp.wbo
PARTIAL-SMALLINT-LIN 160 352 312 79 1 1 312 312 40 0 2 4 1 1 5 3 0 0 0 0 ff643f80fd79638e6a5d4510c35e01a7
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-5_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 430 390 79 1 1 390 390 40 0 2 5 1 1 6 3 0 0 0 0 3adb1cf886c476e86878515a70ec6d12
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-6_wcsp.wbo
PARTIAL-SMALLINT-LIN 240 508 468 79 1 1 468 468 40 0 2 6 1 1 7 3 0 0 0 0 18543199df75078b209bc6d15241fbf4
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-le450-5a-2_wcsp.wbo
PARTIAL-SMALLINT-LIN 900 11878 11428 5715 1 1 11428 11428 450 0 2 2 1 1 3 2 0 0 0 0 f22a0f0686559d8ded0c30a6073a8ba7
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-le450-5a-3_wcsp.wbo
PARTIAL-SMALLINT-LIN 1350 17592 17142 5715 1 1 17142 17142 450 0 2 3 1 1 4 3 0 0 0 0 72c9ce0449d9d860fc68cf7a2819c6b0
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-le450-5a-4_wcsp.wbo
PARTIAL-SMALLINT-LIN 1800 23306 22856 5715 1 1 22856 22856 450 0 2 4 1 1 5 3 0 0 0 0 2fe66c717d74f1b0f598aebf3623bd17
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-le450-5a-5_wcsp.wbo
PARTIAL-SMALLINT-LIN 2250 29020 28570 5715 1 1 28570 28570 450 0 2 5 1 1 6 3 0 0 0 0 821044947071ea4d556d5ba9ce1f8458
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-myciel5g-3_wcsp.wbo
PARTIAL-SMALLINT-LIN 141 755 708 237 1 1 708 708 47 0 2 3 1 1 4 3 0 0 0 0 2db150696fc8aa7bc9f51554db7714aa
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-myciel5g-4_wcsp.wbo
PARTIAL-SMALLINT-LIN 188 991 944 237 1 1 944 944 47 0 2 4 1 1 5 3 0 0 0 0 3fb8f81d652630b13b866ff5b3a4bf01
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-myciel5g-5_wcsp.wbo
PARTIAL-SMALLINT-LIN 235 1227 1180 237 1 1 1180 1180 47 0 2 5 1 1 6 3 0 0 0 0 02dbb62de02783c13bf2d3c63ea9332f
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-myciel5g-6_wcsp.wbo
PARTIAL-SMALLINT-LIN 282 1463 1416 237 1 1 1416 1416 47 0 2 6 1 1 7 3 0 0 0 0 da787cbafe516b136b04c595f8c05f3f
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-queen5-5-3_wcsp.wbo
PARTIAL-SMALLINT-LIN 75 505 480 161 1 1 480 480 25 0 2 3 1 1 4 3 0 0 0 0 3af6143b2c580af9e4edcedcd162c161
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-queen5-5-4_wcsp.wbo
PARTIAL-SMALLINT-LIN 100 665 640 161 1 1 640 640 25 0 2 4 1 1 5 3 0 0 0 0 aaeffaeae7d7089614c30e01f22ee722
/PARTIAL-SMALLINT-LIN/
wcsp/coloring/
normalized-queen5-5-5_wcsp.wbo
PARTIAL-SMALLINT-LIN 125 825 800 161 1 1 800 800 25 0 2 5 1 1 6 3 0 0 0 0 96144a43849e0273df3ac1469a9c5f46
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf0432-007_ext.wbo
PARTIAL-SMALLINT-LIN 2080 4708 3668 3669 1 1 3668 3668 1040 0 1 6 5 3 11 4 0 0 0 0 867e1af16b374972f2da5c6cdee1b8f0
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-bf2670-001_ext.wbo
PARTIAL-SMALLINT-LIN 2786 4827 3434 3435 1 1 3434 3434 1393 0 1 5 4 3 9 4 0 0 0 0 8095d3cb426c703d90abfcd21e947104
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois100_ext.wbo
PARTIAL-SMALLINT-LIN 600 1100 800 801 1 1 800 800 300 0 2 3 2 2 5 3 0 0 0 0 f32f9fbbe8d0be7126e44da0da47de41
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois20_ext.wbo
PARTIAL-SMALLINT-LIN 120 220 160 161 1 1 160 160 60 0 2 3 2 2 5 3 0 0 0 0 dff91de96e9fbab56b73faa61f856d02
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois21_ext.wbo
PARTIAL-SMALLINT-LIN 126 231 168 169 1 1 168 168 63 0 2 3 2 2 5 3 0 0 0 0 31cea2a06a27710d7fa5c516fcdc9aae
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois22_ext.wbo
PARTIAL-SMALLINT-LIN 132 242 176 177 1 1 176 176 66 0 2 3 2 2 5 3 0 0 0 0 b5562b63e22c825abae2b216b18049c8
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois23_ext.wbo
PARTIAL-SMALLINT-LIN 138 253 184 185 1 1 184 184 69 0 2 3 2 2 5 3 0 0 0 0 1e4741c2419080a5586a4c8ec56b7447
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois24_ext.wbo
PARTIAL-SMALLINT-LIN 144 264 192 193 1 1 192 192 72 0 2 3 2 2 5 3 0 0 0 0 d95d50ba8d1bdae11ba3842427c410b2
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois25_ext.wbo
PARTIAL-SMALLINT-LIN 150 275 200 201 1 1 200 200 75 0 2 3 2 2 5 3 0 0 0 0 02919f0a1a07fbe3a6686539defb1cd5
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois26_ext.wbo
PARTIAL-SMALLINT-LIN 156 286 208 209 1 1 208 208 78 0 2 3 2 2 5 3 0 0 0 0 e578c08d6801e291bb18ac58eed1eac5
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois27_ext.wbo
PARTIAL-SMALLINT-LIN 162 297 216 217 1 1 216 216 81 0 2 3 2 2 5 3 0 0 0 0 536f2d30cc66221c102847c9f3cad7cf
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois28_ext.wbo
PARTIAL-SMALLINT-LIN 168 308 224 225 1 1 224 224 84 0 2 3 2 2 5 3 0 0 0 0 b6568e4798e05576d2de658e8f6eec3d
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois29_ext.wbo
PARTIAL-SMALLINT-LIN 174 319 232 233 1 1 232 232 87 0 2 3 2 2 5 3 0 0 0 0 4a4f19306e34a875bfa48716b2857423
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois30_ext.wbo
PARTIAL-SMALLINT-LIN 180 330 240 241 1 1 240 240 90 0 2 3 2 2 5 3 0 0 0 0 21446dfb16098e5d1884d4f09afe5266
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-dubois50_ext.wbo
PARTIAL-SMALLINT-LIN 300 550 400 401 1 1 400 400 150 0 2 3 2 2 5 3 0 0 0 0 8580bccfbab2087d6e1d511ee4dd53f1
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_25_ext.wbo
PARTIAL-SMALLINT-LIN 300 550 400 401 1 1 400 400 150 0 2 3 2 2 5 3 0 0 0 0 365904b3d99ce590f30201f621420ac3
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_40_ext.wbo
PARTIAL-SMALLINT-LIN 300 550 400 401 1 1 400 400 150 0 2 3 2 2 5 3 0 0 0 0 0ff77ac8423d8f0c8431956bf6b828bc
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_60_ext.wbo
PARTIAL-SMALLINT-LIN 300 550 400 401 1 1 400 400 150 0 2 3 2 2 5 3 0 0 0 0 f939eb835e2b068b963e7deaef5cf006
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_75_ext.wbo
PARTIAL-SMALLINT-LIN 300 550 400 401 1 1 400 400 150 0 2 3 2 2 5 3 0 0 0 0 1c30e07d16d18b0cca06c3c199bd8fd0
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_25_ext.wbo
PARTIAL-SMALLINT-LIN 120 220 160 161 1 1 160 160 60 0 2 3 2 2 5 3 0 0 0 0 a526a5b61d0daa786e78ce539a30baa4
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_40_ext.wbo
PARTIAL-SMALLINT-LIN 120 220 160 161 1 1 160 160 60 0 2 3 2 2 5 3 0 0 0 0 46bf37fea419e62f284d6c24e5a85c87
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_60_ext.wbo
PARTIAL-SMALLINT-LIN 120 220 160 161 1 1 160 160 60 0 2 3 2 2 5 3 0 0 0 0 3ec0f85e890f8df2893de90219d1f3ef
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret60_75_ext.wbo
PARTIAL-SMALLINT-LIN 120 220 160 161 1 1 160 160 60 0 2 3 2 2 5 3 0 0 0 0 c20bb26c743060b7127589d532576637
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa0432-003_ext.wbo
PARTIAL-SMALLINT-LIN 870 1462 1027 1028 1 1 1027 1027 435 0 1 5 4 3 9 4 0 0 0 0 fd0201a3ae392a9c0d49bdf251bbec0c
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-ssa2670-141_ext.wbo
PARTIAL-SMALLINT-LIN 1972 3301 2315 2316 1 1 2315 2315 986 0 1 5 4 3 9 4 0 0 0 0 6ee94b597b3a6e422f7a3f5959080317
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh01_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 14 13 4 27 5 0 0 0 0 dc9398e8d8662385aed113468e487865
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh04_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 11 10 4 21 5 0 0 0 0 54ef51abb9454409d6f66c5b853cdf79
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 11 10 4 21 5 0 0 0 0 6d863641d8b2b772fe5ea25b86285712
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 10 9 4 19 5 0 0 0 0 124b6775b7bb4e390bc62510a681a702
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 10 9 4 19 5 0 0 0 0 f2d449aa8c80edec7a2d4cb4a780c49d
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh10_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 11 10 4 21 5 0 0 0 0 401aade47f990d36319fcf6fc2a74e2a
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 11 10 4 21 5 0 0 0 0 540e5098c207f1245411172896d943a2
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 11 10 4 21 5 0 0 0 0 3100ea9ba7746ae86daacced189e255b
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 11 10 4 21 5 0 0 0 0 a9c1b78c2cafd61259a4392acdb09fa2
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh15_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 11 10 4 21 5 0 0 0 0 415715e3de5713a6aca23e12a1a413cb
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh16_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 11 10 4 21 5 0 0 0 0 8941aeee87a1a646f79f1fa97035d3b2
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh18_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 11 10 4 21 5 0 0 0 0 11b5917216c9682d33b4eac8f024a9c6
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh19_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 950 850 420926 1 1000 420925 850 100 0 2 11 10 4 21 5 0 0 0 0 af72756a7b8194161c8db176c46da286
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 11 10 4 21 5 0 0 0 0 542e56009f24e88bce5dd1146eaa3ca2
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh205_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 11 10 4 21 5 0 0 0 0 dcd6541236cc8e3c8ecb4a3e0452a499
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh208_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 11 10 4 21 5 0 0 0 0 bf55ab5b50211f096e62edcb64c4bf57
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh210_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 10 9 4 19 5 0 0 0 0 208e691d0f47cfa792c689161068f479
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh211_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 11 10 4 21 5 0 0 0 0 b50e414b5ae2abd5c7b876bc50645ba2
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh212_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 11 10 4 21 5 0 0 0 0 89498e96b82f9b6ac0ac75bbe7337aa5
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 11 10 4 21 5 0 0 0 0 7b7f899ec609c9207642e3bd82d991a6
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh215_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 11 10 4 21 5 0 0 0 0 f6fb73f0a02abbaaed6c5aa05fa83af7
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh217_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 11 10 4 21 5 0 0 0 0 21c59077deccfec4231c8e158229757c
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh218_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 11 10 4 21 5 0 0 0 0 e9977e481ed86e7573c7f989943259e1
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh220_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 900 800 394239 1 1000 394238 800 100 0 2 11 10 4 21 5 0 0 0 0 862c57b9a103de4e976a73e17aca1258
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 1000 900 444855 1 1000 444854 900 100 0 2 10 9 4 19 5 0 0 0 0 8b86218007c145a9ce1787d0bbf0d30b
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh305_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 1000 900 444855 1 1000 444854 900 100 0 2 11 10 4 21 5 0 0 0 0 8285b15ee2c0064deae9a0e09e679565
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh306_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 1000 900 444855 1 1000 444854 900 100 0 2 11 10 4 21 5 0 0 0 0 066a913179e37120802f974ea952f3b3
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 1000 900 444855 1 1000 444854 900 100 0 2 11 10 4 21 5 0 0 0 0 944c5e420229bce90a366c23629af03a
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh309_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 1000 900 444855 1 1000 444854 900 100 0 2 11 10 4 21 5 0 0 0 0 9ccb130e1efb7ba02e23bcfacb5f0a47
/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh310_wcsp.wbo
PARTIAL-SMALLINT-LIN 200 1000 900 444855 1 1000 444854 900 100 0 2 11 10 4 21 5 0 0 0 0 9767c89dfda19e08df7810305b3128ba
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-connell_wcsp.wbo
PARTIAL-SMALLINT-LIN 72 1151 1139 8 1 8 8867 1139 12 0 1 6 2 2 7 3 0 0 0 0 20c28e16897beaca59805955de4cf286
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/
normalized-simple_wcsp.wbo
PARTIAL-SMALLINT-LIN 50 1541 1536 5 1 5 7536 1536 5 0 1 10 2 2 11 4 0 0 0 0 4be5f91704585a073d6f716677ebc425
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/PARTIAL-SMALLINT-LIN/wcsp/
pedigree/normalized-sobel_wcsp.wbo
PARTIAL-SMALLINT-LIN 42 712 705 4 1 4 2775 705 7 0 1 6 2 2 7 3 0 0 0 0 3ed368cc3aefd88ec0351285b41f8c7c
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-404_wcsp.wbo
PARTIAL-SMALLINT-LIN 258 1137 1037 164 1 164 153831 1037 100 0 1 4 2 2 5 3 0 0 0 0 2413d46290c8b1663f08f424871383e0
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-54_wcsp.wbo
PARTIAL-SMALLINT-LIN 192 546 479 108 1 108 44603 479 67 0 1 4 2 2 5 3 0 0 0 0 5da0482fa5c9a9d0a00dab78a5ff7041
/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-8_wcsp.wbo
PARTIAL-SMALLINT-LIN 24 33 25 13 1 13 233 25 8 0 1 4 1 1 5 3 0 0 0 0 620647ab5d08c7ea7dd9c7b0da45f6e8
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 19944 50842 50842 2571036 1 100 2571035 43898 0 6944 1 19 641 10 2174 12 0 0 0 0 878bbda538d22bb5879b300c70eb591d
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 81558 240469 240469 12159256 1 100 12159255 235865 0 4604 1 13 68 7 257 9 0 0 0 0 472f23c3fe9900c3fa5a2fb1a63f7a4f
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 87751 254772 254772 12879678 1 100 12879677 247060 0 7712 1 15 130 8 512 10 0 0 0 0 bf7f2a0d5b39c25ae3d2aae3224702e3
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 23837 67568 67568 3417467 1 100 3417466 64398 0 3170 1 13 66 7 256 9 0 0 0 0 af77e5b9f76b81b38ad3f17f480b54ba
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 8937 26319 26319 1332841 1 100 1332840 26047 0 272 1 9 17 5 62 6 0 0 0 0 ae1c71418dfe9cc95c50a98d4ee97169
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv12.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 25800 76699 76699 3869873 1 100 3869872 76319 0 380 1 9 17 5 62 6 0 0 0 0 1e9b47bdbf596a13d47137d20a2b20cd
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv14.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 62704 187107 187107 9452684 1 100 9452683 186603 0 504 1 11 33 6 126 7 0 0 0 0 3a86913522c106cb1fc25a782e5ea662
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 7578 21401 21401 1076192 1 100 1076191 20501 0 900 1 11 33 6 126 7 0 0 0 0 0ad575c7f0542ec26b1c3f9931b01c05
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 9051 25833 25833 1308179 1 100 1308178 24941 0 892 1 11 33 6 126 7 0 0 0 0 e9bc5c880cc124a3ebcf869858f0227b
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf10.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 55066 160619 160619 8104936 1 100 8104935 156587 0 4032 1 13 67 7 256 9 0 0 0 0 79618a6a5352afdd0e3f48d1f4de265d
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf9.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 20445 58444 58444 2944721 1 100 2944720 56420 0 2024 1 13 65 7 254 8 0 0 0 0 6a96f81305bc31f40e2a7aa9c05b46b1
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 21380 60984 60984 3073241 1 100 3073240 58828 0 2156 1 13 73 7 262 9 0 0 0 0 a31a9948f18584eba3770008abd12676
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 49621 138346 138346 6988328 1 100 6988327 127390 0 10956 1 15 129 8 510 9 0 0 0 0 6ff5f6256885ce59e20b34ff1a5caecf
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 109757 313451 313451 15797213 1 100 15797212 295929 0 17522 1 15 130 8 512 10 0 0 0 0 c79e7c2e90b077e3e4741aedcc3e19d9
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 77106 218779 218779 11044627 1 100 11044626 205559 0 13220 1 15 129 8 510 9 0 0 0 0 c793e6de080a97fe48f7abfaf5144445
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 18069 52475 52475 2649679 1 100 2649678 51555 0 920 1 11 39 6 132 8 0 0 0 0 703926ff2f0fefe39204d7923d5e722e
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf9.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 11476 33090 33090 1665779 1 100 1665778 32382 0 708 1 11 33 6 126 7 0 0 0 0 dc71b65304b6880f364f240c3456eef4
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 9071 25914 25914 1307646 1 100 1307645 25190 0 724 1 11 39 6 132 8 0 0 0 0 ba25e54d46ac7b60d34fc2480b61617d
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 20605 59851 59851 3025900 1 100 3025899 58675 0 1176 1 11 41 6 134 8 0 0 0 0 34b825c7826429a46ba2a8e3ee61f2f7
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag14.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 40605 118930 118930 6022485 1 100 6022484 117190 0 1740 1 13 65 7 254 8 0 0 0 0 5b4315c5a5371447c07276a6635f9ec4
/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl--soft-0-100-0.wbo
SOFT-BIGINT-LIN 84836 245062 245062 12371696 1 100 12371695 233598 0 11464 1 15 129 8 510 9 0 0 0 0 05589352ff1a7a2adf565a7e5675df6d
/SOFT-BIGINT-LIN/PB10/oliveras/
j120/
normalized-j12013_1-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 29282 92908 92908 4698532 1 100 4698531 92428 0 480 1 93 32 6 554 10 0 0 0 0 d6ce3ef474957eba462e4a8661dbc0f2
/SOFT-BIGINT-LIN/PB10/oliveras/
j120/
normalized-j12015_3-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 21054 66352 66352 3337053 1 100 3337052 66008 0 344 1 93 46 6 599 10 0 0 0 0 038b251452359c1f04349e7ac28f0fb8
/SOFT-BIGINT-LIN/PB10/oliveras/
j120/
normalized-j12023_3-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 23958 79333 79333 4012486 1 100 4012485 78941 0 392 1 38 22 5 225 8 0 0 0 0 9c7625d2f7c9a7775ed803b0b29af096
/SOFT-BIGINT-LIN/PB10/oliveras/
j120/
normalized-j12026_5-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 32912 109848 109848 5544140 1 100 5544139 109308 0 540 1 66 18 5 428 9 0 0 0 0 ecd8fea186a34ed97c8fed41108d4b7d
/SOFT-BIGINT-LIN/PB10/oliveras/
j120/
normalized-j12027_7-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 27588 91561 91561 4612525 1 100 4612524 91109 0 452 1 66 21 5 415 9 0 0 0 0 4d8f189222a566168f32ddd4c238046d
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-BIGINT-LIN/PB10/oliveras/
j120/
normalized-j12041_4-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 28072 97590 97590 4929864 1 100 4929863 97130 0 460 1 36 13 4 231 8 0 0 0 0 14c1785b94a37a1f4c31a89d52f68595
/SOFT-BIGINT-LIN/PB10/oliveras/
j120/
normalized-j1205_1-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 22264 70239 70239 3558921 1 100 3558920 69875 0 364 1 34 28 5 210 8 0 0 0 0 528ce3364f1db93944933a8c4cbb85cb
/SOFT-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j6010_2-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 7564 23412 23412 1189017 1 100 1189016 23168 0 244 1 50 44 6 333 9 0 0 0 0 bab41e43f2db95df9a83ceaff879d60f
/SOFT-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j6027_4-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 7320 23840 23840 1196604 1 100 1196603 23604 0 236 1 48 44 6 309 9 0 0 0 0 bad6b942827d05e4894b50e696bc9e51
/SOFT-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j6030_9-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 11956 39426 39426 1992515 1 100 1992514 39038 0 388 1 60 33 6 416 9 0 0 0 0 def010b3798742afc072cdcfd77b8db4
/SOFT-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j603_2-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 8418 26241 26241 1318846 1 100 1318845 25969 0 272 1 18 23 5 119 7 0 0 0 0 018c5f02135e123f35ab38e0b009df02
/SOFT-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j6033_2-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 12200 42056 42056 2126290 1 100 2126289 41660 0 396 1 18 13 4 116 7 0 0 0 0 760a13c53343c1a6f431e5ddf8292a4c
/SOFT-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j605_10-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 9638 30220 30220 1517847 1 100 1517846 29908 0 312 1 38 20 5 254 8 0 0 0 0 aa131aa05ae65be44cbf3bf42f4ef3fc
/SOFT-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j605_1-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 9272 29174 29174 1476087 1 100 1476086 28874 0 300 1 35 18 5 231 8 0 0 0 0 ae92209a1af7dde1057836f859969a25
/SOFT-BIGINT-LIN/PB10/
oliveras/j60/
normalized-j606_1-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 7320 22689 22689 1139170 1 100 1139169 22453 0 236 1 32 31 5 220 8 0 0 0 0 c217e37672ee06a6aab331743e45a145
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9010_6-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 16744 52975 52975 2678330 1 100 2678329 52611 0 364 1 72 41 6 413 9 0 0 0 0 7d2732a3b538b2675e9466f6cb41805d
/SOFT-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9012_2-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 12922 40512 40512 2047706 1 100 2047705 40232 0 280 1 69 102 7 504 9 0 0 0 0 8bd2f65235f3af45c97c31b97ecfa9a1
/SOFT-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9014_1-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 16198 50975 50975 2569553 1 100 2569552 50623 0 352 1 90 51 6 588 10 0 0 0 0 e41310c54b1dfe1512781e3f45287135
/SOFT-BIGINT-LIN/PB10/oliveras/
j90/
normalized-j9015_10-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 14196 44553 44553 2254044 1 100 2254043 44245 0 308 1 90 66 7 565 10 0 0 0 0 8a2cbb62b727a1b33685f0cffed53856
/SOFT-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9028_2-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 13832 45398 45398 2287724 1 100 2287723 45098 0 300 1 73 68 7 479 9 0 0 0 0 4d1c58660c75ed95d3f2b5267338b439
/SOFT-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j903_10-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 11830 36862 36862 1867680 1 100 1867679 36606 0 256 1 29 36 6 203 8 0 0 0 0 79706c02bb02b1a2f2bd4df3be7a3f2b
/SOFT-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9035_1-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 17836 61428 61428 3090764 1 100 3090763 61040 0 388 1 25 28 5 185 8 0 0 0 0 94d0c8f18eb5af264ab651e4b4281462
/SOFT-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9039_3-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 15106 51849 51849 2607570 1 100 2607569 51521 0 328 1 50 42 6 335 9 0 0 0 0 b6492647a9b6db4c84476feb45378479
/SOFT-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j9048_1-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 15106 51743 51743 2612877 1 100 2612876 51415 0 328 1 90 105 7 658 10 0 0 0 0 0cba3d1e27d8fa6d3faa677b5a7dc4e3
/SOFT-BIGINT-LIN/PB10/
oliveras/j90/
normalized-j907_8-unsat--soft-0-100-0.wbo
SOFT-BIGINT-LIN 10920 34033 34033 1712101 1 100 1712100 33797 0 236 1 50 60 6 345 9 0 0 0 0 d6af58edf94a1e2fbd31ded996b97e85
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 220 42 42 2167 1 97 2166 22 20 0 10 11 1 1 12 4 0 0 0 0 9e134c91eb84e264e2a3479232b34054
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 300 50 50 2726 1 98 2725 30 20 0 10 15 1 1 16 5 0 0 0 0 dbde182a3659a82e6c4ef24ee1922e32
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 400 60 60 2653 1 98 2652 40 20 0 10 20 1 1 21 5 0 0 0 0 8d28474a5cb37d0277ef3e3fb6ddbee0
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 480 62 62 2961 1 97 2960 32 30 0 15 16 1 1 17 5 0 0 0 0 bec517e59b6734cb4022e119f1959006
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 600 70 70 3292 1 97 3291 40 30 0 15 20 1 1 21 5 0 0 0 0 fcf2074312786880370cecd0374d7bf5
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 750 80 80 3814 1 97 3813 50 30 0 15 25 1 1 26 5 0 0 0 0 e8a78e2fe28a365664c9883ac99e1f12
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 840 82 82 4216 1 98 4215 42 40 0 20 21 1 1 22 5 0 0 0 0 a882a0978da6ad149ec004c2c9449010
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 1000 90 90 4573 1 98 4572 50 40 0 20 25 1 1 26 5 0 0 0 0 cad14126bbe64a82703c3144c4e347cd
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 1200 100 100 4887 1 99 4886 60 40 0 20 30 1 1 31 5 0 0 0 0 ccc8229e0445e5a3e6fad9172f1ab48d
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 1860 122 122 5869 1 99 5868 62 60 0 30 31 1 1 32 6 0 0 0 0 67b20cf3e4322ffbf404f0fb862124f3
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2100 130 130 6361 1 99 6360 70 60 0 30 35 1 1 36 6 0 0 0 0 4968680d12488161e407b87be5e33fb1
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2400 140 140 7122 1 99 7121 80 60 0 30 40 1 1 41 6 0 0 0 0 68a136cd2642dd27a3fdbf065e2a5463
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2520 142 142 7086 1 99 7085 72 70 0 35 36 1 1 37 6 0 0 0 0 02fb8a7818433044fe5d5a9a278599da
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2800 150 150 7477 1 99 7476 80 70 0 35 40 1 1 41 6 0 0 0 0 72248c5a2862af1e3cf852420a7ca986
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3150 160 160 8094 1 99 8093 90 70 0 35 45 1 1 46 6 0 0 0 0 95c5d91e3a0ca992efaa2a36118a1c06
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3280 162 162 8163 1 99 8162 82 80 0 40 41 1 1 42 6 0 0 0 0 6ff912dc2f2e680571fd49caa2fcd856
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3600 170 170 7974 1 99 7973 90 80 0 40 45 1 1 46 6 0 0 0 0 6dc14d51c0879b2054c8b72501c6facc
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 4000 180 180 9197 1 99 9196 100 80 0 40 50 1 1 51 6 0 0 0 0 4abf964a0a4662f4172f30dfa55a3bc2
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 5100 202 202 10037 1 100 10036 102 100 0 50 51 1 1 52 6 0 0 0 0 b6d6940e1e32d980df9f418447a42cea
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 5500 210 210 10479 1 100 10478 110 100 0 50 55 1 1 56 6 0 0 0 0 6f81f937ed71e1dab8ff48fcb963c1e2
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/
aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 6000 220 220 11307 1 99 11306 120 100 0 50 60 1 1 61 6 0 0 0 0 32809f4710e615fcaa140bf3e08c6c73
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 137946 1 100 137945 2684 22 1 2 110 25 5 741 10 0 0 0 0 e3f6753fad3114c64a2e1439cb62c0aa
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135641 1 100 135640 2684 22 1 2 110 25 5 671 10 0 0 0 0 aacdee42f12f02195344334122667810
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 137946 1 100 137945 2684 22 1 2 110 25 5 625 10 0 0 0 0 fe10d6822f5aa7d11d2a88b2406ba570
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135715 1 100 135714 2684 22 1 2 110 25 5 665 10 0 0 0 0 200f179ceb6a172fc8d81952e96f0c84
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135280 1 100 135279 2684 22 1 2 110 25 5 687 10 0 0 0 0 78d8e4512631586bbdc844ad983c3b47
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 137245 1 100 137244 2684 22 1 2 110 25 5 745 10 0 0 0 0 7333324480eb5267e10bc3c9063685b0
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 136368 1 100 136367 2684 22 1 2 110 25 5 727 10 0 0 0 0 ca8c0bf53108e4446976d449224bf298
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 136614 1 100 136613 2684 22 1 2 110 25 5 739 10 0 0 0 0 30e25559b2b6f1151f21e207b2f87b54
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135715 1 100 135714 2684 22 1 2 110 25 5 695 10 0 0 0 0 a56ccccf952bf820f5367d29dba24868
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 136843 1 100 136842 2684 22 1 2 110 25 5 723 10 0 0 0 0 ec85c0538058c3457da9eddcb3b315b2
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 137973 1 100 137972 2684 22 1 2 110 25 5 689 10 0 0 0 0 c0d431beb578ab67ce1970cb297cf650
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 136368 1 100 136367 2684 22 1 2 110 25 5 717 10 0 0 0 0 c90222590d839243781a638355a39a56
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 137973 1 100 137972 2684 22 1 2 110 25 5 649 10 0 0 0 0 96d1f19cba40c7363abd0128bfda9b7c
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135641 1 100 135640 2684 22 1 2 110 25 5 765 10 0 0 0 0 db6ee27e0a2875f2e81d96fef92170ce
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135865 1 100 135864 2684 22 1 2 110 25 5 705 10 0 0 0 0 504847a4e43d2b055735d72ea944fa39
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135280 1 100 135279 2684 22 1 2 110 25 5 685 10 0 0 0 0 cf389047fd441928b15b38cce26251ed
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 136368 1 100 136367 2684 22 1 2 110 25 5 801 10 0 0 0 0 5b6bb33016643c054f0ad34369984077
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 136843 1 100 136842 2684 22 1 2 110 25 5 669 10 0 0 0 0 e639daae290163b8abe4f9e3cf3dc11c
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 137245 1 100 137244 2684 22 1 2 110 25 5 721 10 0 0 0 0 0bc882feda752f8542fa470cf04f3d53
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135280 1 100 135279 2684 22 1 2 110 25 5 711 10 0 0 0 0 6afd7eef78419a10c166bbe4bb320384
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135641 1 100 135640 2684 22 1 2 110 25 5 723 10 0 0 0 0 ebe664bdb6d24f27290f0bb7f023aa5a
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 138262 1 100 138261 2684 22 1 2 110 25 5 749 10 0 0 0 0 14bc8800f159591dc4e79c8dbc089eb4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135641 1 100 135640 2684 22 1 2 110 25 5 761 10 0 0 0 0 a22634c1977478f126d9df874c90c256
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 136180 1 100 136179 2684 22 1 2 110 25 5 661 10 0 0 0 0 2d690d91fe5f00c81c2e61f07f4a896b
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 138262 1 100 138261 2684 22 1 2 110 25 5 641 10 0 0 0 0 85ba7bcc847457eeeb822d6fc8af8950
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 137946 1 100 137945 2684 22 1 2 110 25 5 737 10 0 0 0 0 d3ccf217ec482c2d8ac120ae50401a4a
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 134314 1 100 134313 2684 22 1 2 110 25 5 655 10 0 0 0 0 a4c39a3f1b80365b8ad34a89f93fc523
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 135865 1 100 135864 2684 22 1 2 110 25 5 695 10 0 0 0 0 ebbce1c4489027f4644c8b5f9031d297
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 136625 1 100 136624 2684 22 1 2 110 25 5 707 10 0 0 0 0 f06e3169df6f7eed4900beba2f9ca344
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 231 2707 2707 134314 1 100 134313 2684 22 1 2 110 25 5 641 10 0 0 0 0 68083219a398085883a8cf7e46688b9f
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1298 11 0 0 0 0 2001343def6115cfc261dcde547cf23c
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5180 1 99 5179 30 70 1 2 169 38 6 1145 11 0 0 0 0 7fd7081013808377c58c0d6e2ccd3b26
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1188 11 0 0 0 0 36573e20f94a233c9b9c8f8613b15785
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1247 11 0 0 0 0 8d3a0dfad59028a8b475e3430d41a204
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1147 11 0 0 0 0 1b4d108d74bb6ee9510c6f55f0fde657
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1320 11 0 0 0 0 e433b9b816c291c8bf4fd4860d096bb6
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1228 11 0 0 0 0 4e22340b84333f0476155fff0e8b142d
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5034 1 98 5033 30 70 1 2 169 38 6 1221 11 0 0 0 0 6809fb2fcff82744047966c4438af278
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1209 11 0 0 0 0 c968c5c5686ce999c268d6dcbb002538
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1248 11 0 0 0 0 366069b8ece10aa1f9438c760e1be90c
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5034 1 98 5033 30 70 1 2 169 38 6 1231 11 0 0 0 0 e43f58a024ab39f0c7f396fa22784bca
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5034 1 98 5033 30 70 1 2 169 38 6 1229 11 0 0 0 0 da988fefd96faf0ea045ffc9072a875f
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1243 11 0 0 0 0 bf9471406d44094ab08e66793b6b5d92
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5034 1 98 5033 30 70 1 2 169 38 6 1327 11 0 0 0 0 a2fcadde47f67cca69c2b162b15fa373
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5180 1 99 5179 30 70 1 2 169 38 6 1184 11 0 0 0 0 d4e6776e3ea6e9cf4cf1ebaa2f1d5c78
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5180 1 99 5179 30 70 1 2 169 38 6 1247 11 0 0 0 0 359f8e8e206a8ecfac2e3b6d9e7369bc
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5034 1 98 5033 30 70 1 2 169 38 6 1139 11 0 0 0 0 935e196b2e49c7ace79e7b55afc624f4
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5034 1 98 5033 30 70 1 2 169 38 6 1239 11 0 0 0 0 fcf24b85e5d55a97f5b0cb315ea68e2b
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1199 11 0 0 0 0 0635b24c475a73287c5e15439a6c459f
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5034 1 98 5033 30 70 1 2 169 38 6 1200 11 0 0 0 0 dbf89d35013c2bab398211fa15264c93
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1248 11 0 0 0 0 86727f41c04b3a3cda96c180ef39a0ad
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5034 1 98 5033 30 70 1 2 169 38 6 1228 11 0 0 0 0 f742a865179589dbb1861a007b830f45
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5034 1 98 5033 30 70 1 2 169 38 6 1192 11 0 0 0 0 2cb7ef9d897234b1b8519dd953c1d1e7
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1230 11 0 0 0 0 eefb750387a2df9ca152a94906c66d6e
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1217 11 0 0 0 0 2d2bf2958836971f0db370fff49dd93d
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5180 1 99 5179 30 70 1 2 169 38 6 1261 11 0 0 0 0 51c830b3e31ed97e6a2590ce9584f929
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5034 1 98 5033 30 70 1 2 169 38 6 1240 11 0 0 0 0 08393a4a0fbe261470f6b3451acbb15e
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1231 11 0 0 0 0 033c12179045731c4fd222e5d353b2b2
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 5395 1 100 5394 30 70 1 2 169 38 6 1220 11 0 0 0 0 3f56278c0c7f2898f6b9e11f0d13a6fa
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 169 101 101 4944 1 98 4943 30 70 1 2 169 38 6 1225 11 0 0 0 0 769102c4365831847599c548efd52eec
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 10100 201 201 9959 1 100 9958 101 100 0 100 101 1 1 102 7 0 0 0 0 0a60736b8b79adacf122a04a37158c9c
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 10500 205 205 10882 1 100 10881 105 100 0 100 105 1 1 106 7 0 0 0 0 74ceb63f540b1c0e7b9983b4b6436598
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 110 21 21 827 1 88 826 11 10 0 10 11 1 1 12 4 0 0 0 0 765d2479315862ebcb627a16e181d11d
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 150 25 25 979 1 88 978 15 10 0 10 15 1 1 16 5 0 0 0 0 5c6d98aba4f4f2cf2db8cd0c78364d4c
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 420 41 41 1724 1 99 1723 21 20 0 20 21 1 1 22 5 0 0 0 0 d3c2a58e2c21bd8565bd5528336ef7ed
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 500 45 45 1950 1 99 1949 25 20 0 20 25 1 1 26 5 0 0 0 0 3ef623ad54bc9b8a55f5198a1c4abc02
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 930 61 61 3358 1 97 3357 31 30 0 30 31 1 1 32 6 0 0 0 0 168e81c26eea0b6e6155adb2f3f4d195
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 1050 65 65 3654 1 99 3653 35 30 0 30 35 1 1 36 6 0 0 0 0 169186b65db4bc0391cc8aa4ed776345
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 1640 81 81 4603 1 99 4602 41 40 0 40 41 1 1 42 6 0 0 0 0 19fe712a4f6ee0b978bb364f3985a5e4
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 1800 85 85 4848 1 99 4847 45 40 0 40 45 1 1 46 6 0 0 0 0 12a88866bbd50b724bb180a8f6ce160e
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2550 101 101 5465 1 99 5464 51 50 0 50 51 1 1 52 6 0 0 0 0 cff5777a0058b9c867497918edde4ff2
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2750 105 105 5686 1 99 5685 55 50 0 50 55 1 1 56 6 0 0 0 0 cab96e9f0187cae75501af3130753b71
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3660 121 121 5857 1 100 5856 61 60 0 60 61 1 1 62 6 0 0 0 0 01a077d3621ba64f6c6e6b6c3ebb8e99
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3900 125 125 6098 1 100 6097 65 60 0 60 65 1 1 66 7 0 0 0 0 2e8bafba6181eaf32525647669a5fbcc
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 4970 141 141 7546 1 99 7545 71 70 0 70 71 1 1 72 7 0 0 0 0 60c1b790b835b31f32d3b92e41ae62ac
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 5250 145 145 7458 1 100 7457 75 70 0 70 75 1 1 76 7 0 0 0 0 3c416dfc7b9a20db215e1b491e013711
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 6480 161 161 8472 1 99 8471 81 80 0 80 81 1 1 82 7 0 0 0 0 228cdf77c38c729452a9edca6134d7b0
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 6800 165 165 7728 1 100 7727 85 80 0 80 85 1 1 86 7 0 0 0 0 4b3e4ac9b9f8acc38ac61fe906d48ca6
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 8190 181 181 8850 1 100 8849 91 90 0 90 91 1 1 92 7 0 0 0 0 dd3ef6bbe4855ee6a3bf373100fffb0f
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/
roussel/
normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 8550 185 185 9532 1 99 9531 95 90 0 90 95 1 1 96 7 0 0 0 0 4a1855bab5ee86d15b24a1b5f3713388
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-22s.smv--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 5985 15365 15365 779706 1 100 779705 14013 0 1352 1 15 165 8 546 10 0 0 0 0 97fed4a2133bff4e993c45ab3a9ac729
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-25s.smv--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 5072 12829 12829 647371 1 100 647370 11721 0 1108 1 15 165 8 546 10 0 0 0 0 241801650d5a008aecc3546be621c5b9
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 1190 3183 3183 160956 1 100 160955 3055 0 128 1 11 43 6 136 8 0 0 0 0 8107d1e691d339cac74f8b03fb8a2735
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-43s.smv--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3655 8686 8686 442262 1 100 442261 7982 0 704 1 15 158 8 539 10 0 0 0 0 ce035d98af56bba024c7eadbdc340830
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-44s.smv--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 495 940 940 46815 1 100 46814 800 0 140 1 13 68 7 257 9 0 0 0 0 4d1622885c2ebb9b79c07237f88a35bc
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-46s.smv--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 1612 3653 3653 183863 1 100 183862 3273 0 380 1 13 79 7 268 9 0 0 0 0 0a22a5bd3b4d4fcef113bc6a6d3e56aa
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 152 127 127 6297 1 100 6296 77 0 50 1 19 772 10 2305 12 0 0 0 0 77ebb6b67de6f14a142f66a247373f54
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 274 259 259 12525 1 100 12524 159 0 100 1 13 68 7 257 9 0 0 0 0 d36b5cd023115813d6df483e2bae50a2
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 237 197 197 10122 1 100 10121 123 0 74 1 19 772 10 2305 12 0 0 0 0 f0f1b4bd1941524addf8f99056f86f1e
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 719 593 593 31065 1 100 31064 371 0 222 1 19 773 10 2306 12 0 0 0 0 b1fb405af1ad97be8e8be6f605703dc4
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2913 3105 3105 157316 1 100 157315 2259 0 846 1 25 6518 13 18803 15 0 0 0 0 c66b0d06980494e69f908f826af367b4
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3618 3931 3931 199976 1 100 199975 2865 0 1066 1 25 7394 13 19679 15 0 0 0 0 089f801cecdf2ec1cd48445a7f0604a7
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2221 3050 3050 154947 1 100 154946 2330 0 720 1 19 641 10 2174 12 0 0 0 0 8cd432ce35ac43809c1c027beb7ff72a
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2355 6744 6744 341452 1 100 341451 6568 0 176 1 9 17 5 62 6 0 0 0 0 d41d4dcc01415e574abb081114a32401
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 6392 18058 18058 911376 1 100 911375 17278 0 780 1 11 33 6 126 7 0 0 0 0 25ae7044365e399485d04cd072582b8a
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf6.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 67 132 132 6582 1 100 6581 120 0 12 1 7 10 4 31 5 0 0 0 0 86c5d97f0ed50bca48960b88ee0ccb00
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 1328 3349 3349 169122 1 100 169121 3165 0 184 1 11 33 6 126 7 0 0 0 0 c12b7c7766d333e741516da691aff1b3
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 6059 16684 16684 841384 1 100 841383 15940 0 744 1 11 34 6 127 7 0 0 0 0 e93fbae592ddea3040fe1429b48d9ce6
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2152 5613 5613 284792 1 100 284791 5137 0 476 1 11 35 6 129 8 0 0 0 0 8b380a82e4776add8076b73e28ebbe59
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 4622 12569 12569 636317 1 100 636316 11753 0 816 1 11 36 6 130 8 0 0 0 0 65e5bfc23cfeb9f0d41691b20b2e7f01
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3939 10412 10412 524426 1 100 524425 9740 0 672 1 13 69 7 258 9 0 0 0 0 a305848cf761b3c7939395660924f4d7
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 1804 4931 4931 248953 1 100 248952 4707 0 224 1 9 19 5 64 7 0 0 0 0 17c8063899ee49ebb532fe8c9b769f44
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3736 10457 10457 528640 1 100 528639 10089 0 368 1 11 33 6 126 7 0 0 0 0 97204d9d3071460ca4d6ce46ec0d7b5a
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 6832 19477 19477 989271 1 100 989270 18953 0 524 1 11 33 6 126 7 0 0 0 0 daa4650c03ccc8f8b44e19f0217c9b39
/SOFT-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3249 8983 8983 454955 1 100 454954 8599 0 384 1 11 33 6 126 7 0 0 0 0 796705696da137fb7128d801ba46f418
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j301_4-unsat--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3844 11854 11854 596117 1 100 596116 11610 0 244 1 13 15 4 99 7 0 0 0 0 e3506e875c35b23efc6ab2fc4e93bb0b
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 4960 16157 16157 812826 1 100 812825 15841 0 316 1 30 19 5 201 8 0 0 0 0 850df9cd01e268299cdca754cc055f3b
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3041_4-unsat--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 4836 16649 16649 842394 1 100 842393 16341 0 308 1 26 15 4 166 8 0 0 0 0 52e7cbeb256e4943cc81a3e27d9870a4
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j3046_4-unsat--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 3968 13430 13430 682149 1 100 682148 13178 0 252 1 30 25 5 187 8 0 0 0 0 2b00d8b927b7b07d427d99ed9c18c554
Bench nameBest results
on this
instance
Main categorySub categories#variables#constr# of soft constraintstop costminimum costmaximum costsum of all costs#clauses#card. constr.#PB constr.min. constr. lengthmax. constr. lengthbiggest 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 productstotal size of different productsmd5sum
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 2728 8382 8382 422384 1 100 422383 8210 0 172 1 17 32 6 143 8 0 0 0 0 591706804da9a76ba42d2e694fd25fcb
/SOFT-SMALLINT-LIN/PB10/
oliveras/j30/
normalized-j309_10-unsat--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 5456 17015 17015 855983 1 100 855982 16667 0 348 1 26 16 5 177 8 0 0 0 0 264893132be4acdbf364be50ace73d69
/SOFT-SMALLINT-LIN/PB10/
oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo
SOFT-SMALLINT-LIN 6466 19939 19939 1003722 1 100 1003721 19731 0 208 1 19 22 5 112 7 0 0 0 0 c93eadfd598977d622635d98b523c998