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

Result page for benchmark
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo

Jump to solvers results

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo
MD5SUMc177cc73697745a978507901f2a8beaa
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark62.5065
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints911
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 45526
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45525
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
Number of bits of the biggest sum of numbers10
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
wbo2sat 2012-05-19 (complete)3716289OPTIMUM 62.5065 62.5233
wbo2satCp2 2012-05-19 (complete)3716982OPTIMUM 62.6945 62.7156
clasp 2.0.6-R5325 (complete)3711359OPTIMUM 66.1709 66.1833
Sat4j PB 2012-05-28 (complete)3718084OPTIMUM 68.0736 65.958
npSolver inc (complete)3714210OPTIMUM 72.37 72.3972
npSolver 1.0 (complete)3713517OPTIMUM 72.8079 72.8139
toysat 2012-05-17 (complete)3712006OPTIMUM 80.4358 80.4533
npSolver inc (fixed) (complete)3754284OPTIMUM 88.7135 88.739
npSolver 1.0 (fixed) (complete)3754977OPTIMUM 90.9282 90.9564
npSolver inc-topDown (complete)3714903OPTIMUM 130.989 131.555
npSolver inc-topDown (fixed) (complete)3753591OPTIMUM 171.905 172.95
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)3717437OPTIMUM 962.794 962.963
wbo 1.71 (complete)3712870OPTIMUM 1418.95 1419.08
wbo 1.72 (complete)3728136OPTIMUM 1504.48 1504.92
pwbo 2.01 (complete)3712461OPTIMUM 1559.68 780.274
pwbo 2.02 (complete)3728545MSAT (TO) 1800.09 900.427
npSolver inc-topdown-quickBound (complete)3715596? (TO) 1800.09 1809.42
npSolver inc-topdown-quickBound (fixed) (complete)3752898? (TO) 1800.13 1801.31

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: 1
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