Instance is: clausole.cnf
Random number seed: 0
Learn order is: 5
Max Models Searched: 1
Error: File not in DIMACS format.
