src/HOL/Tools/Nitpick/nitrox.ML

          ("verbose", "true"),
          (* ("overlord", "true"), *)
          ("show_consts", "true"),
          ("format", "1000"),
          ("max_potential", "0"),
-         (* ("timeout", "240 s"), *)
+         ("timeout", "none"),
          ("expect", genuineN)]
         |> default_params @{theory}
       val i = 1
       val n = 1
       val step = 0