Name | csp/tightness0.65/ normalized-rand-2-40-40-135-650-82_ext.xml |
MD5SUM | bbc26e15be17338cfa70b9136dc76a65 |
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 | 3.47147 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 135 |
Maximum constraint arity | 2 |
Maximum domain size | 40 |
Number of constraints which are defined in extension | 135 |
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) | 2090598 | SAT | 3.47147 | 3.48956 |
Choco2.1.1 2009-06-10 (complete) | 2090594 | SAT | 6.579 | 6.62191 |
Choco2.1.1b 2009-07-16 (complete) | 2117472 | SAT | 9.96948 | 10.0606 |
Concrete 2009-07-14 (complete) | 2090592 | SAT | 11.7542 | 11.8733 |
Concrete DC 2009-07-14 (complete) | 2090593 | SAT | 18.9721 | 19.1013 |
Sugar v1.14.6+minisat (complete) | 2090596 | SAT | 20.6669 | 20.9607 |
pcs 0.3.2 (complete) | 2090590 | SAT | 28.6336 | 28.777 |
Abscon 112v4 AC (complete) | 2099121 | SAT | 31.9811 | 32.3383 |
Abscon 112v4 ESAC (complete) | 2099122 | SAT | 32.1371 | 32.4904 |
bpsolver 09 (complete) | 2090599 | SAT | 46.3779 | 46.6142 |
SAT4J CSP 2.1.1 (complete) | 2090589 | SAT | 97.5412 | 98.4838 |
Sugar v1.14.6+picosat (complete) | 2090595 | SAT | 178.412 | 179.326 |
pcs-restart 0.3.2 (complete) | 2090591 | SAT | 603.156 | 605.525 |
Conquer 2009-07-10 (complete) | 2090597 | ? (TO) | 1800.06 | 1801.83 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 34 3 8 28 15 32 22 22 0 9 37 34 8 30 16 6 28 18 34 11 25 36 16 26 15 10 37 3 33 34 39 38 20 4 6 28 36 7 18