Name | csp/tdsp/ normalized-C4-2-61.xml |
MD5SUM | 0ffd436ed20b5bcf9ec627b8d0fbb5c0 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 12.7851 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 149 |
Number of constraints | 1274 |
Maximum constraint arity | 6 |
Maximum domain size | 62 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1274 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+minisat (complete) | 2068904 | SAT | 12.7851 | 13.2519 |
Mistral 1.545 (complete) | 2068906 | SAT | 47.5728 | 47.6983 |
Sugar v1.14.6+picosat (complete) | 2068903 | SAT | 676.392 | 682.849 |
SAT4J CSP 2.1.1 (complete) | 2068897 | ? | 931.044 | 936.017 |
pcs-restart 0.3.2 (complete) | 2068899 | ? (MO) | 1318.33 | 1322.35 |
pcs 0.3.2 (complete) | 2068898 | ? (MO) | 1654.73 | 1659.84 |
Concrete 2009-07-14 (complete) | 2068900 | ? (TO) | 1800.04 | 1808.72 |
Abscon 112v4 ESAC (complete) | 2095178 | ? (TO) | 1800.06 | 1800.95 |
Concrete DC 2009-07-14 (complete) | 2068901 | ? (TO) | 1800.09 | 1804.92 |
Abscon 112v4 AC (complete) | 2095177 | ? (TO) | 1800.1 | 1803.65 |
bpsolver 09 (complete) | 2068907 | ? (TO) | 1800.11 | 1809.31 |
Choco2.1.1 2009-06-10 (complete) | 2068902 | ? (TO) | 1800.12 | 1805.19 |
Choco2.1.1b 2009-07-16 (complete) | 2115500 | ? (TO) | 1800.18 | 1808.08 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:61 60 38 36 0 40 19 0 32 56 1 24 14 0 12 36 1 41 22 1 39 46 1 10 33 0 40 22 1 35 3 1 32 6 1 52 38 1 32 0 1 56 7 1 14 54 0 28 0 1 52 39 1 33 43 0 15 7 1 15 27 0 15 19 1 43 1 1 32 10 1 27 27 0 0 42 1 34 54 0 12 54 1 24 7 0 0 12 1 9 37 0 5 7 1 33 37 0 5 33 1 14 57 1 34 4 1 15 57 0 3 7 0 24 10 1 16 31 1 50 0 1 54 6 1 0 0 1 22 27 0 34 0 0 26 36 1 54 0 1 53 21 0 13 45 1 3 0 1