Name | csp/rlfapScens/ normalized-scen5.xml |
MD5SUM | d00375a0db2ca765457bfad019ed3136 |
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.292954 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2598 |
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 | 2598 |
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:156 394 156 394 254 16 30 268 414 652 254 16 128 366 414 652 792 554 554 792 16 254 708 470 666 428 442 680 72 310 428 666 128 366 736 498 44 282 254 16 442 680 736 498 254 16 310 72 736 498 792 554 310 72 764 526 310 72 428 666 30 268 484 722 16 254 16 254 254 16 254 16 16 254 484 722 296 58 296 58 16 254 16 254 296 58 366 128 128 366 16 254 254 16 736 498 156 394 380 142 792 554 254 16 156 394 324 86 540 778 498 736 380 142 30 268 268 30 254 16 156 394 414 652 268 30 254 16 652 414 442 680 394 156 394 156 268 30 680 442 666 428 750 512 414 652 666 428 100 338 324 86 338 100 30 268 750 512 722 484 764 526 366 128 268 30 428 666 694 456 736 498 394 156 16 254 764 526 666 428 338 100 324 86 680 442 268 30 666 428 666 428 428 666 128 366 72 310 414 652 652 414 792 554 254 16 428 666 512 750 352 114 114 352 708 470 498 736 268 30 512 750 456 694 30 268 58 296 540 778 652 414 16 254 764 526 366 128 652 414 254 16 512 750 268 30 428 666 296 58 680 442 268 30 428 666 268 30 324 86 310 72 86 324 750 512 540 778 526 764 666 428 30 268 282 44 428 666 114 352 666 428 86 324 128 366 128 366 44 282 16 254 666 428 680 442 414 652 394 156 778 540 296 58 254 16 296 58 694 456 128 366 254 16 540 778 442 680 694 456 414 652 310 72 30 268 484 722 526 764 30 268 694 456 114 352 428 666 498 736 16 254 324 86 268 30 86 324 428 666 30 268 694 456 484 722 268 30 666 428 268 30 498 736 428 666 268 30 750 512 114 352 30 268 114 352 484 722 428 666 268 30 428 666 268 30 268 30 694 456 764 526 268 30 114 352 268 30 44 282