Name | csp/rlfapScens/ normalized-scen3.xml |
MD5SUM | 58acb198c8815e68f48a73a562327d02 |
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.332948 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2760 |
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 | 2760 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2081919 | SAT | 0.332948 | 0.334827 |
bpsolver 09 (complete) | 2081920 | SAT | 0.505922 | 0.520845 |
Abscon 112v4 ESAC (complete) | 2097544 | SAT | 2.22966 | 2.24387 |
Abscon 112v4 AC (complete) | 2097543 | SAT | 2.38764 | 2.45248 |
Concrete 2009-07-14 (complete) | 2081913 | SAT | 3.90341 | 3.97851 |
Choco2.1.1b 2009-07-16 (complete) | 2116683 | SAT | 4.41933 | 4.43673 |
Choco2.1.1 2009-06-10 (complete) | 2081915 | SAT | 4.78727 | 4.87965 |
Sugar v1.14.6+minisat (complete) | 2081917 | SAT | 6.91595 | 7.05112 |
Sugar v1.14.6+picosat (complete) | 2081916 | SAT | 8.03578 | 8.12005 |
SAT4J CSP 2.1.1 (complete) | 2081910 | SAT | 14.4328 | 14.5329 |
Concrete DC 2009-07-14 (complete) | 2081914 | SAT | 35.6266 | 35.6934 |
pcs 0.3.2 (complete) | 2081911 | SAT | 60.4008 | 60.905 |
pcs-restart 0.3.2 (complete) | 2081912 | SAT | 67.2278 | 67.5041 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:414 652 44 282 470 708 254 16 484 722 512 750 778 540 666 428 456 694 16 254 456 694 100 338 554 792 736 498 666 428 156 394 722 484 380 142 736 498 324 86 526 764 680 442 456 694 16 254 254 16 16 254 792 554 366 128 792 554 554 792 324 86 736 498 540 778 254 16 30 268 694 456 30 268 498 736 16 254 680 442 792 554 414 652 380 142 380 142 254 16 414 652 254 16 338 100 694 456 456 694 526 764 554 792 540 778 142 380 254 16 526 764 666 428 554 792 16 254 16 254 512 750 540 778 526 764 352 114 352 114 512 750 128 366 694 456 156 394 470 708 512 750 764 526 128 366 526 764 484 722 310 72 722 484 128 366 30 268 764 526 694 456 30 268 666 428 254 16 268 30 142 380 470 708 268 30 254 16 708 470 268 30 268 30 708 470 512 750 16 254 736 498 442 680 722 484 268 30 526 764 484 722 268 30 30 268 540 778 652 414 254 16 498 736 708 470 778 540 722 484 484 722 764 526 268 30 778 540 498 736 254 16 526 764 16 254 722 484 722 484 254 16 764 526 268 30 470 708 540 778 428 666 764 526 470 708 268 30 30 268 778 540 268 30 708 470 268 30 268 30 540 778 484 722 268 30 30 268 736 498 114 352 442 680 554 792 268 30 114 352 268 30 254 16 254 16 778 540 792 554 764 526 680 442 16 254 128 366 254 16 512 750 554 792 254 16 324 86 324 86 394 156 394 156 750 512 736 498 30 268 512 750 484 722 268 30 540 778 778 540 254 16 16 254 268 30 652 414 554 792 72 310 114 352 268 30 484 722 708 470 268 30 708 470 484 722 268 30 736 498 30 268 498 736 114 352 694 456 652 414 484 722 30 268 268 30 722 484 708 470 268 30 736 498 708 470 456 694 128 366