Name | /PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r_wcsp.wbo |
MD5SUM | 6de6e540477f7e35d5e4504631857538 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 344.145 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 89200 |
Total number of constraints | 5870368 |
Number of soft constraints | 5861448 |
Number of constraints which are clauses | 5861448 |
Number of constraints which are cardinality constraints (but not clauses) | 8920 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10 |
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 numbers | 4 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
NaPS 1.02 (complete) | 4094597 | OPTIMUM | 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) | 4090439 | Wrong Cert. | 1800.09 | 1759.39 |
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-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