Hi, After some delta-debugging on your input file it became apparent that sat4j doesn't digest empty clauses very well. Not that it would actually handle the remaining file (it then fails with an out-of-bounds error, but this is a different problem), but empty clauses may be a problem you should handle in whatever tool produced this file.
I'll likely close this bug, but feedback would be appreciated. Best, Michael
pgprbApeJv6fr.pgp
Description: PGP signature
