Name | csp/modifiedRenault/ normalized-renault-mod-2_ext.xml |
MD5SUM | 7775ca7abdeb73f452c15c8b88ea50f1 |
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.421935 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 111 |
Number of constraints | 151 |
Maximum constraint arity | 10 |
Maximum domain size | 42 |
Number of constraints which are defined in extension | 151 |
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) | 2075968 | SAT | 0.421935 | 0.427941 |
pcs 0.3.2 (complete) | 2075960 | SAT | 1.15482 | 1.15714 |
pcs-restart 0.3.2 (complete) | 2075961 | SAT | 1.17582 | 1.18557 |
Abscon 112v4 AC (complete) | 2096461 | SAT | 1.58476 | 1.62941 |
Abscon 112v4 ESAC (complete) | 2096462 | SAT | 1.77073 | 1.84517 |
Concrete 2009-07-14 (complete) | 2075962 | SAT | 3.21851 | 3.24907 |
Conquer 2009-07-10 (complete) | 2075967 | SAT | 4.67429 | 4.91129 |
Sugar v1.14.6+minisat (complete) | 2075966 | SAT | 7.97279 | 8.11139 |
Sugar v1.14.6+picosat (complete) | 2075965 | SAT | 8.18475 | 8.33523 |
Choco2.1.1 2009-06-10 (complete) | 2075964 | SAT | 9.09362 | 9.11335 |
Choco2.1.1b 2009-07-16 (complete) | 2116142 | SAT | 9.69952 | 9.74365 |
bpsolver 09 (complete) | 2075969 | SAT | 16.3575 | 16.4436 |
Concrete DC 2009-07-14 (complete) | 2075963 | SAT | 46.122 | 46.5815 |
SAT4J CSP 2.1.1 (complete) | 2075959 | ? | 69.2395 | 69.7045 |
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 23 5 1 0 0 3 1 1 1 0 1 0 0 1 0 1 1 0 2 1 1 1 1 2 0 0 0 0 1 0 17 0 0 0 0 1 1 2 0 0 0 2 2 1 36 0 1 0 1 1 2 1 1 12 1 1 1 0 1 0 0 0 1 0 2 0 1 2 0 9 0 0 5 0 1 1 1 1 6 1 3 0 1 1 1 0 0 0 0 2 0 0 0 2 3 2 0 0 2 8 0 5 2 7 7 9 8 6 6