Name | csp/marc/ normalized-large-80-sat_ext.xml |
MD5SUM | 86e33c34c980488137ca21c2da6fb96c |
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 | 8.26574 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 3160 |
Maximum constraint arity | 2 |
Maximum domain size | 80 |
Number of constraints which are defined in extension | 3160 |
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) | 2059171 | SAT | 8.26574 | 8.2744 |
Abscon 112v4 AC (complete) | 2093407 | SAT | 11.7182 | 11.7948 |
Abscon 112v4 ESAC (complete) | 2093408 | SAT | 12.5671 | 12.677 |
Choco2.1.1 2009-06-10 (complete) | 2059167 | SAT | 13.217 | 13.3348 |
Choco2.1.1b 2009-07-16 (complete) | 2114615 | SAT | 13.8509 | 13.7889 |
pcs 0.3.2 (complete) | 2059163 | SAT | 24.1903 | 24.3057 |
pcs-restart 0.3.2 (complete) | 2059164 | SAT | 24.3233 | 24.5481 |
Concrete 2009-07-14 (complete) | 2059165 | SAT | 44.1033 | 44.3185 |
SAT4J CSP 2.1.1 (complete) | 2059162 | SAT | 45.2131 | 45.3325 |
Concrete DC 2009-07-14 (complete) | 2059166 | SAT | 48.7726 | 49.3418 |
Conquer 2009-07-10 (complete) | 2059170 | SAT | 65.3811 | 66.0759 |
bpsolver 09 (complete) | 2059172 | ? (problem) | 282.457 | 283.743 |
Sugar v1.14.6+picosat (complete) | 2059168 | ? (MO) | 23.43 | 23.8661 |
Sugar v1.14.6+minisat (complete) | 2059169 | ? (MO) | 24.7142 | 25.3443 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23