Name | csp/rlfapGraphs/ normalized-graph1.xml |
MD5SUM | a04080f413cb83f1ad6bfb4c8f4b619a |
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.147977 |
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) | 2084207 | SAT | 0.147977 | 0.223647 |
bpsolver 09 (complete) | 2084208 | SAT | 0.229964 | 0.238559 |
Abscon 112v4 AC (complete) | 2097959 | SAT | 1.61975 | 1.67711 |
Abscon 112v4 ESAC (complete) | 2097960 | SAT | 1.67074 | 1.73871 |
Choco2.1.1b 2009-07-16 (complete) | 2116891 | SAT | 2.26066 | 2.3217 |
Choco2.1.1 2009-06-10 (complete) | 2084203 | SAT | 2.52861 | 2.52805 |
Sugar v1.14.6+minisat (complete) | 2084205 | SAT | 3.18251 | 3.35106 |
Concrete 2009-07-14 (complete) | 2084201 | SAT | 3.35549 | 2.6975 |
Sugar v1.14.6+picosat (complete) | 2084204 | SAT | 3.74243 | 4.04424 |
SAT4J CSP 2.1.1 (complete) | 2084198 | SAT | 6.06708 | 6.19221 |
Concrete DC 2009-07-14 (complete) | 2084202 | SAT | 11.6602 | 11.7268 |
pcs 0.3.2 (complete) | 2084199 | SAT | 22.7605 | 22.9304 |
pcs-restart 0.3.2 (complete) | 2084200 | SAT | 23.2275 | 23.4127 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:30 268 254 16 254 16 142 380 380 142 72 310 526 764 470 708 526 764 16 254 414 652 478 240 100 338 540 778 16 254 792 554 268 30 428 666 722 484 16 254 778 540 526 764 58 296 666 428 30 268 16 254 680 442 30 268 254 16 254 16 484 722 16 254 540 778 352 114 540 778 792 554 380 142 442 680 30 268 722 484 254 16 750 512 30 268 764 526 484 722 680 442 708 470 750 512 380 142 30 268 792 554 652 414 310 72 750 512 254 16 708 470 268 30 652 414 16 254 750 512 142 380 142 380 254 16 30 268 442 680 268 30 722 484 142 380 414 652 254 16 526 764 764 526 526 764 694 456 470 708 736 498 750 512 442 680 736 498 736 498 540 778 268 30 324 86 352 114 254 16 456 694 442 680 254 16 16 254 526 764 100 338 456 694 442 680 456 694 792 554 792 554 380 142 708 470 16 254 512 750