Name | csp/QWH-25/ normalized-qwh-25-235-6_ext.xml |
MD5SUM | 41c0403a5bf22e9c2ed50e669392d607 |
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 | 5.47317 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 625 |
Number of constraints | 9300 |
Maximum constraint arity | 2 |
Maximum domain size | 25 |
Number of constraints which are defined in extension | 9300 |
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) | 2058152 | SAT | 5.47317 | 5.5326 |
Sugar v1.14.6+minisat (complete) | 2058157 | SAT | 5.52916 | 5.66465 |
Sugar v1.14.6+picosat (complete) | 2058156 | SAT | 5.98209 | 6.1286 |
SAT4J CSP 2.1.1 (complete) | 2058150 | SAT | 6.45402 | 6.56042 |
pcs 0.3.2 (complete) | 2058151 | SAT | 58.7741 | 59.0212 |
Choco2.1.1b 2009-07-16 (complete) | 2114523 | SAT | 98.823 | 99.7969 |
Choco2.1.1 2009-06-10 (complete) | 2058155 | SAT | 106.328 | 107.399 |
Abscon 112v4 AC (complete) | 2093223 | SAT | 427.138 | 427.596 |
Concrete DC 2009-07-14 (complete) | 2058154 | ? (TO) | 1800 | 1808.72 |
Mistral 1.545 (complete) | 2058159 | ? (TO) | 1800.01 | 1816.31 |
Concrete 2009-07-14 (complete) | 2058153 | ? (TO) | 1800.05 | 1811.02 |
bpsolver 09 (complete) | 2058160 | ? (TO) | 1800.06 | 1816.01 |
Conquer 2009-07-10 (complete) | 2058158 | ? (TO) | 1800.07 | 1807.32 |
Abscon 112v4 ESAC (complete) | 2093224 | ? (TO) | 1800.16 | 1806.55 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:16 11 6 9 3 20 13 5 14 10 19 7 17 12 24 15 22 2 1 23 21 4 8 18 0 8 15 23 6 14 4 3 7 9 2 11 21 22 19 13 1 5 20 17 10 18 12 24 0 16 22 24 1 10 4 19 6 21 23 13 18 14 9 15 2 8 16 7 0 11 3 20 5 12 17 7 17 21 5 16 3 11 1 12 23 10 20 13 18 8 0 15 4 2 22 6 19 14 24 9 20 2 18 14 15 0 5 3 24 17 7 8 1 13 4 22 19 16 11 12 10 9 23 21 6 3 4 0 16 10 24 7 2 17 19 6 22 11 14 12 21 1 15 13 5 9 8 18 20 23 13 10 16 1 20 9 23 12 11 0 24 15 5 7 22 2 18 6 4 17 19 14 3 8 21 14 9 11 24 18 13 12 23 15 16 17 5 6 3 0 10 8 1 21 7 20 22 4 2 19 15 5 12 21 9 22 10 0 3 24 23 2 4 1 17 19 6 11 18 16 14 13 20 7 8 21 22 7 23 6 17 0 15 5 12 2 3 10 20 19 14 24 8 9 4 16 1 11 13 18 6 7 3 4 13 2 8 18 1 22 9 0 20 5 15 24 17 21 16 14 12 11 19 23 10 0 1 17 18 11 5 20 4 6 7 14 12 19 22 23 13 3 9 10 24 8 21 15 16 2 11 6 22 2 12 7 15 10 20 21 8 18 0 16 14 4 9 23 24 19 17 5 1 3 13 9 21 13 22 17 23 1 8 4 5 12 10 16 2 11 18 0 14 7 3 15 24 6 19 20 2 0 8 15 7 14 9 17 22 18 21 24 3 4 6 23 20 5 19 13 11 16 12 10 1 23 20 19 8 2 18 24 22 7 11 0 1 15 6 21 16 10 13 12 9 4 3 17 14 5 10 19 5 20 8 11 14 13 16 15 22 9 24 21 7 17 4 3 6 18 2 23 0 1 12 24 8 4 13 5 10 18 9 2 1 20 11 21 0 16 7 12 19 14 15 23 17 22 6 3 4 16 20 3 22 15 19 14 10 6 1 23 8 17 9 12 13 18 5 2 0 7 21 11 24 12 13 9 0 19 8 16 24 21 3 15 6 14 11 18 5 23 17 22 20 1 10 2 4 7 19 14 10 7 1 12 17 20 8 4 16 13 2 24 3 6 11 0 23 21 22 18 9 5 15 18 23 15 19 0 21 22 6 13 9 5 16 7 8 20 11 14 12 3 1 24 2 10 17 4 17 18 14 12 24 6 21 16 19 8 13 4 23 10 1 3 2 22 20 0 5 15 7 9 11 5 12 2 17 21 1 4 11 0 20 3 19 18 23 10 9 7 24 15 8 13 6 16 22 14 1 3 24 11 23 16 2 19 18 14 4 17 12 9 5 20 21 10 8 6 7 0 13 15 22