Name | csp/travellingSalesman-25/ normalized-tsp-25-66_ext.xml |
MD5SUM | 3518e3f195ddf214ca0d283aa45732b4 |
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 | 0.526919 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 76 |
Number of constraints | 350 |
Maximum constraint arity | 3 |
Maximum domain size | 1001 |
Number of constraints which are defined in extension | 350 |
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) | 2071491 | SAT | 0.526919 | 0.536491 |
Conquer 2009-07-10 (complete) | 2071490 | SAT | 1.2818 | 1.59676 |
Abscon 112v4 ESAC (complete) | 2095648 | SAT | 1.39879 | 1.40814 |
Abscon 112v4 AC (complete) | 2095647 | SAT | 1.9327 | 1.99151 |
Concrete 2009-07-14 (complete) | 2071485 | SAT | 2.75658 | 2.80112 |
bpsolver 09 (complete) | 2071492 | SAT | 8.09077 | 8.15181 |
Choco2.1.1b 2009-07-16 (complete) | 2115735 | SAT | 12.1671 | 12.2426 |
pcs-restart 0.3.2 (complete) | 2071484 | SAT | 13.7879 | 13.8616 |
Choco2.1.1 2009-06-10 (complete) | 2071487 | SAT | 15.6916 | 15.8409 |
Sugar v1.14.6+minisat (complete) | 2071489 | SAT | 34.0998 | 34.5708 |
pcs 0.3.2 (complete) | 2071483 | SAT | 39.758 | 40.0677 |
Sugar v1.14.6+picosat (complete) | 2071488 | SAT | 64.0653 | 64.2308 |
Concrete DC 2009-07-14 (complete) | 2071486 | SAT | 176.369 | 178.098 |
SAT4J CSP 2.1.1 (complete) | 2071482 | ? (TO) | 1800.33 | 1808.34 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:7 2 8 3 22 2 10 0 6 6 2 14 19 3 20 10 14 4 21 1 25 3 24 11 18 1 16 5 4 5 12 1 3 3 13 0 9 4 15 0 5 16 1 4 17 12 23 4 11 6 5 7 7 13 27 30 40 44 45 48 59 60 65 70 71 74 74 78 78 94 98 110 114 120 120 0