--inline <num> : controls the size of hpgraph/vpgraph components. By default it is 30. 
By reducing it the solver will become more CNF like. By increasing it it will become 
more non-clausal.

--lmult <num> : controls luby sequence restarts. By default num is 100.

--solution <file> : Print solution in file

--result   <file> : Print SAT/UNSAT result in file