ParseInstance does not work properly on Windows
The following issue was reported by Tobias Barth by email:
The class "org.sat4j.reader.InstanceReader" is not compatible with Windows fully qualified path names. On my machine, they start with "C:", and the method "parseInstance" in class InstanceReader, line 108, splits a String like "EZCNF:C:\projects\bla\testcomments.cnf" into "EZCNF", "C" and "\projects\bla\testcomments.cnf", but uses "C" as filename. I suggest you add a splitting limit to line 108:
String[] parts = filename.split(":", 2);
This will split only at the first ":".