PB'16 competition: WBO track: solvers results per benchmarks

Result page for benchmark
/PARTIAL-BIGINT-LIN/wcsp/pedigree/
normalized-sheep4r_wcsp.wbo

Jump to solvers results

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/pedigree/
normalized-sheep4r_wcsp.wbo
MD5SUM6de6e540477f7e35d5e4504631857538
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark344.145
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables89200
Total number of constraints5870368
Number of soft constraints5861448
Number of constraints which are clauses5861448
Number of constraints which are cardinality constraints (but not clauses)8920
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 2447
Min constraint cost 1
Max constraint cost 2447
Sum of constraints costs 14289117012
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
NaPS 1.02 (complete)4094597OPTIMUM 344.145 344.198
toysat 2016-05-02 (complete)4093211? (MO) 219 219.042
Sat4j PB 2.3.6 Res+CP PB16 (complete)4091825? (TO) 1802.07 1519.24
Sat4j PB 2.3.6 Resolution PB16 (complete)4090439Wrong Cert. 1800.09 1759.39

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

cost of falsified constraints: 2
Solution found:
-x88000 -x88001 -x88002 -x88003 -x88004 -x88005 -x88006 -x88007 x88008 -x88009 -x88010 -x88011 -x88012 -x88013 -x88014 -x88015 -x88016
-x88017 x88018 -x88019 -x88020 -x88021 -x88022 -x88023 -x88024 -x88025 -x88026 -x88027 x88028 -x88029 -x88030 -x88031 -x88032 -x88033
-x88034 -x88035 -x88036 -x88037 x88038 -x88039 -x88040 -x88041 -x88042 -x88043 -x88044 -x88045 -x88046 -x88047 x88048 -x88049 -x88050
-x88051 -x88052 -x88053 -x88054 -x88055 -x88056 -x88057 x88058 -x88059 -x88060 -x88061 -x88062 -x88063 -x88064 -x88065 -x88066 -x88067
x88068 -x88069 -x88070 -x88071 -x88072 -x88073 -x88074 -x88075 -x88076 -x88077 x88078 -x88079 -x88080 -x88081 -x88082 -x88083 -x88084
-x88085 -x88086 -x88087 x88088 -x88089 -x88090 -x88091 -x88092 -x88093 -x88094 -x88095 x88096 -x88097 -x88098 -x88099 -x88100 -x88101
-x88102 -x88103 -x88104 -x88105 -x88106 -x88107 x88108 -x88109 -x88110 -x88111 -x88112 -x88113 -x88114 -x88115 -x88116 -x88117 x88118
-x88119 -x88120 -x88121 -x88122 -x88123 -x88124 -x88125 -x88126 -x88127 x88128 -x88129 -x88130 -x88131 -x88132 -x88133 -x88134 -x88135
x88136 -x88137 -x88138 -x88139 -x88140 -x88141 -x88142 -x88143 -x88144 -x88145 -x88146 -x88147 x88148 -x88149 -x88150 -x88151 -x88152
-x88153 -x88154 -x88155 -x88156 -x88157 x88158 -x88159 -x88160 -x88161 -x88162 x88163 -x88164 -x88165 -x88166 -x88167 -x88168 -x88169
-x88170 -x88171 -x88172 -x88173 -x88174 -x88175 -x88176 -x88177 x88178 -x88179 -x88180 -x88181 -x88182 -x88183 -x88184 -x88185 x88186
-x88187 -x88188 -x88189 -x88190 -x88191 -x88192 -x88193 -x88194 -x88195 -x88196 -x88197 x88198 -x88199 -x88200 -x88201 -x88202 -x88203
-x88204 -x88205 -x88206 -x88207 x88208 -x88209 -x88210 -x88211 -x88212 -x88213 -x88214 -x88215 x88216 -x88217 -x88218 -x88219 -x88220
-x88221 -x88222 -x88223 -x88224 -x88225 x88226 -x88227 -x88228 -x88229 -x88230 -x88231 -x88232 -x88233 -x88234 -x88235 -x88236 -x88237
x88238 -x88239 -x88240 -x88241 -x88242 -x88243 -x88244 -x88245 -x88246 -x88247 x88248 -x88249 -x88250 -x88251 -x88252 -x88253 -x88254
-x88255 -x88256 -x88257 x88258 -x88259 -x88260 -x88261 -x88262 -x88263 -x88264 -x88265 x88266 -x88267 -x88268 -x88269 -x88270 -x88271
-x88272 -x88273 -x88274 -x88275 x88276 -x88277 -x88278 -x88279 -x88280 -x88281 -x88282 -x88283 -x88284 -x88285 x88286 -x88287 -x88288
-x88289 -x88290 -x88291 -x88292 -x88293 -x88294 -x88295 -x88296 -x88297 x88298 -x88299 -x88300 -x88301 -x88302 -x88303 -x88304 -x88305
-x88306 -x88307 x88308 -x88309 -x88310 -x88311 -x88312 -x88313 -x88314 -x88315 -x88316 -x88317 x88318 -x88319 -x88320 -x88321 -x88322
-x88323 -x88324 -x88325 x88326 -x88327 -x88328 -x88329 -x88330 -x88331 -x88332 -x88333 -x88334 -x88335 x88336 -x88337 -x88338 -x88339
-x88340 -x88341 -x88342 -x88343 -x88344 -x88345 -x88346 -x88347 x88348 -x88349 -x88350 -x88351 -x88352 -x88353 -x88354 -x88355 x88356
-x88357 -x88358 -x88359 -x88360 -x88361 -x88362 -x88363 -x88364 -x88365 -x88366 -x88367 x88368 -x88369 -x88370 -x88371 -x88372 -x88373
-x88374 -x88375 -x88376 -x88377 x88378 -x88379 -x88380 -x88381 -x88382 -x88383 -x88384 x88385 -x88386 -x88387 -x88388 -x88389 -x88390
-x88391 -x88392 -x88393 -x88394 -x88395 x88396 -x88397 -x88398 -x88399 -x88400 -x88401 -x88402 -x88403 -x88404 x88405 -x88406 -x88407
-x88408 -x88409 -x88410 -x88411 -x88412 -x88413 -x88414 -x88415 -x88416 -x88417 x88418 -x88419 -x88420 -x88421 -x88422 -x88423 -x88424
-x88425 x88426 -x88427 -x88428 -x88429 -x88430 -x88431 -x88432 -x88433 -x88434 -x88435 -x88436 -x88437 x88438 -x88439 -x88440 -x88441
-x88442 -x88443 -x88444 -x88445 -x88446 -x88447 x88448 -x88449 -x88450 -x88451 -x88452 -x88453 -x88454 -x88455 -x88456 -x88457 -x88458
x88459 -x88460 -x88461 -x88462 -x88463 -x88464 -x88465 -x88466 -x88467 x88468 -x88469 -x88470 -x88471 -x88472 -x88473 -x88474 -x88475
-x88476 -x88477 x88478 -x88479 -x88480 -x88481 -x88482 -x88483 -x88484 -x88485 -x88486 -x88487 x88488 -x88489 -x88490 -x88491 -x88492
-x88493 -x88494 -x88495 -x88496 -x88497 x88498 -x88499 -x88500 -x88501 -x88502 -x88503 -x88504 -x88505 -x88506 -x88507 x88508 -x88509
-x88510 -x88511 -x88512 -x88513 -x88514 -x88515 -x88516 -x88517 x88518 -x88519 -x88520 -x88521 -x88522 -x88523 -x88524 -x88525 -x88526
-x88527 x88528 -x88529 -x88530 -x88531 -x88532 -x88533 -x88534 -x88535 -x88536 -x88537 x88538 -x88539 -x88540 -x88541 -x88542 -x88543
-x88544 -x88545 -x88546 -x88547 x88548 -x88549 -x88550 -x88551 -x88552 -x88553 -x88554 -x88555 -x88556 -x88557 x88558 -x88559 -x88560
-x88561 -x88562 -x88563 -x88564 -x88565 -x88566 -x88567 x88568 -x88569 -x88570 -x88571 -x88572 -x88573 -x88574 -x88575 -x88576 -x88577
x88578 -x88579 -x88580 -x88581 -x88582 -x88583 -x88584 -x88585 -x88586 -x88587 x88588 -x88589 -x88590 -x88591 -x88592 -x88593 -x88594
-x88595 -x88596 -x88597 x88598 -x88599 -x88600 -x88601 -x88602 -x88603 -x88604 -x88605 -x88606 -x88607 -x88608 x88609 -x88610 -x88611
-x88612 -x88613 -x88614 -x88615 -x88616 -x88617 x88618 -x88619 -x88620 -x88621 -x88622 -x88623 -x88624 -x88625 -x88626 -x88627 x88628
-x88629 -x88630 -x88631 -x88632 -x88633 -x88634 -x88635 -x88636 -x88637 x88638 -x88639 -x88640 -x88641 -x88642 -x88643 -x88644 -x88645
-x88646 -x88647 x88648 -x88649 -x88650 -x88651 -x88652 -x88653 -x88654 -x88655 -x88656 -x88657 x88658 -x88659 -x88660 -x88661 -x88662
-x88663 -x88664 -x88665 -x88666 -x88667 x88668 -x88669 -x88670 -x88671 -x88672 -x88673 -x88674 -x88675 -x88676 -x88677 x88678 -x88679
-x88680 -x88681 -x88682 -x88683 -x88684 -x88685 x88686 -x88687 -x88688 -x88689 -x88690 -x88691 -x88692 -x88693 -x88694 -x88695 -x88696
-x88697 x88698 -x88699 -x88700 -x88701 -x88702 -x88703 -x88704 -x88705 -x88706 -x88707 x88708 -x88709 -x88710 -x88711 -x88712 -x88713
-x88714 -x88715 -x88716 -x88717 -x88718 x88719 -x88720 -x88721 -x88722 -x88723 -x88724 -x88725 -x88726 -x88727 x88728 -x88729 -x88730
-x88731 -x88732 -x88733 -x88734 -x88735 -x88736 -x88737 -x88738 x88739 -x88740 -x88741 -x88742 -x88743 -x88744 -x88745 -x88746 -x88747
-x88748 x88749 -x88750 -x88751 -x88752 -x88753 -x88754 -x88755 -x88756 -x88757 x88758 -x88759 -x88760 -x88761 -x88762 -x88763 -x88764
-x88765 -x88766 -x88767 x88768 -x88769 -x88770 -x88771 -x88772 x88773 -x88774 -x88775 -x88776 -x88777 -x88778 -x88779 -x88780 -x88781
-x88782 -x88783 -x88784 -x88785 x88786 -x88787 -x88788 -x88789 -x88790 -x88791 -x88792 -x88793 -x88794 -x88795 -x88796 -x88797 x88798
-x88799 -x88800 -x88801 -x88802 -x88803 -x88804 -x88805 -x88806 -x88807 x88808 -x88809 -x88810 -x88811 -x88812 -x88813 -x88814 -x88815
-x88816 -x88817 x88818 -x88819 -x88820 -x88821 -x88822 -x88823 -x88824 -x88825 -x88826 -x88827 x88828 -x88829 -x88830 -x88831 -x88832
-x88833 -x88834 -x88835 -x88836 -x88837 x88838 -x88839 -x88840 -x88841 -x88842 -x88843 -x88844 -x88845 x88846 -x88847 -x88848 -x88849
-x88850 -x88851 -x88852 x88853 -x88854 -x88855 -x88856 -x88857 -x88858 -x88859 -x88860 -x88861 -x88862 x88863 -x88864 -x88865 -x88866
-x88867 -x88868 -x88869 -x88870 -x88871 -x88872 -x88873 -x88874 -x88875 -x88876 -x88877 x88878 -x88879 -x88880 -x88881 -x88882 -x88883
-x88884 -x88885 x88886 -x88887 -x88888 -x88889 -x88890 -x88891 -x88892 -x88893 -x88894 -x88895 x88896 -x88897 -x88898 -x88899 -x88900
-x88901 -x88902 -x88903 -x88904 -x88905 -x88906 -x88907 x88908 -x88909 -x88910 -x88911 -x88912 -x88913 -x88914 -x88915 -x88916 -x88917
x88918 -x88919 -x88920 -x88921 -x88922 -x88923 -x88924 -x88925 -x88926 -x88927 x88928 -x88929 -x88930 -x88931 -x88932 -x88933 -x88934
-x88935 -x88936 -x88937 x88938 -x88939 -x88940 -x88941 -x88942 -x88943 -x88944 -x88945 -x88946 -x88947 x88948 -x88949 -x88950 -x88951
-x88952 -x88953 -x88954 -x88955 -x88956 -x88957 x88958 -x88959 -x88960 -x88961 -x88962 -x88963 -x88964 -x88965 x88966 -x88967 -x88968
-x88969 -x88970 -x88971 -x88972 -x88973 -x88974 -x88975 x88976 -x88977 -x88978 -x88979 -x88980 -x88981 -x88982 -x88983 -x88984 -x88985
-x88986 -x88987 x88988 -x88989 -x88990 -x88991 -x88992 -x88993 -x88994 -x88995 x88996 -x88997 -x88998 -x88999 -x89000 -x89001 -x89002
-x89003 -x89004 -x89005 -x89006 -x89007 x89008 -x89009 -x89010 -x89011 -x89012 -x89013 -x89014 -x89015 -x89016 -x89017 x89018 -x89019
-x89020 -x89021 -x89022 -x89023 -x89024 -x89025 -x89026 -x89027 x89028 -x89029 -x89030 -x89031 -x89032 x89033 -x89034 -x89035 -x89036
-x89037 -x89038 -x89039 -x89040 -x89041 -x89042 -x89043 -x89044 -x89045 -x89046 -x89047 x89048 -x89049 -x89050 -x89051 -x89052 -x89053
-x89054 -x89055 -x89056 -x89057 x89058 -x89059 -x89060 -x89061 -x89062 -x89063 -x89064 -x89065 -x89066 -x89067 x89068 -x89069 -x89070
-x89071 -x89072 -x89073 -x89074 -x89075 x89076 -x89077 -x89078 -x89079 -x89080 -x89081 -x89082 -x89083 -x89084 -x89085 -x89086 -x89087
x89088 -x89089 -x89090 -x89091 -x89092 -x89093 -x89094 -x89095 -x89096 -x89097 x89098 -x89099 -x89100 -x89101 -x89102 -x89103 -x89104
-x89105 -x89106 -x89107 x89108 -x89109 -x89110 -x89111 -x89112 -x89113 -x89114 -x89115 -x89116 -x89117 x89118 -x89119 -x89120 -x89121
-x89122 -x89123 -x89124 -x89125 -x89126 -x89127 x89128 -x89129 -x89130 -x89131 -x89132 -x89133 -x89134 -x89135 -x89136 -x89137 x89138
-x89139 -x89140 -x89141 -x89142 -x89143 -x89144 -x89145 -x89146 -x89147 x89148 -x89149 -x89150 -x89151 -x89152 -x89153 -x89154 -x89155
-x89156 -x89157 -x89158 x89159 -x89160 -x89161 -x89162 -x89163 -x89164 -x89165 -x89166 -x89167 x89168 -x89169 -x89170 -x89171 -x89172
-x89173 -x89174 -x89175 -x89176 -x89177 x89178 -x89179 -x89180 -x89181 -x89182 x89183 -x89184 -x89185 -x89186 -x89187 -x89188 -x89189
-x89190 -x89191 -x89192 -x89193 -x89194 -x89195 -x89196 -x89197 x89198 -x89199 -x89200