| Name | csp/allsquaresUnsat/ normalized-squaresUnsat-16-16.xml |
| MD5SUM | 1b3bd03ab78a97f788d7f34f7afec759 |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | MOPT |
| Best Number of falsified constraints | 3 |
| Best CPU time to get the best result obtained on this benchmark | 7.2549 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 512 |
| Number of constraints | 603 |
| Maximum constraint arity | 16 |
| Maximum domain size | 38 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 481 |
| Global constraints used (with number of constraints) | cumulative(2),weightedsum(120) |
| Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
|---|---|---|---|---|---|
| Sugar++ v1.13+minisat-inc | 1108927 | OPTIMUM | 3 | 7.2549 | 8.20559 |
| Sugar v1.13+minisat | 1108928 | OPTIMUM | 3 | 13.9449 | 14.4069 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 312 34 31 0 12 31 31 19 4 27 27 0 14 13 16 0 25 8 7 32 19 10 0 16 28 28 17 16 24 24 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0