Name | csp/composed-25-10-20/ normalized-composed-25-10-20-6_ext.xml |
MD5SUM | 820b6bcb66beede664a4089e183ea967 |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.052991 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 620 |
Maximum constraint arity | 2 |
Maximum domain size | 10 |
Number of constraints which are defined in extension | 620 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2090268 | SAT | 0.052991 | 0.08519 |
pcs-restart 0.3.2 (complete) | 2090261 | SAT | 0.111982 | 0.118305 |
pcs 0.3.2 (complete) | 2090260 | SAT | 0.117982 | 0.120829 |
Choco2.1.1 2009-06-10 (complete) | 2090264 | SAT | 1.02184 | 1.06809 |
Abscon 112v4 AC (complete) | 2099061 | SAT | 1.02984 | 1.10291 |
Choco2.1.1b 2009-07-16 (complete) | 2117442 | SAT | 1.03584 | 1.10277 |
Concrete 2009-07-14 (complete) | 2090262 | SAT | 1.2908 | 1.34338 |
Abscon 112v4 ESAC (complete) | 2099062 | SAT | 1.3078 | 1.3553 |
Sugar v1.14.6+picosat (complete) | 2090265 | SAT | 1.36879 | 1.47107 |
Sugar v1.14.6+minisat (complete) | 2090266 | SAT | 1.42178 | 1.5441 |
Conquer 2009-07-10 (complete) | 2090267 | SAT | 1.78573 | 1.97953 |
SAT4J CSP 2.1.1 (complete) | 2090259 | SAT | 2.74158 | 2.82431 |
Concrete DC 2009-07-14 (complete) | 2090263 | SAT | 2.99054 | 3.05593 |
bpsolver 09 (complete) | 2090269 | ? (TO) | 1800.07 | 1810.62 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:6 8 9 2 3 6 8 7 1 4 4 3 1 6 8 7 0 4 5 8 8 5 8 2 3 8 6 3 3 6 4 7 2 0 8 0 1 2 0 8 8 8 9 0 5 6 9 9 0 3 3 2 1 6 0 7 7 1 1 6 8 2 2 7 5 1 3 8 5 3 3 8 5 0 9 0 7 7 7 5 5 4 9 6 6 3 2 8 7 5 8 6 2 0 6 1 7 4 3 0 3 0 0 7 2