Table 5: Comparison between TS-SAT and CNS-SAT.

Instance 𝑛 𝑚 𝑓 T S TimeTS 𝑓 C N S TimeCNS

1401 488 914 174058 846 176055 120
1403 665 1317 174137 1324 176134 332
1405 855 1815 174174 1574 176175 1314
1021 1057 2355 174238 2197 176241 2422
1504 605 1253 124238 1011 124241 405
1506 940 2060 165244 1945 168224 1423

Average 164348.17 1272.86 166178.33 859.57