Name | csp/rlfapGraphs/ normalized-graph14.xml |
MD5SUM | 3fb56d38999618c3f590ccca7c05d859 |
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.597908 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 916 |
Number of constraints | 4638 |
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 | 4638 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2084218 | SAT | 0.597908 | 0.713177 |
bpsolver 09 (complete) | 2084219 | SAT | 0.877865 | 0.893726 |
Abscon 112v4 ESAC (complete) | 2097962 | SAT | 3.66344 | 3.70194 |
Abscon 112v4 AC (complete) | 2097961 | SAT | 4.79127 | 4.8683 |
Choco2.1.1 2009-06-10 (complete) | 2084214 | SAT | 6.68798 | 6.79147 |
Choco2.1.1b 2009-07-16 (complete) | 2116892 | SAT | 6.94194 | 7.04787 |
Concrete 2009-07-14 (complete) | 2084212 | SAT | 8.30674 | 8.42616 |
Sugar v1.14.6+minisat (complete) | 2084216 | SAT | 11.7112 | 11.8948 |
Sugar v1.14.6+picosat (complete) | 2084215 | SAT | 14.3248 | 14.6105 |
SAT4J CSP 2.1.1 (complete) | 2084209 | SAT | 23.9714 | 24.2706 |
pcs-restart 0.3.2 (complete) | 2084211 | SAT | 63.7713 | 64.3341 |
pcs 0.3.2 (complete) | 2084210 | SAT | 64.7851 | 65.0137 |
Concrete DC 2009-07-14 (complete) | 2084213 | SAT | 187.019 | 188.715 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:456 694 708 470 254 16 680 442 470 708 666 428 254 16 254 16 470 708 428 666 254 16 268 30 156 394 394 156 442 680 456 694 722 484 750 512 694 456 470 708 16 254 708 470 498 736 792 554 16 254 526 764 778 540 750 512 428 666 30 268 764 526 394 156 142 380 540 778 526 764 16 254 414 652 442 680 652 414 142 380 652 414 30 268 86 324 764 526 750 512 338 100 526 764 512 750 268 30 750 512 736 498 722 484 394 156 380 142 680 442 722 484 750 512 736 498 16 254 16 254 456 694 554 792 30 268 16 254 128 366 512 750 442 680 428 666 268 30 254 16 554 792 666 428 414 652 428 666 540 778 792 554 736 498 750 512 498 736 708 470 268 30 512 750 736 498 540 778 736 498 722 484 792 554 484 722 30 268 694 456 722 484 792 554 694 456 540 778 512 750 652 414 30 268 16 254 652 414 156 394 428 666 708 470 666 428 666 428 268 30 666 428 736 498 498 736 750 512 764 526 380 142 156 394 764 526 456 694 470 708 456 694 680 442 254 16 268 30 680 442 764 526 764 526 694 456 254 16 512 750 792 554 526 764 470 708 778 540 484 722 540 778 254 16 778 540 778 540 268 30 722 484 764 526 778 540 652 414 100 338 254 16 778 540 268 30 512 750 16 254 16 254 540 778 30 268 442 680 694 456 792 554 554 792 708 470 456 694 254 16 268 30 680 442 428 666 268 30 394 156 540 778 484 722 764 526 428 666 30 268 778 540 16 254 722 484 722 484 666 428 764 526 254 16 456 694 456 694 666 428 16 254 442 680 268 30 736 498 254 16 722 484 722 484 30 268 156 394 442 680 352 114 470 708 30 268 30 268 666 428 708 470 722 484 512 750 268 30 484 722 428 666 736 498 254 16 540 778 442 680 764 526 254 16 778 540 414 652 268 30 540 778 680 442 30 268 708 470 30 268 666 428 456 694 694 456 512 750 30 268 764 526 428 666 540 778 778 540 792 554 428 666 750 512 764 526 694 456 366 128 16 254 708 470 30 268 30 268 16 254 498 736 652 414 666 428 764 526 268 30 268 30 254 16 30 268 778 540 736 498 736 498 526 764 484 722 414 652 268 30 736 498 736 498 30 268 30 268 694 456 736 498 778 540 526 764 652 414 16 254 512 750 666 428 750 512 792 554 540 778 442 680 30 268 540 778 16 254 414 652 414 652 526 764 792 554 526 764 778 540 268 30 30 268 268 30 254 16 778 540 722 484 30 268 456 694 30 268 442 680 778 540 428 666 540 778 484 722 526 764 694 456 526 764 414 652 750 512 554 792 526 764 442 680 16 254 526 764 428 666 540 778 540 778 778 540 414 652 526 764 428 666 366 128 708 470 414 652 254 16 750 512 512 750 750 512 498 736 30 268 722 484 652 414 414 652 30 268 16 254 128 366 540 778 764 526 268 30 30 268 680 442 652 414 100 338 764 526 456 694 694 456 652 414 394 156 16 254 30 268 722 484 750 512 366 128 680 442 380 142 750 512 254 16 540 778 708 470 764 526 694 456 526 764 764 526 470 708 338 100 30 268 778 540 268 30 16 254 114 352 456 694 30 268 778 540 30 268 764 526 778 540 30 268 778 540 30 268 512 750 750 512 764 526 652 414 254 16 666 428 254 16 722 484 268 30 268 30 764 526 540 778 778 540 666 428 498 736 778 540 680 442 708 470 694 456 254 16 30 268 30 268 268 30 456 694 680 442 526 764 30 268 512 750 456 694 764 526 268 30 268 30 470 708 30 268 722 484 778 540 526 764 394 156 16 254 268 30 428 666 708 470 30 268 30 268 30 268 268 30 352 114 484 722 750 512 30 268 30 268 722 484 254 16 736 498 498 736 470 708 708 470 30 268 30 268 540 778 652 414 442 680 30 268 764 526 456 694 268 30 512 750 680 442 442 680 652 414 778 540 750 512 268 30 456 694 498 736 30 268 512 750 680 442 268 30 30 268 30 268 268 30 268 30 750 512 540 778 498 736 666 428 268 30 680 442 750 512 708 470 540 778 540 778 254 16 778 540 16 254 750 512 394 156 30 268