99 *}
100
101 refute_params [minsize=1,
102 maxsize=8,
103 maxvars=100,
104 satsolver="auto"]
104 satsolver="dpll"]
105
106 end