Name | csp/QCP-20/ normalized-qcp-20-187-8_ext.xml |
MD5SUM | cf44e14977336e7d0cace612a65d9bae |
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 | 2.13967 |
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 |
---|---|---|---|---|
pcs 0.3.2 (complete) | 2058888 | SAT | 2.13967 | 2.163 |
pcs-restart 0.3.2 (complete) | 2058889 | SAT | 3.32949 | 3.35425 |
Sugar v1.14.6+picosat (complete) | 2058893 | SAT | 3.38748 | 3.51438 |
Sugar v1.14.6+minisat (complete) | 2058894 | SAT | 3.44948 | 3.51741 |
Abscon 112v4 ESAC (complete) | 2093358 | SAT | 3.99239 | 4.07467 |
SAT4J CSP 2.1.1 (complete) | 2058887 | SAT | 5.14422 | 5.22034 |
Choco2.1.1 2009-06-10 (complete) | 2058892 | SAT | 15.6186 | 15.7358 |
Choco2.1.1b 2009-07-16 (complete) | 2114590 | SAT | 16.3575 | 16.5003 |
Mistral 1.545 (complete) | 2058896 | SAT | 42.8745 | 42.8982 |
Conquer 2009-07-10 (complete) | 2058895 | SAT | 71.2062 | 72.2414 |
Abscon 112v4 AC (complete) | 2093357 | SAT | 97.8041 | 97.8972 |
Concrete 2009-07-14 (complete) | 2058890 | ? (TO) | 1800 | 1815.32 |
bpsolver 09 (complete) | 2058897 | ? (TO) | 1800.02 | 1807.31 |
Concrete DC 2009-07-14 (complete) | 2058891 | ? (TO) | 1800.06 | 1815.03 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:6 15 17 13 1 3 18 9 14 5 7 0 8 10 19 12 11 4 16 2 15 4 16 2 19 10 12 18 0 17 3 1 5 9 6 7 13 14 11 8 7 6 12 1 11 17 15 2 9 8 4 13 10 5 14 0 19 16 3 18 18 17 0 8 7 16 14 12 4 10 1 19 11 6 13 9 3 15 2 5 9 18 8 6 15 12 5 10 11 2 14 7 4 3 1 13 16 17 19 0 13 14 19 4 9 18 2 8 17 0 11 3 12 7 16 10 5 6 1 15 19 10 7 15 8 5 9 0 2 3 13 18 14 16 17 1 6 12 4 11 4 19 3 9 2 13 1 15 6 11 16 5 0 14 7 8 17 10 18 12 3 11 10 12 0 6 7 13 15 18 19 16 2 4 9 14 8 5 17 1 12 2 18 14 3 4 17 1 16 7 15 6 19 8 5 11 9 13 0 10 16 1 9 18 17 8 4 6 7 13 2 12 3 15 11 5 14 0 10 19 5 7 1 3 14 11 16 17 8 12 10 9 18 13 0 2 15 19 6 4 10 9 2 11 12 15 13 5 19 16 8 4 1 0 3 6 18 7 14 17 2 8 11 7 18 0 10 3 13 14 17 15 16 1 12 19 4 9 5 6 11 5 6 0 13 19 8 16 3 1 12 10 17 2 4 15 7 18 9 14 8 3 4 19 5 2 11 14 12 6 0 17 9 18 15 16 10 1 7 13 0 12 15 10 4 1 3 7 5 9 18 14 6 19 8 17 2 11 13 16 14 13 5 17 16 9 19 4 1 15 6 2 7 11 10 18 0 8 12 3 1 0 14 16 10 7 6 11 18 19 5 8 13 17 2 4 12 3 15 9 17 16 13 5 6 14 0 19 10 4 9 11 15 12 18 3 1 2 8 7