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-184.xml

Jump to solvers results

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-184.xml
MD5SUM50aaeae16ffb672916f4ac64373270f5
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 benchmark114.434
Satisfiable
(Un)Satisfiability was proved
Number of variables368
Number of constraints192
Number of domains2
Minimum domain size184
Maximum domain size33856
Distribution of domain sizes[{"size":184,"count":184},{"size":33856,"count":184}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":184},{"degree":4,"count":183},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity184
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":184},{"arity":92,"count":6},{"arity":184,"count":1}]
Number of extensional constraints0
Number of intensional constraints185
Distribution of constraint types[{"type":"intension","count":185},{"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)4393041SAT 114.434 29.1039
choco-solver 2019-09-20 (complete)4403501SAT 245.691 62.117
choco-solver 2019-09-16 (complete)4399001SAT 248.872 63.2616
choco-solver 2019-06-14 parallel (complete)4393641SAT 291.57 71.1106
choco-solver 2019-09-16 parallel (complete)4399601SAT 494.79 63.1184
choco-solver 2019-09-20 parallel (complete)4404401SAT 511.56 66.3958
choco-solver 2019-09-24 parallel (complete)4406801SAT 514.442 65.9534
AbsCon 2019-07-23 (complete)4390641SAT 920.903 917.467
PicatSAT 2019-09-12 (complete)4395021SAT 1339.77 1339.83
Fun-sCOP order+GlueMiniSat (2019-06-15) (complete)4387686? (NS) 1552.39 427.039
Fun-sCOP order+ManyGlucose (2019-06-15) (complete)4392441? (NS) 3175.95 459.901
Fun-sCOP order+ManyGlucose (2019-09-22) (complete)4405301? (NS) 3239.91 466.534
cosoco 2.0 (complete)4396821? (TO) 2519.81 2520.01
cosoco 2.0 (complete)4408081? (TO) 2519.83 2520.01
cosoco 2 (complete)4389541? (TO) 2520.02 2519.8
BTD 19.07.01 (complete)4386703? (TO) 2520.04 2520
choco-solver 2019-09-24 (complete)4405901? (TO) 2520.06 2512.13
Concrete 3.10 (complete)4387048? (TO) 2520.07 2452.83
Concrete 3.12.2 (complete)4400801? (TO) 2520.09 2477.64
Concrete 3.12.2 (complete)4395921? (TO) 2520.1 2473.65
Concrete 3.12.3 (complete)4402601? (TO) 2520.12 2470.35
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15) (complete)4387687? (TO) 2520.24 2495.04
Fun-sCOP hybrid+ManyGlucose (2019-06-15) (complete)4392741? (TO) 8785.67 2520.33
Fun-sCOP hybrid+ManyGlucose (2019-09-22) (complete)4405601? (TO) 8991.19 2520.23
cosoco 2.0 parallel (complete)4409361? (TO) 20088.5 2520.03
cosoco 2.O parallel (complete)4398101? (TO) 20092.1 2520.05

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] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89]
x[90] x[91] 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] y[82] y[83] y[84] y[85] y[86] y[87] y[88] y[89] y[90] y[91]
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] cx[82] cx[83] cx[84] cx[85] cx[86] cx[87] cx[88] cx[89] cx[90] cx[91] 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] cy[82] cy[83] cy[84] cy[85] cy[86] cy[87] cy[88] cy[89]
cy[90] cy[91] </list> <values>1 2 15 20 23 24 26 27 28 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 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135
136 137 138 139 140 159 170 171 172 173 174 175 176 177 178 179 180 182 183 3 4 5 6 7 8 9 10 11 12 13 14 16 17 18 19 21 22 25 62 63 64 65 66
67 68 69 70 71 72 73 74 75 76 77 78 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 141 142 143 144 145
146 147 148 149 150 151 152 153 154 155 156 157 158 160 161 162 163 164 165 166 167 168 169 181 184 1 4 225 400 529 576 676 729 784 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 11025 11236 11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 13689 13924 14161 14400 14641 14884 15129 15376 15625
15876 16129 16384 16641 16900 17161 17424 17689 17956 18225 18496 18769 19044 19321 19600 25281 28900 29241 29584 29929 30276 30625 30976
31329 31684 32041 32400 33124 33489 9 16 25 36 49 64 81 100 121 144 169 196 256 289 324 361 441 484 625 3844 3969 4096 4225 4356 4489 4624
4761 4900 5041 5184 5329 5476 5625 5776 5929 6084 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 19881 20164 20449 20736 21025 21316 21609 21904 22201 22500 22801 23104 23409 23716 24025 24336
24649 24964 25600 25921 26244 26569 26896 27225 27556 27889 28224 28561 32761 33856 </values> </instantiation>