Name | csp/travellingSalesman-20/ normalized-tsp-20-193_ext.xml |
MD5SUM | d791dec87b10526615a0084f40824770 |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2.49862 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 61 |
Number of constraints | 230 |
Maximum constraint arity | 3 |
Maximum domain size | 1001 |
Number of constraints which are defined in extension | 230 |
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 |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097178 | SAT | 2.49862 | 2.5156 |
Mistral 1.545 (complete) | 2079906 | SAT | 4.91125 | 4.91275 |
bpsolver 09 (complete) | 2079907 | SAT | 12.5301 | 12.6431 |
Concrete 2009-07-14 (complete) | 2079900 | SAT | 14.3768 | 14.5258 |
Conquer 2009-07-10 (complete) | 2079905 | SAT | 17.4763 | 17.8485 |
Abscon 112v4 AC (complete) | 2097177 | SAT | 58.7031 | 59.308 |
pcs 0.3.2 (complete) | 2079898 | SAT | 68.7685 | 69.3626 |
Choco2.1.1b 2009-07-16 (complete) | 2116500 | SAT | 87.7577 | 88.6108 |
Choco2.1.1 2009-06-10 (complete) | 2079902 | SAT | 161.239 | 161.348 |
Sugar v1.14.6+minisat (complete) | 2079904 | SAT | 201.082 | 203.141 |
Sugar v1.14.6+picosat (complete) | 2079903 | SAT | 214.174 | 216.387 |
pcs-restart 0.3.2 (complete) | 2079899 | SAT | 338.663 | 341.673 |
Concrete DC 2009-07-14 (complete) | 2079901 | SAT | 599.454 | 602.424 |
SAT4J CSP 2.1.1 (complete) | 2079897 | ? | 389.14 | 388.989 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:7 5 20 24 13 7 19 7 15 29 11 1 16 6 2 0 10 19 6 10 14 19 4 15 17 1 9 6 18 0 8 15 3 2 5 7 12 1 1 35 29 36 43 72 73 79 79 98 108 127 142 143 149 149 164 166 173 174 209 209 0