Name | csp/pseudo/fpga/ normalized-fpga-11-11.xml |
MD5SUM | 63186141815811d5cc72be86f937b8da |
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 | 0.079987 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 182 |
Number of constraints | 154 |
Maximum constraint arity | 11 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 154 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2067300 | SAT | 0.079987 | 0.0879531 |
pcs-restart 0.3.2 (complete) | 2067293 | SAT | 0.228965 | 0.237061 |
Abscon 112v4 ESAC (complete) | 2094886 | SAT | 1.03684 | 1.04807 |
Sugar v1.14.6+picosat (complete) | 2067297 | SAT | 1.25981 | 1.34392 |
Sugar v1.14.6+minisat (complete) | 2067298 | SAT | 1.3408 | 1.43748 |
Concrete 2009-07-14 (complete) | 2067294 | SAT | 1.82872 | 1.89144 |
Concrete DC 2009-07-14 (complete) | 2067295 | SAT | 2.28365 | 2.31172 |
Abscon 112v4 AC (complete) | 2094885 | SAT | 3.49947 | 3.54501 |
SAT4J CSP 2.1.1 (complete) | 2067291 | SAT | 4.47132 | 4.52938 |
Choco2.1.1 2009-06-10 (complete) | 2067296 | SAT | 357.117 | 360.527 |
bpsolver 09 (complete) | 2067301 | SAT | 899.825 | 900.299 |
pcs 0.3.2 (complete) | 2067292 | ? (MO) | 166.327 | 167.154 |
Choco2.1.1b 2009-07-16 (complete) | 2115354 | ? (TO) | 1800.14 | 1808.86 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0