Name | csp/QWH-20/ normalized-qwh-20-166-5_ext.xml |
MD5SUM | 7bd86741afd48ad51c5acde5c2657b27 |
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.636903 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 5092 |
Maximum constraint arity | 2 |
Maximum domain size | 20 |
Number of constraints which are defined in extension | 5092 |
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 |
---|---|---|---|---|
pcs-restart 0.3.2 (complete) | 2058438 | SAT | 0.636903 | 0.642513 |
pcs 0.3.2 (complete) | 2058437 | SAT | 0.6529 | 0.659096 |
Sugar v1.14.6+minisat (complete) | 2058443 | SAT | 1.91971 | 2.04835 |
Sugar v1.14.6+picosat (complete) | 2058442 | SAT | 2.06469 | 2.17178 |
Mistral 1.545 (complete) | 2058445 | SAT | 2.66259 | 2.66633 |
SAT4J CSP 2.1.1 (complete) | 2058436 | SAT | 3.99739 | 4.0817 |
Abscon 112v4 ESAC (complete) | 2093276 | SAT | 5.70113 | 5.47864 |
Choco2.1.1b 2009-07-16 (complete) | 2114549 | SAT | 10.7904 | 10.9166 |
Choco2.1.1 2009-06-10 (complete) | 2058441 | SAT | 12.1961 | 12.3235 |
Abscon 112v4 AC (complete) | 2093275 | SAT | 13.373 | 13.5486 |
Conquer 2009-07-10 (complete) | 2058444 | SAT | 79.5999 | 80.1769 |
Concrete 2009-07-14 (complete) | 2058439 | SAT | 95.3915 | 95.8973 |
Concrete DC 2009-07-14 (complete) | 2058440 | SAT | 349.715 | 353.038 |
bpsolver 09 (complete) | 2058446 | SAT | 391.195 | 391.77 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 3 13 0 5 4 6 17 16 11 8 1 19 14 15 12 7 9 10 18 1 5 19 15 11 18 10 16 8 17 2 7 12 3 9 6 0 13 4 14 12 2 18 9 10 8 1 14 19 16 13 6 5 7 11 0 17 4 15 3 18 15 7 13 4 17 11 0 6 19 14 16 8 1 2 9 5 3 12 10 13 11 15 18 7 6 9 19 14 5 4 10 16 12 17 3 8 2 1 0 16 8 17 11 13 15 7 3 18 9 19 12 0 6 1 4 10 5 14 2 6 10 12 19 17 9 16 1 0 2 7 5 15 8 14 11 13 18 3 4 19 0 2 3 16 13 17 10 12 6 11 4 14 5 18 1 9 8 7 15 4 19 10 5 8 7 13 11 17 15 16 0 6 2 12 18 3 14 9 1 8 17 9 16 1 0 12 18 10 3 5 14 11 4 7 13 2 15 6 19 11 1 8 10 2 3 0 9 5 14 18 15 4 13 6 16 19 12 17 7 14 13 0 1 15 2 5 4 3 7 17 8 9 11 19 10 18 6 16 12 15 4 1 14 18 12 8 5 9 0 3 17 2 19 10 7 6 11 13 16 3 12 14 7 6 5 19 13 15 4 9 2 10 18 16 8 1 0 11 17 0 14 4 6 19 10 2 7 11 13 12 9 3 15 5 17 16 1 18 8 5 9 11 2 3 16 18 15 4 1 10 19 7 0 13 14 12 17 8 6 9 6 16 8 0 19 4 12 2 18 1 11 17 10 3 15 14 7 5 13 10 7 6 17 14 11 3 8 1 12 0 13 18 9 4 19 15 16 2 5 7 16 3 4 12 14 15 2 13 8 6 18 1 17 0 5 11 10 19 9 17 18 5 12 9 1 14 6 7 10 15 3 13 16 8 2 4 19 0 11