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

Result page for benchmark
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-6_wcsp.wbo

Jump to solvers results

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-myciel5g-6_wcsp.wbo
MD5SUMda787cbafe516b136b04c595f8c05f3f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.004998
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables282
Total number of constraints1463
Number of soft constraints1416
Number of constraints which are clauses1416
Number of constraints which are cardinality constraints (but not clauses)47
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint6
Top cost 237
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 1416
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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
wbo 1.71 (complete)3713049OPTIMUM 0.004998 0.0100199
wbo 1.72 (complete)3728315OPTIMUM 0.004998 0.0134129
pwbo 2.02 (complete)3728724OPTIMUM 0.004999 0.00901606
clasp 2.0.6-R5325 (complete)3711538OPTIMUM 0.005998 0.00686212
pwbo 2.01 (complete)3712640OPTIMUM 0.005998 0.00995308
wbo2satCp2 2012-05-19 (complete)3717161OPTIMUM 0.033994 0.038206
wbo2sat 2012-05-19 (complete)3716468OPTIMUM 0.035993 0.037939
npSolver inc (fixed) (complete)3754463OPTIMUM 0.063989 0.066125
npSolver 1.0 (fixed) (complete)3755156OPTIMUM 0.063989 0.0764951
npSolver inc-topdown-quickBound (fixed) (complete)3753077OPTIMUM 0.065989 0.069364
npSolver inc-topDown (fixed) (complete)3753770OPTIMUM 0.067988 0.0691441
npSolver 1.0 (complete)3713696OPTIMUM 0.070989 0.0740821
npSolver inc-topDown (complete)3715082OPTIMUM 0.073988 0.0759711
npSolver inc (complete)3714389OPTIMUM 0.075987 0.076371
npSolver inc-topdown-quickBound (complete)3715775OPTIMUM 0.077987 0.0784389
toysat 2012-05-17 (complete)3712185OPTIMUM 0.241962 0.244591
Sat4j PB 2012-05-28 (complete)3718263OPTIMUM 0.441932 0.290646
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)3717616OPTIMUM 1.70774 1.70977

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: 0
Solution found:
-x1 -x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31
-x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60
x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89
-x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114
-x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138
-x139 x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162
-x163 x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186
-x187 x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210
-x211 x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234
-x235 x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258
-x259 x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282