Name | csp/tightness0.9/ normalized-rand-2-40-180-84-900-52_ext.xml |
MD5SUM | 2db2d596eeecd484f112f3aa4741419d |
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 | 11.0413 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 84 |
Maximum constraint arity | 2 |
Maximum domain size | 180 |
Number of constraints which are defined in extension | 84 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:43 36 19 176 17 168 85 93 156 158 60 108 30 15 86 169 81 24 46 150 99 112 155 174 91 98 56 121 104 111 155 148 13 96 50 158 58 52 56 45