if (counter++ == 100) System.out.print(".");
Produces output only once
I think intent was to print dot every hundredth formula
if (counter++ % 100 == 0) System.out.print(".");
I also added some additional info in debug statement:
filename
work done percentage
I needed filename cause I suspect tptp/fof file is produced twice.
if (counter++ == 100) System.out.print(".");
Produces output only once I think intent was to print dot every hundredth formulaif (counter++ % 100 == 0) System.out.print(".");
I also added some additional info in debug statement:
I needed filename cause I suspect tptp/fof file is produced twice.