2018 XCSP3 competition: sequential solvers tracks: solvers results per benchmarks

Result page for benchmark
PeacableArmies/
PeacableArmies-m1-15_c18.xml

Jump to solvers results

General information on the benchmark

NamePeacableArmies/
PeacableArmies-m1-15_c18.xml
MD5SUMab9b164a4e6822ef65bd3fedb3115018
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints10586
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":450}]
Minimum variable degree44
Maximum variable degree59
Distribution of variable degrees[{"degree":44,"count":56},{"degree":45,"count":56},{"degree":46,"count":48},{"degree":47,"count":48},{"degree":48,"count":40},{"degree":49,"count":40},{"degree":50,"count":32},{"degree":51,"count":32},{"degree":52,"count":24},{"degree":53,"count":24},{"degree":54,"count":16},{"degree":55,"count":16},{"degree":56,"count":8},{"degree":57,"count":8},{"degree":58,"count":1},{"degree":59,"count":1}]
Minimum constraint arity2
Maximum constraint arity450
Distribution of constraint arities[{"arity":2,"count":10585},{"arity":450,"count":1}]
Number of extensional constraints0
Number of intensional constraints10585
Distribution of constraint types[{"type":"intension","count":10585},{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-07-02 (complete)4291483SAT (TO)28 2400.12 2354.13
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290285SAT (TO)25 2400.03 2377.52
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311565SAT (TO)25 2520.09 2496.03
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4307829SAT (TO)25 2520.12 2498.33
Concrete 3.8 2018-06-13 (complete)4295194SAT (TO)25 2520.13 2449.05
Mistral-2.0 2018-06-15 (complete)4289591SAT (TO)24 2400.06 2399.8
Mistral-2.0 2018-08-01 (complete)4303597SAT (TO)24 2519.7 2520.01
OscaR - Hybrid 2018-08-14 (complete)4308415SAT (TO)24 2520.06 2460.73
Concrete 3.8-SuperNG 2018-06-13 (complete)4295195SAT (TO)24 2520.14 2449.94
Concrete 3.9.2 (complete)4304633SAT (TO)22 2520.06 2443.44
Concrete 3.9.2-SuperNG (complete)4304634SAT (TO)22 2520.73 2448.24
Choco-solver 4.0.7 seq (493a269) (complete)4292241SAT (TO)21 2400.13 2388.04
Choco-solver 4.0.7b seq (e747e1e) (complete)4306535SAT (TO)21 2520.09 2505.65
cosoco 1.12 (complete)4295196SAT (TO)18 2519.56 2520.01
Sat4j-CSP 2018-07-11 (complete)4289798? (TO) 2400.13 2391.64
PicatSAT 2018-08-02 (complete)4303011? (TO) 2519.92 2520.02
PicatSAT 2018-06-15 (complete)4295197? (TO) 2520.01 2520.01
PicatSAT 2018-08-14 (complete)4309351? (TO) 2520.08 2520.02

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: 28
Solution found:
<instantiation> <list> b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13]
b[0][14] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14]
b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[3][0] b[3][1]
b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[4][0] b[4][1] b[4][2] b[4][3]
b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5]
b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7]
b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9]
b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10]
b[8][11] b[8][12] b[8][13] b[8][14] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11]
b[9][12] b[9][13] b[9][14] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11]
b[10][12] b[10][13] b[10][14] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[11][10] b[11][11]
b[11][12] b[11][13] b[11][14] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[12][6] b[12][7] b[12][8] b[12][9] b[12][10] b[12][11]
b[12][12] b[12][13] b[12][14] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[13][6] b[13][7] b[13][8] b[13][9] b[13][10] b[13][11]
b[13][12] b[13][13] b[13][14] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[14][6] b[14][7] b[14][8] b[14][9] b[14][10] b[14][11]
b[14][12] b[14][13] b[14][14] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12]
w[0][13] w[0][14] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13]
w[1][14] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14]
w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[4][0] w[4][1]
w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[5][0] w[5][1] w[5][2] w[5][3]
w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5]
w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7]
w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9]
w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10]
w[9][11] w[9][12] w[9][13] w[9][14] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10]
w[10][11] w[10][12] w[10][13] w[10][14] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10]
w[11][11] w[11][12] w[11][13] w[11][14] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10]
w[12][11] w[12][12] w[12][13] w[12][14] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10]
w[13][11] w[13][12] w[13][13] w[13][14] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10]
w[14][11] w[14][12] w[14][13] w[14][14] </list> <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1
0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0
0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1
0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
</instantiation>