Name | csp/rlfapGraphs/ normalized-graph1.xml |
MD5SUM | a04080f413cb83f1ad6bfb4c8f4b619a |
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.135979 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1134 |
Maximum constraint arity | 2 |
Maximum domain size | 44 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1134 |
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:268 30 254 16 254 16 142 380 380 142 764 526 338 100 86 324 114 352 16 254 58 296 240 478 86 324 44 282 72 310 30 268 30 268 324 86 44 282 16 254 100 338 72 310 394 156 394 156 366 128 58 296 282 44 30 268 16 254 254 16 44 282 16 254 100 338 58 296 58 296 30 268 380 142 30 268 156 394 16 254 16 254 268 30 30 268 324 86 310 72 394 156 16 254 58 296 142 380 268 30 282 44 16 254 366 128 100 338 282 44 58 296 338 100 100 338 16 254 58 296 142 380 142 380 16 254 72 310 268 30 324 86 44 282 142 380 30 268 366 128 296 58 86 324 72 310 666 428 708 470 310 72 72 310 338 100 338 100 652 414 366 128 394 156 44 282 666 428 254 16 380 142 254 16 254 16 16 254 296 58 652 414 114 352 324 86 114 352 324 86 366 128 380 142 44 282 86 324 72 310