| Name | csp/nengfa/ normalized-protein.xml |
| MD5SUM | dcc276e0be4c2cfad38640ad0b90bab6 |
| Bench Category | Alldiff (alldiff) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 6.15806 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 286 |
| Number of constraints | 309 |
| Maximum constraint arity | 27 |
| Maximum domain size | 1011 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 308 |
| Global constraints used (with number of constraints) | alldifferent(1) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.14.6+minisat (complete) | 2078914 | SAT | 6.15806 | 6.3515 |
| Sugar v1.14.6+picosat (complete) | 2078913 | SAT | 9.07362 | 9.24528 |
| Choco2.1.1 2009-06-10 (complete) | 2078912 | SAT | 15.1387 | 15.2678 |
| Choco2.1.1b 2009-07-16 (complete) | 2116410 | SAT | 83.8702 | 84.3639 |
| Mistral 1.545 (complete) | 2078916 | SAT | 140.489 | 140.569 |
| Concrete 2009-07-14 (complete) | 2078910 | SAT | 306.502 | 308.841 |
| SAT4J CSP 2.1.1 (complete) | 2078907 | SAT | 548.303 | 549.793 |
| Abscon 112v4 ESAC (complete) | 2096998 | SAT | 566.633 | 572.027 |
| Abscon 112v4 AC (complete) | 2096997 | SAT | 1144.29 | 1155.32 |
| bpsolver 09 (complete) | 2078917 | SAT | 1518.17 | 1522.1 |
| Concrete DC 2009-07-14 (complete) | 2078911 | ? (TO) | 1800.04 | 1802.52 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2828 28 28 2827 28 27 2927 29 27 2928 29 28 3028 30 28 3027 30 27 3127 31 27 3128 31 28 3129 31 29 3029 30 29 2929 29 29 2829 28 29 2830 28 30 2831 28 31 2832 28 32 2932 29 32 2931 29 31 2930 29 30 3030 30 30 3130 31 30 3230 32 30 3231 32 31 3232 32 32 3132 31 32 3131 31 31 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 -1 3 0 0 2 1 0 0 1 -1 0 3 0 1 2 0 4 3 0 3 4 0 0 0 0 -1 -1 -1 -2 0 1 -1 1 2 0 0 3 0 3 4 0 0 0 -1 1 0 -1 0 1 -1 2 1 0 2 3 0 1 2 0 2 3 0 1 4 0 0 0 0 0 -1 -2 2 1 0 3 2 0 2 3 0 1 4 0 0 0 0 2 1 0 1 2 0 2 3 0 0 0 1 2 0 0 1 -1 3 2 0 2 3 0 0 -1 -1 1 2 0 4 3 0 0 1 0 -1 4 1 0 3 2 0 0 -1 1 0 -1 4 1 0 -1 3 0 0 2 1 0 0 3 2 0 0 -1 -2 -2 -3 -3 -3 -5 -6 -8 2727 2728