Name | csp/frb40-19/ normalized-frb40-19-4_ext.xml |
MD5SUM | 0d8eeeb2fc14f282c2fb0843d98b127b |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 7.73482 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 410 |
Maximum constraint arity | 2 |
Maximum domain size | 19 |
Number of constraints which are defined in extension | 410 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2058280 | SAT | 7.73482 | 7.74645 |
Conquer 2009-07-10 (complete) | 2058279 | SAT | 9.49755 | 9.68504 |
Choco2.1.1b 2009-07-16 (complete) | 2114534 | SAT | 24.3323 | 24.272 |
Abscon 112v4 ESAC (complete) | 2093246 | SAT | 79.6049 | 80.3835 |
Abscon 112v4 AC (complete) | 2093245 | SAT | 82.9824 | 83.8183 |
Concrete 2009-07-14 (complete) | 2058274 | SAT | 87.7717 | 87.9168 |
Choco2.1.1 2009-06-10 (complete) | 2058276 | SAT | 105.798 | 106.649 |
Concrete DC 2009-07-14 (complete) | 2058275 | SAT | 114.806 | 115.828 |
bpsolver 09 (complete) | 2058281 | SAT | 137.453 | 138.669 |
Sugar v1.14.6+minisat (complete) | 2058278 | SAT | 186.732 | 188.659 |
Sugar v1.14.6+picosat (complete) | 2058277 | SAT | 364.371 | 368.034 |
SAT4J CSP 2.1.1 (complete) | 2058271 | SAT | 500.71 | 501.856 |
pcs-restart 0.3.2 (complete) | 2058273 | ? (TO) | 1800.04 | 1808.62 |
pcs 0.3.2 (complete) | 2058272 | ? (TO) | 1800.07 | 1816.52 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:16 18 3 17 16 18 8 11 3 16 10 0 8 18 13 16 8 1 9 10 7 16 8 5 7 6 12 2 12 0 8 5 12 9 9 13 12 5 13 6