Research Article
A Variable Depth Search Algorithm for Binary Constraint Satisfaction Problems
Table 6
Comparing various solvers: frb40 instances.
| Solver | frb40-19-1 | frb40-19-4 | frb40-19-5 |
| VNS-CSP | 0.41 | 0.38 | 0.40 | Abscon112v4 | 1.30 | 82.98 | 37.29 | Abscon112v4ESAC | 1.32 | 79.60 | 36.6 | Bpsolver09 | 361.45 | 137.45 | 199.04 | Choco2.1.1 | 25.43 | 24.33 | 161.97 | Choco2.1.1b | 25.43 | 24.33 | 161.97 | Concrete | 15.36 | 87.77 | 177.15 | Concrete DC | 21.27 | 114.80 | 89.01 | Conquer | 21.66 | 9.49 | 94.78 | Mistral | 2.15 | 7.73 | 63.46 | pcs | 1758.00 | — | — | pcs-restart | — | — | 1107.76 | SAT4JCSP | 272.64 | 500.71 | 10.49 | Sugarv1.14.6 + minisat | 48.30 | 186.73 | — | Sugarv1.14.6 + picosat | 41.52 | 364.37 | 297.49 |
|
|