| Name | csp/allsquaresUnsat/ normalized-squaresUnsat-8-8.xml |
| MD5SUM | b490b12219169390b8a0be0982007406 |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.016996 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 128 |
| Number of constraints | 143 |
| Maximum constraint arity | 8 |
| Maximum domain size | 14 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 113 |
| Global constraints used (with number of constraints) | cumulative(2),weightedsum(28) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-option 1.314 | 1040874 | UNSAT | 0.016996 | 0.0232619 |
| Mistral-prime 1.313 | 1040875 | UNSAT | 0.016997 | 0.0281441 |
| MDG-noprobe 2008-06-27 | 1040867 | UNSAT | 0.016997 | 0.022692 |
| MDG-probe 2008-06-27 | 1040866 | UNSAT | 0.016997 | 0.023498 |
| casper zito | 1043852 | UNSAT | 0.017996 | 0.0257631 |
| cpHydra k_10 | 1045739 | UNSAT | 0.028995 | 0.0341121 |
| cpHydra k_40 | 1046368 | UNSAT | 0.028995 | 0.0348749 |
| bpsolver 2008-06-27 | 1040871 | UNSAT | 0.05999 | 0.0664139 |
| casper zao | 1043223 | UNSAT | 0.258959 | 0.262622 |
| choco2_dwdeg 2008-06-26 | 1040873 | UNSAT | 0.763883 | 0.787731 |
| choco2_impwdeg 2008-06-26 | 1040872 | UNSAT | 0.897863 | 0.951092 |
| Sugar v1.13+picosat | 1040869 | UNSAT | 0.964853 | 1.07584 |
| Sugar v1.13+minisat | 1040870 | UNSAT | 0.98085 | 1.12653 |
| Abscon 112v4 ESAC | 1045110 | ? | 0.710891 | 0.735401 |
| Abscon 112v4 AC | 1044481 | ? | 0.759883 | 0.794275 |
| SAT4J CSP 2008-06-13 | 1040868 | ? | 1.9587 | 1.9647 |
| Minion/Tailor 2008-07-04 | 1104551 | ? (exit code) | 0.474927 | 0.4857 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: