2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers): solvers results per benchmarks

Result page for benchmark
NumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-164.xml

Jump to solvers results

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-164.xml
MD5SUMb2fe288f8dde57e646dfc9c4f090c29d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark118.733
Satisfiable
(Un)Satisfiability was proved
Number of variables328
Number of constraints172
Number of domains2
Minimum domain size164
Maximum domain size26896
Distribution of domain sizes[{"size":164,"count":164},{"size":26896,"count":164}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":164},{"degree":4,"count":163},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity164
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":164},{"arity":82,"count":6},{"arity":164,"count":1}]
Number of extensional constraints0
Number of intensional constraints165
Distribution of constraint types[{"type":"intension","count":165},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
choco-solver 2019-06-14 (complete)4393151SAT 118.733 30.412
AbsCon 2019-07-23 (complete)4390751SAT 203.099 199.918
choco-solver 2019-06-14 parallel (complete)4393751SAT 349.156 85.5088
PicatSAT 2019-09-12 (complete)4395131SAT 383.355 383.405
choco-solver 2019-09-16 (complete)4399111SAT 1399.99 352.121
choco-solver 2019-09-20 (complete)4403611SAT 1448.49 364.411
choco-solver 2019-09-16 parallel (complete)4399711SAT 2756.68 347.611
choco-solver 2019-09-20 parallel (complete)4404511SAT 2964.65 373.592
choco-solver 2019-09-24 parallel (complete)4406911SAT 3086.45 396.183
Fun-sCOP order+GlueMiniSat (2019-06-15) (complete)4387677? (NS) 1509.56 406.591
Fun-sCOP order+ManyGlucose (2019-09-22) (complete)4405411? (NS) 14186.2 1844.34
Fun-sCOP order+ManyGlucose (2019-06-15) (complete)4392551? (NS) 17248.9 2232.92
BTD 19.07.01 (complete)4386700? (TO) 2520.02 2519.9
cosoco 2 (complete)4389651? (TO) 2520.03 2520.01
cosoco 2.0 (complete)4396931? (TO) 2520.04 2520.01
cosoco 2.0 (complete)4408191? (TO) 2520.05 2520.01
Concrete 3.12.2 (complete)4400911? (TO) 2520.08 2474.16
choco-solver 2019-09-24 (complete)4406011? (TO) 2520.1 2514.12
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15) (complete)4387678? (TO) 2520.12 2499.7
Concrete 3.12.2 (complete)4396031? (TO) 2520.13 2456.74
Concrete 3.10 (complete)4387045? (TO) 2520.13 2455.33
Concrete 3.12.3 (complete)4402711? (TO) 2520.17 2465.02
Fun-sCOP hybrid+ManyGlucose (2019-06-15) (complete)4392851? (TO) 15186.6 2520.33
Fun-sCOP hybrid+ManyGlucose (2019-09-22) (complete)4405711? (TO) 15243.7 2520.33
cosoco 2.O parallel (complete)4398211? (TO) 20085.1 2520.04
cosoco 2.0 parallel (complete)4409471? (TO) 20090.4 2520.03

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function:
Solution found:
<instantiation> <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20]
x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43]
x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66]
x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9]
y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32]
y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55]
y[56] y[57] y[58] y[59] y[60] y[61] y[62] y[63] y[64] y[65] y[66] y[67] y[68] y[69] y[70] y[71] y[72] y[73] y[74] y[75] y[76] y[77] y[78]
y[79] y[80] y[81] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18]
cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cx[32] cx[33] cx[34] cx[35] cx[36] cx[37] cx[38]
cx[39] cx[40] cx[41] cx[42] cx[43] cx[44] cx[45] cx[46] cx[47] cx[48] cx[49] cx[50] cx[51] cx[52] cx[53] cx[54] cx[55] cx[56] cx[57] cx[58]
cx[59] cx[60] cx[61] cx[62] cx[63] cx[64] cx[65] cx[66] cx[67] cx[68] cx[69] cx[70] cx[71] cx[72] cx[73] cx[74] cx[75] cx[76] cx[77] cx[78]
cx[79] cx[80] cx[81] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17]
cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] cy[32] cy[33] cy[34] cy[35] cy[36] cy[37]
cy[38] cy[39] cy[40] cy[41] cy[42] cy[43] cy[44] cy[45] cy[46] cy[47] cy[48] cy[49] cy[50] cy[51] cy[52] cy[53] cy[54] cy[55] cy[56] cy[57]
cy[58] cy[59] cy[60] cy[61] cy[62] cy[63] cy[64] cy[65] cy[66] cy[67] cy[68] cy[69] cy[70] cy[71] cy[72] cy[73] cy[74] cy[75] cy[76] cy[77]
cy[78] cy[79] cy[80] cy[81] </list> <values>1 9 24 27 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57
58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 117 120 121 122 123 124 125 126 127 128 145 147 149 150 151 152 153 154 155
156 157 158 159 160 161 162 163 164 2 3 4 5 6 7 8 10 11 12 13 14 15 16 17 18 19 20 21 22 23 25 26 28 79 80 81 82 83 84 85 86 87 88 89 90 91
92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 118 119 129 130 131 132 133 134 135 136 137 138
139 140 141 142 143 144 146 148 1 81 576 729 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209
2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 3364 3481 3600 3721 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 5329 5476 5625
5776 5929 6084 13689 14400 14641 14884 15129 15376 15625 15876 16129 16384 21025 21609 22201 22500 22801 23104 23409 23716 24025 24336 24649
24964 25281 25600 25921 26244 26569 26896 4 9 16 25 36 49 64 100 121 144 169 196 225 256 289 324 361 400 441 484 529 625 676 784 6241 6400
6561 6724 6889 7056 7225 7396 7569 7744 7921 8100 8281 8464 8649 8836 9025 9216 9409 9604 9801 10000 10201 10404 10609 10816 11025 11236
11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 13924 14161 16641 16900 17161 17424 17689 17956 18225 18496 18769 19044 19321
19600 19881 20164 20449 20736 21316 21904 </values> </instantiation>