Name | csp/rand-2-23/ normalized-rand-23-23-253-131-54021_ext.xml |
MD5SUM | 7af79940b347b6ea35736ab16ca7c6df |
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 | 15.6086 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 23 |
Number of constraints | 253 |
Maximum constraint arity | 2 |
Maximum domain size | 23 |
Number of constraints which are defined in extension | 253 |
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) | 2059688 | SAT | 15.6086 | 15.6774 |
Abscon 112v4 AC (complete) | 2093501 | SAT | 17.4953 | 17.5521 |
Abscon 112v4 ESAC (complete) | 2093502 | SAT | 20.4259 | 20.6748 |
Conquer 2009-07-10 (complete) | 2059687 | SAT | 94.5586 | 95.6728 |
bpsolver 09 (complete) | 2059689 | SAT | 109.976 | 111.017 |
Concrete DC 2009-07-14 (complete) | 2059683 | SAT | 113 | 114.082 |
Concrete 2009-07-14 (complete) | 2059682 | SAT | 113.4 | 114.539 |
Choco2.1.1b 2009-07-16 (complete) | 2114662 | SAT | 114.868 | 115.992 |
Choco2.1.1 2009-06-10 (complete) | 2059684 | SAT | 148.223 | 148.932 |
Sugar v1.14.6+minisat (complete) | 2059686 | SAT | 198.044 | 200.038 |
pcs-restart 0.3.2 (complete) | 2059681 | SAT | 252.166 | 253.384 |
pcs 0.3.2 (complete) | 2059680 | SAT | 253.22 | 254.45 |
Sugar v1.14.6+picosat (complete) | 2059685 | SAT | 770.644 | 775.299 |
SAT4J CSP 2.1.1 (complete) | 2059679 | ? (TO) | 1800.43 | 1801.16 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:15 12 17 17 4 17 15 9 4 16 13 1 0 19 0 22 18 0 3 1 5 3 3