Name | csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-14_ext.xml |
MD5SUM | c6a48a01b72902cb5a149fdc5c72dd4d |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 3.36049 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 20 |
Number of constraints | 59 |
Maximum constraint arity | 3 |
Maximum domain size | 20 |
Number of constraints which are defined in extension | 59 |
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) | 2079554 | SAT | 3.36049 | 3.37629 |
Concrete 2009-07-14 (complete) | 2079548 | SAT | 11.0673 | 11.0979 |
pcs 0.3.2 (complete) | 2079546 | SAT | 11.4213 | 11.4743 |
Sugar v1.14.6+picosat (complete) | 2079551 | SAT | 11.5852 | 11.8761 |
Choco2.1.1b 2009-07-16 (complete) | 2116468 | SAT | 13.355 | 13.4977 |
Concrete DC 2009-07-14 (complete) | 2079549 | SAT | 14.2938 | 14.6471 |
Conquer 2009-07-10 (complete) | 2079553 | SAT | 19.0091 | 19.3715 |
Choco2.1.1 2009-06-10 (complete) | 2079550 | SAT | 77.2153 | 77.2557 |
pcs-restart 0.3.2 (complete) | 2079547 | SAT | 91.6261 | 92.3649 |
Sugar v1.14.6+minisat (complete) | 2079552 | SAT | 124.733 | 126.55 |
bpsolver 09 (complete) | 2079555 | SAT | 125.727 | 126.856 |
SAT4J CSP 2.1.1 (complete) | 2079545 | SAT | 160.598 | 165.755 |
Abscon 112v4 ESAC (complete) | 2097114 | SAT | 166.363 | 166.877 |
Abscon 112v4 AC (complete) | 2097113 | SAT | 182.948 | 184.733 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:5 6 12 1 1 19 11 5 17 0 2 4 0 19 5 0 17 8 0 14