| Name | csp/allsquaresUnsat/ normalized-squaresUnsat-16-16.xml |
| MD5SUM | 1b3bd03ab78a97f788d7f34f7afec759 |
| 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.063989 |
| 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 | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-prime 1.313 | 1040985 | UNSAT | 0.063989 | 0.0725891 |
| casper zito | 1043863 | UNSAT | 0.064989 | 0.0730031 |
| cpHydra k_10 | 1045750 | UNSAT | 0.080986 | 0.085692 |
| MDG-noprobe 2008-06-27 | 1040977 | UNSAT | 0.081986 | 0.130957 |
| cpHydra k_40 | 1046379 | UNSAT | 0.081986 | 0.0876479 |
| Mistral-option 1.314 | 1040984 | UNSAT | 0.804877 | 0.816444 |
| casper zao | 1043234 | UNSAT | 1.23181 | 1.24922 |
| choco2_dwdeg 2008-06-26 | 1040983 | UNSAT | 1.42778 | 1.49222 |
| choco2_impwdeg 2008-06-26 | 1040982 | UNSAT | 1.59676 | 1.6305 |
| MDG-probe 2008-06-27 | 1040976 | UNSAT | 1.60975 | 1.62732 |
| Sugar v1.13+minisat | 1040980 | UNSAT | 2.54861 | 2.65245 |
| Sugar v1.13+picosat | 1040979 | UNSAT | 4.44532 | 4.6344 |
| bpsolver 2008-06-27 | 1040981 | UNSAT | 1345.01 | 1350.43 |
| Abscon 112v4 ESAC | 1045121 | ? | 1.11883 | 1.14538 |
| Abscon 112v4 AC | 1044492 | ? | 1.24881 | 1.30678 |
| SAT4J CSP 2008-06-13 | 1040978 | ? | 5.46617 | 5.73809 |
| Minion/Tailor 2008-07-04 | 1104562 | ? (exit code) | 0.6499 | 0.733881 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: