Open
Description
The classification tests compare contype=L
against decoding and counting the linear constraints.
- SIF says these problems have linear constraints, but deconding gives otherwise:
"RDW2D52U", "RDW2D52F", "RDW2D52B", "RDW2D51U", "RDW2D51F" - Decoding gives linear constraints, but SIF disagrees:
"STEENBRA", "DALLASM", "GRIDNETC", "GRIDNETH", "GRIDNETG", "STEENBRD", "BIGBANK", "GRIDNETI", "LINSPANH", "STEENBRE", "SPANHYD", "GRIDNETE", "GRIDNETF", "STEENBRF", "GRIDNETD", "SMBANK", "LSNNODOC", "DALLASS", "GRIDNETA", "STEENBRG", "GRIDNETB", "STEENBRC", "DALLASL", "WATER", "STEENBRB"