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

Result page for benchmark
SumColoring/
SumColoring-myciel4_c18.xml

Jump to solvers results

General information on the benchmark

NameSumColoring/
SumColoring-myciel4_c18.xml
MD5SUMb2986e349e6e3d69d494bfde8c7eda2a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.237012
Satisfiable
(Un)Satisfiability was proved
Number of variables23
Number of constraints71
Number of domains1
Minimum domain size23
Maximum domain size23
Distribution of domain sizes[{"size":23,"count":23}]
Minimum variable degree5
Maximum variable degree12
Distribution of variable degrees[{"degree":5,"count":5},{"degree":6,"count":5},{"degree":7,"count":6},{"degree":9,"count":5},{"degree":11,"count":1},{"degree":12,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":71}]
Number of extensional constraints0
Number of intensional constraints71
Distribution of constraint types[{"type":"intension","count":71}]
Optimization problemYES
Type of objectivemin SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2018-08-01 (complete)4303778OPT22 0.105005 0.109112
Mistral-2.0 2018-06-15 (complete)4289372OPT22 0.105723 0.107043
cosoco 1.12 (complete)4293698OPT22 0.237012 0.238796
PicatSAT 2018-06-15 (complete)4293699OPT22 2.18107 2.18075
PicatSAT 2018-08-14 (complete)4309532OPT22 2.36148 2.36616
PicatSAT 2018-08-02 (complete)4303192OPT22 2.36789 2.36822
Choco-solver 4.0.7b seq (e747e1e) (complete)4306716OPT22 6.28885 4.31172
Choco-solver 4.0.7 seq (493a269) (complete)4292422OPT22 6.94597 4.29101
OscaR - Hybrid 2018-08-14 (complete)4308596OPT22 10.1685 8.19237
OscaR - Hybrid 2018-07-02 (complete)4291664OPT22 10.5548 8.38769
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311746OPT22 12.235 10.1953
Concrete 3.8 2018-06-13 (complete)4293696OPT22 12.5906 6.75952
Concrete 3.9.2 (complete)4304379OPT22 13.5285 6.74629
Concrete 3.9.2-SuperNG (complete)4304380OPT22 16.514 9.47947
Concrete 3.8-SuperNG 2018-06-13 (complete)4293697OPT22 18.3987 11.2571
Sat4j-CSP 2018-07-11 (complete)4289979OPT22 1331.39 1323.9
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290466SAT (TO)22 2400.03 2369.13
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4308010SAT (TO)22 2520.08 2487.12

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: 22
Solution found:
<instantiation type="optimum" cost="22"> <list> c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16]
c[17] c[18] c[19] c[20] c[21] c[22] </list> <values> 3 4 2 2 3 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 1 </values> </instantiation>