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

Result page for benchmark
StillLife/
StillLife-wastage-19_c18.xml

Jump to solvers results

General information on the benchmark

NameStillLife/
StillLife-wastage-19_c18.xml
MD5SUMbc316652a8a0d5c7d33934cb88eaeb44
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark190
Best CPU time to get the best result obtained on this benchmark154.096
Satisfiable
(Un)Satisfiability was proved
Number of variables904
Number of constraints559
Number of domains4
Minimum domain size2
Maximum domain size883
Distribution of domain sizes[{"size":2,"count":441},{"size":3,"count":441},{"size":362,"count":1},{"size":883,"count":21}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":438},{"degree":3,"count":24},{"degree":4,"count":76},{"degree":8,"count":72},{"degree":9,"count":289},{"degree":22,"count":1}]
Minimum constraint arity2
Maximum constraint arity23
Distribution of constraint arities[{"arity":2,"count":97},{"arity":3,"count":76},{"arity":10,"count":361},{"arity":21,"count":4},{"arity":22,"count":1},{"arity":23,"count":20}]
Number of extensional constraints437
Number of intensional constraints96
Distribution of constraint types[{"type":"extension","count":437},{"type":"intension","count":96},{"type":"sum","count":22},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-08-14 (complete)4309306OPT190 154.096 154.108
PicatSAT 2018-06-15 (complete)4292896OPT190 181.395 181.391
PicatSAT 2018-08-02 (complete)4302966OPT190 233.283 233.269
Mistral-2.0 2018-06-15 (complete)4289272SAT (TO)186 2400.11 2400.01
Mistral-2.0 2018-08-01 (complete)4303552SAT (TO)186 2519.91 2520.01
Concrete 3.9.2 (complete)4304135SAT (TO)171 2520.06 2463.33
Concrete 3.8-SuperNG 2018-06-13 (complete)4292894SAT (TO)171 2520.11 2452.93
Concrete 3.9.2-SuperNG (complete)4304136SAT (TO)169 2520.06 2450.74
Concrete 3.8 2018-06-13 (complete)4292893SAT (TO)166 2520.13 2463.04
OscaR - Hybrid 2018-07-02 (complete)4291438SAT (TO)159 2400.07 2354.92
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290240SAT (TO)159 2400.49 2375.89
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4307784SAT (TO)158 2520.06 2492.73
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311520SAT (TO)158 2520.07 2491.92
Choco-solver 4.0.7 seq (493a269) (complete)4292196SAT (TO)152 2400.1 2380.92
Choco-solver 4.0.7b seq (e747e1e) (complete)4306490SAT (TO)152 2520.06 2501.81
OscaR - Hybrid 2018-08-14 (complete)4308370SAT (TO)143 2520.1 2451.03
cosoco 1.12 (complete)4292895SAT (TO)57 2519.6 2520.01
Sat4j-CSP 2018-07-11 (complete)4289753? 436.447 145.865

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: 190
Solution found:
<instantiation> <list> x[][] w[][] ws[] z  </list> <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1
1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0
0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1
0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0
1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 1
0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0
1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 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 1 0 0 1 0 0 1 0 0 1 0 1 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 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 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 1 0 0 1 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 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0
0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 1 0 0 0 0 0 0
0 0 1 1 0 1 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 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0
0 0  6 6 6 11 11 13 16 16 19 20 20 21 22 22 25 25 25 32 32 32 38  190   </values> </instantiation>