c Instance is: tmp.cnf
c Random number seed: 0
c Learn order is: 5
c Reading instance...
Error: encountered a 0 length clause 
