| Name | csp/rand-2-30-15/ normalized-rand-2-30-15-306-230-26_ext.xml |
| MD5SUM | d1b5779c6c84ee0967140e223a1ed622 |
| 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 | 1.20981 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 30 |
| Number of constraints | 222 |
| Maximum constraint arity | 2 |
| Maximum domain size | 15 |
| Number of constraints which are defined in extension | 222 |
| 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 |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2090114 | SAT | 1.20981 | 1.22021 |
| Choco2.1.1 2009-06-10 (complete) | 2090110 | SAT | 1.44078 | 1.46142 |
| pcs 0.3.2 (complete) | 2090106 | SAT | 1.76773 | 1.78558 |
| Conquer 2009-07-10 (complete) | 2090113 | SAT | 1.79673 | 1.98859 |
| Sugar v1.14.6+minisat (complete) | 2090112 | SAT | 1.88371 | 2.02902 |
| Choco2.1.1b 2009-07-16 (complete) | 2117428 | SAT | 1.9517 | 1.99229 |
| Concrete 2009-07-14 (complete) | 2090108 | SAT | 2.86856 | 2.91372 |
| Abscon 112v4 ESAC (complete) | 2099034 | SAT | 3.55446 | 3.60158 |
| Abscon 112v4 AC (complete) | 2099033 | SAT | 3.83642 | 3.92682 |
| bpsolver 09 (complete) | 2090115 | SAT | 5.99109 | 6.11742 |
| Concrete DC 2009-07-14 (complete) | 2090109 | SAT | 7.30589 | 7.28458 |
| Sugar v1.14.6+picosat (complete) | 2090111 | SAT | 8.5607 | 8.76923 |
| SAT4J CSP 2.1.1 (complete) | 2090105 | SAT | 23.7394 | 24.0094 |
| pcs-restart 0.3.2 (complete) | 2090107 | SAT | 24.7272 | 24.9613 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:13 0 13 4 9 12 10 4 13 3 4 10 12 6 4 11 10 0 0 9 14 13 1 2 3 2 11 6 9 12