Research Article
A Variable Depth Search Algorithm for Binary Constraint Satisfaction Problems
Table 7
Comparing various solvers: frb45 and frb53 instances.
| | Solver | frb45-21-2 | frb45-21-4 | frb45-21-5 | frb53-24-3 |
| | VNS-CSP | 0.54 | 0.54 | 0.56 | 0.87 | | Abscon112v4 | 275.31 | 478.01 | 1228.41 | 1342 | | Abscon112v4ESAC | 284.00 | 441.30 | 1194.47 | 245.31 | | Bpsolver09 | — | — | — | — | | Choco2.1.1 | 1305.51 | 65.05 | 1635.94 | — | | Choco2.1.1b | 423.62 | 217.20 | 89.18 | — | | Concrete | 394.55 | 330.23 | 672.39 | — | | Concrete DC | 498.34 | 359.80 | 1023.49 | — | | Conquer | 800.71 | 716.26 | 878.97 | — | | Mistral | 224.39 | 66.05 | 121.84 | — | | pcs | — | — | — | — | | pcs-restart | — | — | — | — | | SAT4JCSP | — | — | — | — | | Sugarv1.14.6 + minisat | 56.95 | — | 1114.95 | — | | Sugarv1.14.6 + picosat | 795.52 | — | — | — |
|
|
