Name | csp/rlfapScensMod/ normalized-scen2-f24.xml |
MD5SUM | 5a67895b6e4679565fdc3dec2d0f4ec1 |
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.090985 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1235 |
Maximum constraint arity | 2 |
Maximum domain size | 22 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1235 |
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:58 296 86 324 268 30 254 16 268 30 128 366 254 16 16 254 324 86 156 394 156 394 268 30 296 58 128 366 30 268 254 16 16 254 324 86 254 16 254 16 254 16 338 100 338 100 254 16 100 338 100 338 282 44 268 30 366 128 16 254 58 296 128 366 394 156 324 86 16 254 352 114 352 114 44 282 296 58 30 268 44 282 58 296 114 352 268 30 58 296 44 282 100 338 72 310 268 30 16 254 366 128 72 310 44 282 100 338 352 114 30 268 58 296 282 44 72 310 72 310 352 114 268 30 380 142 380 142 30 268 282 44 268 30 44 282 114 352 310 72 142 380 44 282 366 128 156 394 30 268 16 254 16 254 338 100 16 254 254 16 338 100 268 30 86 324 156 394 30 268 142 380 100 338 100 338 352 114 16 254 86 324 86 324 268 30 100 338 30 268 100 338 352 114 268 30 142 380 30 268