formats/tsptw/cases/reversed-window/input.txt:6:1: check failed for record 2 of 'nodes': the time window of a node is invalid
     6 | 8 2
       | ^
spec: formats/tsptw/tsptw.iris:14