2017 XCSP3 competition: mini-solver track (sequential and parallel solvers): solvers results per benchmarks

Result page for benchmark
StillLife/StillLife-m1-s1/
StillLife-09-12.xml

Jump to solvers results

General information on the benchmark

NameStillLife/StillLife-m1-s1/
StillLife-09-12.xml
MD5SUMa81896bc222770b6aa27c18215a8955e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark2400.0801
Satisfiable
(Un)Satisfiability was proved
Number of variables216
Number of constraints250
Number of domains2
Minimum domain size2
Maximum domain size9
Distribution of domain sizes[{"size":2,"count":108},{"size":9,"count":108}]
Minimum variable degree2
Maximum variable degree10
Distribution of variable degrees[{"degree":2,"count":108},{"degree":7,"count":4},{"degree":8,"count":34},{"degree":10,"count":70}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":34},{"arity":4,"count":4},{"arity":6,"count":34},{"arity":9,"count":70}]
Number of extensional constraints142
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":142},{"type":"sum","count":108}]
Optimization problemYES
Type of objectivemax SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
cosoco-mini 1.12 (complete)4267188SAT (TO)53 2400.0801 2400.3
cosoco-mini 1.1 (2017-07-29) (complete)4260007SAT (TO)53 2400.1101 2400.22
Naxos 1.1.0 (complete)4251575SAT (TO)38 2400.09 2400.1
cosoco-mini 1.1 (2017-06-27) (complete)4251574? (TO) 2400.09 2400.1

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: 53
Solution found:
<instantiation type='solution' cost='53'> <list>s[0][0] s[0][10] s[0][11] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8]
s[0][9] s[1][0] s[1][10] s[1][11] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][10] s[2][11] s[2][1]
s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[3][0] s[3][10] s[3][11] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6]
s[3][7] s[3][8] s[3][9] s[4][0] s[4][10] s[4][11] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[5][0] s[5][10]
s[5][11] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][10] s[6][11] s[6][1] s[6][2] s[6][3] s[6][4]
s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[7][0] s[7][10] s[7][11] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9]
s[8][0] s[8][10] s[8][11] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] x[0][0] x[0][10] x[0][11] x[0][1] x[0][2]
x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[1][0] x[1][10] x[1][11] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7]
x[1][8] x[1][9] x[2][0] x[2][10] x[2][11] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][11]
x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5]
x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0]
x[6][10] x[6][11] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][1] x[7][2] x[7][3]
x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8]
x[8][9] </list> <values>3 3 3 3 4 2 2 1 2 3 3 4 3 3 3 3 4 3 4 2 2 3 3 4 4 5 4 5 4 4 3 4 4 5 5 5 2 3 2 3 2 4 3 3 2 2 2 2 3 4 2 5 5 3 4 4 5 6
5 4 4 1 1 3 5 2 4 2 2 3 2 2 3 2 2 3 5 2 4 2 4 6 3 4 3 3 2 5 5 2 4 4 3 5 3 5 2 4 2 2 2 2 2 2 2 4 2 3 1 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0
0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1
0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 1 1 </values> </instantiation>