Name | csp/os-gp/ normalized-gp10-05-1071.xml |
MD5SUM | edcaa13bc864d407223412ca462d8cd5 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.604907 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 1000 |
Maximum constraint arity | 2 |
Maximum domain size | 1072 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1000 |
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:1071 435 0 141 1055 439 1062 1060 1061 974 502 916 143 0 438 333 274 292 762 32 273 748 1057 32 0 749 292 165 1049 143 1056 745 755 759 86 24 1069 1068 212 1057 0 483 996 1058 212 1049 745 1043 0 1048 274 754 628 1057 1060 1061 996 0 916 165 1070 439 759 720 261 502 0 1057 1060 1056 943 0 273 1062 255 6 1037 1067 981 628 24 6 1043 1061 12 86 1028 333 1062 11 1057 11 754 435 762 1057 1056 1055 685 0 1061