Name | /PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo |
MD5SUM | 838792388aba1cb33fb875c1c7fc5e90 |
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 | 23 |
Best CPU time to get the best result obtained on this benchmark | 409.444 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 89900 |
Total number of constraints | 5924003 |
Number of soft constraints | 5915013 |
Number of constraints which are clauses | 5915013 |
Number of constraints which are cardinality constraints (but not clauses) | 8990 |
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 | 2482 |
Min constraint cost | 1 |
Max constraint cost | 2482 |
Sum of constraints costs | 14625664017 |
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) | 4094592 | OPTIMUM | 409.444 | 409.507 |
toysat 2016-05-02 (complete) | 4093206 | ? (MO) | 220.781 | 234.629 |
Sat4j PB 2.3.6 Res+CP PB16 (complete) | 4091820 | Wrong Cert. | 1515.92 | 1900.1 |
Sat4j PB 2.3.6 Resolution PB16 (complete) | 4090434 | Wrong Cert. | 1800.05 | 1767.5 |
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: 23-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 -x89201 -x89202 -x89203 -x89204 -x89205 -x89206 -x89207 x89208 -x89209 -x89210 -x89211 -x89212 -x89213 -x89214 -x89215 -x89216 -x89217 x89218 -x89219 -x89220 -x89221 -x89222 -x89223 -x89224 -x89225 -x89226 -x89227 x89228 -x89229 -x89230 -x89231 -x89232 -x89233 -x89234 -x89235 -x89236 -x89237 x89238 -x89239 -x89240 -x89241 -x89242 -x89243 -x89244 -x89245 -x89246 -x89247 x89248 -x89249 -x89250 -x89251 -x89252 -x89253 -x89254 -x89255 -x89256 -x89257 x89258 -x89259 -x89260 -x89261 -x89262 -x89263 -x89264 -x89265 -x89266 -x89267 x89268 -x89269 -x89270 -x89271 -x89272 -x89273 -x89274 -x89275 -x89276 -x89277 x89278 -x89279 -x89280 -x89281 -x89282 -x89283 -x89284 -x89285 -x89286 -x89287 x89288 -x89289 -x89290 -x89291 -x89292 -x89293 -x89294 -x89295 -x89296 -x89297 x89298 -x89299 -x89300 -x89301 -x89302 -x89303 -x89304 -x89305 -x89306 -x89307 -x89308 x89309 -x89310 -x89311 -x89312 -x89313 -x89314 -x89315 -x89316 -x89317 x89318 -x89319 -x89320 -x89321 -x89322 -x89323 -x89324 -x89325 -x89326 -x89327 x89328 -x89329 -x89330 -x89331 -x89332 -x89333 -x89334 -x89335 -x89336 -x89337 x89338 -x89339 -x89340 -x89341 -x89342 -x89343 -x89344 -x89345 -x89346 -x89347 x89348 -x89349 -x89350 -x89351 -x89352 -x89353 -x89354 -x89355 -x89356 -x89357 x89358 -x89359 -x89360 -x89361 -x89362 -x89363 -x89364 -x89365 -x89366 -x89367 x89368 -x89369 -x89370 -x89371 -x89372 -x89373 -x89374 -x89375 -x89376 -x89377 x89378 -x89379 -x89380 -x89381 -x89382 -x89383 -x89384 -x89385 x89386 -x89387 -x89388 -x89389 -x89390 -x89391 -x89392 -x89393 -x89394 -x89395 -x89396 -x89397 x89398 -x89399 -x89400 -x89401 -x89402 -x89403 -x89404 -x89405 -x89406 -x89407 x89408 -x89409 -x89410 -x89411 -x89412 -x89413 -x89414 -x89415 -x89416 -x89417 -x89418 x89419 -x89420 -x89421 -x89422 -x89423 -x89424 -x89425 -x89426 -x89427 x89428 -x89429 -x89430 -x89431 -x89432 -x89433 -x89434 -x89435 -x89436 -x89437 -x89438 x89439 -x89440 -x89441 -x89442 -x89443 -x89444 -x89445 -x89446 -x89447 -x89448 x89449 -x89450 -x89451 -x89452 -x89453 -x89454 -x89455 -x89456 -x89457 x89458 -x89459 -x89460 -x89461 -x89462 -x89463 -x89464 -x89465 -x89466 -x89467 x89468 -x89469 -x89470 -x89471 -x89472 x89473 -x89474 -x89475 -x89476 -x89477 -x89478 -x89479 -x89480 -x89481 -x89482 -x89483 -x89484 -x89485 x89486 -x89487 -x89488 -x89489 -x89490 -x89491 -x89492 -x89493 -x89494 -x89495 -x89496 -x89497 x89498 -x89499 -x89500 -x89501 -x89502 -x89503 -x89504 -x89505 -x89506 -x89507 x89508 -x89509 -x89510 -x89511 -x89512 -x89513 -x89514 -x89515 -x89516 -x89517 x89518 -x89519 -x89520 -x89521 -x89522 -x89523 -x89524 -x89525 -x89526 -x89527 x89528 -x89529 -x89530 -x89531 -x89532 -x89533 -x89534 -x89535 -x89536 -x89537 x89538 -x89539 -x89540 -x89541 -x89542 -x89543 -x89544 -x89545 x89546 -x89547 -x89548 -x89549 -x89550 -x89551 -x89552 x89553 -x89554 -x89555 -x89556 -x89557 -x89558 -x89559 -x89560 -x89561 -x89562 x89563 -x89564 -x89565 -x89566 -x89567 -x89568 -x89569 -x89570 -x89571 -x89572 -x89573 -x89574 -x89575 -x89576 -x89577 x89578 -x89579 -x89580 -x89581 -x89582 -x89583 -x89584 -x89585 x89586 -x89587 -x89588 -x89589 -x89590 -x89591 -x89592 -x89593 -x89594 -x89595 x89596 -x89597 -x89598 -x89599 -x89600 -x89601 -x89602 -x89603 -x89604 -x89605 -x89606 -x89607 x89608 -x89609 -x89610 -x89611 -x89612 -x89613 -x89614 -x89615 -x89616 -x89617 x89618 -x89619 -x89620 -x89621 -x89622 -x89623 -x89624 -x89625 -x89626 -x89627 x89628 -x89629 -x89630 -x89631 -x89632 -x89633 -x89634 -x89635 -x89636 -x89637 x89638 -x89639 -x89640 -x89641 -x89642 -x89643 -x89644 -x89645 -x89646 -x89647 x89648 -x89649 -x89650 -x89651 -x89652 -x89653 -x89654 -x89655 -x89656 -x89657 x89658 -x89659 -x89660 -x89661 -x89662 -x89663 -x89664 -x89665 x89666 -x89667 -x89668 -x89669 -x89670 -x89671 -x89672 -x89673 -x89674 -x89675 x89676 -x89677 -x89678 -x89679 -x89680 -x89681 -x89682 -x89683 -x89684 -x89685 -x89686 -x89687 x89688 -x89689 -x89690 -x89691 -x89692 -x89693 -x89694 -x89695 x89696 -x89697 -x89698 -x89699 -x89700 -x89701 -x89702 -x89703 -x89704 -x89705 -x89706 -x89707 x89708 -x89709 -x89710 -x89711 -x89712 -x89713 -x89714 -x89715 -x89716 -x89717 x89718 -x89719 -x89720 -x89721 -x89722 -x89723 -x89724 -x89725 -x89726 -x89727 x89728 -x89729 -x89730 -x89731 -x89732 x89733 -x89734 -x89735 -x89736 -x89737 -x89738 -x89739 -x89740 -x89741 -x89742 -x89743 -x89744 -x89745 -x89746 -x89747 x89748 -x89749 -x89750 -x89751 -x89752 -x89753 -x89754 -x89755 -x89756 -x89757 x89758 -x89759 -x89760 -x89761 -x89762 -x89763 -x89764 -x89765 -x89766 -x89767 x89768 -x89769 -x89770 -x89771 -x89772 -x89773 -x89774 -x89775 x89776 -x89777 -x89778 -x89779 -x89780 -x89781 -x89782 -x89783 -x89784 -x89785 -x89786 -x89787 x89788 -x89789 -x89790 -x89791 -x89792 -x89793 -x89794 -x89795 -x89796 -x89797 x89798 -x89799 -x89800 -x89801 -x89802 -x89803 -x89804 -x89805 -x89806 -x89807 x89808 -x89809 -x89810 -x89811 -x89812 -x89813 -x89814 -x89815 -x89816 -x89817 x89818 -x89819 -x89820 -x89821 -x89822 -x89823 -x89824 -x89825 -x89826 -x89827 x89828 -x89829 -x89830 -x89831 -x89832 -x89833 -x89834 -x89835 -x89836 -x89837 x89838 -x89839 -x89840 -x89841 -x89842 -x89843 -x89844 -x89845 -x89846 -x89847 x89848 -x89849 -x89850 -x89851 -x89852 -x89853 -x89854 -x89855 -x89856 -x89857 -x89858 x89859 -x89860 -x89861 -x89862 -x89863 -x89864 -x89865 -x89866 -x89867 x89868 -x89869 -x89870 -x89871 -x89872 -x89873 -x89874 -x89875 -x89876 -x89877 x89878 -x89879 -x89880 -x89881 -x89882 x89883 -x89884 -x89885 -x89886 -x89887 -x89888 -x89889 -x89890 -x89891 -x89892 -x89893 -x89894 -x89895 -x89896 -x89897 x89898 -x89899 -x89900