Name | csp/rlfapGraphs/ normalized-graph3.xml |
MD5SUM | 1a813c9bdc27992d76b211942c3214fa |
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.209967 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1134 |
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 | 1134 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2084229 | SAT | 0.209967 | 0.261542 |
bpsolver 09 (complete) | 2084230 | SAT | 0.234963 | 0.243513 |
Abscon 112v4 ESAC (complete) | 2097964 | SAT | 1.60176 | 1.62085 |
Abscon 112v4 AC (complete) | 2097963 | SAT | 2.32065 | 2.3468 |
Choco2.1.1b 2009-07-16 (complete) | 2116893 | SAT | 3.06153 | 3.09527 |
Choco2.1.1 2009-06-10 (complete) | 2084225 | SAT | 3.10853 | 3.13615 |
Sugar v1.14.6+minisat (complete) | 2084227 | SAT | 3.63545 | 3.78604 |
Concrete 2009-07-14 (complete) | 2084223 | SAT | 3.89241 | 3.98529 |
Sugar v1.14.6+picosat (complete) | 2084226 | SAT | 4.24635 | 4.39009 |
SAT4J CSP 2.1.1 (complete) | 2084220 | SAT | 7.36888 | 7.40998 |
pcs 0.3.2 (complete) | 2084221 | SAT | 19.0111 | 19.0177 |
pcs-restart 0.3.2 (complete) | 2084222 | SAT | 20.8108 | 20.9754 |
Concrete DC 2009-07-14 (complete) | 2084224 | SAT | 1385.92 | 1398.47 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:128 366 666 428 764 526 142 380 666 428 666 428 750 512 114 352 114 352 86 324 792 554 100 338 142 380 708 470 694 456 142 380 764 526 666 428 736 498 16 254 16 254 86 324 58 296 86 324 778 540 128 366 680 442 30 268 72 310 694 456 722 484 16 254 764 526 86 324 30 268 142 380 680 442 58 296 778 540 30 268 764 526 30 268 16 254 792 554 58 296 16 254 72 310 142 380 30 268 44 282 792 554 142 380 86 324 694 456 666 428 792 554 16 254 750 512 156 394 778 540 694 456 16 254 142 380 736 498 680 442 666 428 72 310 128 366 694 456 722 484 708 470 750 512 778 540 72 310 128 366 764 526 58 296 722 484 16 254 792 554 72 310 100 338 86 324 792 554 680 442 128 366 764 526 708 470 30 268 58 296 694 456 722 484 652 414 58 296 778 540 792 554 72 310 30 268 680 442 58 296