Name | csp/modifiedRenault/ normalized-renault-mod-13_ext.xml |
MD5SUM | 6fadd9d7447cc10bc8ba0b5dd4087fca |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.410937 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 111 |
Number of constraints | 149 |
Maximum constraint arity | 10 |
Maximum domain size | 42 |
Number of constraints which are defined in extension | 149 |
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) | 2076188 | SAT | 0.410937 | 0.41321 |
Abscon 112v4 ESAC (complete) | 2096502 | SAT | 1.70274 | 1.78442 |
pcs 0.3.2 (complete) | 2076180 | SAT | 1.73174 | 1.75559 |
Abscon 112v4 AC (complete) | 2096501 | SAT | 1.74573 | 1.79048 |
pcs-restart 0.3.2 (complete) | 2076181 | SAT | 1.76873 | 1.78202 |
Concrete 2009-07-14 (complete) | 2076182 | SAT | 4.03539 | 4.1304 |
Conquer 2009-07-10 (complete) | 2076187 | SAT | 4.52231 | 4.73604 |
Sugar v1.14.6+picosat (complete) | 2076185 | SAT | 8.00378 | 8.18208 |
Sugar v1.14.6+minisat (complete) | 2076186 | SAT | 8.16876 | 8.30821 |
Choco2.1.1 2009-06-10 (complete) | 2076184 | SAT | 11.6062 | 11.6684 |
Choco2.1.1b 2009-07-16 (complete) | 2116162 | SAT | 12.4111 | 12.4468 |
bpsolver 09 (complete) | 2076189 | SAT | 16.4235 | 16.5787 |
Concrete DC 2009-07-14 (complete) | 2076183 | SAT | 81.4326 | 82.2905 |
SAT4J CSP 2.1.1 (complete) | 2076179 | ? | 57.9352 | 56.246 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:5 1 5 9 0 0 0 3 1 1 1 0 1 0 0 1 1 1 1 0 2 1 1 1 10 2 0 0 0 0 1 0 5 0 1 1 0 1 1 2 0 1 0 2 2 1 39 0 1 0 1 1 2 1 1 12 1 1 1 0 1 0 0 0 1 0 2 0 1 2 0 0 0 0 3 0 1 1 1 1 6 1 0 0 1 1 1 0 0 0 0 2 0 0 0 3 2 4 0 0 2 4 8 1 3 1 4 7 9 6 4