Name | csp/allsquares/ normalized-squares-13-13.xml |
MD5SUM | 5f69cd2626cfbb63c35631ae846e284e |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.043992 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 338 |
Number of constraints | 393 |
Maximum constraint arity | 13 |
Maximum domain size | 30 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 313 |
Global constraints used (with number of constraints) | cumulative(2),weightedsum(78) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1042105 | SAT | 0.043992 | 0.0514991 |
MDG-noprobe 2008-06-27 | 1042097 | SAT | 0.045992 | 0.0515789 |
cpHydra k_40 | 1046491 | SAT | 0.054991 | 0.062352 |
cpHydra k_10 | 1045862 | SAT | 0.056991 | 0.062813 |
MDG-probe 2008-06-27 | 1042096 | SAT | 0.083986 | 0.0923481 |
Mistral-option 1.314 | 1042104 | SAT | 0.134979 | 0.142085 |
casper zito | 1043975 | SAT | 0.860868 | 0.869507 |
choco2_dwdeg 2008-06-26 | 1042103 | SAT | 1.54876 | 1.58236 |
casper zao | 1043346 | SAT | 1.56376 | 1.60091 |
choco2_impwdeg 2008-06-26 | 1042102 | SAT | 1.89471 | 1.94062 |
Sugar v1.13+minisat | 1042100 | SAT | 1.89771 | 2.03085 |
Sugar v1.13+picosat | 1042099 | SAT | 2.75458 | 2.89682 |
bpsolver 2008-06-27 | 1042101 | SAT | 1338.97 | 1350.38 |
Abscon 112v4 AC | 1044604 | ? | 0.967852 | 0.993296 |
Abscon 112v4 ESAC | 1045233 | ? | 1.06784 | 1.09771 |
SAT4J CSP 2008-06-13 | 1042098 | ? | 3.50447 | 3.34079 |
Minion/Tailor 2008-07-04 | 1104674 | ? (exit code) | 0.601907 | 0.642592 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:12 28 4 0 23 23 23 22 13 13 12 0 0 13 22 25 25 22 16 9 0 0 9 19 13 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1