Name | csp/QCP-25/ normalized-qcp-25-264-6_ext.xml |
MD5SUM | 37d4cc93c1881fb726b597145c5937b8 |
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 | 154.379 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 625 |
Number of constraints | 10142 |
Maximum constraint arity | 2 |
Maximum domain size | 25 |
Number of constraints which are defined in extension | 10142 |
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) | 2059092 | SAT | 154.379 | 155.925 |
Sugar v1.14.6+picosat (complete) | 2059091 | SAT | 163.365 | 163.579 |
SAT4J CSP 2.1.1 (complete) | 2059085 | SAT | 195.14 | 197.031 |
Choco2.1.1 2009-06-10 (complete) | 2059090 | SAT | 1223.79 | 1235.53 |
Concrete 2009-07-14 (complete) | 2059088 | ? (TO) | 1800.01 | 1810.92 |
Abscon 112v4 AC (complete) | 2093393 | ? (TO) | 1800.04 | 1800.93 |
Conquer 2009-07-10 (complete) | 2059093 | ? (TO) | 1800.05 | 1806.42 |
Choco2.1.1b 2009-07-16 (complete) | 2114608 | ? (TO) | 1800.07 | 1808.96 |
Concrete DC 2009-07-14 (complete) | 2059089 | ? (TO) | 1800.07 | 1813.42 |
pcs-restart 0.3.2 (complete) | 2059087 | ? (TO) | 1800.08 | 1807.47 |
Mistral 1.545 (complete) | 2059094 | ? (TO) | 1800.09 | 1800.81 |
bpsolver 09 (complete) | 2059095 | ? (TO) | 1800.1 | 1811.51 |
Abscon 112v4 ESAC (complete) | 2093394 | ? (TO) | 1800.13 | 1801.65 |
pcs 0.3.2 (complete) | 2059086 | ? (TO) | 1800.14 | 1807.57 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:13 9 18 21 11 8 10 5 2 6 3 0 16 4 19 17 24 7 20 22 15 12 23 1 14 22 17 9 2 7 4 6 11 14 3 12 13 15 19 5 18 20 16 10 21 23 8 1 0 24 11 20 15 24 0 6 23 12 18 1 9 2 17 16 21 7 19 4 22 14 10 13 5 3 8 3 16 10 17 12 7 13 0 22 4 11 8 18 24 15 19 2 5 9 1 20 14 6 21 23 4 14 1 5 23 15 19 2 12 24 6 10 22 21 7 11 18 8 13 16 0 20 3 9 17 20 5 16 3 13 12 8 19 15 0 4 1 11 10 9 23 17 18 6 7 14 2 21 24 22 15 8 17 0 21 18 2 16 19 9 23 22 10 11 1 20 14 3 5 13 4 24 12 7 6 10 13 19 9 2 17 0 8 3 7 1 15 21 6 24 4 16 11 12 23 22 18 20 14 5 21 19 4 20 14 24 15 3 9 5 18 12 1 7 11 8 13 22 23 6 2 17 0 10 16 9 1 14 22 3 20 16 24 6 17 19 11 13 15 0 12 4 10 2 5 8 7 18 23 21 16 21 23 6 18 9 1 17 7 22 14 19 20 8 2 5 12 0 24 3 13 11 10 15 4 12 15 24 19 22 10 17 13 4 11 21 5 7 0 3 16 23 20 8 2 1 9 14 6 18 7 10 20 16 15 13 11 22 17 12 8 14 9 18 23 3 0 21 1 19 6 4 24 5 2 0 2 7 8 1 14 12 15 24 23 5 20 6 9 10 13 3 17 4 11 21 16 22 18 19 18 7 8 23 9 5 21 6 1 19 17 24 3 20 12 2 22 13 14 15 11 10 16 4 0 23 3 0 11 17 2 4 9 16 18 20 7 14 5 22 24 21 1 15 12 19 6 13 8 10 17 6 2 15 24 16 22 18 21 10 0 9 5 13 20 14 11 23 3 8 7 19 4 12 1 8 24 5 4 19 0 3 23 11 2 10 21 12 1 14 15 7 6 16 20 18 22 17 13 9 14 0 6 13 16 3 9 7 20 21 15 23 4 22 18 1 8 2 17 10 24 5 11 19 12 1 23 3 7 6 22 14 10 0 20 13 17 24 12 8 9 5 15 18 4 16 21 19 2 11 2 18 12 10 20 23 24 21 13 15 22 4 19 17 16 0 6 14 7 9 5 1 8 11 3 5 12 22 1 8 11 20 4 10 13 16 18 2 14 6 21 15 19 0 24 3 23 9 17 7 19 22 13 14 10 21 18 1 5 8 2 16 23 3 4 6 9 24 11 17 12 0 7 20 15 24 11 21 18 4 1 5 20 23 14 7 6 8 2 17 22 10 12 19 0 9 3 15 16 13 6 4 11 12 5 19 7 14 8 16 24 3 0 23 13 10 1 9 21 18 17 15 2 22 20