Name | csp/QCP-20/ normalized-qcp-20-187-0_ext.xml |
MD5SUM | 5240de074e9cbc6096cab22826be74e1 |
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 | 4.72128 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 5540 |
Maximum constraint arity | 2 |
Maximum domain size | 20 |
Number of constraints which are defined in extension | 5540 |
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 |
---|---|---|---|---|
Sugar v1.14.6+minisat (complete) | 2058905 | SAT | 4.72128 | 4.85414 |
Mistral 1.545 (complete) | 2058907 | SAT | 5.12422 | 5.12845 |
SAT4J CSP 2.1.1 (complete) | 2058898 | SAT | 5.79112 | 5.83498 |
pcs-restart 0.3.2 (complete) | 2058900 | SAT | 5.83311 | 5.88669 |
Sugar v1.14.6+picosat (complete) | 2058904 | SAT | 7.30289 | 7.45971 |
Choco2.1.1 2009-06-10 (complete) | 2058903 | SAT | 12.1981 | 12.344 |
Choco2.1.1b 2009-07-16 (complete) | 2114591 | SAT | 15.5436 | 15.3158 |
pcs 0.3.2 (complete) | 2058899 | SAT | 16.3485 | 16.3598 |
Concrete 2009-07-14 (complete) | 2058901 | SAT | 23.2505 | 23.4146 |
Conquer 2009-07-10 (complete) | 2058906 | SAT | 42.4266 | 43.0995 |
Abscon 112v4 ESAC (complete) | 2093360 | SAT | 69.9884 | 70.364 |
Abscon 112v4 AC (complete) | 2093359 | SAT | 83.2923 | 83.4496 |
Concrete DC 2009-07-14 (complete) | 2058902 | SAT | 174.713 | 176.7 |
bpsolver 09 (complete) | 2058908 | ? (TO) | 1800.05 | 1814.21 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:9 8 18 17 1 13 5 12 2 15 14 10 11 4 19 6 0 7 16 3 10 4 16 12 13 14 3 18 19 1 8 7 17 2 0 15 6 11 5 9 11 14 8 10 15 4 6 2 18 3 7 0 16 17 1 9 13 19 12 5 1 18 12 7 5 11 16 0 4 9 15 2 19 3 14 10 17 8 13 6 14 1 9 19 3 8 4 6 10 16 17 18 7 0 2 12 5 15 11 13 13 0 19 18 16 17 8 5 14 7 12 3 6 9 10 11 2 4 15 1 15 11 13 0 2 19 17 7 6 10 16 1 18 12 5 3 14 9 4 8 3 16 1 4 12 9 2 11 17 5 19 13 10 18 8 7 15 6 14 0 18 5 6 2 11 1 19 17 15 8 10 16 0 7 12 13 4 3 9 14 6 9 7 16 10 15 13 1 0 19 2 14 4 5 18 8 12 17 3 11 16 3 5 11 4 6 15 19 12 17 18 9 8 10 13 14 7 0 1 2 0 7 2 14 19 10 12 8 1 18 3 17 13 15 11 16 9 5 6 4 7 6 14 5 18 0 9 10 3 4 13 8 15 19 16 2 11 1 17 12 4 2 15 1 0 3 11 13 9 14 5 6 12 16 7 17 19 10 8 18 2 15 10 9 8 12 18 16 7 13 4 5 1 11 6 19 3 14 0 17 12 10 11 15 17 7 1 14 8 6 0 4 9 13 3 5 18 16 2 19 19 17 0 6 9 5 14 3 16 12 11 15 2 1 4 18 8 13 10 7 8 19 4 13 6 16 7 9 5 2 1 11 3 14 17 0 10 12 18 15 17 12 3 8 14 2 0 4 13 11 9 19 5 6 15 1 16 18 7 10 5 13 17 3 7 18 10 15 11 0 6 12 14 8 9 4 1 2 19 16