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

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

Jump to solvers results

General information on the benchmark

NameStillLife/
StillLife-wastage-17_c18.xml
MD5SUM6bdaa478fa612f14e4ae80d6384d4ab1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark152
Best CPU time to get the best result obtained on this benchmark148.537
Satisfiable
(Un)Satisfiability was proved
Number of variables742
Number of constraints467
Number of domains4
Minimum domain size2
Maximum domain size723
Distribution of domain sizes[{"size":2,"count":361},{"size":3,"count":361},{"size":290,"count":1},{"size":723,"count":19}]
Minimum variable degree1
Maximum variable degree20
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":358},{"degree":3,"count":22},{"degree":4,"count":68},{"degree":8,"count":64},{"degree":9,"count":225},{"degree":20,"count":1}]
Minimum constraint arity2
Maximum constraint arity21
Distribution of constraint arities[{"arity":2,"count":87},{"arity":3,"count":68},{"arity":10,"count":289},{"arity":19,"count":4},{"arity":20,"count":1},{"arity":21,"count":18}]
Number of extensional constraints357
Number of intensional constraints86
Distribution of constraint types[{"type":"extension","count":357},{"type":"intension","count":86},{"type":"sum","count":20},{"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)4309305OPT152 148.537 148.545
PicatSAT 2018-06-15 (complete)4292904OPT152 149.33 149.345
PicatSAT 2018-08-02 (complete)4302965OPT152 156.635 156.639
Mistral-2.0 2018-06-15 (complete)4289274SAT (TO)150 2400.02 2400.01
Mistral-2.0 2018-08-01 (complete)4303551SAT (TO)150 2520.05 2520.01
Concrete 3.8 2018-06-13 (complete)4292901SAT (TO)144 2520.07 2463.14
Concrete 3.8-SuperNG 2018-06-13 (complete)4292902SAT (TO)144 2520.11 2458.83
Concrete 3.9.2-SuperNG (complete)4304140SAT (TO)142 2520.04 2456.53
Concrete 3.9.2 (complete)4304139SAT (TO)142 2520.14 2463.53
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4307783SAT (TO)133 2520.13 2490.52
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311519SAT (TO)131 2520.08 2492.63
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290239SAT (TO)128 2400.11 2376.63
OscaR - Hybrid 2018-07-02 (complete)4291437SAT (TO)123 2400.11 2334.04
Choco-solver 4.0.7 seq (493a269) (complete)4292195SAT (TO)121 2400.11 2378.84
Choco-solver 4.0.7b seq (e747e1e) (complete)4306489SAT (TO)121 2520.15 2499.23
OscaR - Hybrid 2018-08-14 (complete)4308369SAT (TO)107 2520.06 2447.04
cosoco 1.12 (complete)4292903SAT (TO)92 2519.98 2520.01
Sat4j-CSP 2018-07-11 (complete)4289752? (TO) 2400.21 2289.66

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: 152
Solution found:
<instantiation> <list> z ws[] x[][] w[][]  </list> <values> 152  6 8 8 12 12 12 16 16 18 22 24 24 26 26 26 30 30 32 38  0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0
1 0 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0
0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1
0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 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 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 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 1 0 0 1 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 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 1 0 0 1 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 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 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 1 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 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0
0 1 0 1 0 0 1 0 0 1 0 0   </values> </instantiation>