Name | csp/rlfapScensMod/ normalized-scen6-w1.xml |
MD5SUM | 5fcf1b567ccbc0fe4804b04f5a0a591b |
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.072988 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 319 |
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 | 319 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2081809 | SAT | 0.072988 | 0.079354 |
bpsolver 09 (complete) | 2081810 | SAT | 0.098984 | 0.111583 |
Abscon 112v4 ESAC (complete) | 2097524 | SAT | 1.13183 | 1.15372 |
Abscon 112v4 AC (complete) | 2097523 | SAT | 1.18082 | 1.2142 |
Choco2.1.1 2009-06-10 (complete) | 2081805 | SAT | 1.36479 | 1.39166 |
Choco2.1.1b 2009-07-16 (complete) | 2116673 | SAT | 1.49477 | 1.54088 |
Sugar v1.14.6+minisat (complete) | 2081807 | SAT | 1.91671 | 2.01759 |
Concrete 2009-07-14 (complete) | 2081803 | SAT | 1.9957 | 2.04566 |
Sugar v1.14.6+picosat (complete) | 2081806 | SAT | 2.17867 | 2.26883 |
SAT4J CSP 2.1.1 (complete) | 2081800 | SAT | 4.19036 | 4.23629 |
pcs 0.3.2 (complete) | 2081801 | SAT | 7.53485 | 7.53864 |
pcs-restart 0.3.2 (complete) | 2081802 | SAT | 9.81651 | 9.90738 |
Concrete DC 2009-07-14 (complete) | 2081804 | SAT | 26.207 | 26.3759 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:652 414 792 554 254 16 254 16 254 16 254 16 680 442 254 16 324 86 254 16 764 526 86 324 708 470 254 16 254 16 16 254 792 554 708 470 526 764 16 254 778 540 484 722 652 414 456 694 254 16 16 254 254 16 16 254 380 142 254 16 254 16 16 254 456 694 16 254 512 750 100 338 16 254 254 16 30 268 526 764 30 268 708 470 16 254 708 470 708 470 268 30 30 268 310 72 30 268 58 296 470 708 792 554 456 694 128 366 778 540 254 16 428 666 512 750 310 72 296 58 268 30 428 666 470 708 268 30 526 764 268 30 470 708 484 722 694 456 268 30 736 498 268 30 324 86 666 428 254 16 254 16 484 722 16 254 764 526 764 526 554 792 708 470 778 540 100 338 30 268 708 470 666 428 736 498 498 736 254 16 254 16 470 708 268 30 428 666 268 30 268 30 470 708 268 30 778 540 30 268