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

Result page for benchmark
GraphColoring/
GraphColoring-3-fullins-5_c18.xml

Jump to solvers results

General information on the benchmark

NameGraphColoring/
GraphColoring-3-fullins-5_c18.xml
MD5SUM51dc9de19dcdd21b605810f9d7307a76
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1856.54
Satisfiable
(Un)Satisfiability was proved
Number of variables2030
Number of constraints33751
Number of domains1
Minimum domain size2030
Maximum domain size2030
Distribution of domain sizes[{"size":2030,"count":2030}]
Minimum variable degree9
Maximum variable degree410
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":14},{"degree":11,"count":12},{"degree":12,"count":36},{"degree":13,"count":23},{"degree":14,"count":54},{"degree":15,"count":22},{"degree":16,"count":66},{"degree":17,"count":41},{"degree":18,"count":123},{"degree":19,"count":41},{"degree":20,"count":123},{"degree":21,"count":19},{"degree":22,"count":57},{"degree":23,"count":42},{"degree":24,"count":131},{"degree":25,"count":8},{"degree":26,"count":24},{"degree":27,"count":29},{"degree":28,"count":87},{"degree":29,"count":44},{"degree":30,"count":132},{"degree":31,"count":87},{"degree":32,"count":261},{"degree":33,"count":5},{"degree":34,"count":15},{"degree":35,"count":15},{"degree":36,"count":45},{"degree":41,"count":5},{"degree":42,"count":15},{"degree":43,"count":5},{"degree":44,"count":15},{"degree":49,"count":5},{"degree":50,"count":15},{"degree":51,"count":15},{"degree":52,"count":45},{"degree":53,"count":15},{"degree":54,"count":45},{"degree":55,"count":45},{"degree":56,"count":135},{"degree":77,"count":5},{"degree":78,"count":15},{"degree":79,"count":15},{"degree":80,"count":45},{"degree":87,"count":5},{"degree":169,"count":5},{"degree":170,"count":15},{"degree":410,"count":5}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":33751}]
Number of extensional constraints0
Number of intensional constraints33751
Distribution of constraint types[{"type":"intension","count":33751}]
Optimization problemYES
Type of objectivemin MAXIMUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-08-14 (complete)4309325OPT7 1856.54 1856.76
PicatSAT 2018-08-02 (complete)4302985OPT7 1863.81 1863.7
PicatSAT 2018-06-15 (complete)4293236OPT7 1972.24 1972.12
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290259SAT (TO)7 2400.08 2347.14
Mistral-2.0 2018-06-15 (complete)4289342SAT (TO)7 2400.08 2400.21
Choco-solver 4.0.7 seq (493a269) (complete)4292215SAT (TO)7 2400.11 2391.04
Mistral-2.0 2018-08-01 (complete)4303571SAT (TO)7 2519.91 2520.01
cosoco 1.12 (complete)4293235SAT (TO)7 2520.03 2520.03
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4307803SAT (TO)7 2520.05 2464.83
Concrete 3.8-SuperNG 2018-06-13 (complete)4293234SAT (TO)7 2520.07 2406.26
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311539SAT (TO)7 2520.09 2465.73
Concrete 3.8 2018-06-13 (complete)4293233SAT (TO)7 2520.09 2460.94
Choco-solver 4.0.7b seq (e747e1e) (complete)4306509SAT (TO)7 2520.09 2511.22
Concrete 3.9.2 (complete)4304251SAT (TO)7 2520.16 2452.16
Concrete 3.9.2-SuperNG (complete)4304252SAT (TO)7 2520.31 2387.32
OscaR - Hybrid 2018-08-14 (complete)4308389SAT (TO)1093 2520.09 2370.94
OscaR - Hybrid 2018-07-02 (complete)4291457SAT (TO)1142 2400.11 2259.24
Sat4j-CSP 2018-07-11 (complete)4289772? (problem) 1597.18 441.148

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: 7
Solution found:
<instantiation> <list> x[]  </list> <values> 7 0 5 6 7 7 2 0 4 7 2 0 4 7 6 2 3 3 3 7 7 2 3 3 3 3 3 3 3 3 5 6 4 6 4 0 4 0 4 4 0 4 4 4 4 3 7 3
7 3 3 7 5 7 5 0 7 5 3 7 6 6 4 6 0 4 6 0 6 4 6 6 6 3 6 5 0 3 4 7 2 0 5 6 5 6 0 5 5 5 5 0 5 5 6 2 6 3 6 3 3 2 3 5 3 3 3 5 3 6 0 4 2 0 6 6 6 5
6 6 6 6 4 6 6 3 0 3 2 5 3 6 2 5 5 5 2 5 5 5 4 2 4 4 0 0 2 0 2 2 2 4 2 4 2 2 0 3 2 2 4 7 4 7 4 4 1 4 4 7 7 7 7 7 7 7 7 7 4 7 7 7 7 3 7 3 7 3
7 3 4 6 4 4 4 4 4 4 4 0 7 4 4 4 4 6 3 3 3 3 0 3 7 4 7 3 3 7 7 3 4 7 7 4 4 4 4 4 4 4 0 0 4 4 4 6 4 7 4 6 2 0 6 3 0 6 6 6 6 6 6 6 6 6 6 3 2 3
6 2 6 6 6 3 6 6 3 2 6 6 5 2 5 2 6 6 3 2 5 5 6 6 6 6 6 3 3 2 6 6 6 7 7 3 6 7 6 6 6 6 2 2 5 7 2 2 2 5 2 2 2 2 2 2 2 3 0 3 2 3 5 5 5 4 4 7 4 4
4 7 7 7 5 4 4 5 4 7 7 5 7 4 7 5 4 4 4 5 7 4 4 4 5 4 4 0 0 0 5 5 5 4 5 4 4 5 4 4 7 4 7 4 7 7 4 4 4 5 7 4 5 7 4 5 0 0 5 5 0 5 5 4 5 4 0 4 5 7
4 4 3 7 5 4 6 2 0 1 1 2 6 2 1 4 1 1 0 1 1 1 1 1 3 3 2 3 3 1 3 3 3 1 3 3 3 1 4 4 4 4 4 0 0 1 4 0 4 1 4 4 3 3 1 1 1 3 1 1 1 5 1 1 1 1 1 3 4 4
0 0 0 6 0 4 1 6 1 6 3 4 5 0 1 1 1 2 6 6 6 1 6 0 6 5 0 1 1 1 5 1 1 6 2 2 3 3 6 3 5 3 1 1 3 3 3 0 0 6 5 6 6 4 0 6 1 0 1 6 6 6 3 3 3 3 1 0 6 1
5 3 1 5 1 5 1 2 1 4 4 1 0 1 1 1 1 2 2 1 2 2 5 0 1 2 1 4 4 1 1 0 1 1 4 2 1 4 1 1 1 4 1 1 1 3 1 1 4 1 3 2 3 1 2 1 1 4 4 4 0 0 4 0 4 4 4 4 0 0
0 0 1 3 1 3 3 1 1 3 4 4 1 1 1 1 0 1 4 4 4 1 4 4 1 1 4 0 0 4 1 4 1 4 1 4 1 2 6 6 0 0 2 3 6 0 6 6 1 2 6 6 2 1 1 6 3 3 6 3 3 2 1 2 2 3 2 1 2 1
2 2 6 2 0 0 1 0 6 6 6 1 3 3 1 3 6 1 1 2 3 3 3 2 1 3 3 0 1 1 1 2 1 3 5 5 1 2 2 1 1 0 2 2 3 1 1 4 1 4 5 4 5 1 5 5 5 4 4 1 5 5 4 4 4 1 1 1 1 1
1 1 4 1 2 1 4 0 0 1 0 5 0 2 0 5 2 0 5 0 5 0 1 0 4 4 0 4 0 1 0 4 1 4 4 0 4 4 4 2 4 5 5 4 2 1 4 5 0 4 2 4 1 1 4 5 1 1 1 2 1 2 7 7 5 7 4 7 4 7
7 5 7 7 4 7 7 3 7 3 7 3 5 7 7 7 7 7 2 7 7 2 5 4 4 6 6 0 2 4 6 7 6 7 4 4 6 6 5 7 7 7 3 7 7 7 7 7 7 7 5 7 4 4 4 7 7 4 4 7 7 7 7 7 4 7 7 7 4 7
7 7 7 5 5 5 6 7 5 5 5 6 7 7 5 7 7 7 7 7 3 6 6 2 7 7 6 7 7 5 6 7 5 7 6 6 7 5 6 6 7 6 7 7 6 5 7 7 7 7 7 5 7 7 5 5 7 7 5 7 5 5 6 7 6 4 7 4 2 7
7 7 7 7 6 7 7 7 6 7 7 7 5 5 5 5 7 4 4 7 5 5 7 7 7 7 7 7 7 5 7 7 7 4 7 3 7 3 7 7 5 3 5 7 7 4 7 7 4 0 0 5 4 7 7 7 7 3 7 7 4 7 5 4 7 7 7 7 7 7
7 4 7 0 7 0 7 7 7 4 7 7 0 7 7 4 7 7 7 7 4 7 7 6 2 6 6 5 3 6 7 7 6 6 7 6 6 7 5 6 3 7 6 6 3 3 6 6 6 3 6 3 7 7 7 5 5 7 5 7 7 7 7 7 7 7 5 7 7 3
3 7 7 3 7 3 3 3 3 3 3 3 2 5 5 7 2 5 7 2 2 6 5 2 5 5 7 3 6 3 5 7 7 4 0 4 5 5 0 7 7 4 4 7 5 7 4 5 0 7 7 5 7 5 7 5 4 7 5 7 4 5 5 5 5 4 7 7 7 5
7 4 7 4 4 5 7 4 7 4 5 4 4 4 4 7 7 7 7 7 4 3 7 5 4 5 7 3 5 5 7 7 7 4 7 4 7 7 4 3 7 7 3 7 7 7 3 6 6 1 0 2 1 3 2 0 6 0 1 0 6 3 3 3 2 3 1 7 3 2
3 3 3 2 2 0 2 0 0 0 1 0 6 1 0 1 1 3 0 1 0 4 3 2 2 2 3 0 2 3 1 0 3 3 2 0 2 2 3 2 3 1 2 0 2 6 2 6 6 0 2 0 0 0 3 2 0 6 4 0 0 2 6 3 1 6 1 6 6 0
1 6 2 0 1 0 2 3 6 2 2 3 2 2 1 3 1 6 0 1 0 2 2 6 1 1 6 0 1 1 6 4 3 6 3 3 2 3 2 2 2 1 2 2 3 3 3 3 2 0 0 0 6 0 3 6 3 6 0 6 3 0 3 0 1 2 6 4 0 3
0 0 0 2 2 0 0 2 0 0 0 2 3 1 3 3 2 1 3 3 3 1 2 1 2 1 1 6 2 0 0 4 4 0 0 4 4 2 2 2 4 2 1 0 6 3 0 0 2 6 3 0 3 2 6 3 3 2 4 1 2 2 4 0 6 0 2 4 6 0
2 2 0 0 1 2 0 2 6 3 3 0 3 6 2 0 6 6 1 6 6 0 2 3 3 6 2 1 2 3 2 6 3 2 2 3 2 2 2 2 2 0 2 0 2 1 6 0 6 0 0 2 6 2 2 2 1 0 1 3 6 6 2 2 1 6 6 0 0 0
2 2 2 3 0 0 0 0 2 2 0 2 6 6 3 2 6 0 0 7 4 4 4 2 4 0 0 4 4 2 4 2 2 0 1 2 1 0 1 2 2 1 4 1 1 1 1 6 4 0 0 6 2 4 0 4 4 7 7 2 4 7 1 6 1 1 6 6 2 6
0 2 1 4 4 6 4 1 1 1 4 6 1 4 4 6 6 4 6 4 6 6 4 0 2 2 4 6 0 6 4 2 7 5 5 5 4 7 5 7 5 4 4 7 5 5 5 7 2 5 7 4 7 5 4 7 7 2 5 7 7 5 5 4 5 5 4 7 4 7
5 4 5 7 4 5 7 7 5 5 4 5 5 5 4 7 5 7 7 7 7 5 7 4 1 1 1 5 7 7 1 7 7 5 5 7 7 4 4 7 7 4 2 5 4 7 5 5 5 4 7 7 7 5 5 7 5 4 2 7 5 5 5 2 5 7 5 7 7 5
7 5 7 7 5 7 7 4 2 7 4 5 4 4 4 4 4 7 7 5 7 5 5 5 5 7 7 7 7 7 5 7 4 7 4 4 4 7 5 4 4 7 4 5 4 4 5 7 4 7 4 5 5 7 5 5 5 4 2 7 5 5 7 5 7 5 5 1 5 7
7 5 5 7 4 5 7 5 5 7 7 2 7 7 5 7 4 5 2 4 7 4 7 4 4 5 0 5 5 7 7 5 5 7 5 5 7 5 5 7 5 7 7 4 7 4 5 7 4 7 0 7 4 7 5 4 7 7 7 7 7 5 7 5 7 7 5 5 2 7
7 7 5 5 5 7 7 5 2 5 5 5 5 7 7 1 1 1 1 1 1 5 5 7 7 5 5 5 7 5 0 7 7 0 7 0 7 7 7 0 0 7 7 5 5 5 5 5 5 0 1 1 2 2 7 7 7 7 7 5 7 5 1 2 5 7 7 5 7 1
7 7 5 7 7 5 7 5 0 7 5 5 4 7 5 7 5 0 5 7 7 1 7 4 7 7 1 4 5 4 5 4 5 7 4 5 7 7 4 7 7 5 4 7 4 5 4 5 1 7 7 7 4 7 7 7 1 4 4 7 4 5 7 7 5 0 5 7 7 0
7 0 5 7 4 0 5 7 0 7 4 7 5 7 7 7 5 3 7 1 5 6   </values> </instantiation>