Name | csp/small/ normalized-patat-02-small-3.xml |
MD5SUM | 8b6891248b1158101d0f3823c0b78f6f |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.182972 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2780 |
Maximum constraint arity | 13 |
Maximum domain size | 45 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2714 |
Global constraints used (with number of constraints) | alldifferent(66) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2069489 | SAT | 0.182972 | 0.184781 |
Abscon 112v4 AC (complete) | 2095283 | SAT | 2.6436 | 2.72557 |
Abscon 112v4 ESAC (complete) | 2095284 | SAT | 3.44448 | 3.50875 |
Sugar v1.14.6+minisat (complete) | 2069487 | SAT | 3.83942 | 3.9724 |
Sugar v1.14.6+picosat (complete) | 2069486 | SAT | 7.70783 | 7.86493 |
Choco2.1.1 2009-06-10 (complete) | 2069485 | SAT | 28.4287 | 28.7581 |
Choco2.1.1b 2009-07-16 (complete) | 2115553 | SAT | 29.2446 | 29.5638 |
SAT4J CSP 2.1.1 (complete) | 2069480 | SAT | 65.1861 | 65.5132 |
Concrete 2009-07-14 (complete) | 2069483 | SAT | 141.491 | 142.315 |
Concrete DC 2009-07-14 (complete) | 2069484 | SAT | 1609.8 | 1618.23 |
bpsolver 09 (complete) | 2069490 | ? (TO) | 1800.11 | 1801.01 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 42 39 2 35 38 1 18 0 37 41 34 43 35 10 36 39 42 7 13 44 39 5 7 10 6 40 30 40 11 38 14 3 37 9 0 33 8 41 0 5 2 41 1 44 2 3 37 5 5 43 33 8 6 32 43 12 4 9 10 0 11 43 3 44 12 1 17 31 40 35 40 6 36 7 11 4 16 42 0 14 2 42 3 4 41 37 42 15 3 8 44 1 2 13 44 9 17 39 41 3 2 2 4 0 2 0 0 0 4 0 0 4 1 3 0 3 1 0 3 1 0 3 3 2 3 3 0 4 2 0 0 0 2 3 3 0 0 2 1 0 3 3 3 2 0 3 3 4 2 3 3 2 2 0 0 3 2 0 0 2 0 1 1 4 0 2 0 0 0 3 2 0 2 2 3 0 0 4 4 3 1 3 4 4 4 0 0 0 2 3 0 4 2 0 3 2 2 4 1