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