| Name | csp/QCP-25/ normalized-qcp-25-264-2_ext.xml |
| MD5SUM | 45a624dd25b687dc97019ab33ec3f72b |
| 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 | 12.2341 |
| 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 |
|---|---|---|---|---|
| SAT4J CSP 2.1.1 (complete) | 2058964 | SAT | 12.2341 | 12.5381 |
| Sugar v1.14.6+picosat (complete) | 2058970 | SAT | 38.1082 | 38.6244 |
| Sugar v1.14.6+minisat (complete) | 2058971 | SAT | 38.5251 | 39.0068 |
| Choco2.1.1 2009-06-10 (complete) | 2058969 | SAT | 51.8351 | 52.1049 |
| pcs 0.3.2 (complete) | 2058965 | SAT | 143.267 | 144.627 |
| Choco2.1.1b 2009-07-16 (complete) | 2114597 | SAT | 523.042 | 523.132 |
| pcs-restart 0.3.2 (complete) | 2058966 | ? | 1615.63 | 1620.35 |
| Concrete DC 2009-07-14 (complete) | 2058968 | ? (TO) | 1800.02 | 1801.52 |
| Mistral 1.545 (complete) | 2058973 | ? (TO) | 1800.05 | 1810.11 |
| Conquer 2009-07-10 (complete) | 2058972 | ? (TO) | 1800.06 | 1811.12 |
| Concrete 2009-07-14 (complete) | 2058967 | ? (TO) | 1800.07 | 1808.02 |
| bpsolver 09 (complete) | 2058974 | ? (TO) | 1800.08 | 1810.51 |
| Abscon 112v4 ESAC (complete) | 2093372 | ? (TO) | 1800.11 | 1811.08 |
| Abscon 112v4 AC (complete) | 2093371 | ? (TO) | 1800.13 | 1804.37 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:24 21 3 10 18 8 6 12 17 19 11 15 13 14 23 2 1 5 20 0 4 9 22 7 16 13 23 12 8 4 17 24 2 20 18 7 16 11 1 5 21 10 9 19 22 15 3 14 6 0 10 16 18 2 23 9 20 19 12 22 5 11 21 7 17 14 15 1 13 24 3 4 0 8 6 16 6 9 20 13 12 21 0 11 2 15 14 1 10 24 5 23 22 17 3 7 18 19 4 8 0 17 19 14 22 16 2 1 15 4 10 5 20 6 3 23 18 7 8 21 13 11 24 12 9 14 20 21 4 2 0 22 9 16 10 18 17 7 15 8 11 19 3 6 5 12 23 1 13 24 19 8 16 5 7 3 23 10 9 12 24 6 4 0 18 13 22 11 14 20 1 21 2 15 17 15 1 24 22 9 6 17 13 19 8 21 2 18 23 11 3 14 10 0 4 16 20 12 5 7 21 4 17 9 11 10 15 5 2 7 8 20 0 12 14 1 16 18 23 13 6 19 3 24 22 1 2 10 21 17 13 9 8 0 20 14 4 12 22 19 24 11 6 3 7 5 15 16 18 23 3 0 4 18 16 19 8 11 6 9 22 13 15 17 12 20 24 2 1 10 14 5 7 23 21 11 22 13 6 14 23 4 7 5 1 20 18 3 8 21 15 0 19 16 12 17 24 9 10 2 22 3 7 17 8 20 12 24 23 21 4 9 5 11 0 18 2 14 15 6 19 16 10 1 13 2 10 23 24 15 22 14 18 13 5 1 12 17 9 16 8 6 21 7 11 20 0 4 3 19 20 11 15 12 6 14 1 23 18 17 0 3 22 13 7 19 5 16 4 9 24 8 21 2 10 18 13 8 1 5 7 19 6 3 24 12 22 16 21 10 0 4 20 2 15 9 17 23 11 14 5 7 14 3 12 2 10 17 24 13 16 19 8 18 22 9 21 15 11 23 0 1 6 20 4 12 9 6 0 20 15 18 21 22 11 23 7 24 2 1 16 13 4 5 19 10 14 8 17 3 23 5 20 16 19 11 0 3 10 14 13 24 2 4 15 6 12 17 22 8 21 7 18 9 1 9 12 5 11 0 24 7 4 1 23 3 10 6 16 20 17 8 13 21 14 22 2 15 19 18 17 14 1 19 21 4 16 20 7 15 2 0 10 3 6 12 9 8 24 18 23 13 5 22 11 7 18 22 15 1 21 13 14 8 3 19 23 9 24 2 4 17 12 10 16 11 6 20 0 5 8 24 11 23 3 1 5 22 4 6 9 21 14 19 13 7 20 0 12 2 18 10 17 16 15 6 19 0 13 10 18 3 15 14 16 17 8 23 5 4 22 7 24 9 1 2 12 11 21 20 4 15 2 7 24 5 11 16 21 0 6 1 19 20 9 10 3 23 18 17 8 22 13 14 12