Removing unused code and useless comments
Fixing SQL-dumped name
Adding SQL time dumping to XOR extraction & use
Adding SQL time dumping to empty resolvent, dbclean, and gates
Removing useless comment and useless empty line
Adding SQL time-tracking of occur build, subsumtion and strengthening