| Name | csp/os-gp/ normalized-gp10-08-1093.xml |
| MD5SUM | bf78e921ba91dea8e58cc955c04517cb |
| 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.137978 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 101 |
| Number of constraints | 1000 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1094 |
| 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:1093 1089 108 1084 695 79 0 1082 1083 1030 418 41 1018 565 1063 1037 799 1019 71 801 0 975 1089 1 407 0 684 781 685 742 696 89 506 1085 1078 67 1077 1055 1062 0 63 478 0 418 1085 514 1074 1037 1084 1082 107 1 372 1076 6 1087 920 1049 1085 386 742 0 1077 1082 684 1 79 1084 690 1028 54 534 386 506 1074 1077 1003 1075 1076 63 41 71 107 783 0 108 801 444 6 800 920 514 1076 800 1077 444 696 0 565 1083 695