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