Name | csp/os-gp/ normalized-gp10-10-1092.xml |
MD5SUM | e14abead03da14a28cc14ba8086ee983 |
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.211967 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 1000 |
Maximum constraint arity | 2 |
Maximum domain size | 1093 |
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:1092 374 333 718 559 13 697 855 565 0 804 92 1086 57 424 374 1084 55 0 498 79 13 1061 60 565 5 99 9 1055 1084 1064 6 1047 10 1074 7 777 8 877 1089 101 0 6 101 246 424 7 99 1091 105 100 760 1045 105 1055 0 718 79 1043 104 4 33 351 989 1083 8 1078 1089 55 250 1077 10 1064 5 1084 4 557 104 697 13 834 1065 7 1 498 333 877 523 1061 351 0 559 989 804 6 1091 760 0 250 246 1065