tsp_15.txt - 291 (opt)
tsp_17.txt - 2085
tsp_26.txt - 977
tsp_61.txt 357 (LNS, minicp),  342 (fixpoint)
tsp_81.txt 401 (LNS, minicp),  412 (fixpoint)
tsp_101.txt 482 (LNS, minicp), 501 (fixpoint)