Name | csp/ortholatin/ normalized-ortholatin-8.xml |
MD5SUM | 271809687e5b12084306616b84dfa035 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 8.90165 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 192 |
Number of constraints | 97 |
Maximum constraint arity | 64 |
Maximum domain size | 64 |
Number of constraints which are defined in extension | 64 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | alldifferent(33) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
bpsolver 09 (complete) | 2062824 | SAT | 8.90165 | 8.95115 |
Abscon 112v4 AC (complete) | 2094071 | SAT | 859.944 | 868.141 |
Sugar v1.14.6+minisat (complete) | 2062821 | ? (TO) | 1800.02 | 1817.15 |
Concrete DC 2009-07-14 (complete) | 2062818 | ? (TO) | 1800.04 | 1802.32 |
Concrete 2009-07-14 (complete) | 2062817 | ? (TO) | 1800.07 | 1810.82 |
Mistral 1.545 (complete) | 2062823 | ? (TO) | 1800.08 | 1814.31 |
Sugar v1.14.6+picosat (complete) | 2062820 | ? (TO) | 1800.1 | 1800.77 |
Choco2.1.1b 2009-07-16 (complete) | 2114947 | ? (TO) | 1800.11 | 1809.48 |
Choco2.1.1 2009-06-10 (complete) | 2062819 | ? (TO) | 1800.11 | 1811.55 |
Abscon 112v4 ESAC (complete) | 2094072 | ? (TO) | 1800.11 | 1807.85 |
SAT4J CSP 2.1.1 (complete) | 2062814 | ? (TO) | 1800.34 | 1813.91 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3 4 1 2 6 5 8 7 4 2 3 1 8 6 7 5 2 5 7 6 1 4 3 8 5 6 8 4 7 2 1 3 1 3 4 8 2 7 5 6 7 1 2 3 5 8 6 4 6 8 5 7 3 1 4 2 8 7 6 5 4 3 2 1 6 8 7 2 1 4 3 5 4 6 5 8 7 2 1 3 7 5 8 6 3 1 4 2 8 7 6 5 4 3 2 1 1 2 3 4 5 6 7 8 2 4 1 3 6 8 5 7 3 1 2 7 8 5 6 4 5 3 4 1 2 7 8 6 22 32 7 10 41 36 59 53 28 14 21 8 63 42 49 35 15 37 56 46 3 25 20 58 40 47 62 29 52 11 2 17 1 18 27 60 13 54 39 48 50 4 9 19 38 64 45 31 43 57 34 55 24 5 30 12 61 51 44 33 26 23 16 6