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: