Name | /PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo |
MD5SUM | 9484feda1dfd442233b4ec59a851c185 |
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 | 0 |
Best CPU time to get the best result obtained on this benchmark | 36.5394 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 20370 |
Total number of constraints | 1081113 |
Number of soft constraints | 1079076 |
Number of constraints which are clauses | 1079076 |
Number of constraints which are cardinality constraints (but not clauses) | 2037 |
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 | 47 |
Min constraint cost | 1 |
Max constraint cost | 47 |
Sum of constraints costs | 50697528 |
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) | 4094594 | OPTIMUM | 36.5394 | 36.5497 |
Sat4j PB 2.3.6 Resolution PB16 (complete) | 4090436 | OPTIMUM | 78.0341 | 71.3447 |
Sat4j PB 2.3.6 Res+CP PB16 (complete) | 4091822 | OPTIMUM | 116.775 | 64.2531 |
toysat 2016-05-02 (complete) | 4093208 | OPTIMUM | 211.782 | 211.829 |
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: 0-x20000 -x20001 -x20002 x20003 -x20004 -x20005 -x20006 -x20007 -x20008 -x20009 -x20010 -x20011 -x20012 x20013 -x20014 -x20015 -x20016 -x20017 -x20018 -x20019 -x20020 -x20021 -x20022 -x20023 -x20024 -x20025 x20026 -x20027 -x20028 -x20029 -x20030 -x20031 -x20032 -x20033 -x20034 -x20035 -x20036 -x20037 x20038 -x20039 -x20040 -x20041 -x20042 -x20043 -x20044 -x20045 -x20046 -x20047 x20048 -x20049 -x20050 -x20051 -x20052 -x20053 -x20054 -x20055 -x20056 -x20057 x20058 -x20059 -x20060 -x20061 -x20062 -x20063 -x20064 -x20065 -x20066 -x20067 x20068 -x20069 -x20070 -x20071 -x20072 -x20073 -x20074 -x20075 -x20076 -x20077 x20078 -x20079 -x20080 -x20081 -x20082 -x20083 -x20084 -x20085 -x20086 -x20087 x20088 -x20089 -x20090 -x20091 -x20092 -x20093 -x20094 -x20095 -x20096 -x20097 x20098 -x20099 -x20100 -x20101 -x20102 -x20103 -x20104 -x20105 -x20106 -x20107 x20108 -x20109 -x20110 -x20111 -x20112 -x20113 -x20114 -x20115 -x20116 -x20117 x20118 -x20119 -x20120 -x20121 -x20122 -x20123 -x20124 -x20125 -x20126 -x20127 x20128 -x20129 -x20130 -x20131 -x20132 x20133 -x20134 -x20135 -x20136 -x20137 -x20138 -x20139 -x20140 -x20141 -x20142 x20143 -x20144 -x20145 -x20146 -x20147 -x20148 -x20149 -x20150 -x20151 -x20152 -x20153 -x20154 -x20155 -x20156 -x20157 x20158 -x20159 -x20160 -x20161 -x20162 -x20163 -x20164 -x20165 -x20166 -x20167 x20168 -x20169 -x20170 -x20171 -x20172 -x20173 -x20174 -x20175 -x20176 -x20177 x20178 -x20179 -x20180 -x20181 -x20182 -x20183 -x20184 -x20185 -x20186 -x20187 x20188 -x20189 -x20190 -x20191 -x20192 -x20193 -x20194 -x20195 -x20196 -x20197 x20198 -x20199 -x20200 -x20201 -x20202 -x20203 -x20204 -x20205 -x20206 -x20207 -x20208 x20209 -x20210 -x20211 -x20212 -x20213 -x20214 -x20215 -x20216 -x20217 -x20218 x20219 -x20220 -x20221 -x20222 -x20223 -x20224 -x20225 -x20226 -x20227 x20228 -x20229 -x20230 -x20231 -x20232 -x20233 -x20234 -x20235 -x20236 -x20237 x20238 -x20239 -x20240 -x20241 -x20242 -x20243 -x20244 -x20245 -x20246 -x20247 x20248 -x20249 -x20250 -x20251 -x20252 -x20253 -x20254 -x20255 -x20256 -x20257 x20258 -x20259 -x20260 -x20261 -x20262 -x20263 -x20264 -x20265 -x20266 -x20267 x20268 -x20269 -x20270 -x20271 -x20272 -x20273 -x20274 -x20275 x20276 -x20277 -x20278 -x20279 -x20280 -x20281 -x20282 -x20283 -x20284 -x20285 -x20286 -x20287 x20288 -x20289 -x20290 -x20291 -x20292 -x20293 -x20294 -x20295 x20296 -x20297 -x20298 -x20299 -x20300 -x20301 x20302 -x20303 -x20304 -x20305 -x20306 -x20307 -x20308 -x20309 -x20310 -x20311 -x20312 -x20313 -x20314 x20315 -x20316 -x20317 -x20318 -x20319 -x20320 -x20321 -x20322 x20323 -x20324 -x20325 -x20326 -x20327 -x20328 -x20329 -x20330 -x20331 -x20332 -x20333 -x20334 -x20335 -x20336 -x20337 x20338 -x20339 -x20340 -x20341 -x20342 -x20343 -x20344 -x20345 -x20346 -x20347 x20348 -x20349 -x20350 -x20351 -x20352 -x20353 -x20354 -x20355 -x20356 -x20357 x20358 -x20359 -x20360 -x20361 -x20362 -x20363 -x20364 -x20365 -x20366 -x20367 x20368 -x20369 -x20370